Results 161 to 170 of about 1,354,069 (285)
A Pseudo-Boolean Formulation for Graph Database Queries
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceGraph queries such as neighborhood exploration, friend-of-a-friend, and path finding are fundamental operations in graph databases. Traditionally, these queries are implemented using procedural traversal algorithms tightly coupled to the underlying ...
Gabriel Tiveron, Bruno César Ribas
doaj
Experimental Matching of Instances to Heuristics for Constraint Satisfaction Problems. [PDF]
Comput Intell Neurosci, 2016 Moreno-Scott JH +3 more
europepmc +1 more source
Constraint satisfaction as global optimization
, 1995 We present an optimization formulation for discrete binary CSP, based on the construction of a continuous function A(P) whose global maximum represents the best possible solution for that problem. By the best possible solution we mean either (i) a solution of the problem, if it is solvable, or (ii) a partial solution violating a minimal number of ...
Meseguer González, Pedro +1 more
openaire +2 more sources
Advanced Manufacturing of Composite‐Based Systems for Energy Applications
Advanced Materials Technologies, EarlyView.Advanced manufacturing enables the integration of polymers, ceramics, metal oxides, and composites into architected microstructures with tailored transport pathways. By coupling material selection, manufacturing strategy, and structural design, multifunctional energy systems can simultaneously improve electrochemical performance, thermal management ...
Sri Vaishnavi Thummalapalli +13 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.A physics‐informed generative framework introduces Directional Latent Hybridization (DLH) for the deterministic inverse design of nonlinear metamaterials. By hybridizing dominant traits from parent geometries in the latent space, DLH overcomes the instabilities of stochastic models to ensure high structural precision at high densities.
Semin Ahn +2 more
wiley +1 more source
In Situ Two‐Dimensional Residual Stress Characterization of Thin Films
Advanced Materials Technologies, EarlyView.An integrated in situ curvature metrology platform combining speckle‐based curvature optical metrology (SCOM) with multi‐beam optical sensors (MOS) enables spatially resolved two‐dimensional curvature mapping of thick sputtered coatings. The SCOM technique provides excellent agreement with MOS while providing an extended measurable curvature range ...
Wai Jue Tan +6 more
wiley +1 more source
A genetic algorithm for the partial binary constraint satisfaction problem: an application to a frequency assignment problem [PDF]
We describe a genetic algorithm for the partial constraint satisfaction problem. The typical elements of a genetic algorithm, selection, mutation and cross-over, are filled in with combinatorial ideas.
Kolen, Antoon
core
UCST‐Driven Shape Morphing in Digital Light Processing 4D‐Printed Hydrogels
Advanced Materials Technologies, EarlyView.A DLP‐printable UCST hydrogel based on poly(acrylic acid‐co‐acrylamide) enables reversible thermally induced expansion and 4D shape morphing. Rational control of composition, porosity, and multimaterial architecture enables predictable 4D shape morphing through differential swelling and localized actuation, opening new opportunities for high‐resolution
Fato Niang +2 more
wiley +1 more source
Datalog and Constraint Satisfaction with Infinite Templates
, 2012 28 pages. This is an extended long version of a conference paper that appeared at STACS'06. In the third version in the arxiv we have revised the presentation again and added a section that relates our results to formalizations of CSPs using relation ...
Dalmau, Victor, Bodirsky, Manuel
core