Results 31 to 40 of about 122,807 (96)
Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]
, 2011 We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core +1 more source
Machine Learning of Personal Repertoires From Public T Cell Receptors
Immunological Reviews, Volume 341, Issue 1, August 2026.ABSTRACT The T‐cell receptor (TCR) repertoire records an individual's immunological history, but most unique CDR3 sequences in any one person are private and uninformative about anyone else. A small subset, however, recurs predictably across unrelated donors.
Or Malca, Alona Zilberberg, Sol Efroni
wiley +1 more source
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
The Structure of Spinels: A Quantitative Assessment of the AB2X4 Family
Journal of the American Ceramic Society, Volume 109, Issue 8, August 2026.ABSTRACT Compounds with the general formula AB2X4 crystallize with the atomic structure of the mineral spinel, MgAl2O4, described by three degrees of freedom: lattice parameter a, anion parameter u, and cation inversion parameter λ. Here, bond valence sum validation of 1244 ambient structures (338 compositions, 1915–2025) from the Inorganic Crystal ...
Nik Reeves‐McLaren
wiley +1 more source
Advanced Physics Research, Volume 5, Issue 7, July 2026.ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman +4 more
wiley +1 more source
An Institution of Modal Logics for Coalgebras [PDF]
, 2006 This paper presents a modular framework for the specification of certain inductively-defined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M.
Cıˆrstea, Corina, Cirstea, Corina
core +1 more source
Engineering Reports, Volume 8, Issue 7, July 2026.Analytical fuzzy soliton solutions of a modified space–time fractional ϕ4$$ {\phi}^4 $$ model are derived using EHFM, capturing memory effects and uncertainty. Results reveal diverse wave structures and show how fractional order and fuzziness significantly influence soliton amplitude, localization, and propagation, with heightened sensitivity near the ...
Mohsin Khalid +3 more
wiley +1 more source
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 153-168, July 2026.ABSTRACT Many philosophical disputes have become so intractable that philosophers question whether there is a fact of the matter as to which side is right or whether these disputes are entirely verbal. Yet these “metadisputes” have also become intractable. This raises the question: Could they, too, be verbal? What would that even mean? Using tools from
Alexander W. Kocurek
wiley +1 more source
Nonlinear dissipation can combat linear loss [PDF]
, 2013 This work was supported by Belarusian Republican Foundation for Fundamental Research (BRFFI) of Belarus, by National Academy of Science of Belarus through the Program “Convergence”, by the External Fellowship Program of the Russian Quantum Center at ...
Mikhalychev, A. +3 more
core +1 more source
Molecular Oncology, Volume 20, Issue S1, Page 1-692, August 2026.Abstracts submitted to the ‘EACR 2026 Congress: Innovative Cancer Science’, from 08–11 June 2026 and accepted by the Congress Organising Committee are published in this Supplement of Molecular Oncology, an affiliated journal of the European Association for Cancer Research (EACR).
wiley +1 more source