نتایج جستجو برای: mapped infinite element
تعداد نتایج: 303443 فیلتر نتایج به سال:
Memory-mapped transactions combine the advantages of both memory mapping and transactions to provide a programming interface for concurrently accessing data on disk without explicit I/O or locking operations. This interface enables a programmer to design a complex serial program that accesses only main memory, and with little to no modification, convert the program into correct code with multip...
We present Mapped Separation Logic, an instance of Separation Logic for reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover and it allows reasoning on properties about page tables, direct physical memory access, virtual memory access, and shared memory. Mapped Separation Logic fully supports all rules of abstract Separation Logic, including the frame rule....
The purpose of this paper is to study properties of mapped shuffled Fibonacci languages F(afi) and F^vy Let X — {a?6} be an alphabet and let X* be the free monoid generated by X. Let 1 be the empty word and let X+ — X* \ {1}. The length of a word u is denoted by lg(w). Every subset of X* is called a language. For two words u, v E X + ? we consider the following type of Fibonacci sequence of words:
We describe a collection of P-element insertions that have considerable utility for generating custom chromosomal aberrations in Drosophila melanogaster. We have mobilized a pair of engineered P elements, p[RS3] and p[RS5], to collect 3243 lines unambiguously mapped to the Drosophila genome sequence. The collection contains, on average, an element every 35 kb. We demonstrate the utility of the ...
In this work, the mechanism for fracture of brittle substances such as rocks under a uniform normal tension is considered. The oriented straight micro-cracks are mostly created in all the polycrystalline materials resulting from the stress concentrations. The present work focuses on the interactions of the pre-existing micro-cracks, which can grow and propagate within a rock-like specimen. The ...
This paper investigates the moments and stress resultants from infinite FG laminates with different polygonal cutouts subject to uniaxial tensile load. The analytical solution used for the calculation of stress resultants and moments is the basis of the complex-variable method and conformal mapping function. The impact of various factors, namely cutout orientation angle, cutout aspect ratio as ...
We describe a second-generation deficiency kit for Drosophila melanogaster composed of molecularly mapped deletions on an isogenic background, covering approximately 77% of the Release 5.1 genome. Using a previously reported collection of FRT-bearing P-element insertions, we have generated 655 new deletions and verified a set of 209 deletion-bearing fly stocks. In addition to deletions, we demo...
ion, in this case, means that we are looking for a mapping X so that for all v, S[v]⊆X[v]. This means that we allow to weaken the statement about program points. To compute such an over-approximation of (concrete) semantics, we start with picking a complete lattice (D,v) so that each element d ∈D is a finite representation of a possibly infinite set of states. This step is necessary as we obvio...
We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, no infinite virtually nilpotent group can be generated by a bireversible Mealy automaton. The study on how (semi)groups grow has been highlighted since Milnor’s question on the existence of groups of intermediate...
In our book [3], Laurie Snell and I tell how a method from the classical theory of electricity called Rayleigh’s short-cut method can be used to determine whether or not a person walking around at random on the vertices of a given infinite graph is certain to return to the starting point. In this paper, I will present an application of Rayleigh’s method to the classical type problem for Riemann...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید