Results 101 to 110 of about 506,932 (281)
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 +1 more
doaj +1 more source
Theoretical Computer Science, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASCHIERI, Federico, ZORZI, Margherita
openaire +2 more sources
On the Ordering Mechanism of Cu+ in 2D van der Waals Multiferroic CuCrP2S6
Advanced Science, EarlyView.Temperature‐dependent X‐ray single‐crystal diffuse scattering measurements of CuCrP2S6 in the (H, K, 0) plane reveal the gradual emergence and strengthening of short‐range order upon cooling from 230 to 170 K. At intermediate temperatures, diffuse features become pronounced and eventually lock into sharp incommensurate satellite reflections, indicating
Jiasen Guo +5 more
wiley +1 more source
Sovremennye Issledovaniâ Socialʹnyh Problem, 2018 Purpose. This article covers the historic and philosophic doctrine by Nicolai A. Vasiliev that he included in his thesis research. This article is aimed at exploring the methodological aspect of the above doctrine through the example of the concept of ...
Igor’ Petrovich Pryadko
doaj +1 more source
Reasoning with Partial Knowledge [PDF]
We investigate how sociological argumentation differs from the classical first-order logic. We focus on theories about age dependence of organizational mortality.
Hannan, M.T., Polos, L.
core +1 more source
A normalization-procedure for the first order classical natural deduction with full logical symbols [PDF]
Tsukuba Journal of Mathematics, 1995 The author describes a normalization procedure for a natural deduction formulation of classical first-order logic [see \textit{D. Prawitz}: Natural deduction -- A proof theoretical study (1965; Zbl 0173.00205), and Proc. Second Scandinav. Logic Symp. 1970, Stud. Logic Found. Math. 63, 235-307 (1971; Zbl 0226.02031); \textit{B. R. Boričić}, J.
openaire +3 more sources
Peroxidase‐Mimicking Nanozymes for Rapid Detection of Infectious Diseases
Advanced Science, EarlyView.Peroxidase‐mimicking nanozymes (PMNs) have emerged as robust and versatile materials for rapid infectious disease diagnostics. This review highlights the rational design and controlled synthesis of PMNs, summarizes key biomarkers relevant to infectious diseases, examines their integration into diverse rapid detection platforms, and highlights ...
Shikuan Shao +5 more
wiley +1 more source
PAIR: Reconstructing Single‐Cell Open‐Chromatin Landscapes for Transcription Factor Regulome Mapping
Advanced Science, EarlyView.scATAC‐seq analysis is often constrained by limited sequencing depth, extreme sparsity, and pervasive technical missingness. PAIR is a probabilistic framework that restores scATAC‐seq accessibility profiles by directly modeling the native cell–peak bipartite structure of chromatin accessibility.
Yanchi Su +7 more
wiley +1 more source
Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]
Jisuanji kexueFirst-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj +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 +3 more
wiley +1 more source