Search Results - "acceleration"

Efeito do extrato aquoso de camomila (Chamomilla recutita L.) na prenhez de ratas e no desenvolvimento dos filhotes Effect of aqueous extract of chamomile (Chamomilla recutita L.)... by J.T. Arruda, F.C. Approbato, M.C.S. Maia, T.M. Silva, M.S. Approbato

Connect to this object online.

Descrição metodológica do uso de acelerometria para mensurar a prática de atividade física nas coortes de nascimentos de Pelotas, Rio Grande do Sul, Brasil, 1993 e 2004 Descri... by Inácio Crochemore Mohnsam da Silva, Virgílio Viana Ramires, Alicia Matijasevich, Aluísio J. D. Barros, Iná S. Santos, Ana Maria B. Menezes, Helen Gonçalves, Maria Cecília F. Assunção, Alan Goularte Knuth, Pedro Curi Hallal

Connect to this object online.

KESIAPAN MASYARAKAT TERHADAP PEMBANGUNAN JALAN TOL CILEUNYI - SUMEDANG - DAWUAN DI KECAMATAN TANJUNGSARI KABUPATEN SUMEDANG by Kusuma, Mohammad Amran Indra

Link Metadata

EVALUASI KINERJA DENGAN METODE EARN VALUE PADA PROYEK TUNNEL by Resza Irawan, -

Link Metadata

The Wheat Genome

Table of Contents: “…Introduction -- IWGSC RefSeq bread wheat reference genome sequence -- Wheat genomic resources and their role in wheat research -- Wheat genome structural and functional annotation -- The wheat transcriptome and discovery of functional gene networks -- Genome-wide resource development to accelerate gene discovery and functional analysis in wheat -- Genome-editing technology applications in wheat breeding -- Wheat genetic diversity explored through genomic approaches -- Dawn of the wheat pangenome: sequencing the genomes of 10+ elite lines -- Sequencing ancient wheat to illuminate the history of domestication -- Genome sequences from diploids and wild relatives of wheat for comparative genomics and alien Introgressions -- The impact of the durum wheat genome in identifying new germplasm for breeding -- Haplotype mapping in globally diverse germplasm for genomic-assisted wheat breeding -- Genome-informed discovery of genes and association with wheat traits -- Genomic insights on global journeys of adaptive wheat genes that brought us to modern wheat -- Genomic selection in wheat utilizing the reference sequence -- Rapid cloning of disease resistance genes in wheat. .…”
Link to Metadata

Acht Geschichten über die Integrationsgeschichte Zur Grundlegung der Geschichte der europäischen Integration als ein episodisches historiographisches Erzählen by Pichler, Peter

DOAB: download the publication
DOAB: description of the publication

Bridging the Health Equity Gap: An Update from the U.S. Food and Drug Administration Office of Minority Health and Health Equity by Richardae Araojo, Christine Lee, Milena Lolic

Connect to this object online.

Эффективность местного применения нового апигеля с озонотерапией для лечения и профилактики осложнений дентальной имплантации = Effectiveness of new apigel local application wit... by A. V. Pasechnik, L. S. Kravchenko

Connect to this object online.

Эффективность местного применения нового апигеля с озонотерапией для лечения и профилактики осложнений дентальной имплантации = Effectiveness of new apigel local application wit... by A. V. Pasechnik, L. S. Kravchenko

Connect to this object online.

Acht Geschichten über die Integrationsgeschichte Zur Grundlegung der Geschichte der europäischen Integration als ein episodisches historiographisches Erzählen by Pichler, Peter

OAPEN Library: download the publication
OAPEN Library: description of the publication

PENGARUH KOMPETENSI GURU TERHADAP KESIAPAN GURU PAI SD DALAM MENGIMPLEMENTASIKAN KURIKULUM 2013 DI KABUPATEN BANDUNG BARAT by Al-Farisi, Yudha

Link Metadata

IDENTIFIKASI LEVEL MISKONSEPSI SISWA SEKOLAH MENENGAH PERTAMA PADA MATERI GAYA DAN GERAK MENGGUNAKAN FOUR-TIER TEST by Akmali, Ahmad Ahsin

Link Metadata

Wheat Improvement Food Security in a Changing Climate /

Table of Contents: “…Introduction -- History of Wheat Breeding: A Personal View -- Defining Target Wheat Breeding Environments -- Global Trends in Wheat Production, Consumption and Trade -- Breeding Methods: Line Development -- Breeding Methods: Population Improvement and Selection Methods -- Achieving Genetic Gains in Practice -- Wheat Rusts: Current Status, Prospects of Genetic Control and Integrated Approaches to Enhance Resistance Durability -- Globally Important Non-Rust Diseases of Wheat -- Abiotic Stresses -- Wheat Quality -- Nutritionally Enhanced Wheat for Food and Nutrition Security -- Experimental Design for Plant Improvement -- Seed Systems to Support Rapid Adoption of Improved Varieties in Wheat -- Crop Management for Breeding Trials -- A Century of Cytogenetic and Genome Analysis: Impact on Wheat Crop Improvement -- Conserving Wheat Genetic Resources -- Exploring Untapped Wheat Genetic Resources to Boost Food Security -- Disease Resistance -- Insect Resistance -- Yield Potential -- Heat and Climate Change Mitigation -- Drought -- Micronutrient Toxicity and Deficiency -- Pre-breeding Strategies -- Translational Research Networks -- High Throughput Field Phenotyping -- Sequence-based marker assisted selection in wheat -- Application of CRISPR-Cas-based Genome Editing for Precision Breeding in Wheat -- Accelerating Breeding Cycles -- Improving Wheat Production and Breeding Strategies Using Crop Models -- Theory and Practice of Phenotypic and Genomic Selection Indices.…”
Link to Metadata

