Use of Intravenous Albumin: A Guideline From the International Collaboration for Transfusion Medicine Guidelines von Callum, Jeannie, Skubas, Nikolaos J, Bathla, Aarti, Keshavarz, Homa, Clark, Edward G, Rochwerg, Bram, Fergusson, Dean, Arbous, Sesmu, Bauer, Seth R, China, Louise, Fung, Mark, Jug, Rachel, Neill, Michael, Paine, Cary, Pavenski, Katerina, Shah, Prakesh S, Robinson, Susan, Shan, Hua, Szczepiorkowski, Zbigniew M, Thevenot, Thierry, Wu, Bovey, Stanworth, Simon, Shehata, Nadine

Volltext

A sixth-order continuous-time bandpass sigma-delta modulator for digital radio IF von Van Engelen, J.A.E.P., Van De Plassche, R.J., Stikvoort, E., Venes, A.G.

Volltext

Testing Semantics: Connecting Processes and Process Logics von Pavlovic, Dusko, Mislove, Michael, Worrell, James B.

Volltext

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams von Clavel, Manuel, Egea, Marina

Volltext

The Essence of Multitasking von Harrison, William L.

Volltext

Quantales and Temporal Logics von Möller, Bernhard, Höfner, Peter, Struth, Georg

Volltext

State Space Reduction of Rewrite Theories Using Invisible Transitions von Farzan, Azadeh, Meseguer, José

Volltext

Decomposing Interactions von Bowles, Juliana Küster Filipe

Volltext

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues von Le Gall, Tristan, Jeannet, Bertrand, Jéron, Thierry

Volltext

Opaque Predicates Detection by Abstract Interpretation von Dalla Preda, Mila, Madou, Matias, De Bosschere, Koen, Giacobazzi, Roberto

Volltext

An 80-MHz, 80-mW, 8-b CMOS folding A/D converter with distributed track-and-hold preprocessing von Venes, A.G.W., van-de-Plassche, R.J.

Volltext

A 70-MS/s 110-mW 8-b CMOS folding and interpolating A/D converter von Nauta, B., Venes, A.G.W.

Volltext

Realizability Criteria for Compositional MSC von Mooij, Arjan, Romijn, Judi, Wesselink, Wieger

Volltext

Formal Islands von Balland, Emilie, Kirchner, Claude, Moreau, Pierre-Etienne

Volltext

Fractional Semantics von Nestra, Härmel

Volltext

Model Transformations Incorporating Multiple Views von Derrick, John, Wehrheim, Heike

Volltext

Measuring the Speed of Information Leakage in Mobile Processes von Aziz, Benjamin

Volltext

Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework von Varoutas, Paul-Christophe, Rizand, Philippe, Livartowski, Alain

Volltext

Accelerated Modal Abstractions of Labelled Transition Systems von Espada, Miguel Valero, van de Pol, Jaco

Volltext

Fork Algebras as a Sufficiently Rich Universal Institution von Pombo, Carlos G. Lopez, Frias, Marcelo F.

Volltext