نتایج جستجو برای: din asad abadi
تعداد نتایج: 5323 فیلتر نتایج به سال:
Ameliorating effects of exogenous paclobutrazol and putrescine on mung bean [Vigna radiata (L.) Wilczek] under water deficit stress | Esmaeil Babarashi, Asad Rokhzadi, Babak Pasari, Khosro Mohammadi Agricultural Journals
Receiving coastal waters and estuaries are among the most nutrient-enriched environments on earth, and one of the symptoms of the resulting eutrophication is the proliferation of opportunistic, fast-growing marine seaweeds. Here, we used a widespread macroalga often involved in blooms, Ulva spp., to investigate how supply of nitrogen (N) and phosphorus (P), the two main potential growth-limitin...
Investigating music tempo as a feedback mechanism for closed-loop BCI control Ian Daly, Duncan Williams, Faustina Hwang, Alexis Kirke, Asad Malik, Etienne Roesch, James Weaver, Eduardo Miranda & Slawomir J. Nasuto a Brain Embodiment Lab, School of Systems Engineering, University of Reading, Reading, UK b Interdisciplinary Centre for Computer Music Research, University of Plymouth, Plymouth, UK ...
The spi-calculus, proposed by Abadi and Gordon, is a process calculus based on the π-calculus and is intended for reasoning about the behaviour of cryptographic protocols. We consider the finite-control fragment of the spi-calculus, showing it to be Turing-powerful (a result which is joint work with Josva Kleist, Uwe Nestmann, and Björn Victor.) Next, we restrict our attention to finite (non-re...
Given H a real Hilbert space and Φ : H → R a smooth C function, we study the dynamical system (DIN) ẍ(t) + αẋ(t) + β∇Φ(x(t))ẋ(t) +∇Φ(x(t)) = 0 where α and β are positive parameters. The inertial term ẍ(t) acts as a singular perturbation and, in fact, regularization of the possibly degenerate classical Newton continuous dynamical system ∇Φ(x(t))ẋ(t)+∇Φ(x(t)) = 0. We show that (DIN) is a well-pos...
In aquatic ecosystems, carbon (C) availability strongly influences nitrogen (N) dynamics. One manifestation of this linkage is the importance in the dissolved organic matter (DOM) pool of dissolved organic nitrogen (DON), which can serve as both a C and an N source, yet our knowledge of how specific properties of DOM influence N dynamics are limited. To empirically examine the impact of labile ...
We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satisfy...
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an operational semantics, defining a control flow analysis (CFA) in the form of a flow logic, and proving semantic correctness. Our first result is that secrecy in the sense of DolevYao can be expressed in terms of the CFA. Our se...
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need to reside in the store (”higher-order store”). We present a new soundness proof for this logic using a denotational semantics where object specifications are recursive predicates on the domain of objects. Our semantics...
BACKGROUND Postsurgical treatment of ductal intraepithelial neoplasia (DIN) with standard doses of tamoxifen has not reached a consensus yet. Given positive results of low-dose tamoxifen on breast cancer biomarkers modulation, we analyzed a large cohort of DIN patients treated with low-dose tamoxifen or no treatment as per institutional guidelines. PATIENTS AND METHODS All consecutive women o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید