Results 161 to 170 of about 140,069 (266)

Generalization in first-order logic.

Notre Dame Journal of Formal Logic, 1979
openaire   +2 more sources

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

International Journal of Distributed Sensor Networks, 2009
Jihong Han, Zhiyong Zhou, Yadi Wang
doaj   +1 more source

Empirical Logic for Bio-Inspired Soft Computing: Illustrative Applications in Control Engineering and Cluster Analysis. [PDF]

Biomimetics (Basel)
Grotrian J.
europepmc   +1 more source

Toward Prostate Cancer Early Warning with a Self‐Powered Wearable Biosensing Platform Integrated with Machine Learning

Advanced Science, EarlyView.
ABSTRACT Current prostate cancer detection methods remain limited in non‐invasiveness and specificity, prompting interest in urinary biomarkers such as sarcosine. Here, we report a urine‐powered wearable platform for non‐invasive sarcosine detection as a proof‐of‐concept for decentralized early warning.
Jing Xu, Hanxiao Chen, Qichen Yuan, Liucun Yin, Yifang Tao, Hong Wang, Yuquan Xue, Delai Fu, Huan Pang, Tie Chong, Li Xue   +10 more
wiley   +1 more source

afspm: A framework for manufacturer-agnostic automation in scanning probe microscopy. [PDF]

Beilstein J Nanotechnol
Sullivan NJ, Valdés JJ, Bevan KH, Grutter P.   +3 more
europepmc   +1 more source

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

Tunable Triple-Band Terahertz Perfect Absorber and Four-Input AND Gate Based on a Graphene Metamaterial. [PDF]

Nanomaterials (Basel)
Xu S, Zeng L, Shao Z, Li B, Hu W, Tu Y, Zhu X.   +6 more
europepmc   +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

Rotary Electromechanical System Integrating Non-Reciprocal Memory and Combinational Logic. [PDF]

Adv Sci (Weinh)
Chen S, Straney D, Pasini D.
europepmc   +1 more source