Results 1 to 10 of about 298,285 (278)

Confluence

open access: yes, 2021
Work of art on tree trunk and roots, acrylic plastic, latex paint by artist Philip F. Samson as part of a 2022 MFA exhibition, entitled "Confluence" in the Environmental Education, Science and Technology Building Atrium on the main campus of the ...
Samson, Philip F.
core   +13 more sources

Confluence

open access: yes, 2022
Installation view of work of art on poplar, acrylic plastic, and aluminum rivets by artist Philip F. Samson as part of a 2022 MFA exhibition, entitled "Confluence" in the Environmental Education, Science and Technology Building Atrium on the main campus
Samson, Philip F.
core   +7 more sources

Confluence

open access: yes, 2020
Work of art on Acrylic Plastic, Metal Rack, LED UV Lights, and Plastic by artist Philip F. Samson as part of a 2022 MFA exhibition, entitled "Confluence" in the Environmental Education, Science and Technology Building Atrium on the main campus of the ...
Samson, Philip F.
core   +4 more sources

Ground Confluence [PDF]

open access: yes, 1986
In this paper we introduce a test for confluence on ground terms. This test allows us to prove the ground confluence of term rewriting systems where the Knuth-Bendix Algorithm does not terminate. Ground Confluence of term rewriting systems is sufficient,
Göbel, Richard
core   +2 more sources

Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems

open access: yesActa Informatica, 1996
Innermost-confluence is important in giving call-by-value and denotational semantics and outermost-confluence is important in giving call-by-need and lazy semantics of programs.
Krishna Rao, M. R. K., Krishna Rao, M.
core   +4 more sources

The effect of different confluence confirmation strategies on the obturation of Vertucci type II canal: micro-CT analysis [PDF]

open access: yesRestorative Dentistry & Endodontics, 2021
ObjectivesThe present study aims to compare the obturation quality of 2 confluence confirmation techniques in artificial maxillary first premolars showing Vertucci type II root canal configuration.Materials and MethodsThirty artificial maxillary ...
Seungjae Do, Min-Seock Seo
doaj   +1 more source

First Molecular Characterization of Chronic Hepatitis B Carriers in Timbuktu, Mali

open access: yesDiagnostics, 2023
In Mali, hepatocellular carcinoma (HCC) is the third and sixth most common cancer in men and women, respectively. Mali comprises several distinct climato-ecological zones. Most studies to date have been conducted in the sub-Sahelian zone of southern Mali,
Philip Lawrence   +15 more
doaj   +1 more source

THE IMPACT OF THE CONFLUENCE OF JUDICAL AND ADMINISTRATIVE EXECUTION ON THE MANAGEMENT OF THE FORECLOSURE OF A PROPERTY

open access: yesZeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015
The confluence of administrative and judicial executions creates a number of concerns arising from incompatibilities in doctrine and case law. In this paper the attention is paid to the consequences of differences in the regulations on the management of ...
Ziemowit Bielak
doaj   +12 more sources

The Migration Patterns and Identity of the Okun-Yoruba People of Central Nigeria

open access: yesYoruba Studies Review, 2021
Migration is a global phenomenon. From time immemorial, man has been moving from one place to another for temporary or permanent settlements. This is largely facilitated by natural or artificial factors.
Ilesanmi Akanmidu Paul
doaj   +1 more source

Herbrand-Confluence [PDF]

open access: yesLogical Methods in Computer Science, 2013
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically more realistic) look at cut-free proofs.
Hetzl, Stefan, Strassburger, Lutz
openaire   +5 more sources

Home - About - Disclaimer - Privacy