1
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
2
by Unpingco, José., Unpingco, José.
Published 2014
Subjects: ...Signal, Image and Speech Processing. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Performance Analysis of Coded OFDM for Various Modulation Schemes in 802.11a Based Digital Broadcast...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
View full text
Electronic eBook
6
by O'Toole, Greg., O'Toole, Greg.
Published 2013
Table of Contents: ... -- Web User Research -- The Project -- Project Management -- Architecture -- Functionality -- Image...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
9
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Programming -- GPU-Based Multigrid: Real-Time Performance in High Resolution Nonlinear Image Processing...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Supervised Learning -- Design and Evaluation of N-module Reconfigurable Systems -- Genre Based Classification...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...On the Experimental Control of a Separately Excited DC Motor -- MASH Digital Delta–Sigma Modulator...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... in MusicWiz -- Interaction and Interoperability -- An Architecture for Supporting RFID-Enhanced Interactions...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Experience -- Brain, Skin and Cosmetics: Sensory Aspects Objectivated by Functional Magnetic Resonance...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Multiplexing Encryption Based on Modified Gerchberg-Saxton Algorithm and Phase Modulation in Fractional Fourier...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Modulations in Low-Frequency EEG Oscillations in the Processing of Tactile Surfaces -- Power Consumption...
View full text
Electronic eBook