Results 181 to 190 of about 149,618 (233)
The Use of Rhizospheric Microorganisms of <i>Crotalaria</i> for the Determination of Toxicity and Phytoremediation to Certain Petroleum Compounds. [PDF]
Plants (Basel)Ramírez-May AG +5 more
europepmc +1 more source
Reduced nitrogen availability in hydroponically grown Chinese broccoli does not affect photosynthetic performance and yield while enhancing nitrogen use efficiency and nutritional quality. [PDF]
Front Plant SciHe J +6 more
europepmc +1 more source
Improving ferroptosis-mediated immunotherapy for colorectal cancer through lysosome-targeted photodynamic therapy. [PDF]
Mater Today BioChen Z +9 more
europepmc +1 more source
Tumor-specific PET tracer imaging and contrast-enhanced Mri based tumor volume differences inspection of glioblastoma patients. [PDF]
Sci RepAbbasi IA, Alshehri M, AlQahtani Y.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2019
Da bi se na nekoj podlozi nešto sagradilo potrebno je da podloga ima određena svojstva primjerena gradnji. Danas se za pripremu neadekvatne podloge za gradnju koriste dva načina. Jedan podrazumijeva da se podloga za izgradnju u potpunosti promjeni, a drugi je da se postojećoj podlozi poboljšaju svojstva.
openaire +3 more sources
Da bi se na nekoj podlozi nešto sagradilo potrebno je da podloga ima određena svojstva primjerena gradnji. Danas se za pripremu neadekvatne podloge za gradnju koriste dva načina. Jedan podrazumijeva da se podloga za izgradnju u potpunosti promjeni, a drugi je da se postojećoj podlozi poboljšaju svojstva.
openaire +3 more sources
Distributed Computing, 1999
We address the problem, proposed by Gerth, of verifying that a simplified version of the lazy caching algorithm of Afek, Brown, and Merritt is sequentially consistent. We specify the algorithm and sequential consistency in TLA+, a formal specification language based on TLA (the Temporal Logic of Actions).
Ladkin, Peter +3 more
openaire +2 more sources
We address the problem, proposed by Gerth, of verifying that a simplified version of the lazy caching algorithm of Afek, Brown, and Merritt is sequentially consistent. We specify the algorithm and sequential consistency in TLA+, a formal specification language based on TLA (the Temporal Logic of Actions).
Ladkin, Peter +3 more
openaire +2 more sources
2014
TLA+ is a specification language, mainly intended for concurrent and distributed systems. Its non-temporal fragment is based on a variant of (untyped) ZF set theory. Motivated by the integration of the TLA+ Proof System with SMT solvers or similar tools based on multi-sorted first-order logic, we define a type system for TLA+ and we prove its soundness.
Merz, Stephan, Vanzetto, Hernán
openaire +1 more source
TLA+ is a specification language, mainly intended for concurrent and distributed systems. Its non-temporal fragment is based on a variant of (untyped) ZF set theory. Motivated by the integration of the TLA+ Proof System with SMT solvers or similar tools based on multi-sorted first-order logic, we define a type system for TLA+ and we prove its soundness.
Merz, Stephan, Vanzetto, Hernán
openaire +1 more source
Proceedings of the 7th workshop on ACM SIGOPS European workshop Systems support for worldwide applications - EW 7, 1996
In this paper, we present a proposed system architecture for global computing that we call ATLAS, and we describe an early prototype that implements several of the mechanisms and policies that comprise the proposed architecture. ATLAS is designed to execute parallel multithreaded programs on the networked computing resources of the world.
J. Eric Baldeschwieler +2 more
openaire +1 more source
In this paper, we present a proposed system architecture for global computing that we call ATLAS, and we describe an early prototype that implements several of the mechanisms and policies that comprise the proposed architecture. ATLAS is designed to execute parallel multithreaded programs on the networked computing resources of the world.
J. Eric Baldeschwieler +2 more
openaire +1 more source
Mehanički postupak čišćenja tla - pranje tla
2009Čišćenje tla dobiva sve veći značaj u industrijaliziranim zemljama. Pranje tla odnosno fizikalna separacija omogućava da se tlo očisti do stupnja da se može ponovno koristiti na istoj lokaciji ili na nekoj drugoj bez opasnosti po okoliš. Izdvojene nečistoće (metali, ugljikovodici) zbrinjavaju se kao poseban otpad bilo da se dalje obrađuju i/ili odlažu ...
Salopek, Branko +3 more
openaire +1 more source