Big Data and Artificial Intelligence in Digital Finance Increasing Personalization and Trust in Digital Finance using Big Data and AI /

Table of Contents: “…Introduction -- Part I: Novel Big Data and AI Technologies for Digital Finance -- A Reference Architecture for Big Data Systems and AI Applications in the Finance Sector -- Hybrid Transactional and Analytical Processing for Integrated Data Management in Digital Finance and FinTech Applications -- Semantic Interoperability Modelling for Digital Finance Applications -- Semantic Streaming for Digital Finance Applications -- Part II: Blockchain Technologies and Digital Currencies for Digital Finance Applications -- Central Bank Digital Currencies and a Euro for the Future -- Efficient and Accelerated KYC Using Blockchain Technologies -- Part III: Applications of Big Data and AI in Digital Finance -- AI-based platform for Intelligent and Automated Accounting -- Addressing Intra-Day Volatility in Risk Assessments for Forex Trading -- Next-Generation Personalized Investment Recommendations -- Personalized Finance Management for Small Medium Businesses -- AML/CF supervision empowered by AI -- AnalyzingLarge Scale Blockchain Transaction Graphs for Fraudulent Activities -- Cybersecurity and Fraud Detection in Financial Transactions -- Part IV: Applications of Big Data and AI in Insurance -- Risk assessment for personalized health insurance products -- Alternative Data for Personalized Insurance products -- Part V: Technologies for Regulatory Compliance in the Finance Sector -- AI Governance -Trustworthy and Responsible use of AI -- Large Scale Data Anonymization for GDPR Compliance -- Conclusion.…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Advancements in shear strength interpretation, testing, and use for landslide analysis -- Rock Avalanches in the Tibet Plateau of China -- Part II: Original articles -- Landslide Susceptibility Zonation Using GIS-based Frequency Ratio Approach in the Kulon Progo Mountains Area, Indonesia -- Physically-based regional landslide forecasting modelling: model set-up and validation -- Consequence - frequency matrix as a tool to assess landslides risk -- Do not let your guard down: landslide exposure and local awareness in Mexico -- Landslides in Higher Education Curricula and Beyond -- Community Scale Landslide Resilience: A citizen-science approach -- Remedial Measures Impact on Slope Stability and Landslide Occurrence in Small-Scale Slope Physical Model in 1g Conditions -- Surficial geology and geomorphology of the North Slide, Thompson River valley, British Columbia: application of fundamental geoscience information to interpretations of geospatial monitoring results -- High Resolution Numerical Weather Simulation for Orographic Precipitation as an Accurate Early Warning Tool for Landslide Vulnerable Terrains -- Climate Change as Modifier of Landslide Susceptibility: Case Study in Davao Oriental, Philippines -- Fractal-based evaluation of the spatial relationship between conditioning factors and the distribution of landslides (A case study in Tinh Tuc, Cao Bang province, Vietnam) -- Procedure of Data Processing for the Improvement of Failure Time of a Landslide Based on the Velocity and Acceleration of the Displacement -- Numerical analysis of the effect of rainfall on the stability of sandstone-covered mudstone cutting slopes -- Part III: Review articles -- Post-formation behaviour of Hattian Landslide Dam and post-breaching situation -- Investigation of debris flow impact mechanisms and designs -- A review of the disaster risk assessment perspectives -- Part IV: IPL/WCOE/KLC2020 -- Application of LAND-SUITE for landslide susceptibility modelling using different mapping units. …”
Link to Metadata

The effects of golden sea cucumber extract (Stichopus hermanii) on the number of lymphocytes during the healing process of traumatic ulcer on wistar rat's oral mucous by Ira Arundina, Yuliati Yuliati, Pratiwi Soesilawati, Dian W Damaiyanti, Dania Maharani

Connect to this object online.

Efeitos da ingestão de glicose sobre a circulação materno-fetal Materno-fetal hemodynamic repercussion of glucose ingestion by Rose Mary de Castro Ranciaro, Francisco Mauad-Filho

Connect to this object online.

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

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Energy and Sustainable Futures Proceedings of 2nd ICESF 2020 /

Table of Contents: “…Cities and the International Arena -- Chapter 12. Accelerating Cities, Constitutional Brakes? Exploring the Local Authorities between Global Challenges and Domestic Law -- Chapter 13. …”
Link to Metadata