Results 141 to 150 of about 156,774 (303)
Monadic
, 2010 Lauri Hella, Antti Kuusisto
openalex +1 more source
Advanced Science, EarlyView.Reconfigurable metasurfaces typically require human intervention or complex, resource‐heavy processes. This innovative self‐adaptive metasurface senses an incident wave's direction, adjusting reflection in real‐time using a simple electronics module. It eliminates external controllers, reducing response time, energy consumption, and costs. Applications
Bo‐Wen Ren +4 more
wiley +1 more source
Biohybrid Computing with Proteinoids and Algae
Advanced Science, EarlyView.We developed a novel biohybrid computing system by combining proteinoid microspheres with algae. The biological mixture creates spontaneous electrical oscillations. These oscillations can perform simple logic operations, such as AND, OR, NAND, and NOR gates. Environmental factors like temperature and pH affect how the system works.
Panagiotis Mougkogiannis +1 more
wiley +1 more source
Completeness for non normal intuitionistic modal logics
, 1981 Each non-normal intuitionistic modal logic is obtained by translating the intuitionistic language into modal language and by conjoining the S4 axioms for one primitive modal operator with the axioms of the non-normal modal system for another primitive operator, adding to this connecting axioms for the two operators.
openaire +3 more sources
Advanced Science, EarlyView.Soft robotics, featuring intrinsic compliance and biomimetic adaptability, emerges as transformative in next‐generation intelligent systems. This review outlines how advancements in four foundational domains—actuation, materials, manufacturing, and control—drive the evolution of bioinspired intelligent soft robotics, poised to redefine the boundaries ...
Xiaopeng Wang +7 more
wiley +1 more source
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
, 2020 Simone Martini +2 more
openalex +2 more sources
Advanced Science, EarlyView.This research introduces an augmented matrix‐based DNA molecular neural network to achieve molecular‐level solving of biological Brusselator PDEs. Crucial innovations include: (i) an augmented matrix‐based DNA molecular neural network, enabling multidimensional parameter integration through DNA strand displacement cascades and iterative weight ...
Yijun Xiao +5 more
wiley +1 more source
Advanced Science, EarlyView.This review comprehensively examines the applications of protein three‐dimensional structures and artificial intelligence in investigating drug synergistic and antagonistic effects. The research findings provide compelling evidence for the precision treatment of cancer and metabolic diseases, thereby promoting the development of personalized medicine ...
Anqi Lin +11 more
wiley +1 more source
Advanced Science, EarlyView.By manipulating the quadruple decoupled radiative transitions of donor and acceptor units, dual‐phase excitation‐dependent afterglow emission is achieved for the first time in a single isolated molecule. The decoupled donor‐acceptor units precisely manipulate the electron transfer pathways in ACRSP, endowing it with intrinsic single‐molecule Ex‐De ...
Yibo Shi +8 more
wiley +1 more source