Results 41 to 50 of about 572,722 (166)

Region-based memory management for Mercury programs [PDF]

open access: yesarXiv, 2012
Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point about Mercury is that it is designed with strong type, mode, and determinism systems. These systems
arxiv  

A Critical Overview of Common Foodborne Toxicants and Methods for Their Reliable Detection

open access: yesFood Frontiers, EarlyView.
ABSTRACT Food is an essential commodity for human health. However, toxicants such as mycotoxins, heavy metals, acrylamide, and pesticides can be present in food either naturally or through processing, packaging, or some anthropogenic activities. A thorough review of carefully selected studies revealed that climate change and pandemics have led to an ...
Betty Bowe Acquah   +1 more
wiley   +1 more source

Tracheoesophageal Voicing Following Resistance‐Based Dysphagia Rehabilitation: An Exploratory Multidimensional Assessment

open access: yesHead &Neck, EarlyView.
ABSTRACT Background This exploratory study investigated tracheoesophageal voicing following 6 weeks of resistance‐based dysphagia rehabilitation with the SEA2.0, using a multidimensional assessment approach. Methods Twenty laryngectomized participants were assessed at T0 (baseline), T1 (after 6 weeks training), and T2 (after 8 weeks rest).
Marise Neijman   +7 more
wiley   +1 more source

Generic and Efficient Program Monitoring by trace analysis [PDF]

open access: yesE. Jahier and M. Ducass'e "Generic Program Monitoring by Trace Analysis" in the Theory and Practice of Logic Programming journal, Volume 2 part 4&5, pp 613-645, September 2002, Special Issue Program Development, Cambridge University Press, 2003
Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is very useful to maintain programs. However, application developers face the following dilemma: either they use existing tools which never exactly fit their needs, or they invest a lot of effort to ...
arxiv  

Phosphorus lability across diverse agricultural contexts with legacy sources

open access: yesJournal of Environmental Quality, EarlyView.
Abstract The buffering of phosphorus (P) in the landscape delays management outcomes for water quality. If stored in labile form (readily exchangeable and bioavailable), P may readily pollute waters. We studied labile P and its intensity for >600 soils and sediments across seven study locations in the United States. Stocks of labile P were large enough
Zachary P. Simpson   +25 more
wiley   +1 more source

Checking modes of HAL programs [PDF]

open access: yesTheory and Practice of Logic Programming: 5(6):623-668, 2005, 2004
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation of efficient target code and the detection of many errors at compile-time. Unfortunately, mode checking in such languages is difficult.
arxiv  

A Framework for Estimating Matric Suction in Compacted Fine‐Grained Soils Based on a Machine Learning‐Assisted Conceptual Model

open access: yesInternational Journal for Numerical and Analytical Methods in Geomechanics, EarlyView.
ABSTRACT In this study, a hybrid black‐ and white‐box machine learning (ML) framework is proposed for matric suction estimation in compacted fine‐grained soils, utilizing ML techniques, namely, particle swarm optimized support vector regression (PSO‐SVR) and multi‐gene genetic programming (MGGP). This objective is achieved through developing a novel ML‐
Junjie Wang, Sai Vanapalli
wiley   +1 more source

A Test Automation Framework for Mercury [PDF]

open access: yesProceedings of CICLOPS-WLPE 2010, 2010
This paper presents a test automation framework for Mercury programs. We developed a method that generates runnable Mercury code from a formalized test suite, and which code provides a report on execution about the success of test cases. We also developed a coverage tool for the framework, which identifies and provide a visualization of the reached ...
arxiv  

Erving Goffman at 100: A Chameleon Seen as a Rorschach Test within a Kaleidoscope

open access: yesSymbolic Interaction, EarlyView.
The 100th anniversary of Erving Goffman's birth was in 2022. Drawing on his work, the Goffman archives, the secondary literature, and personal experiences with him and those in his university of Chicago cohort, I reflect on some implications of his work and life, and the inseparable issues of understanding society.
Gary T. Marx
wiley   +1 more source

XSB: Extending Prolog with Tabled Logic Programming [PDF]

open access: yesarXiv, 2010
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical.
arxiv  

Home - About - Disclaimer - Privacy