Results 121 to 130 of about 6,784,471 (306)
Relevo político en Guinea Ecuatorial
Comillas Journal of International Relations
doaj
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong +7 more
wiley +1 more source
Los desafíos de la Agenda 2030
Comillas Journal of International Relations
doaj
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel +3 more
wiley +1 more source
Towards a Formal Ontology of Information. Selected Ideas of K. Turek
There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with
Roman Krzanowski
doaj
Decoding Naturalistic Episodic Memory with Artificial Intelligence and Brain‐Machine Interface
Episodic memory weaves together what, where, and when of experience into a personal narrative. Cutting‐edge AI models may decode this intricate process in real‐life settings, revealing how neural activity encodes naturalistic memories. By merging AI with brain–machine interfaces, researchers are edging closer to mapping and even engineering memory ...
Dong Song
wiley +1 more source
Deformation Driven Suction Cups: A Mechanics‐Based Approach to Wearable Electronics
Deformation‐driven suction cups enable robust, reversible adhesion of wearable electronics to human skin spanning wide mechanical compliance, without adhesives or tight straps. By integrating mechanics modeling, experiments, and contact mechanics theory, this work reveals how cup geometry, substrate compliance, and interfacial adhesion govern suction ...
Seola Lee +10 more
wiley +1 more source
Derived asymmetric and transitive relations using the go/no-go procedure with compound stimuli. [PDF]
Modenesi RD, Debert P.
europepmc +1 more source
Microbial synthesis of nanomaterials (NMs) is eco‐friendly, but the screening of microorganisms is limited by inefficient traditional methods (currently only involving∽400 microorganisms/90 NMs). We propose AI framework MicrobeDiscover, integrating a knowledge graph of microbe‐NM interactions.
Ludi Wang +12 more
wiley +1 more source

