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.
The ethics of policing and imprisonment / / Molly Gardner, Michael Weber, editors
| The ethics of policing and imprisonment / / Molly Gardner, Michael Weber, editors |
| Pubbl/distr/stampa | New York, New York : , : Springer Berlin Heidelberg, , [2018] |
| Descrizione fisica | 1 online resource (ix, 216 pages) |
| Disciplina | 363.230973 |
| Collana | Palgrave studies in ethics and public policy |
| Soggetto topico |
Law enforcement - United States
Racial profiling in law enforcement - United States Discrimination in criminal justice administration - United States |
| ISBN | 3-319-97770-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Punishment and Democratic Rights: A Case-Study in Non-Ideal Penal Theory; Steven Swartzer -- 2. Philosophers in Prison: Students in the Indiana Women’s Prison College Program Reflect on Philosophical Theories of Punishment; Mariam Kazanjian -- 3. How Many Police Shootings are Tragic Mistakes? How Many Can We Tolerate?; Christian Coons -- 4. The Ethics of Policing: A Feminist Proposal; Julinna Oxley -- 5. Policing and Racial Discrimination: Throwing Out the Baby with the Bath Water; Douglas Husak -- 6. The Case Against Jails; Richard Lippke -- 7. Restorative Justice and Punitive Restoration; Thom Brooksl -- 8. The Racial Politics of U.S. Gun Policy; Amanda Gailey -- 9. Destabilizing Conceptions of Violence; Lori Gruen, Clyde Meikle, and Andre Pierce -- 10. Criminal Process and Mutual Accountability: Mass Incarceration, Carcerality, and Abolition; Stephen Darwall and William Darwall -- Index. |
| Record Nr. | UNINA-9910300630903321 |
| New York, New York : , : Springer Berlin Heidelberg, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The ethics of self-defense / / Christian Coons and Michael Weber [[electronic resource]]
| The ethics of self-defense / / Christian Coons and Michael Weber [[electronic resource]] |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | New York, NY : , : Oxford University Press, , 2016 |
| Descrizione fisica | 1 online resource |
| Disciplina | 179.7 |
| Soggetto topico |
Violence - Moral and ethical aspects
Self-defense - Moral and ethical aspects Double effect (Ethics) |
| ISBN | 0-19-020611-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910154287003321 |
| New York, NY : , : Oxford University Press, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Checking Software [[electronic resource] ] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / / edited by Jaco van der Pol, Michael Weber
| Model Checking Software [[electronic resource] ] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / / edited by Jaco van der Pol, Michael Weber |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 263 p. 70 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN |
1-280-38959-1
9786613567512 3-642-16164-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All. |
| Record Nr. | UNISA-996465986303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / / Jaco van de Pol, Michael Weber, (eds.)
| Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / / Jaco van de Pol, Michael Weber, (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 263 p. 70 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
PolJaco van de
WeberMichael |
| Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science |
| Soggetto topico |
Computer software - Verifications
Spin (Computer program language) |
| ISBN |
1-280-38959-1
9786613567512 3-642-16164-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All. |
| Record Nr. | UNINA-9910484805403321 |
| Berlin ; ; Heidelberg, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perception and Interactive Technologies [[electronic resource] ] : International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 / / edited by Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Michael Weber
| Perception and Interactive Technologies [[electronic resource] ] : International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 / / edited by Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Michael Weber |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 220 p.) |
| Disciplina | 006.7 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing User interfaces (Computer systems) Artificial Intelligence Image Processing and Computer Vision User Interfaces and Human Computer Interaction |
| ISBN | 3-540-34744-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Head Pose and Eye Gaze Tracking -- Guiding Eye Movements for Better Communication and Augmented Vision -- Detection of Head Pose and Gaze Direction for Human-Computer Interaction -- Modelling and Simulation of Perception -- Modelling and Simulation of Spontaneous Perception Switching with Ambiguous Visual Stimuli in Augmented Vision Systems -- Neural Network Architecture for Modeling the Joint Visual Perception of Orientation, Motion, and Depth -- Integrating Information from Multiple Channels -- AutoSelect: What You Want Is What You Get: Real-Time Processing of Visual Attention and Affect -- Emotion Recognition Using Physiological and Speech Signal in Short-Term Observation -- Visual and Auditory Displays Driven by Perceptive Principles -- Visual Attention in Auditory Display -- A Perceptually Optimized Scheme for Visualizing Gene Expression Ratios with Confidence Values -- Spoken Dialogue Systems -- Combining Speech User Interfaces of Different Applications -- Learning and Forgetting of Speech Commands in Automotive Environments -- Help Strategies for Speech Dialogue Systems in Automotive Environments -- Multimodal and Situated Dialogue Systems -- Information Fusion for Visual Reference Resolution in Dynamic Situated Dialogue -- Speech and 2D Deictic Gesture Reference to Virtual Scenes -- Combining Modality Theory and Context Models -- Integration of Perceptive Technologies and Animation -- Visual Interaction in Natural Human-Machine Dialogue -- Multimodal Sensing, Interpretation and Copying of Movements by a Virtual Agent -- Poster Session -- Perception of Dynamic Facial Expressions of Emotion -- Multi-level Face Tracking for Estimating Human Head Orientation in Video Sequences -- The Effect of Prosodic Features on the Interpretation of Synthesised Backchannels -- Unsupervised Learning of Spatio-temporal Primitives of Emotional Gait -- System Demonstrations -- Talking with Higgins: Research Challenges in a Spoken Dialogue System -- Location-Based Interaction with Children for Edutainment -- An Immersive Game – Augsburg Cityrun -- Gaze-Contingent Spatio-temporal Filtering in a Head-Mounted Display -- A Single-Camera Remote Eye Tracker -- Miniature 3D TOF Camera for Real-Time Imaging. |
| Record Nr. | UNISA-996465498503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perception in Multimodal Dialogue Systems [[electronic resource] ] : 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008, Proceedings / / edited by Elisabeth André, Laila Dybkjær, Heiko Neumann, Roberto Pieraccini, Michael Weber
| Perception in Multimodal Dialogue Systems [[electronic resource] ] : 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008, Proceedings / / edited by Elisabeth André, Laila Dybkjær, Heiko Neumann, Roberto Pieraccini, Michael Weber |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 311 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Application software
User interfaces (Computer systems) Natural language processing (Computer science) Artificial intelligence Computers and civilization Optical data processing Computer Applications User Interfaces and Human Computer Interaction Natural Language Processing (NLP) Artificial Intelligence Computers and Society Image Processing and Computer Vision |
| ISBN | 3-540-69369-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Keynote -- Whence and Whither: The Automatic Recognition of Emotions in Speech (Invited Keynote) -- Multimodal and Spoken Dialogue Systems -- A Generic Spoken Dialogue Manager Applied to an Interactive 2D Game -- Adaptive Dialogue Management in the NIMITEK Prototype System -- Adaptive Search Results Personalized by a Fuzzy Recommendation Approach -- Factors Influencing Modality Choice in Multimodal Applications -- Codebook Design for Speech Guided Car Infotainment Systems -- Evaluating Text Normalization for Speech-Based Media Selection -- Classification of Spoken Utterances and Sound -- A Two Phases Statistical Approach for Dialog Management -- Detecting Problematic Dialogs with Automated Agents -- Call Classification with Hundreds of Classes and Hundred Thousands of Training Utterances ... ... and No Target Domain Data -- Hard vs. Fuzzy Clustering for Speech Utterance Categorization -- Static and Dynamic Modelling for the Recognition of Non-verbal Vocalisations in Conversational Speech -- Recognition of Eye Gaze, Head Pose, Mimics and Lip Movements -- Writing with Your Eye: A Dwell Time Free Writing System Adapted to the Nature of Human Eye Gaze -- Unsupervised Learning of Head Pose through Spike-Timing Dependent Plasticity -- Spoken Word Recognition from Side of Face Using Infrared Lip Movement Sensor -- Neurobiologically Inspired, Multimodal Intention Recognition for Technical Communication Systems (NIMITEK) -- Speech Recognition -- Deploying DSR Technology on Today’s Mobile Phones: A Feasibility Study -- Real-Time Recognition of Isolated Vowels -- Improving Robustness in Jacobian Adaptation for Noisy Speech Recognition -- Comparing Linear Feature Space Transformations for Correlated Features -- Vocal Emotion Recognition and Annotation -- EmoVoice — A Framework for Online Recognition of Emotions from Voice -- Real-Time Emotion Recognition Using Echo State Networks -- Emotion Classification of Audio Signals Using Ensemble of Support Vector Machines -- On the Influence of Phonetic Content Variation for Acoustic Emotion Recognition -- On the Use of Kappa Coefficients to Measure the Reliability of the Annotation of Non-acted Emotions -- Annotation of Emotion in Dialogue: The Emotion in Cooperation Project -- Human-Like Social Dialogue -- Potential Benefits of Human-Like Dialogue Behaviour in the Call Routing Domain -- Human-Likeness in Utterance Generation: Effects of Variability -- Designing Socially Aware Conversational Agents -- A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent -- Innovative Interfaces in MonAMI: The Reminder -- Evaluation Methods -- Evaluation Methods for Multimodal Systems: A Comparison of Standardized Usability Questionnaires -- Subjective Evaluation Method for Speech-Based Uni- and Multimodal Applications -- Weighting the Coefficients in PARADISE Models to Increase Their Generalizability -- EXPROS: A Toolkit for Exploratory Experimentation with Prosody in Customized Diphone Voices -- Automatic Evaluation Tool for Multimodal Dialogue Systems -- Towards a Perception-Based Evaluation Model for Spoken Dialogue Systems. |
| Record Nr. | UNISA-996465286603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tomography of the Earth’s Crust: From Geophysical Sounding to Real-Time Monitoring : GEOTECHNOLOGIEN Science Report No. 21 / / edited by Michael Weber, Ute Münch
| Tomography of the Earth’s Crust: From Geophysical Sounding to Real-Time Monitoring : GEOTECHNOLOGIEN Science Report No. 21 / / edited by Michael Weber, Ute Münch |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (179 p.) |
| Disciplina | 616.07572 |
| Collana | Advanced Technologies in Earth Sciences |
| Soggetto topico |
Geophysics
Geotechnical engineering Geology Geophysics/Geodesy Geotechnical Engineering & Applied Earth Sciences |
| ISBN | 3-319-04205-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 4D Spectral Electrical Impedance Tomography (EIT) a diagnostic imaging tool for the characterization of subsurface structures and processes (4D-EIT) -- From Airborne Data Inversion to In-Depth Analysis (AIDA) -- Monitoring and Imaging based on Interferometric Concepts (MIIC) -- Mining Environments: Continuous Monitoring and Simultaneous Inversion (MINE) -- Three-dimensional Multi-Scale and Multi-Method Inversion to Determine the Electrical Conductivity Distribution of the Subsurface Using Parallel Computing Architectures (Multi-EM) -- Multi-Scale S-Wave Tomography for Exploration and Risk Assessment of Development Sites (MuSaWa) -- Seismic Observations for Underground Development (SOUND) -- Toolbox for Applied Seismic Tomography (TOAST) -- Tomographic Methods in Hydrogeology (TOMOME). |
| Record Nr. | UNINA-9910299555503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||