Results 141 to 150 of about 1,192,885 (178)

Synergistic effects of drought and heat stress on <i>Medicago truncatula</i>: understanding growth response and photosynthetic mechanisms. [PDF]

Photosynthetica
Ressaissi N, Mnafgui W, Maiza N, Zribi F, Zorrig W, Ludidi N, Sanchez-Ballesta MT, Badri M.   +7 more
europepmc   +1 more source

Identification and characterization of pumicyclin A, a novel circular bacteriocin from <i>Bacillus pumilus</i> with a dispensable leader peptide. [PDF]

mBio
Liu F, Huang X, O'Connor PM, Miceli de Farias F, Buttimer C, Hill C, Kuipers OP, Ross RP.   +7 more
europepmc   +1 more source

Co-application of potassium and thiourea for mitigating salinity stress in wheat seedlings. [PDF]

Sci Rep
Abbas K, Javed M, Aslam S, Butt FR, Al-Ansari MM, Elshikh MS, Ijaz MK, Ali H, Aziz M, Mahmood U, Malik T.   +10 more
europepmc   +1 more source

Seed priming with silicon quantum dots promotes maize seedling establishment in coastal saline soil. [PDF]

Front Plant Sci
Zhao L, Wang T, Liu Q, Chen K, Li P, Zhang S, Zheng H, Li F, Luo X.   +8 more
europepmc   +1 more source

Cost-effectiveness of intrapartum azithromycin to prevent maternal infection, sepsis, or death in low-income and middle-income countries: a modelling analysis of data from a randomised, multicentre, placebo-controlled trial.

Lancet Glob Health
Patterson JK, Neuwahl S, Kirsch S, Moore JL, Tita ATN, Carlo WA, Lokangaka A, Tshefu A, Mwenechanya M, Chomba E, Kavi A, Metgud MC, Goudar SS, Derman RJ, Shivkumar P, Waikar M, Patel A, Hibberd PL, Nyongesa P, Esamai F, Ekhaguere OA, Bucher S, Jessani S, Tikmani SS, Saleem S, Wylie BJ, Goldenberg RL, Billah SM, Lennox R, Haque R, Petri WA, Mazariegos M, Krebs NF, Hemingway-Foday JJ, Babineau D, Koso-Thomas M, McClure EM, Bauserman M.   +37 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A Petri net semantics for B(PN)/sup 2/ with procedures

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, 2002
Verification of parallel programs is a very important goal on the way to improve the reliability of software. The PEP tool, a programming environment based on Petri nets, allows verification of parallel programs by a variety of different verification methods (e.g., partial order or BDD based model checking, and stubborn set or symmetrically reduced ...
Bernd Grahlmann, Hans Fleischhack
openaire   +2 more sources

PN/sup 3/-Editor: compositional Petri net editor for protocol specification

MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2002
The problem of Petri nets application to real-world parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tool which is an attempt to resolve this problem. We suggest a solution based on an algebraic approach, of Petri net representation.
Nikolay A. Anisimov, Aleksey Kavalenko, Pavel Postupalski   +2 more
openaire   +2 more sources

Modeling of carbohydrate metabolism: from dietary carbohydrate to pyruvic acid by petri-nets (PN)

Proceedings of the IEEE 31st Annual Northeast Bioengineering Conference, 2005., 2005
In this paper, we present Petri-nets (PN) based modeling of biological process. Carbohydrate metabolism, which plays an important role in the regulation of the glucose concentration in the blood, is modeled and analyzed. The breakdown of carbohydrate occurs in a series of steps and the final outcome of the carbohydrate anabolism is generation of ATP ...
W. Samarrai, I. Barjis, J.W. Yeol, Y.S. Ryu   +3 more
openaire   +1 more source

B(PN) 2 — a basic Petri net programming notation

1993
This paper presents the syntax of a concurrent programming notation which integrates a variety of process interaction techniques, its compositional Petri net semantics via the Box calculus, and an example of using the semantics for program verification.
Eike Best, Richard P. Hopkins
openaire   +2 more sources

HGA-PN: A New Algorithm for Scheduling FMS Using Combinational Genetic Algorithm and Timed Petri Net

2010 Second International Conference on Computer Modeling and Simulation, 2010
In flexible manufacturing systems (FMS), each job is formed of a set of operations that should be executed consecutive. Determining the sequence of operations and assigning proper machine to each operation are two important problems in scheduling FMS’s. This is an NP-hard problem.
Touraj MohammadPour, Mehdi Yadollahi, Abolfazl Toroghi Haghighat   +2 more
openaire   +1 more source