Results 41 to 50 of about 572,722 (166)
Region-based memory management for Mercury programs [PDF]
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
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
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]
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
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]
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
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]
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
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]
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