Results 71 to 80 of about 2,494,307 (343)

Global Worldsheet Anomalies from M-Theory

, 2003
We present an M-theory proof of the anomaly of Freed and Witten which in general shifts the quantisation law for the U(1) gauge field on a D6-brane. The derivation requires an understanding of how fields on the D6-brane lift to M-theory, together with a ...
Sparks, James
core   +1 more source

Multi‐omics and low‐input proteomics profiling reveals dynamic regulation driving pluripotency initiation in early mouse embryos

FEBS Open Bio, EarlyView.
Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li, Xi Xiao, Lingbin Qi, Chanyi Li, Sirui Song, Jiaying Qin, Zhigang Xue, Jinfeng Xue, Huaifang Li   +8 more
wiley   +1 more source

Applying an Ethical Lens to the Treatment of People With Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The practice of neurology requires an understanding of clinical ethics for decision‐making. In multiple sclerosis (MS) care, there are a wide range of ethical considerations that may arise. These involve shared decision‐making around selection of a disease‐modifying therapy (DMT), risks and benefits of well‐studied medications in comparison to
Methma Udawatta, Farrah J. Mateen
wiley   +1 more source

Remarks on some new models of interacting quantum fields with indefinite metric

, 1997
We study quantum field models in indefinite metric. We introduce the modified Wightman axioms of Morchio and Strocchi as a general framework of indefinite metric quantum field theory (QFT) and present concrete interacting relativistic models obtained by ...
Albeverio, Albeverio, Albeverio, Albeverio, Albeverio, Gelfand, H. Gottschalk, Hofmann, J.-L. Wu, Morchio, Nelson, Osterwalder, Osterwalder, Reed, S. Albeverio, Streater, Strocchi   +16 more
core   +2 more sources

Multi-kernel polar codes: Proof of polarization and error exponents [PDF]

Information Theory Workshop, 2017
In this paper, we investigate a novel family of polar codes based on multi-kernel constructions, proving that this construction actually polarizes. To this end, we derive a new and more general proof of polarization, which gives sufficient conditions for
Meryem Benammar, Valerio Bioglio, Frederic Gabry, Ingmar Land   +3 more
semanticscholar   +1 more source

Heterogeneity of Rheumatoid Arthritis–Associated Interstitial Lung Disease by Longitudinal Forced Vital Capacity Trajectory and Associations With Disease Outcomes

Arthritis Care &Research, EarlyView.
Objective We aimed to identify unique disease trajectories within rheumatoid arthritis–associated interstitial lung disease (RA‐ILD) based on longitudinal forced vital capacity (FVC) values and their associated clinical outcomes. Methods We performed a cohort study of RA‐ILD within the Veterans Health Administration from 1999 to 2021.
Bryant R. England, Yangyuna Yang, Punyasha Roul, Tate M. Johnson, Scott M. Matson, Grant W. Cannon, Brian C. Sauer, Jeffrey R. Curtis, Joshua F. Baker, Ted R. Mikuls   +9 more
wiley   +1 more source

Quantification in Ordinary Language and Proof Theory

Philosophia Scientiæ, 2016
This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We
Michele Abrusci, Fabio Pasquali, Christian Retoré   +2 more
doaj   +1 more source

Gauge invariance of massless QED

, 1994
A simple general proof of gauge invariance in QED is given in the framework of causal perturbation theory. It illustrates a method which can also be used in non-abelian gauge theories.Comment: 7 pages, TEX-file, Zuerich University Preprint ZU-TH-33 ...
Blanchard, Dütsch, Dütsch, Dütsch, Epstein, Feldman, G. Scharf, Hurd, M. Dütsch, Scharf, T. Hurth   +10 more
core   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Discovery of Invariants through Automated Theory Formation [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Refinement is a powerful mechanism for mastering the complexities that arise when formally modelling systems. Refinement also brings with it additional proof obligations -- requiring a developer to discover properties relating to their design decisions ...
Andrew Ireland, Maria Teresa Llano, Alison Pease   +2 more
doaj   +1 more source