نتایج جستجو برای: confluence

تعداد نتایج: 5587  

In this study, extraction of tannic acid using microchannel was investigated. Affective parameters were optimized. Different solvents including buthanol, ethylacetate and n-hexane as organic phase, methanol, propanol, ethanol and water as aqueous phase investigated. Microchannels with different confluence angles and diameters were examined. Microchannels with different confluence angles and dia...

Journal: :Folia morphologica 2017
G G Tardieu R J Oskouian M Loukas R S Tubbs

An 8-year-old female with a history of chronic headaches and uncertain papilloedema was found to have a variant of the posterior intracranial dural venous sinuses on magnetic resonance imaging assessment of the brain. Magnetic resonance venography included in the imaging revealed a circular formation of the confluence of sinuses and absent right-sided transverse sinus. The confluence of sinuses...

2002
Michael Marte

We are interested in investigating the confluence properties of cooperating constraint solvers. To this end, we model solvers as reductions that transform constraint networks, we define the notion of insensitivity to a superset relation, and show that, if each solver of a given set of solvers is insensitive to the same terminating superset relation, then any combination of these solvers is conf...

2005
Zena M. Ariola Stefan Blom

Skew confluence was introduced as a characterization of nonconfluent term rewriting systems that had unique infinite normal forms or Böhm like trees. This notion however is not expressive enough to deal with all possible sources of non-confluence in the context of infinite terms or terms extended with letrec. We present a new notion called ωskew confluence which constitutes a sufficient and nec...

Journal: :Archive of Formal Proofs 2010
Ludovic Henrio Florian Kammüller Bianca Lutz Henry Sudhof

We present a Theory of Objects based on the original functional ςcalculus by Abadi and Cardelli [1] but with an additional parameter to methods. We prove confluence of the operational semantics following the outline of Nipkow’s proof of confluence for the λ-calculus reusing his general Commutation.thy [4] a generic diamond lemma reduction. We furthermore formalize a simple type system for our ς...

Journal: :Journal of Geophysical Research: Oceans 2019

Journal: :Water Resources Research 1983

Journal: : 2023

This study is considered the first in this sector of Tigris River after 2003, to evaluate effect Tharthar Canal on composition and diversity zooplankton River. Six sampling sites were selected; two canal four along River, one before confluence as a control site others downstream confluence. One hundred thirty-four taxa recorded study, 129 ,76 well 96 shared between river canal. The high value d...

2015
Robin Milner

The notion of confluence is studied on the context of bigraphs. Confluence will be important in modelling real-world systems, both natural (as in biology) and artificial (as in pervasive computing). The paper uses bigraphs in which names have multiple locality; this enables a formulation of the lambda calculus with explicit substitutions. The paper reports work in progress, seeking conditions o...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید