Search Results - Zero of a function

Apresentação e Evolução Atípicas da Granulomatose de Wegener: Relato de Caso/Atypical Presentation and Evolution of Wegener's Granulomatosis: Case Report by Aline dos Santos, Ana Caroline Balducci Scafi, Luciene Azevedo Morais, Pablo Girardelli Mendonça Mesquita

Connect to this object online.

Analysis of Cardioprotective Effects Using Purified Salvia miltiorrhiza Extract on Isolated Rat Hearts by Chang Piek Ngoh, Mao Jian Chun, Huang Shan Hong, Ning Li, Wang Zhong Jing, On Todd, Duan Wei, Zhu Yi Zhun

Connect to this object online.

Identifying and Estimating Frailty Phenotypes by Vocal Biomarkers: Cross-Sectional Study by Yu-Chun Lin, Huang-Ting Yan, Chih-Hsueh Lin, Hen-Hong Chang

Connect to this object online.

Setting up of an integrative center for the management of mild-moderate COVID-19 by Tanuja Manoj Nesari, Prasanth Dharmarajan, Arun Kumar Mahapatra, S Rajagopala, Manoj Nesari, Alka Kapoor, Deepak Bhati, Anil Kumar, Sonam Kumari, P S Arshathjyothi, Aparna Dileep

Connect to this object online.

Same-day discharge after early mobilisation and increased frequency of physiotherapy following hip and knee arthroplasty by Retha-Mari Prinsloo, Monique M. Keller

Connect to this object online.

High-Pressure Homogenization for Enhanced Bioactive Recovery from Tomato Processing By-Products and Improved Lycopene Bioaccessibility during In Vitro Digestion by Serena Carpentieri, Giovanna Ferrari, Francesco Donsì

Connect to this object online.

Reliability and validity of the German version of the University of Jyvaskyla Active Aging Scale (UJACAS-G) by Timo Hinrichs, Taina Rantanen, Erja Portegijs, Lukas Nebiker, Roland Rössler, Fabian Schwendinger, Arno Schmidt-Trucksäss, Ralf Roth

Connect to this object online.

Population pharmacokinetic model of ivermectin in mass drug administration against lymphatic filariasis. by Abdullah Alshehri, Yashpal S Chhonker, Veenu Bala, Constant Edi, Catherine M Bjerum, Benjamin G Koudou, Lucy N John, Oriol Mitjà, Michael Marks, Christopher L King, Daryl J Murry

Connect to this object online.

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

Lymphocyte respiration in children with Trisomy 21 by Aburawi Elhadi H, Souid Abdul-Kader

Connect to this object online.

Additive Fertigung von endlosfaserverstärkten Verbundwerkstoffen: Von der Faser-Matrix-Auswahl über die Druckkopfentwicklung bis zum Faserverbund by Czasny, Mathias

DOAB: download the publication
DOAB: description of the publication

Impact of malaria interventions on child mortality in endemic African settings: comparison and alignment between LiST and Spectrum-Malaria model by Eline Korenromp, Matthew Hamilton, Rachel Sanders, Guy Mahiané, Olivier J. T. Briët, Thomas Smith, William Winfrey, Neff Walker, John Stover

Connect to this object online.

Additive Fertigung von endlosfaserverstärkten Verbundwerkstoffen: Von der Faser-Matrix-Auswahl über die Druckkopfentwicklung bis zum Faserverbund by Czasny, Mathias

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

Effect of Aromatase Inhibitor ,Sage And Flaxseed on Spermatogenesis In Rat by Heba jasem, Fadwa tawfeek

Connect to this object online.

Investigation of flow and pressure characteristics around pyramidal buildings by Ikhwan, Muhammad

DOAB: download the publication
DOAB: description of the publication

Falsely elevated troponin: rare occurrence or future problem by James Nguyen, Rosy Thachil, Neil Vyas, Thomas Marino

Connect to this object online.

Comparative analysis of time-based and quadrat sampling in seasonal population dynamics of intermediate hosts of human schistosomes. by Javier Perez-Saez, Théophile Mande, Dramane Zongo, Andrea Rinaldo

Connect to this object online.

Using standard and institutional mentorship models to implement SLMTA in Kenya by Ernest P. Makokha, Samuel Mwalili, Frank L. Basiye, Clement Zeh, Wilfred I. Emonyi, Raphael Langat, Elizabeth T. Luman, Jane Mwangi

Connect to this object online.

Information structure in spoken Japanese Particles, word order, and intonation by Nakagawa, Natsuko

DOAB: download the publication
DOAB: description of the publication

College Algebra 2e by Abramson, Jay

Access online version