Majalah Kedokteran Bandung (MKB) Vol 51 No 3 September 2019 (Rak 6 - K : Kedokteran & Kesehatan)
Anonymity and Covert Channels in Simple Timed Mix-Firewalls -- Practical Traffic Analysis: Extending and Resisting Statistical Disclosure -- The Traffic Analysis of Continuous-Time Mixes -- Reputable Mix Networks -- Secure Outsourcing of Sequence Comparisons -- An Improved Construction for Universal Re-encryption -- Electromagnetic Eavesdropping Risks of Flat-Panel Displays -- On the Anonymity …
2420, 2419, 2305 = Asli
p. 397-399 2255=FC, 2328 = Asli
Medical Databases and Information Systems -- Application of Three-Level Handprinted Documents Recognition in Medical Information Systems -- Data Management and Visualization Issues in a Fully Digital Echocardiography Laboratory -- A Framework Based on Web Services and Grid Technologies for Medical Image Registration -- Biomedical Image Processing Integration Through INBIOMED: A Web Services-Bas…
Introduction: Cultural Learning in Context -- Cultural Practices and Ways of Learning in Informal Settings -- Sociocultural Contexts of Learning -- Sustainability of Daily Routines as a Family Outcome -- An Ethnomodel of Teaching and Learning -- Cultural Approaches to Supporting Early Learning in Preschoolers -- Ola Ka Inoa (The Name Lives) -- Cultural Transmission of Social Knowledge in Presch…
When Worlds Collide: Can UML Help SoC Design? -- Why Systems-on-Chip needs More UML like a Hole in the Head -- UML as a Framework for Combining Different Models of Computation -- A Generic Model Execution Platform for the Design of Hardware and Software -- Hardware/Software Codesign of Reconfigurable Architectures Using UML -- A Methodology for Bridging the Gap between UML and Codesign -- UML T…
Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software."In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a …
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
History and principles of rocket propulsion -- The thermal rocket engine -- Liquid propellant rocket engines -- Solid propellant rocket motors -- Launch vehicle dynamics -- Electric propulsion -- Nuclear propulsion -- Advanced thermal rockets.The revised edition of this practical, hands-on book discusses the range of launch vehicles in use today throughout the world, and includes the very lates…