Results 71 to 80 of about 1,354,069 (285)
Practical algorithm for the Beltway problem with a complexity parameter introduction [PDF]
Mathematics and Computational SciencesThe Beltway problem is a famous computational geometry challenge relevant to fields like bioinformatics and crystallography. Not only is the complexity class of the Beltway problem not known but there is no practical non-polynomial time algorithm to ...
Reza Nadimi
doaj +1 more source
Equivalence Constraint Satisfaction Problems.
Proceedings of CSL, 2012 The following result for finite structures Gamma has been conjectured to hold for all countably infinite omega-categorical structures Gamma: either the model-complete core Delta of Gamma has an expansion by finitely many constants such that the pseudovariety generated by its polymorphism algebra contains a two-element algebra all of whose operations ...
Manuel Bodirsky, Michal Wrona
openaire +4 more sources
High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry
Advanced Engineering Materials, EarlyView.Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova +3 more
wiley +1 more source
A Constraint-Programmed Planner for Deep Space Exploration Problems With Table Constraints
IEEE Access, 2017 In recent years because of the increasing number and types of scientific payloads on a probe, the constraints between payload and probe and the constraints among payloads have become increasingly complex.
Xiao Jiang, Rui Xu
doaj +1 more source
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Benchmarking Global Optimization and Constraint Satisfaction Codes [PDF]
A benchmarking suite describing over 1000 optimization problems and constraint satisfaction problems covering problems from di®erent traditions is described, annotated with best known solutions, and accompanied by recommended benchmarking protocols for ...
Shcherbina, Oleg +4 more
core +1 more source
Constraint Unlearnability in Overparameterized Neural Networks
MathematicsWe study whether overparameterized neural networks can learn to satisfy pointwise constraints without inductive bias. One might expect that a sufficiently expressive network would learn to respect such constraints. We prove that this is not the case. For
Hongyu Qi, Zhen Tan
doaj +1 more source
Adaptive Foam 3D Printing of Ultralight and Multifunctional Materials
Advanced Engineering Materials, EarlyView.Adaptive foam 3D printing, enabled by expandable microspheres, imparts cellular structures to thermoplastic and thermosetting polymers, manufactured through a variety of processes including fused filament fabrication, direct ink writing, digital light processing, and inkjet printing.
Nariman Rajabifar, Amir Ameli
wiley +1 more source
Entropy‐Driven Design of Low‐Melting‐Point Alloys via Compositionally Complex Strategy
Advanced Engineering Materials, EarlyView.Conventional low‐melting‐point alloys (LMPAs) are limited by a narrow compositional space and inherent property trade‐offs. This review presents an entropy‐driven design strategy that overcomes these limitations, ushering in a new class of low‐melting‐point compositionally complex alloys (LMCCAs).
Yinghui Shang +6 more
wiley +1 more source
09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability [PDF]
, 2010 The seminar brought together forty researchers from di®erent highly advanced areas of constraint satisfaction and with complementary ex- pertise (logical, algebraic, combinatorial, probabilistic aspects). The list of participants contained both senior
Krokhin, Andrei +3 more
core +1 more source