| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910454421003321 |
|
|
Titolo |
Media choice : a theoretical and empirical overview / / edited by Tilo Hartmann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Routledge, , 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-135-92507-0 |
1-282-08446-1 |
9786612084461 |
0-203-93865-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (321 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mass media - Social aspects |
Mass media - Psychological aspects |
Choice (Psychology) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Book Cover; Title; Copyright; Contents; Figures; Tables; Contributors; Preface; Chapter 1 A Brief Introduction to Media Choice; Chapter 2 Social Cognitive Theories of Media Selection; Chapter 3 Action Theory, Theory of Planned Behavior and Media Choice; Chapter 4 Uses and Gratifications as Media Choice; Chapter 5 Money Does Matter; Chapter 6 The Effect of Subjective Quality Assessments on Media Selection; Chapter 7 Fast and Frugal Media Choices; Chapter 8 Cognitive Dissonance Theory- A Roller Coaster Career: How Communication Research Adapted the Theory of Cognitive Dissonance |
Chapter 9 Informational Utility as Determinant of Media ChoicesChapter 10 Affect as a Predictor of Entertainment Choice: The Utility of Looking Beyond Pleasure; Chapter 11 Media Choice as Avoidance Behavior: Avoidance Motivations During Television Use; Chapter 12 Media Choice on a Micro Level: On- line Selective Strategies in Watching Television; Chapter 13 The Role of Structure in Media Choice; Chapter 14 Media Choice Despite Multitasking?; Chapter 15 Media Synchronicity and Media Choice: Choosing Media for Performance; Chapter 16 Media |
|
|
|
|
|
|
|
|
|
|
|
|
|
Adoption and Diffusion; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume represents the next generation of research in media psychology, bridging selective exposure into a larger framework of choice in media usage. Considering the myriad media options available to use, this work seeks to answer such questions as: What mechanisms guide an individual's exposure to/choice of media? How can researchers model them? The questions why and how people decide to use media offerings are key in current communication scholarship. Research on selective exposure has addressed this area in the past, but the term 'media choice' is used here to represent any implicit/aut |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465955603316 |
|
|
Titolo |
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 381 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5403 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Compilers (Computer programs) |
Computer science |
Programming Techniques |
Software Engineering |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Model Checking: Progress and Problems -- Model |
|
|
|
|
|
|
|
|
|
Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
|
|
|
|
|
|
Sommario/riassunto |
|
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas. |
|
|
|
|
|
|
|
| |