Results 21 to 30 of about 37,638 (261)
The Answer Set Programming Paradigm [PDF]
AI Magazine, 2016 In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Niemelä, Ilkka, Janhunen, Tomi
openaire +5 more sources
Temporal constrained objects for modelling neuronal dynamics [PDF]
PeerJ Computer Science, 2018 Background Several new programming languages and technologies have emerged in the past few decades in order to ease the task of modelling complex systems.
Manjusha Nair +4 more
doaj +2 more sources
C in CS1: Snags and Viable Solution
Mehran University Research Journal of Engineering and Technology, 2018 Programming is one of the career rewarding skills; however, learning programming skill is extremely hard and arduous as supported by several studies.
Shumail Naveed +2 more
doaj +3 more sources
BiologyMalnutrition during adolescence can cause metabolic diseases later in life. This study examined the short- and long-term effects of undernutrition during adolescence on body composition, glucose homeostasis and redox balance. Male (n = 32) and female (n =
Joskame Saint Paul +12 more
doaj +1 more source
Robot programming using the paradigm of learning by demonstration
Revista Facultad de Ingeniería Universidad de Antioquia, 2013 This paper presents the appl ication of the paradigm of learning by demonstration for robot programming. Algorithms use bio-inspired techniques to extract relevant information accompanying the demonstrator’s action.
Sandra Nope +2 more
doaj +1 more source
Weighted programming: a programming paradigm for specifying mathematical models
Proceedings of the ACM on Programming Languages, 2022 We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces.
Kevin Batz +4 more
openaire +3 more sources
BiologyBoth perinatal malnutrition and elevated glucocorticoids are pivotal triggers of the growing global pandemic of metabolic diseases. Here, we studied the effects of metabolic stress responsiveness on glucose–insulin homeostasis and pancreatic-islet ...
Paulo Cezar de Freitas Mathias +11 more
doaj +1 more source
An Integer Linear Programming Model for Partially Ordered Sets
Journal of Mathematics, 2022 Linear programming is an important approach that is used to represent a large class of combinatorial optimization problems. The simplex algorithm is one of the algorithms for solving linear programming problems with exponential time complexity ...
Elsayed Badr +3 more
doaj +1 more source
Polymorphic Types in ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of ...
Benjamin Selfridge, Eric Smith
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source