Results 41 to 50 of about 394,891 (265)
The Church Synthesis Problem with Metric.
, 2011 Church's Problem asks for the construction of a procedure which, given a logical specification S(I,O) between input strings I and output strings O, determines whether there exists an operator F that implements the specification in the sense that S(I,F(I)) holds for all inputs I.
Mark Jenkins +3 more
openaire +3 more sources
Problems and Progress in Glycopeptide Synthesis
ChemInform, 2003 AbstractFor Abstract see ChemInform Abstract in Full Text.
openaire +2 more sources
Optimization of the Production of Rubber Compounds Using Mathematical Models
Advanced Engineering Materials, EarlyView.Rubber compounds were mixed in a batch internal mixer, and symbolic regression was used to derive mathematical models linking recipe and process parameters to ram path, torque, and mixing quality (incorporation, dispersion, distribution). Subsequent optimization with evolutionary algorithms identified operating conditions that reduce specific energy ...
Anke Bardehle +7 more
wiley +1 more source
Machine learning for function synthesis
Function synthesis is the process of automatically constructing functions that satisfy a given specification. The space of functions as well as the format of the specifications vary greatly with each area of application.
Parsert, Julian
core +1 more source
Church Synthesis Problem with Parameters [PDF]
, 2006 The following problem is known as the Church Synthesis problem: Input: an ${\mathit{MLO}}$ formula ψ(X,Y). Task: Check whether there is an operator Y=F(X) such that$$Nat \models \forall X \psi(X,F(X))$$ and if so, construct this operator. Buchi and Landweber proved that the Church synthesis problem is decidable; moreover, they proved that if ...
openaire +1 more source
Deep synthesis regularization of inverse problems
CoRR, 2020 Submitted to IEEE Trans.
Daniel Obmann +2 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran +6 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Shellac, a centuries‐old natural resin, is reimagined as a green material for flexible electronics. When combined with silver nanowires, shellac films deliver transparency, conductivity, and stability against humidity. These results position shellac as a sustainable alternative to synthetic polymers for transparent conductors in next‐generation ...
Rahaf Nafez Hussein +4 more
wiley +1 more source
On the (High) Undecidability of Distributed Synthesis Problems [PDF]
, 2007 The distributed synthesis problem [11] is known to be undecidable. Our purpose here is to study further this undecidability. For this, we consider distributed games [8], an infinite variant of Peterson and Reif multiplayer games with partial information [10], in which Pnueli and Rosner's distributed synthesis problem can be encoded and, when ...
openaire +2 more sources