Results 61 to 70 of about 150,251 (227)
Biotechnology Progress, EarlyView.The application of the transfer learning algorithm successfully allowed the use of a model built on process A for real‐time monitoring of process B. This study shows the improvement obtained with this methodology compared to the direct application of the model.
Adèle Schini +7 more
wiley +1 more source
Advanced Three Level Approximation for Numerical Treatment of Cosmological Recombination
, 2011 New public numerical code for fast calculations of the cosmological recombination of primordial hydrogen-helium plasma is presented. The code is based on the three-level approximation (TLA) model of recombination and allows us to take into account some ...
A. V. Ivanchik +65 more
core +1 more source
Developmental Dynamics, EarlyView.Abstract Background Elp1, a subunit of the Elongator complex, is essential for tRNA modification and neuronal development. Mutations in ELP1 underlie familial dysautonomia (FD), a disorder marked by sensory and autonomic neuropathy. While loss of Elp1 disrupts trigeminal ganglion formation and survival, the downstream molecular consequences remain ...
Carrie E. Leonard +3 more
wiley +1 more source
Pakistan Journal of Medical Research, 2023 Background: Advance technology and diagnostic approach to disease has increased workload burden on laboratory and timely reporting as well as reliable results provision to physicians is another challenge of laboratory.
Ghazanfar Abbas +4 more
doaj +2 more sources
, 1999 This paper defines a generalization of Lamport's Temporal Logic of Actions. We prove that our logic is stuttering-invariant and give an axiomatization of its propositional fragment. We also show that standard TLA is as expressive as our extension once quantification over flexible propositions is added.
openaire +1 more source
Encoding TLA+ set theory into many-sorted first-order logic [PDF]
, 2015 We present an encoding of Zermelo-Fraenkel set theory into many-sorted first-order logic, the input language of state-of-the-art SMT solvers.
Merz, Stephan, Vanzetto, Hernán
core +3 more sources
EcoEnergy, EarlyView.This review provides a comprehensive overview of recent advances in glycerol electro‐oxidation reaction, covering electrocatalyst design, electrolyte and operating optimization, and mechanistic understanding of reaction pathways. Integrated anodic–cathodic systems and techno‐economic assessments are discussed, followed by key challenges and future ...
Jiamin Wang +3 more
wiley +1 more source
Measure to manage – an integrated pest management metric for horticulture
Pest Management Science, EarlyView.IPM metric for food horticulture applied to growers in four countries. Overall average score = 58/100. Top fruit growers averaged highest (M = 61). Growers from England scored highest overall & indicated strong adoption of core components Policy is an influencing factor, evidenced by adoption rates in England Policy must function at farm level to ...
Jennifer Byrne +4 more
wiley +1 more source
Prime-boost vaccination with toxoplasma lysate antigen, but not with a mixture of recombinant protein antigens, leads to reduction of brain cyst formation in BALB/c mice. [PDF]
PLoS ONE, 2015 Infection with the ubiquitous parasite Toxoplasma gondii is a threat for immunocompromised patients and pregnant women and effective immune-prophylaxis is still lacking.Here we tested a mixture of recombinant T.
Angelika Wagner +7 more
doaj +1 more source
Structure of a gene encoding a murine thymus leukemia antigen, and organization of Tla genes in the BALB/c mouse [PDF]
, 1985 We have determined the DNA sequence of a gene encoding a thymus leukemia (TL) antigen in the BALB/c mouse, and have more definitively mapped the cloned BALB/c Tla-region class I gene clusters.
Fisher, Douglas A. +2 more
core