Results 41 to 50 of about 1,673,196 (291)

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, Humberto Loaiza, Eduardo Caicedo   +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, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler 0001   +4 more
openaire   +4 more sources

Optimizing software design migration from structured programming to object oriented paradigm

, 2014
Several industries are using legacy softwares, developed with Structured Programming (SP) approach, that should be migrated to Object Oriented Paradigm (OOP) for ensuring better software quality parameters like modularity, manageability and extendability.
Gias, A.U., Siddik, S., Khaled, S.M.
core   +1 more source

Maternal Low-Protein Diet During Nursing Leads to Glucose–Insulin Dyshomeostasis and Pancreatic-Islet Dysfunction by Disrupting Glucocorticoid Responsiveness in Male Rats

Biology
Both 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, Aline Milena Dantas Rodrigues, Patrícia Cristina Lisboa, Rosiane Aparecida Miranda, Ananda Malta, Tatiane Aparecida Ribeiro, Luiz Felipe Barella, Ginislene Dias, Thalyne Aparecida Leite Lima, Rodrigo Mello Gomes, Egberto Gaspar de Moura, Júlio Cezar de Oliveira   +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, I.M. Selim, Hoda Mostafa, Hala Attiya   +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

From mice to humans—divergent strategies for intestinal homeostasis and regeneration

FEBS Letters, EarlyView.
Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa, Shinya Sugimoto, Toshiro Sato   +2 more
wiley   +1 more source

A Statecharts-Based Approach for WSN Application Development

Journal of Sensor and Actuator Networks, 2020
Wireless Sensor Network (WSN) software development challenges developers in two main ways: through system programming, which requires expertise in hardware and network management; and application programming, which requires domain-specific knowledge ...
Ismo Hakala, Xinyu Tan
doaj   +1 more source

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software [PDF]

, 2012
Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months.
Wiger, Ulf, Francesco Cesarini, Lundin, Kenneth, Olivier Boudeville, Sagonas, Konstantinos,, Simon Thompson, Papaspyrou, Nikolaos, Nikolaos Papaspyrou, Trinder, Phil, Kenneth Lundin, Cesarini, Francesco, Boudeville, Olivier, Phil Trinder, Konstantinos Sagonas, Ulf Wiger, Sagonas, Konstantinos, Chechina, Natalia, Thompson, Simon, Natalia Chechina   +18 more
core   +1 more source