131,057 Hits in 6.8 sec

From theory to implementation

G. C. Daily, P. A. Matson
2008 Proceedings of the National Academy of Sciences of the United States of America  
the art of implementing these in diverse biophysical and social contexts.  ...  The challenge is to turn this recognition into incentives and institutions that will guide wise investments in natural capital, on a large scale.  ...  Our collaboration has been funded through grants from the Australian Research Council's ACKNOWLEDGMENTS. We thank Gretchen Daily and Pamela Matson for their invitation to write this paper.  ... 
doi:10.1073/pnas.0804960105 pmid:18621697 pmcid:PMC2474530 fatcat:duxlvojlbjf3ppers47hcf3l5u

Anticipatory Computing: from a High-Level Theory to Hybrid Computing Implementations

Mihai Nadin
2010 International Journal of Applied Research on Information Technology and Computing  
In this article, an anticipatory control mechanism implemented for the automotive industry is presented.  ...  Given the realization that failure to acknowledge anticipation results in major breakdowns (such as the current global financial crisis), the need for anticipation-based computational applications is higher  ...  To go from monosensorially governed constructions of several internal representations to a centralized intermodal representation is probably one of the most important aspects in the evolution of mind  ... 
doi:10.5958/j.0975-8070.1.1.001 fatcat:sbs4hgno6nb5dafw2ggjuwnlom

An Automatic Ontology-based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management Targeting Obesity as a Case Study: From Theory to Implementation (Preprint)

Ayan Chatterjee, Andreas Prinz, Martin Gerdes, Santiago Martinez
2020 Journal of Medical Internet Research  
"UiA eHealth Ontology" has been constructed using logical axioms, declaration axioms, classes, object properties, and data properties.  ...  The logical and structural consistency of the proposed ontology has been evaluated with the "HermiT 1.4.3.x" ontology reasoner available in Protégé 5.x.  ...  Acknowledgments The authors acknowledge the funding and infrastructure from the University of Agder, Center for e-Health, Norway, to carry out this research.  ... 
doi:10.2196/24656 pmid:33835031 fatcat:cmls55y4ebbxfcvpqfrm2iumna

Optimising implementation of reforms to better prevent and respond to child sexual abuse in institutions: Insights from public health, regulatory theory, and Australia's Royal Commission

Ben Mathews
2017 International Journal of Child Abuse & Neglect  
Finally, it applies its novel integration of regulatory theory and public health theory to the context of CSA in institutional contexts, to develop a theoretical basis for a model of implementation and  ...  A B S T R A C T The Australian Royal Commission Into Institutional Responses to Child Sexual Abuse has identified multiple systemic failures to protect children in government and non-government organizations  ...  Acknowledgments Parts of this article are adapted from a report authored for and funded by the Australian Government Royal Commission Into Institutional Responses to Child Sexual Abuse.  ... 
doi:10.1016/j.chiabu.2017.07.007 pmid:28789816 fatcat:s7vhclfdsne35hwr5seuuktr3i

Using Actor Network Theory and Agency Theory to Identify Critical Factors in the Adoption and Implementation of a Chemotherapy Ordering System: A Case Study from the Australian Private Health-Care Sector [chapter]

Nilmini Wickramasinghe, Peter Haddad, Stephen Vaughan
2016 Healthcare Delivery in the Information Age  
In this study, four hypotheses are tested using a mixed methodology which will serve to facilitate the decision making processes regarding the choice and implementation of the appropriate COS for Epworth  ...  This paper is designed to systematically assess the benefits of a chemotherapy ordering system (COS) for the private healthcare sector in Australia.  ...  Failure to recognize this complexity will serve to dramatically under represent key interactions that in turn are relevant and impact the well-functioning of the technology solutions.  ... 
doi:10.1007/978-3-319-25973-4_25 fatcat:z6jxtzuxqrfvhgxmfmss2conk4

Programmed Strategies for Program Verification

Richard B. Kieburtz
2007 Electronical Notes in Theoretical Computer Science  
In Programatica, predicate definitions and property assertions written in P-logic, a programming logic for Haskell, can be embedded in the text of a Haskell program module.  ...  Plover itself is written in Stratego, which has proven to be a powerful language tool for implementating a verifier.  ...  The verification task is to check that the truth of that conjecture follows from rules of logic and the formal theory of the programming language.  ... 
doi:10.1016/j.entcs.2007.02.045 fatcat:3gnit7ab3zd4hilkj7h2ahsjmu

Foundational issues in implementing constraint logic programming systems

James H. Andrews
1995 Science of Computer Programming  
Implementations of Constraint Logic Programming (CLP) systems are often incomplete with respect to the theories they are intended to implement.  ...  Notions from linear logic and the notion of Henkinness of the theory are shown to be important here.  ...  side) of a sequent. 9 In the antecedent, we precede each rule from the program with the linear logic !  ... 
doi:10.1016/0167-6423(95)00011-9 fatcat:imq5f3gbevc7dmq5gzgnt2d7fi

