نتایج جستجو برای: strictness band

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

1993
Wolfgang Schreiner

This bibliography cites and comments almost 400 publications on the parallel functional programming research of the last 15 years. It focuses on the software aspect of this area i.e. on languages, compile-time analysis techniques (in particular for strictness and weight analysis), code generation, and runtime systems. Excluded from this bibliography are publications on special architec-tures an...

1998
Oliver Matz

We show that every formula of the existential fragment of monadic second-order logic over picture models (i.e., nite, two-dimensional , coloured grids) is equivalent to one with only one existential monadic quantiier. The corresponding claim is true for the class of word models ((Tho82]) but not for the class of graphs ((Ott95]). The class of picture models is of particular interest because it ...

1991
Luc Maranget

We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of lazy ML. Parallelism is introduced by fork annotations inserted by the programmer. We discuss the interference of such user annotations with strictness annotations generated by our compiler. The system has been implemented on a Sequent Balance computer. We also address ...

Journal: :Fundam. Inform. 1996
Yuxi Fu

We give an interpretation of Martin-Löf’s type theory (with universes) extended with generalized inductive types. The model is an extension of the recursive model given by Beeson. By restricting our attention to PER model, we show that the strictness of positivity condition in the definition of generalized inductive types can be dropped. It therefore gives an interpretation of general inductive...

2001
D. Vigliano A. Uncini

The proof is given that the so called ‘mirror model’ as demixing model is able to recover original sources after non-trivial mixing. The issue explored is the capability to separate sources, in a blind way, after the convolutive mixing of post nonlinear (PNL) mixtures. The strictness of that kind of mixture produces non-trivial problems in separating signals without any adequate assumption on r...

Journal: :Genetics 1994
A S Kondrashov

For reasons that remain unclear, even multicellular organisms usually originate from a single cell. Here I consider the balance between deleterious mutations and selection against them in a population with obligate vegetative reproduction, when every offspring is initiated by more than one cell of a parent. The mutation load depends on the genomic deleterious mutation rate U, strictness of sele...

2003
Manfred Schmidt-Schauß

This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language “FUNDIO”, which is also a call-by-need lambda calculus, is investigated. The syntax of “FUNDIO” has case, letrec, constructors and an IO-interface: its operational semantics is described by small-step reductions. A con...

Journal: :Nicotine & tobacco research : official journal of the Society for Research on Nicotine and Tobacco 2007
Roy Otten Rutger C M E Engels Regina J J M van den Eijnden

This study tested associations between general parenting dimensions, antismoking socialization practices, and parental smoking status on the one hand and adolescent smoking on the other. These associations were examined within asthmatic adolescents, a group particularly vulnerable to the effects of smoking. Participants were 9,008 young adolescents (aged 11-16 years) from the Netherlands. Assoc...

2005
GABRIELLA BÖHM

A Morita context is constructed for any comodule of a coring and, more generally, for an L-C bicomodule Σ for a coring extension (D : L) of (C : A). It is related to a 2-object subcategory of the category of k-linear functors M → M. Strictness of the Morita context is shown to imply the Galois property of Σ as a C-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a...

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

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