Results 81 to 90 of about 20,200 (225)
Quantum‐Enhanced Simulated Annealing Using Rydberg Atoms
Advanced Quantum Technologies, Volume 8, Issue 12, December 2025.This study experimentally demonstrates that a Rydberg hybrid quantum‐classical algorithm, termed as quantum‐enhanced simulated annealing (QESA), provides a computational time advantage over a classical standalone simulated annealing (SA). This scatter plot represents the comparison of QESA versus SA for the 924 graphs with the sizes N=60$N=60$, 80 and ...
Seokho Jeong, Juyoung Park, Jaewook Ahn
wiley +1 more source
Satisfiability-Based Algorithms for Boolean Optimization
, 2004 This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering.
Manquinho, V., Marques-Silva, J. P.
core +2 more sources
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems [PDF]
, 2011 The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability through randomized quantification. SSAT has many applications, among them bounded model checking (BMC) of symbolically represented Markov decision processes.
Tino Teige, Martin Fränzle
openaire +1 more source
Small Structures, Volume 6, Issue 11, November 2025.Shell‐based nanoarchitected materials feature continuous surfaces, nanoscale feature sizes, and strong constituent materials, and exhibit high modulus/strength, remarkable recoverability, and substantial energy absorption capacity. This review provides an overview of recent progresses in shell‐based nanoarchitected materials from the perspectives of ...
Hanzheng Xing +9 more
wiley +1 more source
Logic-Based Reverse Analysis: A Covid-19 Surveillance Data Set Classification Problem
Journal of Basic and Applied Research in Biomedicine, 2023 This study focuses on the application of formal logic systems to real-world problem-solving, specifically in the classification of the COVID-19 Surveillance Data Set (CSDS).
Hamza Abubakar, Surajo Yusuf
doaj +1 more source
A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties
Journal of Software: Evolution and Process, Volume 37, Issue 10, October 2025.ABSTRACT The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in many fields. Such a pervasiveness has led to changes in how AI is perceived, strengthening discussions on its societal consequences. Thus, a new class of requirements for AI‐based solutions emerged. Broadly speaking, those on
Emanuele De Angelis +3 more
wiley +1 more source
, 2016 In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to {\L}ukasiewicz logic. The MaxSAT problem for a set of formulae {\Phi} is the problem of finding an assignment to the variables in {\Phi} that satisfies the maximum number of formulae.
Abdalla, Areeg, Halaby, Mohamed El
core +1 more source
Search strategies and phase transition in the Random Boolean satisfiability problem [PDF]
, 2021 Heitor Pascoal de Bittencourt
openalex +1 more source
Open‐source AI at scale: Establishing an enterprise AI strategy through modular frameworks
AI Magazine, Volume 46, Issue 3, Fall 2025.Abstract We present a comprehensive enterprise AI strategy developed within the AI Center of Excellence at Fidelity Investments, emphasizing the strategic integration of open‐source AI frameworks into scalable, modular, and reproducible enterprise‐grade solutions.
Serdar Kadıoğlu
wiley +1 more source
Adaptive real-time reconfiguration gate scheduling scheme using time perceptive stream
Automatika, 2023 An adaptive real-time gate scheduling scheme for time perceptive stream or packet flow is proposed to improve the standards of Ultra Low Latency during data transmission. For highly dynamic network conditions, the conventional configuration scheme is not
S. Lekashri +3 more
doaj +1 more source