Results 81 to 90 of about 17,736,682 (264)
Information and Computation, 1998 We present a modification to the paramodulation inference system, where semantic equality and non-equality literals are stored as local simplifiers with each clause. The local simplifiers are created when new clauses are generated and inherited by the descendants of that clause.
openaire +5 more sources
Large Cuts with Local Algorithms on Triangle-Free Graphs [PDF]
, 2014 We study the problem of finding large cuts in $d$-regular triangle-free graphs. In prior work, Shearer (1992) gives a randomised algorithm that finds a cut of expected size $(1/2 + 0.177/\sqrt{d})m$, where $m$ is the number of edges.
Hirvonen, Juho +3 more
core
A unified approach to formal local cohomology and local Tate cohomology [PDF]
arXiv, 2011 Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local Tate cohomology through some natural isomorphisms.
arxiv
Trabajo Social, 2011 En La globalización imaginada, Néstor García Canclini da continuidad al tema que ha trabajado en los últimos tiempos, abriendo el debate a nuevas miradas y buscando trascender los estudios referentes al área.
Liliana Espinosa Hurtado
doaj
Des sources de protéines locales pour l’alimentation des volailles : quelles voies de progrès ?
Oilseeds and fats, crops and lipids, 2014 L’aviculture européenne est dépendante d’approvisionnements en soja essentiellement en provenance du Brésil. Cette matière première riche en protéines est intéressante d’un point de vue nutritionnel pour l’alimentation des volailles mais pose des ...
Bouvarel Isabelle +8 more
doaj +1 more source
Caffeine promotes global spatial processing in habitual and non-habitual caffeine consumers
Frontiers in Human Neuroscience, 2013 Information processing is generally biased toward global cues, often at the expense of local information. Equivocal extant data suggests that arousal states may accentuate either a local or global processing bias, at least partially dependent on the ...
Grace E. Giles +4 more
doaj +1 more source
Non-Markovian quantum dynamics: local versus non-local [PDF]
, 2010 We analyze non-Markovian evolution of open quantum systems. It is shown that any dynamical map representing evolution of such a system may be described either by non-local master equation with memory kernel or equivalently by equation which is local in ...
Chruscinski, Dariusz +1 more
core +2 more sources
Skin and mucosal ischemia as a complication after inferior alveolar nerve block
Dental Research Journal, 2016 The anesthetic block of the inferior alveolar nerve (IAN) is one of the most common techniques used in dental practice. The local complications are due to the failures on the anesthetic block or to anatomic variations in the tap site such as ...
Pedro Christian Aravena +4 more
doaj +1 more source
An AFSCME Local Transforms Local Politics [PDF]
, 1994 [Excerpt] In the late 1980s, AFSCME Local 2703, in Merced, California, found itself in a position familiar to many union members at that time: fighting hard to keep pay and benefits from being slashed.
McLeod, Sean P.
core +1 more source
Local modes, local vacuum, local bogoljubov coefficients and the renormalised stress tensor
, 1993 Local modes and local particles are defined at any point in curved space time as those that most resemble Minkowsky modes at that point. It is shown that the renormalised stress tensor is the difference of energy between the physical vacuum and that ...
Massar, S.
core +1 more source