Filters








58,528 Hits in 9.0 sec

Page 501 of Mathematical Reviews Vol. , Issue 2004a [page]

2004 Mathematical Reviews  
of the type-free lambda-calculus and its models.  ...  For example, all first- and second- order typed lambda-terms are strongly-normalizable and, in an intersection type system, the three above notions of normalizability are elegantly characterized by typability  ... 

Combinatorial structure of group divisible designs without α-resolution classes in each group

Tomoko Adachi, Masakazu Jimbo, Sanpei Kageyama
2003 Discrete Mathematics  
In this paper, at first, we denote BIB design, GD designs and finite geometry. Next, the combinatorial structure of GD designs with $r=\lambda_{1}+1$ is discussed.  ...  Moreover the combinatorial structure of GD designs is discussed $\mathrm{h}\mathrm{o}\mathrm{m}$ another point of view of assuming local structure in each group.  ...  In case of (ii), it can be characterized as in Theorem 3.3 because the BIB design with parameters $v=b=7,$ $r=k=3,$ $\lambda=1$ does not have any a-resolution class.  ... 
doi:10.1016/s0012-365x(02)00678-7 fatcat:vlxb3anv4bexhdkrobpxeqk474

Page 3908 of Mathematical Reviews Vol. , Issue 96g [page]

