Results 61 to 70 of about 481,437 (293)
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
Advanced Functional Materials, EarlyView.A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 more
wiley +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
InformatikaObjectives. The problem of choosing the best methods and programs for circuit implementation as part of digital ASIC (Application-Specific Integrated Circuit) sparse systems of disjunctive normal forms (DNF) of completely defined Boolean functions is ...
P. N. Bibilo, S. N. Kardash
doaj +1 more source
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents [PDF]
, 2012 We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modeled by a Markov chain whereas the robot is modeled by a finite transition ...
Belta, Calin +4 more
core +4 more sources
Electroactive Liquid Crystal Elastomers as Soft Actuators
Advanced Functional Materials, EarlyView.Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley +1 more source
Real-Time Model-Checking: Parameters everywhere [PDF]
Logical Methods in Computer Science, 2007 In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed automaton) and in the property (temporal formula). Our results are as follows.
Veronique Bruyere, Jean-Francois Raskin
doaj +1 more source
Advanced Functional Materials, EarlyView.It is reported that the ferroelectric switching behavior of rhombohedral (3R) phase transition metal dichalcogenide (TMD) bilayers strongly depends on their domain structures. Single‐domain TMDs (SD‐TMDs) with domain‐wall‐free structures exhibit robust and stable polarization switching, whereas poly‐domain TMDs (PD‐TMDs) with randomly distributed ...
Ji‐Hwan Baek +8 more
wiley +1 more source
Reconfigurable Logic Controller—Direct FPGA Synthesis Approach
Applied Sciences, 2021 Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity.
Adam Milik, Marcin Kubica, Dariusz Kania
doaj +1 more source
Multitask Evolution with Cartesian Genetic Programming
, 2017 We introduce a genetic programming method for solving multiple Boolean circuit synthesis tasks simultaneously. This allows us to solve a set of elementary logic functions twice as easily as with a direct, single-task approach.Comment: 2 ...
Caruana Rich +2 more
core +1 more source
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
Advanced Functional Materials, EarlyView.A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source