„constructor“
Suchergebnisse
1.000+ Treffer
-
Modeling evolution of spatially distributed bacterial communities: a simulation with the haploid evolutionary constructor
-
Atomic‐Scale Engineering: Anion Constructor for Atomic‐Scale Engineering of Antiperovskite Crystals for Electrochemical Reactions (Adv. Funct. Mater. 16/2021)
-
From Bench to Bedside: Development of a MAPPs assay-based personalized healthcare tool to evaluate the clinical immunogenicity of therapeutic antibodies
-
Microbial insights into ocean alkalinity enhancement: Bacterial community risk assessment and the benefit of increasing research on carbonic anhydrase
-
Analyzing deliberation and collective action problems in environmental governance: a case study of an aquaculture policy program
-
Neurocognitive and psychological dimensions associated with gait and balance in older adults
-
Comparing the long-term effects of health behaviours and health problems on depression among the elderly in Germany and Taiwan
-
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
-
FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface – approaching a theory of unsafePerformIO
-
Correctness of copy in calculi with letrec, case and constructors
-
Correctness of copy in calculi with letrec, case, constructors and por
-
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
-
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
-
Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains
-
A termination proof of reduction in a simply typed calculus with constructors
-
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
-
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
-
Universal constructor to build a Tierran machine structure
-
Simultaneous Localization and Mapping (SLAM) as a Core Component for Open and Affordable Autonomous Underwater Vehicles (AUV)
-
Rare Earth Elements in the Environment and Their Transfer Across the Hydrosphere-Biosphere Interface: Examples from Freshwater and Marine Systems