Results 81 to 90 of about 93,434 (314)

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs

Advances in Electrical and Electronic Engineering, 2014
The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel ...
Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski   +2 more
doaj   +1 more source

Query inseparability by games [PDF]

, 2014
We investigate conjunctive query inseparability of description logic knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange.
Wolter, Frank, V. Ryzhikov, E. Botoeva, Botoeva, E., M. Zakharyaschev, Wolter, F., R. Kontchakov, Ryzhikov, Vladislav, Ryzhikov, V., Zakharyaschev, Michael, Botoeva, Elena, F. Wolter, Kontchakov, Roman   +12 more
core  

Modal Logics are Coalgebraic

, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Yde Venema, Schröder, Lutz, Dirk Pattinson, Cirstea, Corina, Lutz Werner Schröder, Kurz, Alexander, Venema, Y., Corina Cirstea, Pattinson, D., Pattinson, Dirk, Kurz, A., Schröder, L., Venema, Yde, Cirstea, C., Alexander Kurz   +14 more
core   +1 more source

ALE Defeasible Description Logic [PDF]

, 2006
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
Governatori, G, Governatori, Guido, Pothipruk, P., Pothipruk, Pakornpong, Guido Governatori, Pakornpong Pothipruk   +5 more
core   +1 more source

Multimodal Soft Surgical Robots Enabled by Eco‐Degradable, Sterilizable Polymers and Transient Electronics

Advanced Functional Materials, EarlyView.
A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe, 
Minseong Chae, Kyung‐Sub Kim, Gyeong‐Seok Hwang, Jun‐Seok Shim, Sung‐Woo Kim, Yong‐Wu Kim, Jieun Han, Jae‐Young Bae, Jae‐Hwan Lee, Minjung Chae, Jooik Jeon, Joo‐Hyeon Park, You‐Jung Park, Ju‐Yong Lee, Sung‐Geun Choi, Min‐Ha Oh, Yong‐Joong Shin, Young‐In Ryu, Ji‐Woo Gu, Seong‐Yu Choi, Jeong‐Yun Sun, Jung Keun Hyun, Myoung‐Ryul Ok, Sang Yup Kim, Edyta Wyszkowska, Ju‐Young Kim, Kang‐Sik Lee, Seung‐Kyun Kang   +27 more
wiley   +1 more source

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

A Logic Programming approach for Access Control over RDF

, 2014
The Resource Description Framework (RDF) is an interoperable data representation format suitable for interchange and integration of data, especially in Open Data contexts.
Axel Polleres, Mileo, Alessandra, Zimmermann, Antoine, Kirrane, Sabrina, Sabrina Kirrane, Polleres, Axel, Nuno Lopes, Lopes, Nuno, Antoine Zimmermann, Ra Mileo   +9 more
core   +1 more source

Electrode and Microstructure Dependence of Oxygen Diffusion in Ferroelectric Hafnium Zirconium Oxide Thin Films

Advanced Functional Materials, EarlyView.
Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg, Thomas W. Pfeifer, Chuanzhen Zhou, Yong Kyu Choi, Duk‐Hyun Choe, Patrick E. Hopkins, Jon F. Ihlefeld   +6 more
wiley   +1 more source

Stepwise Debugging of Description-Logic Programs

, 2012
Description-logic programs (or DL-programs for short) combine logic programs under the answer-set semantics with description logics for semantic-web reasoning.
Oetsch, Johannes,, Pührer, Jörg,, Hans Tompits, Tompits, Hans,, Johannes Oetsch, Jörg Pührer   +5 more
core   +2 more sources