Results 61 to 70 of about 32,005 (324)
Excitations in strict 2-group higher gauge models of topological phases
Journal of High Energy Physics, 2020 We consider an exactly solvable model for topological phases in (3+1) d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy 2-type topological
Alex Bullivant, Clement Delcamp
doaj +1 more source
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source
Drug Resistance Predictions Based on a Directed Flag Transformer
Advanced Science, EarlyView.CAPTURE, a deep learning framework combining structural and sequence data to predict drug‐resistant Mpro mutations, revealing that PAXLOVID use may be accelerating resistance—supporting real‐time viral surveillance and therapeutic design. Abstract The evolving SARS‐CoV‐2 virus threatens global public health, particularly with potential resistance to ...
Dong Chen +8 more
wiley +1 more source
Boundary Value ProblemsIn the present paper, we are concerned with the existence of nonnegative solutions for two Kirchhoff-type problems driven by a fractional p-Laplacian operator, ( − Δ ) p s $(-\Delta )_{p}^{s}$ , in a bounded smooth domain Ω of R N $\mathbb{R}^{N}$ with N
Omar Djidel +4 more
doaj +1 more source
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016 In this paper, we consider graded near-rings over a monoid G as generalizations of graded rings over groups, and study some of their basic properties.
Dumitru Mariana +2 more
doaj +1 more source
Advanced Science, EarlyView.A systematic computational framework is developed for practical identifiability analysis in biological models. The framework establishes a rigorous definition, introduces efficient coordinate‐based identifiability metrics, and proposes novel regularization strategies.
Shun Wang, Wenrui Hao
wiley +1 more source
The bulk Hilbert space of double scaled SYK
Journal of High Energy Physics, 2022 The emergence of the bulk Hilbert space is a mysterious concept in holography. In [1], the SYK model was solved in the double scaling limit by summing chord diagrams.
Henry W. Lin
doaj +1 more source
AIChE Journal, EarlyView.Abstract The modernization of pharmaceutical manufacturing is driving a shift from traditional batch processing to continuous alternatives. Synthesizing end‐to‐end optimal (E2EO) manufacturing routes is crucial for the pharmaceutical industry, especially when considering multiple operating modes—such as batch, continuous, or hybrid (containing both ...
Yash Barhate +4 more
wiley +1 more source
AIChE Journal, EarlyView.Abstract In this work, we present the first algorithm for identifying the minimum reboiler vapor duty requirement for a general multi‐feed, multi‐product (MFMP) distillation column separating ideal multicomponent mixtures. This algorithm incorporates our recently developed shortcut model for MFMP columns.
Zheyu Jiang +2 more
wiley +1 more source