Results 201 to 210 of about 1,881,310 (251)

Determinants of Long‐Term Benefit From High Dose Melphalan With Autologous Stem Cell Transplant in AL Amyloidosis

American Journal of Hematology, EarlyView.
ABSTRACT High dose melphalan (HDM) with autologous stem cell transplant is an established treatment for systemic light chain amyloidosis, but its incremental benefit in the era of effective standard intensity therapy is unknown. We retrospectively analyzed 475 transplant‐eligible patients who completed standard intensity treatment with or without HDM ...
Maximilian J. Steinhardt, Ute Hegenbart, Tamer Hellou, Sara Oubari, Murielle Roussel, Rahel Schwotzer, Francis Buadi, David Dingli, Moritz Binder, Taxiarchis Kourelis, Saurabh S. Zanwar, Max J. Rieger, Caroline Morbach, Vladimir Cejka, Bernhard Gerber, Stefan Störk, Hermann Einsele, Shaji Kumar, Morie Gertz, Alexander Carpinteiro, K. Martin Kortum, Eli Muchtar, Angela Dispenzieri, Stefan Schönland   +23 more
wiley   +1 more source

Histidine Supplementation Stabilizes Hearing and Vision and Improves Growth in HARS1‐Related Autosomal Recessive Disorder Associated With Usher‐Like Symptoms

American Journal of Medical Genetics Part A, EarlyView.
ABSTRACT Autosomal recessive HARS1‐related disorder (originally described as Usher syndrome type 3B) caused by a homozygous Y454S variant in the histidyl‐tRNA synthetase gene (HARS1) is characterized by progressive sensorineural hearing and vision loss and respiratory deterioration with risk for sudden death following febrile illnesses.
Victoria Mok Siu, Rosan Kenana, Rana Chakrabarti, Sarah D. P. Wilhelm, Joseph Andrews, Susan J. Leat, Christina Parker, Michael Miller, Leslie A. Nangle, Wendy McCaul, Ashfia Chowdhury, Natalie Hutchings, Ryan A. Adams, Lauren Guy, Mandy Rhody, Verena Juncal, Marisa I. Mendes, Desiree E. C. Smith, Gajja S. Salomons, Angelica A. Moresco, Daphne L. McCulloch, D. Holmes Morton, Ilka U. Heinemann, C. Anthony Rupar   +23 more
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A Formal Proof Generator from Semi-formal Proof Documents

International Colloquium on Theoretical Aspects of Computing, 2017
We present the CafeInMaude Proof Assistant (CiMPA) and the CafeInMaude Proof Generator (CiMPG), two complementary extensions of CafeInMaude, a CafeOBJ interpreter implemented in Maude. CiMPA is a proof assistant for inductive properties of CafeOBJ specifications, and CiMPG generates formal proofs that can be fed into CiMPA from semi-formal proof ...
Adrián Riesco 0001, Kazuhiro Ogata 0001
openaire   +2 more sources

Formal Proof of Algorithm MSG

P-graphs for Process Systems Engineering, 2022
Ferenc Friedler, Ákos Orosz, Jean Pimentel Losada   +2 more
openaire   +2 more sources

A novel mutual authentication scheme with formal proof for smart healthcare systems under global mobility networks notion

Computers and Electrical Engineering, 2018
Fan Wu, Xiong Li, Saru Kumari
exaly   +2 more sources

Type Theory and Formal Proof

2014
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive ...
Nederpelt, R., Geuvers, H.
openaire   +4 more sources

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

ACM Transactions on Software Engineering and Methodology, 2018
CafeOBJ is a language for writing formal specifications for a wide variety of software and hardware systems and for verifying their properties. CafeOBJ makes it possible to verify properties by using either proof scores, which consists of reducing goal ...
A. Riesco, K. Ogata
semanticscholar   +1 more source

Proof versus formalization

BIT, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

A Formal Proof of Pick’s Theorem

Mathematical Structures in Computer Science, 2010
Pick's Theorem relates the area of a simple polygon with vertices at integer lattice points to the number of lattice points in its inside and boundary. We describe a formal proof of this theorem using the HOL Light theorem prover. As sometimes happens for highly geometrical proofs, the formalisation turned out to be more work than initially expected ...
openaire   +2 more sources

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

arXiv.org
We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in formal
Huajian Xin, Z. Ren, Jun-Mei Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, Wenjun Gao, Qihao Zhu, Dejian Yang, Zhibin Gou, Z. F. Wu, Fuli Luo, C. Ruan   +16 more
semanticscholar   +1 more source