نتایج جستجو برای: mlf

تعداد نتایج: 312  

Journal: :Applied sciences 2022

The aim of the present study was to induce malolactic fermentation (MLF) after alcoholic (AF) must Moschofilero cultivar, only ‘gris’ native grape variety that is cultivated in Greece. For this purpose, Oenococcus oeni strains Viniflora® CH16, Oenos and CiNe were inoculated completion AF driven by Saccharomyces cerevisiae strain UCLM S325. Growth aforementioned starter cultures assessed during ...

2010
Giulio Manzonetto Paolo Tranquilli

We provide a strong normalization result for ML, a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating ML into a calculus of coercions, and showing that this calculus is just a decorated version of system F.

Journal: :Theor. Comput. Sci. 2012
Giulio Manzonetto Paolo Tranquilli

ML is a type system extending ML with first-class polymorphism as in system F. The main goal of the present paper is to show that ML enjoys strong normalization, i.e., it has no infinite reduction paths. The proof of this result is achieved in several steps. We first focus on xML, the Church-style version of ML, and show that it can be translated into a calculus of coercions: terms are mapped i...

ابراهیمی, علی اصغر, احرامپوش, محمد حسن, بابایی, فاطمه, طالبی, پروانه, فلاح زاده, حسین, قانعیان, محمد تقی,

Background and purpose: Today, due to the reduction of water resources, separation of gray water from domestic wastewater and its reuse has gained more interest. The aim of this study was to apply multi-layer filtration (MLF) for removal of nutrients from gray water. Materials and methods: This laboratory-scale study was carried out in 2.3-19.2 gr. COD / L. d organic loading rates (OLR) over a...

2009
Paolo Herms

The language MLF is an extension of System F that permits robust first-order partial type inference with second-order polymorphism. We propose an extension of MLF’s graphical presentation with higherorder types and reduction at the type level as in System Fω. As inference of higher-order types won’t be possible in general, the extension introduces System F-style explicit type abstraction and ty...

2007

The fit of structural equation models with normally distributed observed and latent variables can be evaluated by examining the normalized and standardized residuals computed in Mplus. These residuals are available for the ML, MLR, and MLF estimators and can be obtained by the residual output command. Suppose that Y is the vector of dependent observed variables and η is the vector of latent var...

Journal: :The European journal of neuroscience 2014
Marcin Bączyk Lars-Gunnar Pettersson Elzbieta Jankowska

Ipsilateral actions of pyramidal tract (PT) neurons are weak but may, if strengthened, compensate for deficient crossed PT actions following brain damage. The purpose of the present study was to examine whether transcranial direct current stimulation (tDCS) can strengthen ipsilateral PT (iPT) actions; in particular, those relayed by reticulospinal neurons co-excited by axon collaterals of fibre...

Journal: :Journal of neuroscience methods 1995
T J Bosch S Maslam B L Roberts

A polyclonal antibody raised against a conserved region of a mammalian FOS sequence was tested for its use as an activity marker in the rainbow trout. The FOS-like expression in the trout is entirely cytoplasmic and appears in a Nissl-like pattern. The reaction is specifically induced by both orthodromic and antidromic electrical stimuli and during motor responses evoked by natural stimulation,...

Journal: :Electroencephalography and clinical neurophysiology 1980
R P Vertes

In previous reports (Vertes 1977, 1979) we have shown that cells of the medial magnocellular reticular formation (MMRF) discharge at high rates of activity during both waking-movement and REM sleep and at low rates during quiet waking and slow wave sleep. We suggest that some of these reticular cells may be involved in the generation of the hippocampal theta rhythm since they fire maximally dur...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید