Results 31 to 40 of about 1,741,164 (298)
Public Health and Toxicology, 2023 The understanding of the possible human health effects of the new combinations of herbicides used in agricultural systems is challenging. We plan to evaluate the effects of glyphosate alone and a mixture of dicamba, glyphosate and 2,4-D. Wistar rats (ten
Robin Mesnage +8 more
doaj +1 more source
Journal of Plant Protection Research, 2017 Efficient weed management is essential for avoiding competition for water, light, and nutrient resources in semiarid zones. Chemical weed control with glyphosate was evaluated on perennial wall-rocket (Diplotaxis tenuifolia), artichoke thistle (Cynara ...
Diego Javier Bentivegna +3 more
doaj +1 more source
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability [PDF]
Logical Methods in Computer Science, 2012 The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability through randomized quantification.
Tino Teige, Martin Fränzle
doaj +1 more source
Reachability and liveness in parametric timed automata [PDF]
Logical Methods in Computer Science, 2022 We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable.
Étienne André +2 more
doaj +1 more source
D 2.4 Governance and operational models
, 2020 This deliverable studies the variety of Open Science activities done in different countries to find the main barriers and suggest best practice methods for EOSC and the transport research community working with open science. The activities were accomplished through interviews and desk research.
Nielsen Anja Fleten +6 more
openaire +1 more source
Reachability Analysis of Innermost Rewriting [PDF]
Logical Methods in Computer Science, 2017 We consider the problem of inferring a grammar describing the output of a functional program given a grammar describing its input. Solutions to this problem are helpful for detecting bugs or proving safety properties of functional programs, and several ...
Thomas Genet, Yann Salmon
doaj +1 more source
Journal of Applied Agricultural Science and Technology, 2023 Plant breeding programs need to be carried out in order to improve the genetics of wheat that is able to adapt to tropical environments through hybridization, mutation induction, tissue culture, and genetic transformation.
Yusniwati Yusniwati, Ryan Budi Setiawan
doaj +1 more source
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity [PDF]
Logical Methods in Computer Science, 2021 We present a new version of ReLoC: a relational separation logic for proving refinements of programs with higher-order state, fine-grained concurrency, polymorphism and recursive types. The core of ReLoC is its refinement judgment $e \precsim e' : \tau$,
Dan Frumin +2 more
doaj +1 more source
Interpolant-Based Transition Relation Approximation [PDF]
Logical Methods in Computer Science, 2007 In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image.
Ranjit Jhala, Kenneth L. McMillan
doaj +1 more source
EFFECT OF SEED SOAKING IN DIFFERENT CONCENTRATIONS OF CYTOKININ (BA) AND 2.4-D ON SOME MORPHOLOGICAL CHARACTERISTICS OF Pinus brutia TEN. [PDF]
Mesopotamia Journal of Agriculture, 2013 This study was conducted at nursery and silviculture laboratory of forestry dept. during the 2nd of April- 2009 until 1st of July- 2010 and the objective was determining the effect of Cytokinine , Benzyladenine (BA), Auxine 2.4-Dichlorophenoxy acetic ...
Saieed. N. Th, Al-Taweel Q. S
doaj +1 more source