Results 81 to 90 of about 37,011 (230)

Ethical Precision in Nanoscale Brain Interfacing

Advanced Science, EarlyView.
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley   +1 more source

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

, 2018
We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type ...
Panos Rondogiannis, Ioanna Symeonidou, Angelos Charalambidis   +2 more
core   +1 more source

Schooling Trajectories and the Development of Brain Dynamics: A Comparative Study of Montessori and Traditional Education

Advanced Science, EarlyView.
We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua, Anira Escrichs, Yonatan Sanz Perl, Morten L. Kringelbach, Adele Diamond, Solange Denervaud, Gustavo Deco   +6 more
wiley   +1 more source

Two‐Dimensional Triferroics: From Fundamental Couplings to Multifunctional Applications

Advanced Science, EarlyView.
This graphic summarizes the three main types of currently reported 2D triferroic couplings. From the structural perspective, existing systems can be broadly classified into two categories, which exhibit distinct symmetry features and coupling behaviors. Beyond the lattice difference, a third type involves the interplay among ferroelectricity, magnetism,
Yang Li, Jialin Gong, Zhiqing Li
wiley   +1 more source

Engineering of Crystal and Domain Structures in Epitaxial Y:HfO2 Thin Films by YSZ Substrate Miscut

Advanced Science, EarlyView.
We investigate how YSZ substrate miscut influences crystal structure and domain formation in epitaxial Y‐doped HfO2 thin films. Using magnetron sputtering, high‐resolution X‐ray diffraction, atomic‐resolution scanning transmission electron microscopy, and first‐principles calculations, we systematically examine the characteristics of thickness‐ and ...
Jun Young Lee, Hyung‐Jin Choi, Kun Hee Ye, Haneul Choi, Byeong‐hyeon Lee, Min‐Seok Kim, Dong‐Hun Han, June Hyuk Lee, Sung Ok Won, Tae Heon Kim, Hye Jung Chang, Jung‐Hae Choi, Seung‐Hyub Baek   +12 more
wiley   +1 more source

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

Some remarks on proof-theoretic semantics

, 2015
This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core   +1 more source

Optimization of SWCNT‐FET Biosensors by Aptamer Engineering and Toehold‐Mediated Strand Displacement

Advanced Science, EarlyView.
Aptamer‐based single‐walled carbon nanotube (SWCNT) field‐effect transistor (FET) biosensors are developed for label‐free, real‐time biomarker detection. Truncated DNA aptamers enhance sensitivity through improved conformational switching. A toehold‐mediated strand displacement (TMSD) strategy optimizes functionalization and simplifies fabrication. The
Haosen Miao, Tingting Zheng, Houlin Yu, Gririraj Manoharan, Gustavo Sant'Anna, Nicholas Bedfrod, Jorge L. Chávez, Chang‐Seuk Lee, Matteo Palma   +8 more
wiley   +1 more source

Contributions to the Model Theory of Higher-Order Logic

In this thesis, we develop the model theory of higher-order logic by working in Alonzo, a classical higher-order logic based on Church's formulation of simple type theory that extends first-order logic and that admits undefined expressions. In particular,
Zvigelsky, Dennis Y.
core  

Engineering Neuronal Network Connectivity Through Precise and Scalable Electrical Modulation

Advanced Science, EarlyView.
This study presents a scalable all‐electrical method for precise neuronal‐circuit reconfiguration based on high‐density microelectrode arrays. By employing biologically inspired plasticity rules, targeted connectivity changes were successfully induced and quantified across diverse neuronal preparations.
Sreedhar S. Kumar, Yannaël Bossard, Rachel Sava, Tobias Gänswein, Lorenca Sadiraj, Jean‐Samuel Dupré, Manuel Schröter, J. Gray Camp, Fernando Cardes, Julian Bartram, Andreas Hierlemann   +10 more
wiley   +1 more source