Results 141 to 150 of about 1,008,187 (306)

22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings

, 2007
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin   +5 more
openalex   +1 more source

Third annual symposium on logic in computer science

, 1987

openalex   +1 more source

Design and simulation of a low-energy atomic silicon quantum-dot circuit with potential in internet of things applications. [PDF]

Sci Rep
Rasmi H, Mosleh M, Navimipour NJ, Ahmadpour SS, Kheyrandish M.   +4 more
europepmc   +1 more source

Manipulating Individual Topological Solitons and Bisolitons in an Electronic System

Advanced Materials, EarlyView.
While localized topological modes in quantum materials promise loss‐less delivery of classical and quantum information, manipulating them individually has been challenging. This work succeeded in manipulating topological solitons formed along atomic wires on silicon surfaces with high reproducibility in various ways, including translating, transforming
Taehwan Im, Jae Whan Park, Han Woong Yeom   +2 more
wiley   +1 more source

Radar in 7500 m Well Based on Channel Adaptive Algorithm. [PDF]

Sensors (Basel)
Liu H, Yang H, Bai C, Li S, Guo C, Zhao Q.   +5 more
europepmc   +1 more source

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

Use of basic programming tools to foster programming logic in university students with school preparation other than computer science

Fernando Ibarra-Torres, Gustavo Caiza, Marcelo V. García, Valeria Barona-Pico   +3 more
openalex   +1 more source

An overhead-reduced, efficient, fully analog neural-network computing hardware. [PDF]

Sci Adv
Ye J, Wang W, Shi C, Cui X, Qu W, Lin P, Yu X, Cheng R, Wu H, Chen B.   +9 more
europepmc   +1 more source

Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array

Advanced Materials, EarlyView.
This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim, Dong Hoon Shin, Wonho Choi, Sunwoo Cheong, Sung Keun Shim, Soo Hyung Lee, Janguk Han, Yoon Ho Jang, Kunhee Son, Néstor Ghenzi, Cheol Seong Hwang   +10 more
wiley   +1 more source

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012

, 2012
Pablo Barceló, Diego Figueira, Leonid Libkin   +2 more
openalex   +1 more source