Results 101 to 110 of about 4,200 (297)
Logic program specialisation through partial deduction: Control Issues [PDF]
, 2002 Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +2 more sources
Business Strategy and the Environment, EarlyView.ABSTRACT Rapid technological change, shorter lifecycles and rising demand for electrical and electronic equipment (EEE) are increasing waste electrical and electronic equipment (WEEE) and emphasise the need for a circular economy. This paper identifies barriers and enablers of the circular transition in EEE and outlines interventions.
Aya Abdelmeguid, Lucia Corsini
wiley +1 more source
Homology Induction: the use of machine learning to improve sequence similarity searches
BMC Bioinformatics, 2002 Background The inference of homology between proteins is a key problem in molecular biology The current best approaches only identify ~50% of homologies (with a false positive rate set at 1/1000).
King Ross D, Karwath Andreas
doaj +1 more source
Evolutionary Neural Logic Networks in Two Medical Decision Tasks [PDF]
, 2004 Two real-world problems of the medical domain are addressed in this work using a novel approach belonging to the area of neural-symbolic systems. Specifically,we apply evolutionary techniques for the development of neural logic networks of arbitrary ...
Dounias, Georgios, Tsakonas, Athanasios
core
Business Strategy and the Environment, EarlyView.ABSTRACT Although artificial intelligence (AI) is increasingly being touted to assist organizations, AI integration for sustainability efforts has been limited AND sporadic and tends to follow an ad hoc strategy. The existing literature therein focuses on the technological capabilities of AI, overlooking how organizations make sense of and ...
Amanda Balasooriya, Darshana Sedera
wiley +1 more source
Practical implementation of a dependently typed functional programming language [PDF]
, 2005 Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core
Current Trends and Future Research in Management Control for Sustainability in Retail
Business Strategy and the Environment, EarlyView.ABSTRACT The growing emphasis on sustainability in the retail sector, driven by regulatory frameworks, market trends and consumer demand, has placed management control at the forefront of facilitating sustainability practices. Despite increasing academic interest in this area, the literature is fragmented and provides limited sector‐specific insight ...
Miguel Gil, Mart Ots, Timur Uman
wiley +1 more source
CLEI Electronic Journal, 2015 In this work we investigate the security of security-critical applications, i.e. applications in which a failure may produce consequences that are unacceptable.
Gustavo Betarte, Carlos Luna
doaj +1 more source
Symmetry Breaking for Inductive Logic Programming
Proceedings of the AAAI Conference on Artificial IntelligenceThe goal of inductive logic programming (ILP) is to search for a hypothesis that generalises training data and background knowledge. The challenge is searching vast hypothesis spaces, which is exacerbated because many logically equivalent hypotheses exist. To address this challenge, we introduce a method to break symmetries in the hypothesis space.
Cropper, Andrew +2 more
openaire +3 more sources
A Definitional Approach to Functional Logic Programming [PDF]
, 1996 We describe a definitional approach to the combination of functional and logicprogramming based on the theory of Partial Inductive Definitions. The described method produces programs directly executable in the definitional programming language GCLA.
Torgersson, Olof,
core