1996 Mathematical Reviews  
Kriv- ine’s operational characterization of classical integers (as closed terms typable, in a classical type system, by the type N[s”(0)j) We also give conditions on the classical type system in order  ...  A model of the untyped lambda calculus can be described as an object X in some Cartesian closed category for which the exponent X% is a retract of X.  ... 

Beluga: Programming with Dependent Types, Contextual Data, and Contexts [chapter]

Brigitte Pientka
2010 Lecture Notes in Computer Science  
of programming languages.  ...  It supports specifying formal systems in LF and it also provides a dependently typed functional language that supports analyzing and manipulating LF data via pattern matching.  ...  We begin by introducing the simplytyped lambda calculus. We will write T for types which consist of the base type nat and function types T 1 → T 2 . For lambda-terms, we use M and N .  ... 
doi:10.1007/978-3-642-12251-4_1 fatcat:6lfb46dwpzbgdkocnaxvngnjgm

The Perfect Lambda Syntax

Mikus Vanags, Rudite Cevere
2018 Baltic Journal of Modern Computing  
Most of the mainstream general-purpose programming languages support lambda expressions. In some languages (JavaScript, Swift) lambda expressions are called "closures".  ...  These perfections are characterized by the specific properties. This article presents a review and analysis of a set of characteristics that describe a perfect lambda syntax.  ...  reviewers of our paper.  ... 
doi:10.22364/bjmc.2018.6.1.02 fatcat:3ineeukcgvcdfdbehztjnh3yma

Synthesizing Stochasticity in Biochemical Systems

Brian Fett, Jehoshua Bruck, Marc D. Riedel
2007 Proceedings - Design Automation Conference  
We propose a general method for designing a set of biochemical reactions that produces different combinations of molecular types according to a specified probability distribution.  ...  Moreover, it provides a framework for analyzing and characterizing the stochastic dynamics in natural biochemical systems such as the lysis/lysogeny switch of the lambda bacteriophage.  ...  Reaction 9 resets x for the next iteration of the outer loop. Isolation: Y∞ = 1 This module is used to enforce an initial state consisting of a single molecule of some type.  ... 
doi:10.1109/dac.2007.375244 fatcat:i7o2qiicjjgpxpkuir7k66jlm4

Synthesizing stochasticity in biochemical systems

Brian Fett, Jehoshua Bruck, Marc D. Riedel
2007 Proceedings - Design Automation Conference  
We propose a general method for designing a set of biochemical reactions that produces different combinations of molecular types according to a specified probability distribution.  ...  Moreover, it provides a framework for analyzing and characterizing the stochastic dynamics in natural biochemical systems such as the lysis/lysogeny switch of the lambda bacteriophage.  ...  Reaction 9 resets x for the next iteration of the outer loop. Isolation: Y∞ = 1 This module is used to enforce an initial state consisting of a single molecule of some type.  ... 
doi:10.1145/1278480.1278643 dblp:conf/dac/FettBR07 fatcat:jtpoq7wm7bfgbmn2sukzdpmqvq

Serotypes and DNA Fingerprint Profiles of Pasteurella multocida Isolated from Raptors

M. A. Wilson, R. M. Duncan, G. E. Nordholm, B. M. Berlowski
1995 Avian diseases  
Nineteen isolates expressed somatic type 1 antigen; HhaI profiles of all type 1 isolates were identical to each other and to the HhaI profile of the reference somatic type 1, strain X-73.  ...  Incidence of P. multocida somatic type 1 in raptors suggests that this type may be prevalent in other wildlife or wildlife environments. RESUMEN.  ...  Fig. 1 .Fig. 2 . 12 Agarose gel DNA fingerprint profile of reference somatic type 1, strain X-73. Lane 1 contains DNA from lambda bacteriophage digested with HindIII.  ... 
doi:10.2307/1591987 pmid:7794197 fatcat:zos6fxazafghjcmx64qck6hcce

Modularizing gene regulation

Jose M G Vilar
2006 Molecular Systems Biology  
A promoter with binding sites for lambda cI dimers (O R 1 and O R 2 ) and for the lac repressor (O lac ) controls the production of the lac repressor (encoded by lacI ) in module 1 and lambda cI (encoded  ...  How scalable is this type of approach?  ... 
doi:10.1038/msb4100058 pmid:16738561 pmcid:PMC1681490 fatcat:kcai47xhcna5fmdwg7ixlontou

Page 166 of University Computing : The Bulletin of the IUCC Vol. 10, Issue 3 [page]

1988 University Computing : The Bulletin of the IUCC  
Chapter 1 introduces the basic finite com- binatorial structures of interest, incidence structures and block designs, with examples from finite geometry.  ...  Chapter 3 gives some important applica- tions of group theory to design theory based on the auto- morphism group of an incidence structure.  ... 

How to Test Exhaust Gas Sensors? Influence of Gas Testing Systems and Experimental Artifacts in Exhaust Gas Sensors Characterization

Carlos López Gándara, Josep M. Fernández-Sanjuán, Albert Klaas, Francisco M. Ramos, Albert Cirera
2012 Procedia Engineering  
Optimum designs of experimental systems are presented in terms of the sensing characteristics to be tested.  ...  A study on the influence of the gas testing systems in the behavior of solid-state electrochemical exhaust gas sensors is presented.  ...  Experimental Several versions of lambda sensors (with a resistive or electrochemical principle, thimble type or planar type, selective or not, etc.) exist.  ... 
doi:10.1016/j.proeng.2012.09.344 fatcat:lfjibevfnfhbhebxqwti3zpeqa

Genomic integration of lambda EG10 transgene in gpt delta transgenic rodents

Kenichi Masumura, Yasuteru Sakamoto, Wakako Kumita, Masamitsu Honma, Akiyoshi Nishikawa, Takehiko Nohmi
2015 Genes and Environment  
The animals were established by integration of lambda EG10 phage DNA as a transgene into the genome.  ...  The inserted position of the transgene on chromosome was determined by fluorescent in situ hybridization and Southern blot analyses; however, the exact position and sequence of the inserted junction were  ...  As a transgene, lambda phage DNA is used in some animal models [2] [3] [4] [5] [6] [7] .  ... 
doi:10.1186/s41021-015-0024-6 pmid:27350819 pmcid:PMC4918054 fatcat:lg4qipbo75ht7ba4nrimb3juoi

Foreword

Corrado Böhm, Irène Guessarian
1999 Theoretical Computer Science  
Venturini Zilli characterizes some not well-ordered condensed reduction graphs in terms of forbidden subgraphs.  ...  Bugliesi investigates the role of matching in the design of a type system for the calculus of objects: a new operational semantics is defined and its type soundness is proved.  ... 
doi:10.1016/s0304-3975(98)00133-9 fatcat:ea62itnvanbttcep6sq5qojv5y

Page 3854 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
Sci. 187 (1997), no. 1-2, 147-165. Summary: “A new extension of the Hindley/ Milner type system is proposed.  ...  , Jens (1-PURD-C; West Lafayette, IN); Jim, Trevor (1-PA-C; Philadelphia, PA) Type inference with simple selftypes is NP-complete.  ... 

A Bacteriophage Lambda-Based Genetic Screen for Characterization of the Activity and Phenotype of the Human Immunodeficiency Virus Type 1 Protease

M.-A. Martinez, M. Cabana, M. Parera, A. Gutierrez, J. A. Este, B. Clotet
2000 Antimicrobial Agents and Chemotherapy  
Human immunodeficiency virus type 1 (HIV-1) resistance to antiretroviral drugs is the main cause of patient treatment failure.  ...  Despite the problems associated with interpretation of HIV-1 resistance testing, resistance monitoring should help in the rational design of initial or rescue antiretroviral therapies.  ...  Bacteriophage lambda-based genetic screen for characterization of the activity and phenotype of HIV-1 protease.  ... 
doi:10.1128/aac.44.5.1132-1139.2000 pmid:10770741 pmcid:PMC89834 fatcat:2wfhk47i4bd6hoclseriu4igvm
« Previous Showing results 1 — 15 out of 58,528 results