Results 121 to 130 of about 32,356 (302)

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

Transient Response Improvement of Microgrids Exploiting the Inertia of a Doubly-Fed Induction Generator (DFIG)

Energies, 2010
Storage devices are introduced in microgrids in order to secure their power quality, power regularity and offer ancillary services in a transient period.
Christina N. Papadimitriou, Nicholas A. Vovos   +1 more
doaj   +1 more source

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

Theoretical Computer Science, 2003
We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.
Nour, Karim, Raffalli, Christophe
openaire   +2 more sources

Topological Completeness of First-Order Modal Logic

, 2012
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking ...
Awodey, S., Bolander, T., Kishida, K., Braüner, T., Moss, L., Ghilardi, S.   +5 more
core  

Ferroelectric Devices for In‐Memory and In‐Sensor Computing

Advanced Science, EarlyView.
Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang, Ronghuan Xie, Qiang Cao, Shishen Yan, Xiaolin Wang, Limei Zheng   +5 more
wiley   +1 more source

First-order classical modal logic

, 2008
. The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague.
Eric Pacuit
core  

Classical Logic through the Looking-Glass [PDF]

, 2016
In Lewis Carroll’s Through the Looking Glass and What Alice Found There, Alice enters through a mirror into the realm reflected. It is, of course, left-right reversed but this is only the start of the fun and games when Alice explores the world on ...
Milne, Peter
core  

Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4 [PDF]

, 2016
In this work we look at how Fitting's embedding of first-order classical logic into first-order S4 can help in reasoning when we are interested in satisfaction "in most cases", when first-order properties are allowed to fail in cases that are ...
BANA, Gergely, Bana, Gergei, Okada, Mitsuhiro   +2 more
core   +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

Highly Vertically Oriented Graphene Microstrip Pads With Ultrahigh Through‐Plane Thermal Conductivity and Ultralow Compressive Modulus for Efficient Heat Dissipation

Advanced Science, EarlyView.
Vertically aligned graphene microstrip pads (GMPs) break the traditional thermomechanical trade‐off in thermal interface materials. It simultaneously achieves an ultrahigh through‐plane thermal conductivity of 565.92 W m−1 K−1 and an ultralow compressive modulus below 115.16 kPa.
Xu Ran, Yaru Wang, Sijia Wu, Hejun Wang, Junhao Shen, Litao Sun, Xing Wu, Hengchang Bi   +7 more
wiley   +1 more source