Results 31 to 40 of about 414,553 (176)
Abstract verification and debugging of constraint logic programs [PDF]
, 2003 The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization ...
B. Charlier Le +17 more
core +3 more sources
AI‐driven circular economy optimization in waste management: A review of current evidence
Environmental Progress &Sustainable Energy, EarlyView.Abstract The integration of artificial intelligence (AI) and machine learning (ML) in waste management has the potential to significantly advance circular economy objectives by enhancing efficiency, reducing waste, and optimizing resource recovery. However, realising these benefits depends on addressing significant technical, economic, and systemic ...
David Bamidele Olawade +3 more
wiley +1 more source
Energy Science &Engineering, EarlyView.A new energy paradigm assisted by AI. ABSTRACT The tremendous penetration of renewable energy sources and the integration of power electronics components increase the complexity of the operation and power system control. The advancements in Artificial Intelligence and machine learning have demonstrated proficiency in processing tasks requiring ...
Balasundaram Bharaneedharan +4 more
wiley +1 more source
Towards declarative diagnosis of constraint programs over finite domains [PDF]
, 2003 The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic debugging to constraint programming.
Ferrand, Gerard +2 more
core +1 more source
An Ecosystem to Develop Multi‐Agent Systems in Real‐World IoT Applications
Software: Practice and Experience, EarlyView.ABSTRACT Software agents and multi‐agent systems are critical components in the development of distributed autonomous systems, as they exhibit a wide range of “intelligence,” from reactive behaviors to advanced reasoning and planning. Integrating these capabilities into multi‐agent systems enables distributed artificial intelligence, a programming ...
Davide Carnemolla +3 more
wiley +1 more source
Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo) [PDF]
, 2014 The Hindley-Milner type system is a foundation for most statically typed functional programming languages, such as ML, OCaml and Haskell. This type system has many advantageous, but it does make type debugging hard: If a program is not well-typed, it ...
Chitil, Olaf, Tsushima, Kanae
core +3 more sources
Embracing the Complexity of Integrating Computational Thinking in Education Using Rich Pictures
Systems Research and Behavioral Science, EarlyView.ABSTRACT Computational thinking (CT) is a fundamental cognitive skill that provides a problem‐solving approach applicable across various domains. Integrating CT into K–12 education is crucial for developing the competencies that students need; however, its implementation presents significant challenges. While most research on CT has focused on specific
Ali Hamidi +3 more
wiley +1 more source
Dagstuhl Reports : Volume 1, Issue 2, February 2011 [PDF]
, 2011 Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061) : Simone Fischer-Hübner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris and Michael Marhöfer Self-Repairing Programs ...
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
core
Lifecycle‐Based Governance to Build Reliable Ethical AI Systems
Systems Research and Behavioral Science, EarlyView.ABSTRACT Artificial intelligence (AI) systems represent a paradigm shift in technological capabilities, offering transformative potential across industries while introducing novel governance and implementation challenges. This paper presents a comprehensive framework for understanding AI systems through three critical dimensions: trustworthiness ...
Maikel Leon
wiley +1 more source
The use of sequencing information in software specification for verification [PDF]
, 1983 Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core +1 more source