Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Electronic visualisation in arts and culture / / Jonathan P. Bowen, Suzanne Keene, Kia Ng, editors
| Electronic visualisation in arts and culture / / Jonathan P. Bowen, Suzanne Keene, Kia Ng, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xii, 291 pages) : illustrations (some color) |
| Disciplina | 004 |
| Collana | Springer Series on Cultural Computing |
| Soggetto topico |
Art and technology
Technology and the arts Image processing Arts - Data processing Visualization |
| ISBN | 1-4471-5406-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- The EVA London Conference 1990–2012: Personal Reflections -- Part I – Imaging and Culture -- From Descriptions to Duplicates to Data -- Quantifying Culture: Four Types of Value in Visualisation -- Embodied Airborne Imagery: Low-Altitude Cinematic Urban Topography -- Back to Paper? An Alternative Approach to Conserving Digital Images into the 23rd Century -- Part II – New Art Practice -- Light Years: Jurassic Coast – An Immersive 3D Landscape Project -- Photography as a Tool of Alienation: Aura -- Fugue and Variations on some Themes in Art and Science -- Part III – Seeing Motion -- Motion Studies: The Art and Science of Bird Flight -- Game Catcher: Visualising and Preserving Ephemeral Movement for Research and Analysis -- mConduct: A Multi-Sensor Interface for the Capture and Analysis of Conducting Gesture -- Photocaligraphy: Writing Sign Language -- Part IV – Interaction and Interfaces -- Mobile Motion: Multimodal Device Augmentation for Musical Applications -- Legal Networks: Visualising the Violence of the Law -- Face, Portrait, Mask: Using a Parameterised System to Explore Synthetic Face Space -- Facebook as a Tool for Artistic Collaboration -- Part V – Visualising Heritage -- Just in Time: Defining Historical Chronographics -- Beckford’s Ride: The Reconstruction of Historic Landscape -- Reconfiguring Experimental Archaeology Using 3D Reconstruction. |
| Record Nr. | UNINA-9910437592703321 |
| London : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
| Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
HieronsRobert M
BowenJ. P <1956-> (Jonathan Peter) HarmanMark |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Formal methods (Computer science)
Computer software - Testing |
| ISBN | 3-540-78917-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
| Record Nr. | UNINA-9910484972603321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||