Search Results - composite fermion~

Forest, Foods and Nutrition

Subjects: “…JNK (c-Jun N-terminal kinase)…”
DOAB: download the publication
DOAB: description of the publication

Application of Plant Growth Promoting Microorganism and Plant Growth Regulators in Agricultural Production and Research

Subjects: “…bacterial community composition…”
DOAB: download the publication
DOAB: description of the publication

New Carbon Materials from Biomass and Their Applications

DOAB: download the publication
DOAB: description of the publication

Biochar as Soil Amendment: Impact on Soil Properties and Sustainable Resource Management by De la Rosa, José M.

DOAB: download the publication
DOAB: description of the publication

Plant Adaptation to Extreme Environments in Drylands

DOAB: download the publication
DOAB: description of the publication

Sensors in Agriculture by Moshou, Dimitrios

Subjects: “…germination…”
DOAB: download the publication
DOAB: description of the publication

Sensors in Agriculture by Moshou, Dimitrios

Subjects: “…germination…”
DOAB: download the publication
DOAB: description of the publication

Functionally Relevant Macromolecular Interactions of Disordered Proteins

DOAB: download the publication
DOAB: description of the publication

Soilless Culture, Growing Media and Horticultural Plants

DOAB: download the publication
DOAB: description of the publication

Foundations of Biomedical Science Quantitative Literacy Theory and Problems by Pakay, Julian

Table of Contents: “…Further reading and bibliography -- Appendix: Answers to problems -- Versioning History -- Review Statement…”
Access online version

Handbook of Mathematical Geosciences Fifty Years of IAMG /

Table of Contents: “…Chapter 1 Kriging, Splines, Conditional Simulation, Bayesian In-version and Ensemble Kalman Filtering -- 5. Chapter 2 A Statistical Commentary on Mineral Prospectivity analysis -- 6. …”
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

Manual de Redacción by Ruiz-Pérez, Ignacio, Carone, Michelle, Sánchez Hernández, Eloísa

Access online version

New Methods for Measuring and Analyzing Segregation by Fossett, Mark

Link to Metadata

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Neonatal Fetal Nutrition and Metaboli... by -

Connect to this object online.

Apple Polyphenol Diet Extends Lifespan, Slows down Mitotic Rate and Reduces Morphometric Parameters in Drosophila Melanogaster: A Comparison between Three Different Apple Cultivars by Silvia Bongiorni, Ivan Arisi, Brunella Ceccantoni, Cristina Rossi, Camilla Cresta, Simona Castellani, Ivano Forgione, Sara Rinalducci, Rosario Muleo, Giorgio Prantera

Connect to this object online.

Antibacterial and Antibiofilm Efficacy of Thyme (<i>Thymus vulgaris</i> L.) Essential Oil against Foodborne Illness Pathogens, <i>Salmonella enterica</i> subsp. <i>enterica</i> Ser... by Daniela Sateriale, Giuseppina Forgione, Giuseppa Anna De Cristofaro, Chiara Pagliuca, Roberta Colicchio, Paola Salvatore, Marina Paolucci, Caterina Pagliarulo

Connect to this object online.