Table of Contents: “... by Genotyping -- Genotyping Protocol for the Alpha-1 Antitrypsin (PiZ) Mouse Model -- Elastase-Induced Lung Emphysema Models in Mice -- Assessing Structure-Function Relations in Mice Using the Forced Oscillation Technique and Quantitative Histology -- Practical...”

Full text 

Table of Contents: “... Denotational and Operational Semantics -- Calculus for Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains -- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA)....”

Full text 

Subject (ZB): “...Raspberry Pi (Computer)...”

Full text 

Table of Contents: “...Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible...”

Full text 

Table of Contents: “... and Fragment Screening by NMR Spectroscopy -- Bioluminescence Methods for Assaying Kinases in Quantitative High-Throughput Screening (qHTS) Format Applied to Yes1 Tyrosine Kinase, Glucokinase and PI5P4Kα Lipid Kinase.- Using Bioluminescent Kinase Profiling Strips...”

Full text 

Table of Contents: “... of PiB-type ATPases -- Coordinated Overexpression in Yeast of a P4-ATPase and its Associated Cdc50 Subunit: The Case of the Drs2p/Cdc50p Lipid Flippase Complex -- The Plasma Membrane Ca2+-ATPase: Purification by Calmodulin Affinity Chromatography...”

Full text 

Full text 

Table of Contents: “... -- 26.6.2 Loss-Less Transmission Line -- 26.6.3 Lossy Transmission Line -- 26.6.4 Optic Fibre -- 26.7 Wireless Radio Channels -- References -- 27 Wireless Ad Hoc Sensor Networks -- 27.1 Network Configurations -- 27.2 Open Source Platforms -- 27.2.1 Raspberry Pi...”

Full text 

Table of Contents: “...Introduction to PixInsight -- PI Primer -- The Tools -- Preprocessing Workflow -- Postprocessing Workflow -- Advanced Techniques -- Index....”

Full text 

Subject (ZB): “...Raspberry Pi (Computer)...”

Full text 

Subject (ZB): “...Raspberry Pi (Computer) Programming....”

Full text 

Subject (ZB): “...Raspberry Pi (Computer)...”

Full text 

Table of Contents: “...9. An introduction to the Fourier series -- Fourier series of 2[pi]-periodic functions -- Fourier series when the period is different from 2[pi] --...”

Full text 

Table of Contents: “... Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency...”

Full text 

Table of Contents: “... for Stateful Applied pi Calculus. ....”

Full text 

Table of Contents: “... of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. ....”

Full text 

Table of Contents: “...-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus...”

Full text 

Subject (ZB): “...Raspberry Pi (Computer)...”

Full text 

Table of Contents: “... (T. Biswas, A. Koshelev and A. Mazumdar) -- Rotating Boson Stars (E. W. Mielke) -- The Lambda-CDM Model is not a Universal Attractor of the Brans-Dicke Cosmology (I. Quiros) -- New Setting for Spontaneous Gauge Symmetry Breaking? (R. Jackiw and S.-Y. Pi...”

Full text