Results 91 to 100 of about 148,259 (301)
Conductive Bonding and System Architectures for High‐Performance Flexible Electronics
Advanced Functional Materials, EarlyView.This review outlines bonding technologies and structural design strategies that support high‐performance flexible and stretchable electronics. Bonding approaches such as surface‐activated bonding and anisotropic conductive films, together with system‐level architectures including buffer layers and island‐bridge structures, possess distinct mechanical ...
Kazuma Nakajima, Kenjiro Fukuda
wiley +1 more source
Logical Connectives Modulate Attention to Simulations Evoked by the Constituents They Link Together
Frontiers in Psychology, 2018 In previous studies investigating logical-connectives simulations, participants focused their attention on verifying truth-condition satisfaction for connective expressions describing visual stimuli (e.g., Dumitru, 2014; Dumitru and Joergensen, 2016 ...
Magda L. Dumitru +2 more
doaj +1 more source
On the variable hierarchy of first-order spectra
, 2015 The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we study the hierarchy of first-order spectra based on the number of variables.
Kopczynski, Eryk, Tan, Tony
core +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
ДискурсIntroduction. The article continues a series of publications on R-linguistics and is dedicated to the ternary hypothesis and the problem of modeling the world associated with it.
O. M. Polyakov
doaj +1 more source
Arity hierarchy for temporal logics
Theoretical Computer Science, 2008 The paper studies the expressive power of temporal logics over trees. The main result states that in contrast to Kamp's theorem (stating, inter alia, that the temporal logic with ``Until'' and ``Since'' is expressively complete for the monadic first-order logic over the linear order of natural numbers), for every \(n\) there is a modality of arity \(n\)
openaire +2 more sources
Advanced Functional Materials, EarlyView.This study presents a dynamic interaction between liquid resins and photopolymerized structures enabled by an in situ light‐writing setup. By controlling a three‐phase interface through localized photopolymerization, which provides physical confinement for the remaining uncured resin regions, the approach establishes a programmable pathway that ...
Kibeom Kim +3 more
wiley +1 more source
A categorical approach to abstract convex spaces and interval spaces
Open Mathematics, 2019 In this paper, we establish the axiomatic conditions of hull operators and introduce the category of interval spaces. We also investigate their relations with convex spaces from a categorical sense.
Wang Bing, Li Qing-Hua, Xiu Zhen-Yu
doaj +1 more source
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +1 more source
On Exact Algorithms for Permutation CSP
, 2012 In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of V.
Goncalves, Daniel, Kim, Eun Jung
core +1 more source