Results 81 to 90 of about 155,122 (304)
Advanced Theory and Simulations, EarlyView.This work presents a framework combining the Self‐Consistent Electrostatic Potential Algorithm (SCERPA) and Density‐Functional Theory calculations to efficiently evaluate the electronic properties of molecular ensembles. The approach achieves ab initio‐comparable precision while significantly reducing computation time and provides the first DFT ...
Yuri Ardesi +4 more
wiley +1 more source
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras [PDF]
, 2015 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor.
Enqvist, Sebastian +2 more
core +3 more sources
Advanced Science, EarlyView.Based on a well‐established in vitro directed differentiation model and an integrated analysis of high‐density cell lineage trees (CLTs) and single‐cell transcriptomes, it is demonstrated that many subclones are formed by sub‐CLTs resembling each other in terms of both cell type compositions and topological structures.
Xiaoyu Zhang +14 more
wiley +1 more source
The Pebble-Relation Comonad in Finite Model Theory [PDF]
Logical Methods in Computer ScienceThe pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory.
Yoàv Montacute, Nihil Shah
doaj +1 more source
A Solution‐Based Deposition Method Enabling Pigment Blue Edible Electrochemical Transistors
Advanced Science, EarlyView.A novel solution‐based method is presented to produce Copper Phthalocyanine fibrous films displaying effective ion permeability and enhanced transconductance in electrolyte‐gated transistors architectures. Using these films, the first instance of a fully edible electrolyte‐gated transistor with volumetric capacitance, targeting in‐body applications, is
Alessandro Luzio +10 more
wiley +1 more source
Lattices of Logical Fragments over Words [PDF]
, 2012 This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, every logical fragment defines a lattice of languages with certain closure properties. Among these closure properties are residuals and inverse C-morphisms. Here, depending on
Alexander Lauser, Manfred Kufleitner
openaire +3 more sources
Advanced Science, EarlyView.This review compares clinical outcomes, translational progress, and global funding trends across cancer phototherapies—photodynamic, photothermal, and photoimmunotherapy—and conventional immunotherapy. It highlights differences in treatment efficacy, clinical trial status, financial investment, and regulatory challenges, providing a comprehensive ...
Deepak S. Chauhan +6 more
wiley +1 more source
Two Variable vs. Linear Temporal Logic in Model Checking and Games [PDF]
Logical Methods in Computer Science, 2013 Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL)
Michael Benedikt +2 more
doaj +1 more source
Advanced Science, EarlyView.The bipolar photoresponses with temporally distinguishable characteristics in a PMMA‐modified graphene photodetector are successfully achieved. Through systematic harnessing of these wavelength‐dependent temporal dynamics as encrypted and key signals, an effective encryption system for optical communication systems is developed.
Jinhua Wu +5 more
wiley +1 more source