نتایج جستجو برای: guards
تعداد نتایج: 1931 فیلتر نتایج به سال:
Some initial motivations for the Guarded Fragment still seem of interest in carrying its program further. First, we stress the equivalence between two perspectives: (a) satisfiability on standard models for guarded first-order formulas, and (b) satisfiability on general assignment models for arbitrary firstorder formulas. In particular, we give a new straightforward reduction from the former no...
Astrocytes orchestrate neuronal synchrony stroctyes are known to modulate synaptic communication between neurons. Now, colleagues report that astrocytes can elicit slow inward currents outside of synapses and thus activate synchronous responses in multiple neurons. During periods of intense neural activity, calcium oscillations are triggered in astrocytes, inducing the cells to release glutamat...
In the art gallery problem the goal is to place guards (as few as possible) in a polygon so that a maximal area of the polygon is covered. We address here a closely related problem: how to place paintings and guards in an art gallery so that the total value of guarded paintings is a maximum. More formally, a simple polygon is given along with a set of paintings. Each painting, has a length and ...
The role of prison guards in limiting access to health services by inmates and the impact of their representations on daily health practices were investigated through an action-research program. The program aimed to produce knowledge and improve the guards' involvement in tuberculosis and HIV/AIDS control by raising their awareness. Developed in three prisons and two hospitals, the study includ...
This study was conducted to detect binary trait loci (BTLs) that inßuence guarding behavior of individual honey bees, Apis mellifera L., and to locate genetic markers that are associated with these BTLs on genetic maps derived from guard bees from two reciprocal backcross colonies. Samples of guards and control bees were taken from two backcross colonies derived from a defensive colonyandagentl...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید