Search Results - "Cleaveland, R."

Corrigendum to “Autoantibody status, neuroradiological and clinical findings in children with acute cerebellitis” [Eur. J. Paediatr. Neurol. 47 (2023) 118–130] by Quack, L., Glatter, S., Wegener-Panzer, A., Cleaveland, R., Bertolini, A., Endmayr, V., Seidl, R., Breu, M., Wendel, E., Schimmel, M., Baumann, M., Rauchenzauner, M., Pritsch, M., Boy, N., Muralter, T., Kluger, G., Makoswski, C., Kraus, V., Leiz, S., Loehr-Nilles, C., Kreth, J.H., Braig, S., Schilling, S., Kern, J., Blank, C., Baumann, B. Tro, Vieth, S., Wallot, M., Reindl, M., Ringl, H., Wandinger, K.P., Leypoldt, F., Höftberger, R., Rostàsy, K.

Get full text

Autoantibody status, neuroradiological and clinical findings in children with acute cerebellitis by Quack, L, Glatter, S, Wegener-Panzer, A, Cleaveland, R, Bertolini, A, Endmayr, V, Seidl, R, Breu, M, Wendel, E, Schimmel, M, Baumann, M, Rauchenzauner, M, Pritsch, M, Boy, N, Muralter, T, Kluger, G, Makoswski, C, Kraus, V, Leiz, S, Loehr-Nilles, C, Kreth, J H, Braig, S, Schilling, S, Kern, J, Blank, C, Tro Baumann, B, Vieth, S, Wallot, M, Reindl, M, Ringl, H, Wandinger, K P, Leypoldt, F, Höftberger, R, Rostásy, K

“…Acute cerebellitis (AC) in children and adolescents is an inflammatory disease of the cerebellum due to viral or bacterial infections but also…”
Get full text

Small part ultrasound in childhood and adolescence by Wunsch, R, von Rohden, L, Cleaveland, R, Aumann, V

“…Abstract Small-part sonography refers to the display of small, near-surface structures using high-frequency linear array transducers. Traditional applications…”
Get full text

High-confidence medical device software and systems by Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.

“…Given the shortage of caregivers and the increase in an aging US population, the future of US healthcare quality does not look promising and definitely is…”
Get full text

Triggered Message Sequence Charts by Bikram Sengupta, Cleaveland, R.

“…This paper introduces triggered message sequence charts (TMSCs), a graphical, mathematically well-founded framework for capturing scenario-based system…”
Get full text

Navigating the Seismic Shift of Post-Moore Computer Systems Design by Banerjee, Anindya, Basu, Sankar, Brunvand, Erik, Mazumder, Pinaki, Cleaveland II, Walter R., Singh, Gurdip, Martonosi, Margaret, Pembleton, Fernanda

“…Reports on the history and development of computer aided design systems. In quick succession between 1964 and 1971, our field saw the proposal of Moore’s law,1…”
Get full text

Testing Preorders for Probabilistic Processes by Cleaveland, Rance, Dayar, Zeynep, Smolka, Scott A., Yuen, Shoji

“…We present a testing preorder for probabilistic processes based on a quantification of the probability with which processes pass tests. The theory enjoys close…”
Get full text

Doctor discontent by Cleaveland, R

Get full text

The future of primary care by Cleaveland, Clifton R

Get full text

Architectural interaction diagrams: AIDs for system modeling by Ray, A., Cleaveland, R.

“…This paper develops a modeling paradigm called Architectural Interaction Diagrams, or AIDs, for the high-level design of systems containing concurrent,…”
Get full text

An organized sense of wonder. From the president's convocation address at the American College of Physicians annual session, 16 March 1995 by Cleaveland, C R

Get full text

Automated validation of software models by Sims, S., Cleaveland, R., Butts, K., Ranville, S.

“…The paper describes the application of an automated verification tool to a software model developed at Ford Motor Company. Ford already has in place an…”
Get full text

Efficient on-the-fly model checking for CTL by Bhat, G., Cleaveland, R., Grumberg, O.

“…This paper gives an on-the-fly algorithm for determining whether a finite-state system satisfies a formula in the temporal logic CTL. The time complexity of…”
Get full text

An algebraic theory of process efficiency by Natarajan, V., Cleaveland, R.

“…This paper presents a testing-based semantic theory for reasoning about the efficiency of concurrent systems as measured in terms of the amount of their…”
Get full text

Corrigendum to "Autoantibody status, neuroradiological and clinical findings in children with acute cerebellitis" Eur. J. Paediatr. Neurol. 47 (2023) 118-130 by Quack, L, Glatter, S, Wegener-Panzer, A, Cleaveland, R, Bertolini, A, Endmayr, V, Seidl, R, Breu, M, Wendel, E, Schimmel, M, Baumann, M, Rauchenzauner, M, Pritsch, M, Boy, N, Muralter, T, Kluger, G, Makoswski, C, Kraus, V, Leiz, S, Loehr-Nilles, C, Kreth, J H, Braig, S, Schilling, S, Kern, J, Blank, C, Baumann, B Tro, Vieth, S, Wallot, M, Reindl, M, Ringl, H, Wandinger, K P, Leypoldt, F, Höftberger, R, Rostàsy, K

Get full text

CPR by Cleaveland, C R

Get more information

Refinement-based requirements modeling using triggered message sequence charts by Sengupta, B., Cleaveland, R.

“…Triggered message sequence charts (TMSCs) are a visual, mathematically precise notation for capturing system requirements as conditional and partial scenarios…”
Get full text

Health care reform: an American imperative by Maddrey, W C, Gunnar, R M, Griner, P F, Bergin, J J, Cleaveland, C R, Ball, J R

Get more information

Predictability of real-time systems: a process-algebraic approach by Natarajan, V., Cleaveland, R.

“…This paper presents a testing-based semantic preorder that relates real-time systems given in the process description language TPL on the basis of the…”
Get full text

Probabilistic temporal logics via the modal mu-calculus by Cleaveland, Rance, Iyer, S. Purushothaman, Narasimha, Murali

“…This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a…”
Get full text