Search Results - TVP1~

Effects of human chorionic gonadotropin and intravaginal progesterone device treatment after artificial inseminations on the reproductive performance of normal and repeat breeder l... by Taiki IZUMI, Ryotaro MIURA, Natsumi SOBU, Akiya HIRASE, Osamu YONEYAMA, Yoh-ichi MIYAKE, Shingo HANEDA, Motozumi MATSUI

Connect to this object online.

Sustainable Land Management in a European Context A Co-Design Approach /

Table of Contents: “…Preface -- Overview of Chapters -- Sustainable land management and the co-creation of knowledge -- Part 1 (State and drivers) -- Land use change in Europe (Overview) -- Energy demand and land use change -- New economic drivers for land use change -- Demographic change and land use change -- Urbanisation and land use change -- Urban-rural interrelations -- Part 2 (Co-Design and Co-Production) -- Transdisciplinarity in land use sciences -- Tipping Points of Innovations for Sustainable Land Management -- Experimental games in sustainable land management -- Part 3 (Co-evolution: New system solutions and Governance) -- System solutions in sustainable land management - from small scale technical solutions to overarching solutions for society -- Regional Material Flow Management as a tool to develop resilient villages -- Supply chains and land management -- The re-invention of urban agriculture - innovation and acceptance of a new trend -- Approaches of Sustainable Landmanagement: International practices and innovative solutions -- Ecosystem services and development of green infrastructure -- Part 4 (Co-dissemination) -- New ways of implementation and transfer for sustainability -- Knowledge management for governance -- Part 5 -- Upcoming challenges in land use science - an international perspective -- Conclusions and research perspectives.…”
Link to Metadata

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Table of Contents: “…Anthropomorphizing and de-anthropomorphizing supernatural agency: From conceptual strategies to their theological implications( Grégory Dessart, Zhargalma Dandarova Robert, Pierre-Yves Brandt) -- Chapter 3. Gender-typing god representations: Socio-normative constraints and ontological significance ( Grégory Dessart, Zhargalma Dandarova Robert, Pierre-Yves Brandt) -- Chapter 4. …”
Link to Metadata

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…-- Ch 17: Biomaterials for ureteral stents: advances and future perspectives -- Ch 18: Coatings for urinary stents:current state and future directions -- Ch 19: Bacterial adhesion and biofilm formation: hydrodynamics effects -- Ch 20: Biomaterial-associated infection: pathogenesis and prevention -- Ch 21: Antibiotic-free solutions for the development of biofilm prevention coatings -- Ch 22: Plasma Based Approaches for Deposition And Grafting Of Antimicrobial Agents To Polymer Surfaces -- Ch 23: Antimicrobial biosurfactants towards the inhibition of biofilm formation -- Ch 24: Novel antimicrobial strategies to combat biomaterial infections -- Ch 25: Light-activated polymer nanocomposites doped with a new type of carbon quantum dots for antibacterial applications -- Ch 26: Nanoparticles. …”
Link to Metadata

Handbook of Life Course Health Development

Table of Contents: “…Early in the Life Course: Time for Obesity Prevention -- Chapter 10. Pediatric Type 2 Diabetes: Prevention and Treatment through a Life Course Health-Development Framework -- Chapter 11. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Narrative Ethics in Public Health: The Value of Stories

Table of Contents: “…Boyle's "The Fugitive" -- Addressing Historical Trauma among US American Indian/Alaskan Natives: The Ethics of Making Space for Multiple Narratives in Public Health Research and Practice -- Using paired poems to crystallize and (re)consider public health breastfeeding promotion -- Database of Individual Patient Experiences (DIPEx): Potential for Public Health Considerations -- Poverty as Trauma: Considering Social Determinants of Health through the Lens of Narrative Ethics -- Ethical Imperatives and Challenges with Community-based Participatory Research in Public Health: Reflections of One Academic -- Disclosure of HIV Status during a Household HIV Survey in Namibia -- Vaccine Refusal: Stories from the Front Lines of Immunization Education -- What Is This All About: Tipping theBalance toward Treatment and Recovery -- The Boys Under My Deck: Fostering Resilience In Diverse Urban Neighborhoods -- Overweight and Obesity: A New Narrative -- Voices of Our Fathers: Narrative (Care) Ethics, Pragmatic Bioethics, Trust and Trustworthiness -- Stories, Stigma and Sequences: HIV Cluster Detection and Response Activities Through a Narrative Ethics Lens -- A Novel Approach to Public Health Crises Using Narrative Ethics -- Patient Rights versus Public Health.…”
Link to Metadata

Public Financial Management and Internal Control The Importance of Managerial Capability for Successful Reform in Developing and Transition Economies / by Hepworth, Noel

