Results 91 to 100 of about 394,891 (265)
Encoding Problems in Controller Synthesis
, 1992 High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior.
Binger, David Mark
core
Ferroelectric Quantum Dots for Retinomorphic In‐Sensor Computing
Advanced Materials, EarlyView.This work has provided a protocol for fabricating retinomorphic phototransistors by integrating ferroelectric ligands with quantum dots. The resulting device combines ferroelectricity, optical responsiveness, and low‐power operation to enable adaptive signal amplification and high recognition accuracy under low‐light conditions, while supporting ...
Tingyu Long +26 more
wiley +1 more source
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
, 2008 In this paper, we introduce the ezRealtime project, which relies on the Time Petri Net (TPN) formalism and defines a Domain-Specific Modeling (DSM) tool to provide an easy- to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for ...
Fabiano Cruz +8 more
core +1 more source
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
, 2015 This Paper reported the Approach to practical automatically Synthesis of Programs from Components, with direct received from Subject Field Model. This Approach is based on using non-monotone deductive Constructions.
Prihodko, P.P.
core
A general approach to regularizing inverse problems with regional data using Slepian wavelets
, 2017 Slepian functions are orthogonal function systems that live on subdomains (for example, geographical regions on the Earth's surface, or bandlimited portions of the entire spectrum). They have been firmly established as a useful tool for the synthesis and
Volker Michel +3 more
core +1 more source
Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy
Advanced Materials, EarlyView.Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa +3 more
wiley +1 more source
Extension of the program synthesis system to analyze large data sets
, 2018 Analysis of large data sets is a challenging problem in the modern world. This paper presents an extension of the online dialog designer of syntactically correct programs ODSP for programs designing and synthesis for analyzing large data sets based on ...
Ovdii, O.M.
core
Advanced Materials, EarlyView.The Y supersaturation in the [Ba‐Cu(I/II)‐O] transient liquid composition is the driving force toward YBCO nucleation and growth in TLAG. Tuning the initial (Ba:Cu) molar ratio in the ink composition determines the YBCO epitaxial nucleation through supersaturation control.
Lavinia Saltarelli +12 more
wiley +1 more source
6th World Congresses of Structural and Multidisciplinary Optimization
, 2005 We develop nonsmooth optimization techniques to solve H# synthesis problems under additional structural constraints on the controller. Our approach avoids the use of Lyapunov variables and therefore leads to moderate size optimization programs even for ...
Diminikus Noll +4 more
core