Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
, 2001 Analysis of (partial) groundness is an important application of abstract interpretation. There are several proposals for improving the precision of such an analysis by exploiting type information, icluding our own work with Hill and King, where we had ...
Smaus, Jan-Georg
core +2 more sources
Microcomputer-controlled polarographic instrumentation and its use in the determination of stability constants of crown ether complexes [PDF]
, 1985 A computer-controlled polarographic system is described, based on a commercially available polarograph interfaced to a microcomputer. Experiments are controlled and monitored entirely from software, including automatic evaluation of the Tast polarograms ...
Bos, M. +3 more
core +3 more sources
Advances in Digestive Medicine, EarlyView.Abstract Pharyngeal high‐resolution manometry with impedance (P‐HRM‐I) is an established assessment method used to evaluate pharyngeal swallowing. It provides precise quantification of swallowing biomechanics that enable the detection of alterations in swallowing physiology.
Mistyka Schar +5 more
wiley +1 more source
A Practical Type Analysis for Verification of Modular Prolog Programs [PDF]
, 2008 Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Correas Fernandez, Jesús +3 more
core +3 more sources
Growth Standards for Children With Smith–Magenis Syndrome (SMS)
American Journal of Medical Genetics Part A, EarlyView.ABSTRACT Smith–Magenis syndrome (SMS, OMIM 182290) is a complex syndromic diagnosis marked by neurobehavioral differences and distinct facial dysmorphisms, caused by haploinsufficiency of the retinoic acid‐1 (RAI1) gene either by a pathogenic sequence variant or deletion at chromosome 17p11.2 involving a portion or all of this gene.
Julie Hoover‐Fong +10 more
wiley +1 more source
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation [PDF]
, 2015 Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics.
Gange, Graeme +4 more
core +1 more source
The Cost of the National Disability Insurance Scheme: Australia's Print‐Media Discourse
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper examines the way that Australian newspapers have framed the cost of the National Disability Insurance Scheme (NDIS). Introduced in 2013, the NDIS represented a major change in Australia's disability support policy, moving for the first time to a nationwide universal insurance model.
Meera Chinnappa +2 more
wiley +1 more source
Nested Selves: Self‐Organization and Shared Markov Blankets in Prenatal Development in Humans
Topics in Cognitive Science, EarlyView., 2023 Abstract The immune system is a central component of organismic function in humans. This paper addresses self‐organization of biological systems in relation to—and nested within—other biological systems in pregnancy. Pregnancy constitutes a fundamental state for human embodiment and a key step in the evolution and conservation of our species. While not
Anna Ciaunica +3 more
wiley +1 more source
Marine silicon for biomedical sustainability
BMEMat, EarlyView.Schematic illustrating marine silicon for biomedical engineering. Abstract Despite momentous divergence from oceanic origin, human beings and marine organisms exhibit elemental homology through silicon utilization. Notably, silicon serves as a critical constituent in multiple biomedical processes.
Yahui Han +3 more
wiley +1 more source
Permian Large Igneous Provinces and Their Paleoenvironmental Effects
Geophysical Monograph Series, Page 417-434., 2021 Exploring the links between Large Igneous Provinces and dramatic environmental impact
An emerging consensus suggests that Large Igneous Provinces (LIPs) and Silicic LIPs (SLIPs) are a significant driver of dramatic global environmental and biological changes, including mass extinctions.
Jun Chen, Yi‐Gang Xu
wiley +1 more source