Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 473 p.) |
Disciplina | 005.73 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence—Data processing
Software engineering Computer science Algorithms Computer science—Mathematics Discrete mathematics Data Science Software Engineering Theory of Computation Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science |
ISBN | 3-540-38872-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph Rewriting Tool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
Record Nr. | UNISA-996466148203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 473 p.) |
Disciplina | 005.73 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence—Data processing
Software engineering Computer science Algorithms Computer science—Mathematics Discrete mathematics Data Science Software Engineering Theory of Computation Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science |
ISBN | 3-540-38872-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph Rewriting Tool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
Record Nr. | UNINA-9910484650103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Graph Transformations [[electronic resource] ] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 005.73 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Discrete mathematics
Mathematics Data structures (Computer science) Software engineering Computers Algorithms Discrete Mathematics Mathematics, general Data Structures Software Engineering Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
ISBN | 3-540-30203-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A Perspective on Graphs and Access Control Models -- Transformation Language Design: A Metamodelling Foundation -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation -- Chemistry and Biology -- Analysis of Metabolic Pathways by Graph Transformation -- The Potential of a Chemical Graph Transformation System -- Graph Transformation Concepts -- Concepts for Specifying Complex Graph Transformation Systems -- Typing of Graph Transformation Units -- Towards Graph Programs for Graph Algorithms -- DPO Theory for High-Level Structures -- Adhesive High-Level Replacement Categories and Systems -- Fundamental Theory for Typed Attributed Graph Transformation -- Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems -- Stochastic Graph Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes with Skew Gains -- Synchronizers for Local Computations -- Application Conditions and Logic -- Constraints and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation of Special Structures -- Coproduct Transformations on Lattices of Closed Partial Orders -- Parsing String Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java Code to Graph Transformation Systems -- Extending Graph Rewriting for Refactoring -- Derivations in Object-Oriented Graph Grammars -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation -- Workshop TERMGRAPH 2004 -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions -- Workshop on Logic, Graph Transformations, Finite and Infinite Structures. |
Record Nr. | UNINA-9910144345203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Graph Transformations [[electronic resource] ] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 005.73 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Discrete mathematics
Mathematics Data structures (Computer science) Software engineering Computers Algorithms Discrete Mathematics Mathematics, general Data Structures Software Engineering Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
ISBN | 3-540-30203-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A Perspective on Graphs and Access Control Models -- Transformation Language Design: A Metamodelling Foundation -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation -- Chemistry and Biology -- Analysis of Metabolic Pathways by Graph Transformation -- The Potential of a Chemical Graph Transformation System -- Graph Transformation Concepts -- Concepts for Specifying Complex Graph Transformation Systems -- Typing of Graph Transformation Units -- Towards Graph Programs for Graph Algorithms -- DPO Theory for High-Level Structures -- Adhesive High-Level Replacement Categories and Systems -- Fundamental Theory for Typed Attributed Graph Transformation -- Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems -- Stochastic Graph Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes with Skew Gains -- Synchronizers for Local Computations -- Application Conditions and Logic -- Constraints and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation of Special Structures -- Coproduct Transformations on Lattices of Closed Partial Orders -- Parsing String Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java Code to Graph Transformation Systems -- Extending Graph Rewriting for Refactoring -- Derivations in Object-Oriented Graph Grammars -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation -- Workshop TERMGRAPH 2004 -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions -- Workshop on Logic, Graph Transformations, Finite and Infinite Structures. |
Record Nr. | UNISA-996465633103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Guide to Data Structures [[electronic resource] ] : A Concise Introduction Using Java / / by James T. Streib, Takako Soma |
Autore | Streib James T |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 376 p. 43 illus., 9 illus. in color.) |
Disciplina | 005.73 |
Collana | Undergraduate Topics in Computer Science |
Soggetto topico |
Data structures (Computer science)
Arithmetic and logic units, Computer Data Structures Arithmetic and Logic Structures Data Storage Representation |
ISBN | 3-319-70085-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preliminary Concepts -- Stacks Using Arrays -- Queues Using Arrays -- Lists Using Arrays -- Lists Using Objects and References -- Ordered Linked Lists -- Stacks and Queues Using References -- Binary Trees -- Sorting -- Heaps -- Hashing. |
Record Nr. | UNINA-9910255454103321 |
Streib James T | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of massive data sets / edited by James Abello, Panos M. Pardalos and Mauricio G. C. Resende |
Pubbl/distr/stampa | Dordrecht [etc.] : Kluwer, copyr. 2002 |
Descrizione fisica | XII, 1223 p. ; 25 cm. |
Disciplina | 005.73 |
Soggetto non controllato |
Archivi di dati
Sistemi di recupero dell'informazione |
ISBN | 1-4020-0489-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001827610203316 |
Dordrecht [etc.] : Kluwer, copyr. 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Human Aspects of IT for the Aged Population. Applications, Services and Contexts [[electronic resource] ] : Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / / edited by Jia Zhou, Gavriel Salvendy |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIV, 583 p. 178 illus.) |
Disciplina | 005.73 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Application software Computer organization Data structures (Computer science) Computers and civilization Computer security User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Data Structures and Information Theory Computers and Society Systems and Data Security |
ISBN | 3-319-58536-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile and Wearable Interaction for the Elderly. - How Do Users Interact With Mobile Devices? An Analysis of Handheld Positions for Different Technology Generations -- Movement Analysis for Improving Older Adults’ Performances in HCI: Preliminary Analysis of Movements of the Users’ Wrists during Tactile Interaction. -Investigation into the Discrepancies Between Writing on Paper and Writing on a Touchscreen Device. -A Conceptual Design for a Smart Photo Album Catered to the Elderly. -Development of a User Experience Evaluation Framework for Wearable Devices. -A Field Experiment on Capabilities Involved in Mobile Navigation Task. –Shape Design and Exploration of 2D and 3D Graphical Icons. - The Effects of the Transparency of the Guiding Diagrams on the Phone Interface for the Elderly. - Aging and Social Media. - Exploring Storytelling for Digital Memorialization. -My Interests, my Activities: Learning from an Intergenerational Comparison of Smartwatch Use. -Understanding the Motivations of Online Community Users - A Comparison between Younger and Older People. - Visual Representations of Digital Connectivity in Everyday Life -- Novel Functional Technologies for Age-friendly E-commerce. - Participatory Human-Centered Design of a Feedback Mechanism within the Historytelling System. -Research on New Media Usage Behaviors, Influencing Factors and Social Contact Mode of the Elderly. - Online Privacy Perceptions of Older Adults. - Examining the Factors Influencing Elders' Knowledge Sharing Behavior in Virtual Communities -- Silver and Intergenerational Gaming -- Digital Gaming Perceptions Among Older Adult Non-Gamers. -My grandpa and I “gotta catch ‘em all.” A research design on intergenerational gaming focusing on Pokémon Go. – Socioemotional Benefits of Digital Games for Older Adults -- Exergaming: Meaningful Play for Older Adults -- Pass the Control(ler): Shifting of Power in Families through Intergenerational Gaming. -A Mature Kind of Fun? Exploring Silver Gamers‘ Motivation to Play Casual Games – Results from a Large-Scale Online Survey. -Employing a User-Centered Design Process to Create a Multiplayer Online Escape Game for Older Adults. - Social Interaction between Older Adults (80+) and Younger People during Intergenerational Digital Gameplay -- Health Care and Assistive Technologies and Services for the Elderly. - Distributed User Interfaces for Poppelreuter and Raven visual tests. - Adaptation of the Model for Assessment of Telemedicine (MAST) for IoT Telemedicine Services. - Harvesting Assistive Technology Vocabularies: Methods and Results from a Pilot Study -- Understanding Acceptance Factors for Using E-Care Systems and Devices: Insights from a Mixed-Method Intervention Study in Slovenia -- Sensor-Driven Detection of Social Isolation in Community-Dwelling Elderly. -Understanding Middle-Aged and Elderly Taiwanese People’s Acceptance of the Personal Health Information System for Self-Health Management -- To Capture the Diverse Needs of Welfare Technology Stakeholders – Evaluation of a Value Matrix. -Technology and Service Usage among Family Caregivers -- Change in the Relationship between the Elderly and Information Support Robot System Living Together -- Digital Storytelling and Dementia. -From Noticing to Suspecting: The Initial Stages in the Information Behaviour of Informal Caregivers of People with Dementia -- Usability Evaluation on User Interface of Electronic Wheelchair -- Fall Detection based on Skeleton Data. - Aging and Learning, Working and Leisure -- The STAGE Project: Tailored Cultural Entertainment for Older Adults via Streaming Technology -- Facilitating Remote Communication between Senior Communities with Telepresence Robots -- Reopening the Black Box of Career Age and Research Performance. - Intergenerational Techno-Creative Activities in a Library Fablab. - ‘Industrie 4.0’ and an Aging Workforce – A Discussion from a Psychological and a Managerial Perspective -- Towards Extracting Recruiters’ Tacit Knowledge based on Interactions with a Job Matching System. - The Influence of Mental Model Similarity on User Performance: Comparing Older and Younger Adults. |
Record Nr. | UNINA-9910484162903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Human Aspects of IT for the Aged Population. Applications, Services and Contexts [[electronic resource] ] : Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / / edited by Jia Zhou, Gavriel Salvendy |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIV, 583 p. 178 illus.) |
Disciplina | 005.73 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Application software Computer organization Data structures (Computer science) Computers and civilization Computer security User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Data Structures and Information Theory Computers and Society Systems and Data Security |
ISBN | 3-319-58536-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile and Wearable Interaction for the Elderly. - How Do Users Interact With Mobile Devices? An Analysis of Handheld Positions for Different Technology Generations -- Movement Analysis for Improving Older Adults’ Performances in HCI: Preliminary Analysis of Movements of the Users’ Wrists during Tactile Interaction. -Investigation into the Discrepancies Between Writing on Paper and Writing on a Touchscreen Device. -A Conceptual Design for a Smart Photo Album Catered to the Elderly. -Development of a User Experience Evaluation Framework for Wearable Devices. -A Field Experiment on Capabilities Involved in Mobile Navigation Task. –Shape Design and Exploration of 2D and 3D Graphical Icons. - The Effects of the Transparency of the Guiding Diagrams on the Phone Interface for the Elderly. - Aging and Social Media. - Exploring Storytelling for Digital Memorialization. -My Interests, my Activities: Learning from an Intergenerational Comparison of Smartwatch Use. -Understanding the Motivations of Online Community Users - A Comparison between Younger and Older People. - Visual Representations of Digital Connectivity in Everyday Life -- Novel Functional Technologies for Age-friendly E-commerce. - Participatory Human-Centered Design of a Feedback Mechanism within the Historytelling System. -Research on New Media Usage Behaviors, Influencing Factors and Social Contact Mode of the Elderly. - Online Privacy Perceptions of Older Adults. - Examining the Factors Influencing Elders' Knowledge Sharing Behavior in Virtual Communities -- Silver and Intergenerational Gaming -- Digital Gaming Perceptions Among Older Adult Non-Gamers. -My grandpa and I “gotta catch ‘em all.” A research design on intergenerational gaming focusing on Pokémon Go. – Socioemotional Benefits of Digital Games for Older Adults -- Exergaming: Meaningful Play for Older Adults -- Pass the Control(ler): Shifting of Power in Families through Intergenerational Gaming. -A Mature Kind of Fun? Exploring Silver Gamers‘ Motivation to Play Casual Games – Results from a Large-Scale Online Survey. -Employing a User-Centered Design Process to Create a Multiplayer Online Escape Game for Older Adults. - Social Interaction between Older Adults (80+) and Younger People during Intergenerational Digital Gameplay -- Health Care and Assistive Technologies and Services for the Elderly. - Distributed User Interfaces for Poppelreuter and Raven visual tests. - Adaptation of the Model for Assessment of Telemedicine (MAST) for IoT Telemedicine Services. - Harvesting Assistive Technology Vocabularies: Methods and Results from a Pilot Study -- Understanding Acceptance Factors for Using E-Care Systems and Devices: Insights from a Mixed-Method Intervention Study in Slovenia -- Sensor-Driven Detection of Social Isolation in Community-Dwelling Elderly. -Understanding Middle-Aged and Elderly Taiwanese People’s Acceptance of the Personal Health Information System for Self-Health Management -- To Capture the Diverse Needs of Welfare Technology Stakeholders – Evaluation of a Value Matrix. -Technology and Service Usage among Family Caregivers -- Change in the Relationship between the Elderly and Information Support Robot System Living Together -- Digital Storytelling and Dementia. -From Noticing to Suspecting: The Initial Stages in the Information Behaviour of Informal Caregivers of People with Dementia -- Usability Evaluation on User Interface of Electronic Wheelchair -- Fall Detection based on Skeleton Data. - Aging and Learning, Working and Leisure -- The STAGE Project: Tailored Cultural Entertainment for Older Adults via Streaming Technology -- Facilitating Remote Communication between Senior Communities with Telepresence Robots -- Reopening the Black Box of Career Age and Research Performance. - Intergenerational Techno-Creative Activities in a Library Fablab. - ‘Industrie 4.0’ and an Aging Workforce – A Discussion from a Psychological and a Managerial Perspective -- Towards Extracting Recruiters’ Tacit Knowledge based on Interactions with a Job Matching System. - The Influence of Mental Model Similarity on User Performance: Comparing Older and Younger Adults. |
Record Nr. | UNISA-996466302103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
IEEE Std 2600.4-2010 / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2010 |
Descrizione fisica | 1 online resource (ix, 30 pages) |
Disciplina | 005.73 |
Soggetto topico |
Data structures (Computer science)
Databases-Quality control |
ISBN | 0-7381-6167-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2600.4-2010 - IEEE Standard Protection Profile for Hardcopy Devices in IEEE Std 2600
IEEE Std 2600.4-2010: IEEE Standard Protection Profile for Hardcopy Devices in IEEE Std 2600TM-2008 Operational Environment D |
Record Nr. | UNINA-9910135485803321 |
[Place of publication not identified] : , : IEEE, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 2600.4-2010 / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2010 |
Descrizione fisica | 1 online resource (ix, 30 pages) |
Disciplina | 005.73 |
Soggetto topico |
Data structures (Computer science)
Databases-Quality control |
ISBN | 0-7381-6167-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2600.4-2010 - IEEE Standard Protection Profile for Hardcopy Devices in IEEE Std 2600
IEEE Std 2600.4-2010: IEEE Standard Protection Profile for Hardcopy Devices in IEEE Std 2600TM-2008 Operational Environment D |
Record Nr. | UNISA-996280682303316 |
[Place of publication not identified] : , : IEEE, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|