Table of Contents: “…Chapter 1: Financial control and financial management in the public sector: a managerial perspective -- Chapter 2: Implementing public financial management and internal control (PFM/IC -- Chapter 3: The distinction between public financial management and internal control (PFM/IC) and public financial administration and internal control (PFA/IC) -- Chapter 4: The practical steps for initiating a successful PFM/IC reform -- Chapter 5: The particular responsibilities of the minister of finance and the ministry in the development of a PFM/IC policy -- Chapter 6: Risks and unintended consequences of the reform -- Chapter 7: The responsibilities of the top operational management official for the implementation and quality control of PFM/IC -- Chapter 8: The role of the head of finance and the finance department in line ministries and other public organisations with the application of PFM/IC -- Chapter 9: The role of the department responsible for advising on and securing the application of PFM/IC -- Chapter 10: Achieving the benefits that introducing PFM/IC can generate and accounting for the costs -- Chapter 11: International standards of internal control relevant to the application of PFM/IC -- Chapter 12: Managing and controlling second level organisations - the responsibilities of the first level organisation -- Chapter 13: Monitoring the change from administration to management - demonstrating this through the utilisation of a statement of internal control -- Chapter 14: Public sector reform, delegation and the impact upon PFM/IC.…”
Link to Metadata

The Impact of Food Bioactives on Health in vitro and ex vivo models /

Table of Contents: “…Introduction -- Gastrointestinal digestion models, general introduction -- Static digestion models general introduction -- InfoGest consensus method -- Approaches to static digestion models -- Dynamic digestion models general introduction -- The TNO gastro-Intestinal Model (TIM) -- Dynamic Gastric Model (DGM) -- Human Gastric Simulator (Riddet model) -- The DIDGI® System -- General introduction to cells, cell lines and cell culture -- Epithelial cell models; General introduction -- Caco-2 cell line -- HT29 cell line -- The IPEC-J2 cell line -- Co-cultivation of Caco-2 and HT-29MT -- Innate and adaptive immune cells; General introduction -- THP-1 and U937 cells -- Peripheral blood mononuclear cells -- PBMC-derived T cells -- Dendritic Cells -- Co-culture Caco-2/ immune cells -- Enteroendocrine Cell Models: General introduction -- STC-1 cells -- NCI-H716 cells -- Murine GLUTag cells -- In vitro intestinal tissue models: General introduction -- Intestinal crypt organoids as experimental models -- Porcine ex vivointestinal segment model -- Ussing chamber -- In vitro fermentation models: General Introduction -- One compartment fermentation model -- The TNO in vitro model of the colon - TIM-2 -- The Simulator of the Human Intestinal Microbial Ecosystem - SHIME® -- The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI.…”
Link to Metadata

Classification and Data Science in the Digital Age

Table of Contents: “…Wilhelm: Stability of Mixed-type Cluster Partitions for Determination of the Number of Clusters -- A. …”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

How to Practice Academic Medicine and Publish from Developing Countries? A Practical Guide / by Nundy, Samiran, Kakar, Atul, Bhutta, Zulfiqar A.

Table of Contents: “…-- 7 How to think of a research question? -- 8 What are the types of study design? -- 9 How to calculate an adequate sample size? …”
Link to Metadata

Evaluation of the Efficacy of Intravenous Push and Intravenous Piggyback Ceftriaxone in Critically Ill Patients by Elly R. Sherman, Nha Hue Ta, Trisha N. Branan, Natt Patimavirujh, Luren Ashton Dickinson, Christopher M. Bland, Susan E. Smith

Connect to this object online.

Russia's Role in the Contemporary International Agri-Food Trade System

Table of Contents: “…Chapter 2: Russia's Development as a Top Player in World Grain Trade (William Liefert and Olga Liefert) -- 3. …”
Link to Metadata

Rethinking Graduate Employability in Context Discourse, Policy and Practice /

Table of Contents: “…Finnish university students constructing their ideal employable identities - a case study of Top Performing Experts -- 14. Strategies undertaken by international graduates to negotiate employability -- 15. …”
Link to Metadata

Moonshots and the New Industrial Policy Questioning the Mission Economy /

Table of Contents: “…Bottom-Up Policies Trump Top-Down Missions.…”
Link to Metadata

Has Latin American Inequality Changed Direction? Looking Over the Long Run /

Table of Contents: “…The Political Economy of Inequality at the Top in Contemporary Chile -- Chapter 15. Structural change and the fall of income inequality in Latin America - Agricultural development, inter-sectoral duality and the Kuznets curve -- Chapter 16. …”
Link to Metadata

Compendium for Early Career Researchers in Mathematics Education

Table of Contents: “…Ferdinando Arzarello and Carlotta Soldano 10200 -- 11 A friendly introduction to "Knowledge in Pieces": Modeling types of knowledge and their roles in learning. Andrea diSessa 9300 -- 12 Task design frameworks in mathematics education research: An example of a domain-specific frame for algebraic learning with technological tools. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Outcomes of Intravenous Push versus Intermittent Infusion Administration of Cefepime in Critically Ill Patients by Susan E. Smith, Zachary Halbig, Nicholas R. Fox, Christopher M. Bland, Trisha N. Branan

Connect to this object online.