Results 11 to 20 of about 275 (256)
INTERLEAVING LOGIC AND COUNTING
The Bulletin of Symbolic Logic, 2023 AbstractReasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is this cooperation of styles as it occurs in common linguistic usage and its extension into the broader practice of natural language plus ‘grassroots mathematics’.We ...
van Benthem, J., Icard, T.
openaire +4 more sources
Interleavings and matchings as representations [PDF]
Applicable Algebra in Engineering, Communication and Computing, 2021 15 ...
Emerson G. Escolar +2 more
openaire +3 more sources
Interleaved Group Products [PDF]
SIAM Journal on Computing, 2019 Let $G$ be the special linear group ${SL}(2,q)$. We show that if $(a_1,\ldots,a_t)$ and $(b_1,\ldots,b_t)$ are sampled uniformly from large subsets $A$ and $B$ of $G^t$, then their interleaved product $a_1 b_1 a_2 b_2 \cdots a_t b_t$ is nearly uniform over $G$. This extends a result of the first author [W. T. Gowers, Combin. Probab. Comput., 17 (2008),
Gowers, WT, Viola, Emanuele
openaire +4 more sources
On the spread of random interleavers [PDF]
Proceedings. International Symposium on Information Theory, 2005. ISIT 2005., 2005 For a given blocklength we determine the number of interleavers which have spread equal to two. Using this, we find out the probability that a randomly chosen interleaver has spread two. We show that as blocklength increases, this probability increases but very quickly converges to the value $1-e^{-2} \approx 0.8647$. Subsequently, we determine a lower
Arya Mazumdar +2 more
openaire +2 more sources
Pulsed Interleaved Excitation [PDF]
Biophysical Journal, 2005 In this article, we demonstrate the new method of pulsed interleaved excitation (PIE), which can be used to extend the capabilities of multiple-color fluorescence imaging, fluorescence cross-correlation spectroscopy (FCCS), and single-pair fluorescence resonance energy transfer (spFRET) measurements.
Müller, B. +3 more
openaire +3 more sources
Understanding interleaved code [PDF]
Automated Software Engineering, 1996 Complex programs often contain multiple, interwoven strands of computation, each responsible for accomplishing a distinct goal. The individual strands responsible for each goal are typically delocalized and overlap rather than being composed in a simple linear sequence. We refer to these code fragments as being interleaved.
Spencer Rugaber +2 more
openaire +1 more source
Trends in Genetics, 2016 Eukaryotic genomes are pervasively transcribed but until recently this noncoding transcription was considered to be simply noise. Noncoding transcription units overlap with genes and genes overlap other genes, meaning genomes are extensively interleaved. Experimental interventions reveal high degrees of interdependency between these transcription units,
Mellor, J, Woloszczuk, R, Howe, F
openaire +3 more sources
Interleaving data and effects [PDF]
Journal of Functional Programming, 2015 Abstract The study of programming with and reasoning about inductive datatypes such as lists and trees has benefited from the simple categorical principle of initial algebras. In initial algebra semantics, each inductive datatype is represented by an initial f -algebra for ...
Atkey, Robert, Johann, Patricia
openaire +3 more sources
Application of convolutional interleavers in turbo codes with unequal error protection
Journal of Telecommunications and Information Technology, 2006 This paper deals with an application of convolu- tional interleavers in unequal error protection (UEP) turbo codes. The constructed convolutional interleavers act as block interleavers by inserting a number of stuff bits into the interleaver memories at
Sina Vaf, Tadeusz Antoni Wysocki
doaj +1 more source
, 2006 The chapter describes principles, analysis, design, properties, and implementations of optical frequency (or wavelength) interleavers. The emphasis is on finite impulse response devices based on cascaded Mach-Zehnder-type filter elements with carefully designed coupling ratios, the so-called resonant couplers.
de Ridder, R.M., Roeloffzen, C.G.H.
openaire +2 more sources