Results 91 to 100 of about 1,644,332 (297)

Stabilizer notation for Spekkens' toy theory

, 2012
Spekkens has introduced a toy theory [Phys. Rev. A, 75, 032110 (2007)] in order to argue for an epistemic view of quantum states. I describe a notation for the theory (excluding certain joint measurements) which makes its similarities and differences ...
A.J. Short, B. Coecke, C.H. Bennett, C.H. Bennett, D. Gottesman, D. Gross, J. Dehaene, K.M.R. Audenaert, K.S. Gibbons, M. Hein, M.A. Nielsen, Matthew F. Pusey, N.D. Mermin, R. Raussendorf, R.W. Spekkens, S. Aaronson   +15 more
core   +1 more source

Feasibility and Preliminary Efficacy of Integrative Neuromuscular Training for Childhood Cancer Survivors: A Pilot Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of childhood acute lymphoblastic leukemia (ALL) often exhibit early deficits in muscle and movement competence, which can compromise long‐term health. Integrative neuromuscular training (INT), a multifaceted approach combining fundamental movement activities with strength exercises, may help address these deficits during ...
Anna Maria Markarian, Robert U. Newton, Dennis R. Taaffe, Nicholas G. Gottardo, Santosh Valvi, Carolyn J. Peddle‐McIntyre, Jodie Cochrane Wilkie, Daniel A. Galvão   +7 more
wiley   +1 more source

A Revised Textual Tree Trace Notation for Prolog [PDF]

, 1999
This paper describes a ''textual tree trace'' (TTT) notation for representing the execution of Prolog programs. Compact, textual and non-linear, it provides detailed information about variable binding and execution history, and distinguishes several ...
du Boulay, Benedict, Patel, Mukesh J., Taylor, Chris   +2 more
core  

Applying SMT Solvers to the Test Template Framework

, 2012
The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z.
Alexander K. Petrenko, B. Potter, Bruno Dutertre, Clark Barrett, Claudia Frydman, Coq Development Team, Daniel Jackson, Daniel Kröning, David Déharbe, David R. Cok, Holger Schlingloff, J. M. Spivey, Jan Peleska, Jonathan Jacky, Leo Freitas, Leonardo Mendonça de Moura, Margus Veanes, Mark Saaltink, Maximiliano Cristiá, Maximiliano Cristiá, Maximiliano Cristiá, Maximiliano Cristiá, Maximiliano Cristiá, Maximiliano Cristiá, Maximiliano Cristiá, P. Stocks, Patrice Godefroid, Petra Malik, Robert Nieuwenhuis, Stefan J. Galler, Sylvain Conchon, The Pex Team, Wolfgang Grieskamp   +32 more
core   +1 more source

The Role of Invasive Procedures in the Treatment of Complicated Gastrointestinal Graft‐Versus‐Host Disease in Pediatric Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Gastrointestinal graft‐versus‐host disease (GI GVHD) following hematopoietic stem cell transplant is typically managed with medical therapy, but surgery and angioembolization may be warranted in selected cases with life‐threatening complications.
Gaia Brunetti, Giorgio Persano, Chiara Grimaldi, Pier Luigi Di Paolo, Carmen Malaspina, Francesco Quagliarella, Valerio Balassone, Anna Chiara Iolanda Contini, Gian Luigi Natali, Rita Alaggio, Ivan Pietro Aloi, Tamara Caldaro, Alessandro Crocoli   +12 more
wiley   +1 more source

The Lean Cuisine+ notation revised [PDF]

, 2000
The Lean Cuisine+ notation was developed by Chris Phillips (1995) as an executable semi-formal graphical notation for describing the underlying behaviour of event-based direct manipulation interfaces.
Scogings, Chris
core  

Two Faces of NOTCH1 in Childhood Lymphoblastic T‐Cell Neoplasia: Prognostic Divergence of Mutational and Structural Aberrations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT In pediatric patients, T‐cell lymphoblastic lymphoma (T‐LBL) survival exceeds 80%. Relapse remains associated with limited curative options. Frontline treatment is largely extrapolated from T‐cell acute lymphoblastic leukemia (T‐ALL) treatment, reflecting the ongoing debate, whether both entities represent distinct diseases or variants within ...
Marie C. Heider, Amelie Alfert, Marc Hotfilder, Birgit Burkardt, Marcel te Vrugt   +4 more
wiley   +1 more source

Considerations on the Experience of Learning and Performing Plainchant Among Non-Professional Choral Singers in a Contemporary Irish Context

Religions
Plainchant has formed a core sacred vocal repertory for Western Christianity for over a millennium, and following a surge of interest in chant as an early music repertory over the twentieth century and beyond, it has accrued particular significance for ...
Rhoda Dullea, Giovanna Feeley, Ann Buckley   +2 more
doaj   +1 more source

Choralnotationen der mittelalterlichen liturgischen Kodizes des 14. und 15. Jahrhunderts in slowakischen Archivbeständen

De Musica Disserenda, 2015
In Slovakian archives there are 15 completely preserved medieval music manuscrips: five Bratislava antiphoners (the Bratislava Antiphoners I–IV, 15th century, written in the Messine-Gothic notation, the Bratislava Antiphoner V, 15th century, in the ...
Eva Veselovská
doaj   +1 more source

Factored Notation for Interval I/O

, 2001
This note addresses the input and output of intervals in the sense of interval arithmetic and interval constraints. The most obvious, and so far most widely used notation, for intervals has drawbacks that we remedy with a new notation that we propose to ...
van Emden, M. H.
core