Results 311 to 320 of about 12,698,759 (344)
Some of the next articles are maybe not open access.
SIAM Journal on Applied Mathematics, 1976
Higher order tensors, as the name implies, are objects which are generalizations of the mathematical entities encountered in now-classical tensor analysis. In a continuum-mechanical context these objects arise naturally in the development of a theory for the description of the mechanical response of inhomogeneous, materially uniform, nonsimple ...
openaire +1 more source
Higher order tensors, as the name implies, are objects which are generalizations of the mathematical entities encountered in now-classical tensor analysis. In a continuum-mechanical context these objects arise naturally in the development of a theory for the description of the mechanical response of inhomogeneous, materially uniform, nonsimple ...
openaire +1 more source
Archive for Rational Mechanics and Analysis, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2014
Functions in Scala are part of the type system. That is, they are part of the system of entities that comprise the types that variables and parameters can reference. Thus just as a parameter can be of type Int, or Boolean, or Person a parameter to a method or a function can be another functions.
openaire +1 more source
Functions in Scala are part of the type system. That is, they are part of the system of entities that comprise the types that variables and parameters can reference. Thus just as a parameter can be of type Int, or Boolean, or Person a parameter to a method or a function can be another functions.
openaire +1 more source
European Journal of Epidemiology
Higher-order evidence is evidence about evidence. Epidemiologic examples of higher-order evidence include the settings where the study data constitute first-order evidence and estimates of misclassification comprise the second-order evidence (e.g., sensitivity, specificity) of a binary exposure or outcome collected in the main study.
Zivich, Paul N. +5 more
openaire +2 more sources
Higher-order evidence is evidence about evidence. Epidemiologic examples of higher-order evidence include the settings where the study data constitute first-order evidence and estimates of misclassification comprise the second-order evidence (e.g., sensitivity, specificity) of a binary exposure or outcome collected in the main study.
Zivich, Paul N. +5 more
openaire +2 more sources
1987
Abstract : In the research on higher order crossings (HOC) they have solved some of the mathematical/statistical problems associated with a certain contraction mapping method for frequency detection and estimation in the presence of noise. They can now tell how to shrink the filters bandwidth to achieve almost sure convergence of the HOC sequence.
openaire +1 more source
Abstract : In the research on higher order crossings (HOC) they have solved some of the mathematical/statistical problems associated with a certain contraction mapping method for frequency detection and estimation in the presence of noise. They can now tell how to shrink the filters bandwidth to achieve almost sure convergence of the HOC sequence.
openaire +1 more source
Vision Research, 1986
Evidence supporting the existence of higher order color mechanisms, that is, ones beyond the previously identified second stage mechanisms is presented. This evidence includes a reanalysis of the data of Krauskopf et al. [Vision Res. 20, 1123-1131 (1982)] on the desensitizing effects of viewing chromatically modulated fields, new experiments on a ...
J, Krauskopf +3 more
openaire +2 more sources
Evidence supporting the existence of higher order color mechanisms, that is, ones beyond the previously identified second stage mechanisms is presented. This evidence includes a reanalysis of the data of Krauskopf et al. [Vision Res. 20, 1123-1131 (1982)] on the desensitizing effects of viewing chromatically modulated fields, new experiments on a ...
J, Krauskopf +3 more
openaire +2 more sources
Annual Review of Neuroscience, 1991
(I) The anterior spinal horns and their homologues higher up (nuclei of motor cranial nerves) are the lowest motor centres (both of the cerebral and cerebellar systems). These lowest motor centres, with the corresponding sensory centres, make up the lowest level of evolution of the central nervous system. (2) The convolutions of the Rolandic region are
openaire +2 more sources
(I) The anterior spinal horns and their homologues higher up (nuclei of motor cranial nerves) are the lowest motor centres (both of the cerebral and cerebellar systems). These lowest motor centres, with the corresponding sensory centres, make up the lowest level of evolution of the central nervous system. (2) The convolutions of the Rolandic region are
openaire +2 more sources
Higher-Order Quadruplex Structures
2012Structural studies have shown that four G-tracts along a DNA strand are the minimal requirement for intramolecular G-quadruplex formation. Longer DNA sequences containing multiples of four G-tracts could, in principle, form higher-order structures based on multiple G-quadruplex blocks.
openaire +3 more sources
2010
The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the study undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus (HOπ).
LANESE, IVAN, C. A. MEZZINA, J. STEFANI
openaire +3 more sources
The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the study undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus (HOπ).
LANESE, IVAN, C. A. MEZZINA, J. STEFANI
openaire +3 more sources
Certified Higher-Order Recursive Path Ordering
2006The paper reports on a formalization of a proof of wellfoundedness of the higher-order recursive path ordering (HORPO) in the proof checker Coq. The development is axiom-free and fully constructive. Three substantive parts that could be used also in other developments are the formalizations of the simply-typed lambda calculus, of finite multisets and ...
openaire +1 more source