FUSE Observations of Heavy Elements in the Photospheres of Cool DB White Dwarfs von Desharnais, S, Wesemael, F, Chayer, P, Kruk, J. W, Saffer, R. A

Volltext

Multiwavelength Observations of the Hot DB Star PG 0112+104 von Dufour, P, Desharnais, S, Wesemael, F, Chayer, P, Lanz, T, Bergeron, P, Fontaine, G, Beauchamp, A, Saffer, R. A, Kruk, J. W, Limoges, M.-M

Volltext

Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems von Krivulin, Nikolai

Volltext

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings von Desharnais, Jules, Guttmann, Walter, Joosten, Stef

Volltext

Measuring outcomes of hospital care using multiple risk-adjusted indexes von DesHarnais, S, McMahon, Jr, L F, Wroblewski, R

Volltext

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Volltext

Compliance with breast‐conservation standards for patients with early‐stage breast carcinoma von White, Julia, Morrow, Monica, Moughan, Jennifer, Owen, Jean, Pajak, Thomas, DesHarnais, Susan, Winchester, David P., Frank Wilson, J.

Volltext

Risk-adjusted clinical quality indicators: indices for measuring and monitoring rates of mortality, complications, and readmissions von DesHarnais, S I, Forthman, M T, Homa-Lowry, J M, Wooster, L D

Volltext

Verifying Hybrid Systems with Modal Kleene Algebra von Huerta y Munive, Jonathan Julián, Struth, Georg

Volltext

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra von Foster, Simon, Ye, Kangfeng, Cavalcanti, Ana, Woodcock, Jim

Volltext

Counting Finite Linearly Ordered Involutive Bisemilattices von Bonzio, Stefano, Baldi, Michele Pra, Valota, Diego

Volltext

A Set Solver for Finite Set Relation Algebra von Cristiá, Maximiliano, Rossi, Gianfranco

Volltext

Measuring Hospital Performance: The Development and Validation of Risk-Adjusted Indexes of Mortality, Readmissions, and Complications von DesHarnais, Susan I., McMahon, Laurence F., Wroblewski, Roger T., Hogan, Andrew J.

Volltext

Finite Relation Algebras with Normal Representations von Bodirsky, Manuel

Volltext

Coalgebraic Tools for Randomness-Conserving Protocols von Kozen, Dexter, Soloviev, Matvey

Volltext

Subtyping, Declaratively: An Exercise in Mixed Induction and Coinduction von Danielsson, Nils Anders, Altenkirch, Thorsten

Volltext

Coequalizers and Tensor Products for Continuous Idempotent Semirings von Hopkins, Mark, Leiß, Hans

Volltext

Towards an Analysis of Dynamic Gossip in NetKAT von Gattinger, Malvin, Wagemaker, Jana

Volltext

T-Norm Based Operations in Arrow Categories von Winter, Michael

Volltext

Decidability of Equational Theories for Subsignatures of Relation Algebra von Hirsch, Robin

Volltext