Results 41 to 50 of about 6,158,552 (360)
A weak HOAS approach to the POPLmark Challenge [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System ...
Alberto Ciaffaglione, Ivan Scagnetto
doaj +1 more source
Business Model Transformation of a Service Provider on a Sharing Economy Platform
Journal of Business Models, 2021 The study investigates a business model transformation of a service provider on a sharing economy platform (Airbnb) using a dynamic business model perspective.
Olga Novikova
doaj +1 more source
Program logics for homogeneous meta-programming. [PDF]
, 2010 A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself.
C.A. Gunter +8 more
core +3 more sources
Relational parametricity for higher kinds [PDF]
, 2012 Reynolds’ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F.
Atkey, Robert
core +2 more sources
Mathematical applications of inductive logic programming [PDF]
, 2006 Accepted ...
G. Sutcliffe +7 more
core +3 more sources
Inductive Logic Programming as Abductive Search [PDF]
, 2010 We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is the first top-down ILP system that ...
Corapi, Domenico +2 more
core +1 more source
Few-Shot Induction of Generalized Logical Concepts via Human Guidance
Frontiers in Robotics and AI, 2020 We consider the problem of learning generalized first-order representations of concepts from a small number of examples. We augment an inductive logic programming learner with 2 novel contributions.
Mayukh Das +3 more
doaj +1 more source
Sequent Calculus and Equational Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj +1 more source
Induction of a Hemogenic Program in Mouse Fibroblasts [PDF]
Cell Stem Cell, 2013 Definitive hematopoiesis emerges during embryogenesis via an endothelial-to-hematopoietic transition. We attempted to induce this process in mouse fibroblasts by screening a panel of factors for hemogenic activity. We identified a combination of four transcription factors, Gata2, Gfi1b, cFos, and Etv6, that efficiently induces endothelial-like ...
Pereira, Carlos Filipe +12 more
openaire +3 more sources
International Journal of Evidence Based Coaching and Mentoring, 2020 This qualitative study explored the coaching-related experiences of clients (parents who were overweight/obese) and coaches who participated in a 3-month obesity intervention.
Shazya Karmali +10 more
doaj +1 more source