Constraint logic programming

J. Jaffar, J.-L. Lassez
1987 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87  
Michaylov was instrumental in the construction of the CLP solver and the development of a programming methodology. Many thanks due to R. Yap, N. Heintze, C.S. Lii and C.  ...  Yee for their various contributions to the CLP system.  ...  We have shown that the generalisation from standard tmification to unification in equality theories posed no conceptual barrier in the semantics of logic programs.  ... 
doi:10.1145/41625.41635 dblp:conf/popl/JaffarL87 fatcat:7dg5l4z4prdypdyg3pz4iyy6zu

Non-procedural logic programming [chapter]

Seppo Keronen
1994 Lecture Notes in Computer Science  
The object-program and meta-programs are compiled together to produce a single, efficient procedural logic (Prolog) program.  ...  We present a logic programming language where both problem domain and computational knowledge are expressed in logic.  ...  The implementation put forward in this paper compiles the problem domain and computation theories together into a single efficient procedural logic (Prolog) program.  ... 
doi:10.1007/3-540-58025-5_56 fatcat:oybhxag6nzcqpdtyhredfsyzse

Inconsistency Robustness in Logic Programs [article]

Carl Hewitt
2015 arXiv   pre-print
This paper explores the role of Inconsistency Robustness in the history and theory of Logic Programs.  ...  Since reception orders are in general indeterminate, they cannot be inferred from prior information by mathematical logic alone. Therefore mathematical logic cannot in general implement computation.  ...  These arrangements exclude known paradoxes from Classical Direct Logic. ii Note: type theory of Classical Direct Logic is much stronger than constructive type theory with constructive logic 40 because  ... 
arXiv:0904.3036v41 fatcat:3w6zska25ferzkfpgvfztiwnwq

Nonmonotonic logic programming

V.S. Subrahmanian
1999 IEEE Transactions on Knowledge and Data Engineering  
In particular, we survey advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming  ...  This paper provides a survey of the state of the art in nonmonotonic logic programming.  ...  constructable from P).  ... 
doi:10.1109/69.755623 fatcat:p3egwqaayfg3lghejtz4f2hyim

Logic programming revisited: logic programs as inductive definitions

Marc Denecker, Maurice Bruynooghe, Victor Marek
2001 ACM Transactions on Computational Logic  
Logic programming has been introduced as programming in the Horn clause subset of first order logic. This view breaks down for the negation as failure inference rule.  ...  In addition, it equips logic programs with an easy to comprehend meaning that corresponds very well with the intuitions of programmers.  ...  The first author also wants to thank Danny De Schreye and Eugenia Ternovska for support and comments on earlier versions of the paper.  ... 
doi:10.1145/383779.383789 fatcat:ndazuobvzvfzjf53wm5fnswj2y

From Functional Logic Programs to Purely Functional Programs Preserving Laziness [chapter]

Bernd Braßel, Sebastian Fischer
2011 Lecture Notes in Computer Science  
Most existing approaches to simulate logic features in functional languages do not preserve laziness, i.e., they can only model strict logic programming like in Prolog.  ...  The impact of this reduction is a general scheme for compiling functional logic programs to lazy functional programs without side effects.  ...  Failing Computations Non-determinism is only one means to model search in (functional-)logic programs. The other one is (finite) failure.  ... 
doi:10.1007/978-3-642-24452-0_2 fatcat:puky3uofxjfxrfxjdigrxwylgq

Sensor Network Programming [chapter]

2011 Fundamentals of Wireless Sensor Networks  
 resilience to changes and failures is important in WSNs!  should be supposed by a programming environment!  Resource constraints!  ...   programming environment should allow programmer to exploit energysaving techniques !  Scalability!  sensor networks can be very large, i.e., programming models must scale!  ...   two types of commands (functions): start, stop!  commands are implemented by providers of an interface!  event (function)!  events are implemented by the users!  ... 
doi:10.1002/9780470666388.ch12 fatcat:u4hv5dw7uzhmndjinwtyny3evm

Relating logic programs via program maps

Marc Kirschenbaum, Leon Sterling, Ashish Jain
1993 Annals of Mathematics and Artificial Intelligence  
The theory has arisen from attempts to construct, explain and teach complicated Prolog programs, primarily in the area of Articial Intelligence [Sterling 89 ].  ...  While intuitions and motivation have focussed on Prolog, the methods are applicable to logic programming languages more generally. In this paper the theory is described in terms of logic programs.  ... 
doi:10.1007/bf01530791 fatcat:ig5c57xbx5hdtfu3wgk5lmtvue
« Previous Showing results 1 — 15 out of 131,057 results