Results 101 to 110 of about 1,354,069 (285)

Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework

Data
FastDiag is a widely used algorithm for model-based diagnosis, computing minimal subsets of constraints whose removal restores consistency in knowledge-based systems.
Delia Isabel Carrión León, Cristian Vidal-Silva, Nicolás Márquez   +2 more
doaj   +1 more source

Constraint Satisfaction

, 2020
Search can be made easier in cases where the solution instead of corresponding to an optimal path, is only required to satisfy local consistency conditions. We call such problems Constraint Satisfaction (CS) Problems. For example, in a crossword puzzle it is only required that words that cross each other have the same letter in the location where they ...
openaire   +1 more source

Bone‐Inspired Recyclable Composites for Damage‐Tolerant Circular Materials

Advanced Functional Materials, EarlyView.
Bone‐inspired architected composites are developed by combining osteon‐like reinforcements with a recyclable Elium thermoplastic matrix. The hierarchical architecture redirects cracks and promotes energy dissipation, while enabling recovery of intact, aligned, load‐bearing reinforcement units that retain their original stiffness, revealing a route ...
Alessandro Stagni, Nastaran Bahrami Novin, Luigi Benvenuto, Enrico Lertora, Flavia Libonati   +4 more
wiley   +1 more source

A Runtime Safety Copilot for AI-Native O-RAN: Predictive Verification and Fail-Safe Enforcement in Near-RT RIC Control Loops

IEEE Access
Sixth-generation (6G) mobile networks are expected to be AI-native by design, with intelligence embedded directly into the Radio Access Network (RAN) control loop through architectures such as O-RAN, near-real-time RAN Intelligent Controllers (near-RT ...
Md Asef Jawad, Mohammad Mehedi Hasan Munna, Acramul Haque Kabir, Nahid Hossain Antu, Reefka Fabliha Tulona   +4 more
doaj   +1 more source

Advancing SafeWax, A Bio‐Inspired Superhydrophobic Coating, Toward Sustainable and Climate‐Resilient Crop Protection

Advanced Functional Materials, EarlyView.
This study advances SafeWax, a bio‐inspired, fatty‐acids‐based superhydrophobic coating, by identifying an agriculturally compliant solvent and revealing how solvent‐controlled Fatty acid crystallization governs the coating's microscopic structure and performance.
Niv Ben‐Arie, Iryna Polishchuk, Franziska Tauber, Coralie Schneider, Elena Prudnikov, Alessia Calora, Silvia Milita, Simona Fermani, Mireia Alejandra Ibanez Revert, Ilaria Filippetti, Claudio Ratti, Matthias Kellermeier, Markus Rueckel, Boaz Pokroy   +13 more
wiley   +1 more source

09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability [PDF]

, 2010
From 25th to 30th October 2009, the Dagstuhl Seminar 09441 ``The Constraint Satisfaction Problem: Complexity and Approximability'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
Krokhin, Andrei, Bulatov, Andrei A., Kolaitis, Phokion G., Grohe, Martin   +3 more
core   +1 more source

Preferential Interfacial Engineering of Hydrogels via Interdigitated Nanoparticle Assembly

Advanced Functional Materials, EarlyView.
Robust surface functionalization of hydrogel surfaces is performed via interdigitated metal nanoparticle assembly, inducing strong affinity with the hydrogel matrix. The partially exposed nanoparticle domains act as interfacial nanobridges that mediate both chemical and physical bonding with diverse materials, including small molecules, fluorous ...
Hyeonjin Kim, Hyeseoung Lim, Ji Min Lee, Heeyeon Kang, Yongkwon Song, Woojae Chang, So‐Jin Park, Jin Yoo, Atsushi Hozumi, Jinhan Cho, Jongkuk Ko, Sanghyuk Wooh   +11 more
wiley   +1 more source

Constraint satisfaction adaptive neural network and heuristics combined approaches for generalized job-shop scheduling [PDF]

, 2000
Copyright @ 2000 IEEEThis paper presents a constraint satisfaction adaptive neural network, together with several heuristics, to solve the generalized job-shop scheduling problem, one of NP-complete constraint satisfaction problems.
Yang, S, Wang, Dingwei, Yang, Shengxiang, Wang, D   +3 more
core   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Instance-Specific Algorithm Selection via Multi-Output Learning

Tsinghua Science and Technology, 2017
Instance-specific algorithm selection technologies have been successfully used in many research fields, such as constraint satisfaction and planning. Researchers have been increasingly trying to model the potential relations between different candidate ...
Kai Chen, Yong Dou, Qi Lv, Zhengfa Liang
doaj   +1 more source