نتایج جستجو برای: structural variation theorems
تعداد نتایج: 713868 فیلتر نتایج به سال:
Algebraic proofs of the cut-elimination theorems for classical and intuitionistic logic are presented, and are used to show how one can sometimes extract a constructive proof and an algorithm from a proof that is nonconstructive. A variation of the double-negation translation is also discussed: if φ is provable classically, then ¬(¬φ) is provable in minimal logic, where θ denotes the negation-n...
[1] EZ-Face [2] Michael Hoffman’s site contains some basic information about the MZVs. Hoffman also has a comprehensive list of references on MZVs and related stuff [3] Jonathan M. Borwein, David M. Bradley, David J. Broadhurst, and Petr Lisonek, “Special values of multidimensional polylogarithms,” Trans. Amer. Math. Soc. 353 (2001), 907–941 [4] Wadim Zudilin, “Algebraic relations for multiple ...
Here, we present the chloroplast genome sequence of the Saccharum hybrid cultivar RB867515, the most planted sugarcane cultivar in Brazil.
Recognition of the existence of measurable amounts of electrical currents within the animal body has been widespread ever since the initial experiments upon this form of energy by Galvani" and by Volta.'6' 17, 18 The measurement of action currents was a natural outgrowth of these discoveries. The clinical use of the electrocardiogram brought these phenomena first to the fore and later into the ...
We announce here the first complete chloroplast genome sequence of the tropical japonica rice, along with its genome structure and functional annotation. The plant was collected from Indonesia and deposited as a germplasm accession of the International Rice GenBank Collection (IRGC 66630) at the International Rice Research Institute (IRRI). This genome provides valuable data for the future util...
Whole genome sequencing was completed on 1,325 individuals from 602 families, identifying 27 million autosomal variants. Genetic association tests were conducted for those individuals who had been assessed for one or more of 17 endophenotypes (N range = 802-1,185). No significant associations were found. These 27 million variants were then imputed into the full sample of individuals with psycho...
Plants are sessile organisms forced to adjust to their surrounding environment. In a single plant the photoautotrophic shoot is exposed to pronounced environmental variations recurring in a day-night 24 h (diel) cycle, whereas the heterotrophic root grows in a temporally less fluctuating environment. The contrasting habitats of shoots and roots are reflected in different diel growth patterns an...
A theory is described based on resonant thermal diffusion waves in the sun that explains many details of the paleotemperature record for the last 5.3 million years. These include the observed periodicities, the relative strengths of each observed cycle, and the sudden emergence in time for the 100 thousand year cycle. Other prior work suggesting a link between terrestrial paleoclimate and solar...
an evolutionary structural optimization (eso) method is used for plastic design of frames. based on safe theorems some criteria are derived and made an effort to satisfy them during the optimization process. in this regard, equilibrium is checked and yield condition is gradually satisfied during the optimization process. in this method, the amount of used material and the stiffness for each ele...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید