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.  ...

### 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 .  ...

### 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.  ...

### 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.  ...

### 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.  ...

### 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.  ...

### 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?  ...

### 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.  ...

### 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] .  ...

### Foreword

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.  ...

### 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.  ...
« Previous Showing results 1 — 15 out of 58,528 results