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

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

Journal: :Commonwealth Essays and Studies 2018

Journal: :Logical Methods in Computer Science 2013

Journal: :Electr. Notes Theor. Comput. Sci. 2009
Frank Raiser Thom W. Frühwirth

The notion of confluence is prevalent in graph transformation systems (GTS) as well as constraint handling rules (CHR). This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses. Confluence of a terminating CHR program is decidable, but confluence of a terminating GTS is undecidable. We show that observable confluence in CHR is a ...

2016
Takahito Aoto Yoshihito Toyama

Ground confluence of term rewriting systems guarantees that all ground terms are confluent. Recently, interests in proving confluence of term rewriting systems automatically has grown, and confluence provers have been developed. But they mainly focus on confluence and not ground confluence. In fact, little interest has been paid to developing tools for proving ground confluence automatically. W...

2017
Cristina G. Kennedy Martha E. Mather Joseph M. Smith John T. Finn Linda A. Deegan

Understanding environmental drivers of spatial patterns is an enduring ecological problem that is critical for effective biological conservation. Discontinuities (ecologically meaningful habitat breaks), both naturally occurring (e.g., river confluence, forest edge, dropoff) and anthropogenic (e.g., dams, roads), can influence the distribution of highly mobile organisms that have landor seascap...

2008
Edmundo C. Drago Karl M. Wantzen Aldo R. Paira

We report herein the first description of the physical structure of the aquatic habitats of the Lower Paraguay River along 390 km from Asunción city (Paraguay) to the confluence with the Paraná River. The hierarchical ordination of the Fluvial Hydrosystem Approach (FHA) allowed us to classify the Lower Paraguay as a meandering functional sector where five functional sets were identified: (a) ma...

Journal: :iranian journal of management studies 2011
hamid irani kamran shahanaghi gholamreza jandaghi

this study seeks to examine how a company can select the best intermediary for its marketing channels with minimum of criteria and time. a theoretical framework is proposed based on the most important tasks of intermediary and the criteria to measure them. there are four basic tasks and thirty criteria in three independent levels. subsequently, an exploratory case study in iranian food industry...

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

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