Results 111 to 120 of about 151,821 (357)

An assertion language for constraint logic programs

, 2000
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
Francisco Bueno, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Germán Puebla, Manuel Hermenegildo, Puebla Sánchez, Alvaro Germán   +5 more
core   +1 more source

Inverse Identification of Energy‐Dependent Laser Absorptivity in NiTi Laser Powder‐Bed Fusion via Calibrated Melt Pool Simulation

Advanced Engineering Materials, EarlyView.
A combined experimental–computational framework identifies energy‐dependent laser absorptivity for NiTi in laser powder‐bed fusion, applicable to conduction and transition modes. Single‐track experiments and thermofluid smoothed particle hydrodynamics simulations are coupled through inverse analysis of melt pool geometry.
Mohamadreza Afrasiabi, Hadi Moutablaleh, Ignatius A. Setiawan, Mehrshad Mehrpouya   +3 more
wiley   +1 more source

Propagation algorithms for lexicographic ordering constraints

Artificial Intelligence, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh   +4 more
openaire   +3 more sources

Compatibility of Methacrylate Based Resins Controls Interfacial Failure and Toughness in 3D‐Printed Multimaterial Composites

Advanced Engineering Materials, EarlyView.
This work shows that the mechanical performance of multimaterial digital light processing (DLP) printed thermoset composites is governed by resin compatibility and interfacial design rather than spatial patterning alone. Brittle and ductile resin combinations produced premature interfacial failure, while graded interfaces and mechanically compatible ...
Ahmed M. H. Ibrahim, Li Meng, Ahmad R. Najafi, Nicolas J. Alvarez   +3 more
wiley   +1 more source

Bounded Decentralised Coordination over Multiple Objectives

, 2011
We propose the bounded multi-objective max-sum algorithm (B-MOMS), the first decentralised coordination algorithm for multi-objective optimisation problems.
Jennings, Nick, Fave, Francesco Maria Delle, Francesco M. Delle Fave, Alex Rogers, Nicholas R. Jennings, Delle Fave, Francesco Maria, Ruben Str, Stranders, Ruben, Rogers, Alex   +8 more
core  

Algorithms for constraint satisfaction

INTELIGENCIA ARTIFICIAL, 2003
This paper describes the main algorithms for solving constraint satisfaction problems, and includes the corresponding encodings (the main different with respect [3] is that, in their paper, they provide a more informal description of the algorithms). We consider three main algorithmic approaches: search, inference and hybrid methods. Search methods can
null Javier Larrosa, null Pedro Meseguer
openaire   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Independence in constraint logic programs

, 1993
Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP).
Hermenegildo, Manuel V., Marriott, K., García de la Banda, M.   +2 more
core  

An improved constraint satisfaction adaptive neural network for job-shop scheduling [PDF]

, 2010
Copyright @ Springer Science + Business Media, LLC 2009This paper presents an improved constraint satisfaction adaptive neural network for job-shop scheduling problems.
Yang, S, Kendall, Graham, Wang, Dingwei, Chai, T, Shengxiang Yang, Chai, Tianyou, Graham Kendall, Dingwei Wang, Yang, Shengxiang, Wang, D, Kendall, G, Tianyou Chai   +11 more
core   +1 more source

Least square-based vehicle position estimation algorithm

Tongxin xuebao, 2010
A vehicle position estimation algorithm base on least square optimization was prposed.Firstly,the algorithm deduced the convex constraint condition which the distance matrix had to conform within a short time interval.Then,the least square method was ...
PENG Xin, LI Ren-fa, YANG Liu, LIU Liang-jiao   +3 more
doaj   +2 more sources