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.
Modelling Foundations and Applications [[electronic resource] ] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose
| Modelling Foundations and Applications [[electronic resource] ] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 237 p. 93 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-642-39013-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Employing the Object Constraint Language in Model-Based Engineering -- MOCQL: A Declarative Language for Ad-Hoc Model Querying -- Supporting Different Process Views through a Shared Process Model -- Characterization of Adaptable Interpreted-DSML -- Transformation as Search -- Model-Based Generation of Run-Time Monitors for AUTOSAR -- End-User Support for Debugging Demonstration-Based Model Transformation Execution -- DPMP: A Software Pattern for Real-Time Tasks Merge -- Using Model Types to Support Contract-Aware Model Substitutability -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing -- A Network-Centric BPMN Model for Business Network Management -- Design Management: A Collaborative Design Solution -- Umbra Designer: Graphical Modelling for Telephony Services -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing -- A Case Study in Evidence-Based DSL Evolution -- Model Driven Software Development: A Practitioner Takes Stock and Looks into Future. |
| Record Nr. | UNISA-996465385103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose
| Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 237 p. 93 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-642-39013-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Employing the Object Constraint Language in Model-Based Engineering -- MOCQL: A Declarative Language for Ad-Hoc Model Querying -- Supporting Different Process Views through a Shared Process Model -- Characterization of Adaptable Interpreted-DSML -- Transformation as Search -- Model-Based Generation of Run-Time Monitors for AUTOSAR -- End-User Support for Debugging Demonstration-Based Model Transformation Execution -- DPMP: A Software Pattern for Real-Time Tasks Merge -- Using Model Types to Support Contract-Aware Model Substitutability -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing -- A Network-Centric BPMN Model for Business Network Management -- Design Management: A Collaborative Design Solution -- Umbra Designer: Graphical Modelling for Telephony Services -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing -- A Case Study in Evidence-Based DSL Evolution -- Model Driven Software Development: A Practitioner Takes Stock and Looks into Future. |
| Record Nr. | UNINA-9910484613403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pervasive Computing Technologies for Healthcare : 17th EAI International Conference, PervasiveHealth 2023, Malmö, Sweden, November 27-29, 2023, Proceedings
| Pervasive Computing Technologies for Healthcare : 17th EAI International Conference, PervasiveHealth 2023, Malmö, Sweden, November 27-29, 2023, Proceedings |
| Autore | Salvi Dario |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (525 pages) |
| Altri autori (Persone) |
Van GorpPieter
ShahSyed Ahmar |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Series |
| ISBN |
9783031597176
9783031597169 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Pervasive Mental Health -- Gaze Behaviour in Adolescentswith Obsessive-Compulsive DisorderDuring Exposure WithinCognitive-Behavioural Therapy -- 1 Introduction and Related Work -- 1.1 Fixations in Mobile Eye Tracking -- 1.2 Eye Tracking in Patients with OCD -- 2 Method -- 2.1 Study Details -- 2.2 Data Collection and Labelling -- 2.3 Patients -- 2.4 Fixation Analysis Pipeline -- 2.5 Analysis -- 3 Results -- 3.1 Clustering Results -- 3.2 Correlation Results -- 4 Discussion -- 4.1 Conclusion -- References -- Individual Behavioral Insightsin Schizophrenia: A Network Analysisand Mobile Sensing Approach -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 4 Method -- 4.1 Data Pre-processing -- 4.2 Network Structure Estimation and Description -- 4.3 Permutation Testing -- 5 Results -- 5.1 Example of an Individual CrossCheck Participant -- 5.2 By Behavioral Context -- 6 Discussion -- References -- Baseline User Calibration for Cold-StartModel Personalization in Mental StateEstimation -- 1 Introduction -- 2 Related Work -- 2.1 Methods in Cognitive Load Detection -- 2.2 Cold-Start Model Personalization -- 3 Methodology -- 3.1 User Calibration -- 3.2 Dataset -- 3.3 Data Processing -- 3.4 Experimental Protocol -- 4 Results -- 5 Discussion -- 6 Conclusions -- References -- Privacy, Ethics and Regulations -- Investigating AI in Medical Devices: The Need for Better Establishment of Risk-Assessment and Regulatory Foundations -- 1 Introduction -- 2 Background and Related Work -- 3 Methodological Approach -- 3.1 Literature Survey of Risks of AI-Enabled SaMD -- 3.2 EU AI-Based Medical Device Survey Protocol -- 3.3 Medical Device Stakeholder Survey -- 4 Findings -- 4.1 Literature Survey -- 4.2 EU AI-Based Medical Device Survey -- 4.3 Survey of Stakeholder Perceptions -- 5 Analysis -- 5.1 Literature Survey.
5.2 AI-Based Medical Devices in EU -- 5.3 Survey of Stakeholder Perceptions -- 6 Discussion -- 7 Conclusion -- References -- Exploring Users' Perspectives of Mobile Health Privacy and Autonomy -- 1 Introduction -- 2 Related Work -- 2.1 Ethics on Privacy, Trust, and Technology Acceptance -- 2.2 Pervasive mHealth and Black Box Use Cases -- 2.3 Privacy Control Versus Autonomy -- 3 Methods -- 3.1 Theoretical Framing -- 3.2 Participants -- 3.3 Study Procedures -- 3.4 Data Analysis -- 4 Findings -- 4.1 Incongruent Informed Consent is a Barrier to Engagement and Trust -- 4.2 Social Influences on Privacy Perceptions Influence Decisions -- 4.3 Contextual Nascence: Navigating Black Box Interoperability and Historical Preconceptions -- 5 Discussion -- 5.1 More Control Does Not Equal More Autonomy -- 5.2 Balancing Perceptions of mHealth Privacy Autonomy and Automation -- 5.3 Limitations -- 6 Conclusion -- Appendix -- References -- Automated Decision-Making Systems in Precision Medicine - The Right to Good Administration at Risk -- 1 Introduction -- 2 Setting the Scene -- 2.1 The Factual Context - Automated Decision-Making Systems in Precision Medicine -- 2.2 The Legal Context - In Vitro Diagnostic Medical Device Regulation -- 3 The Right to Good Administration -- 3.1 General Remarks -- 3.2 EU Charter -- 4 Obstacles to the Right to Good Administration -- 5 Conclusion - A Research Agenda -- References -- Datasets and Big Data Processing -- HeartView: An Extensible, Open-Source, Web-Based Signal Quality Assessment Pipeline for Ambulatory Cardiovascular Data -- 1 Introduction -- 2 Related Work -- 3 HeartView Overview -- 3.1 Data Processing Pipeline -- 3.2 Dashboard -- 4 Methods -- 4.1 Datasets -- 4.2 HeartView Assessment -- 5 Results -- 5.1 Group Differences -- 5.2 Cases: 'A03' and 'T10' -- 6 Discussion and Future Work -- 7 Conclusion -- References. Heuristic-Based Extraction and Unigram Analysis of Nursing Free Text Data Residing in Large EHR Clinical Notes -- 1 Introduction -- 2 Methods -- 2.1 Description of Data -- 2.2 Segregate and Retrieve the Narrative Embedded in the Nursing Notes -- 2.3 Identify and Retrieve All Narrative Notes Data -- 3 Results -- 4 Discussion -- References -- A Data-Driven Methodology and Workflow Process Leveraging Research Electronic Data Capture (REDCap) to Coordinate and Accelerate the Implementation of Personalized Microbiome-Based Nutrition Approaches in Clinical Research -- 1 Introduction -- 2 Materials and Methods -- 2.1 Ethical Statement -- 2.2 Data Source -- 2.3 Data Collection -- 2.4 Setting up the REDCap Database and Data Entry Workflow -- 3 Results -- 3.1 Defining the Block of Variables and Integrating Data -- 3.2 Clinical REDCap Workflow -- 3.3 Impact of Digitization in the Clinical Setting -- 4 Discussion and Conclusion -- References -- Pervasive Health for Carers -- Patient-Pharmacist Interactions in Chronic Care: A Qualitative Study and Implications for Design -- 1 Introduction -- 2 Background -- 2.1 The Role of Community Pharmacists -- 2.2 Technology in Community Pharmacies -- 3 Methods -- 3.1 Observations -- 3.2 In-Depth Interviews -- 3.3 Recruitment and Ethics -- 3.4 Portuguese Healthcare Context -- 4 Results: Current Practices of Managing Chronic Patients -- 4.1 Support Medication Starting and Correct Usage -- 4.2 Performing Measurements at the Pharmacy -- 4.3 Discussing Prescription Issues with Clinicians -- 5 Discussion -- 5.1 Implications for Design -- 6 Conclusion -- References -- RescuAR: A Self-Directed Augmented Reality System for Cardiopulmonary Resuscitation Training -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 4 Design Requirements for Self-directed AR-Based CPR Teaching and Training Tool -- 4.1 Design Survey. 4.2 Participants -- 4.3 Survey Findings -- 5 RescuAR System Design and Implementation -- 5.1 RescuAR Application -- 5.2 CPR Manikin -- 6 User Study and System Evaluation -- 6.1 Study Design -- 6.2 Study Protocol -- 6.3 Participants -- 6.4 Data Collection and Analysis -- 6.5 Results -- 7 Discussion -- 7.1 Limitations -- 8 Conclusion -- References -- Towards Augmenting Mental Health Personnel with LLM Technology to Provide More Personalized and Measurable Treatment Goals for Patients with Severe Mental Illnesses -- 1 Introduction -- 2 Theoretical Background -- 2.1 Behavior Change Theories -- 2.2 AI in Mental Healthcare -- 3 Methods -- 3.1 Prototype -- 3.2 Measurable Goals -- 4 Results -- 4.1 Prototype -- 4.2 Evaluating Generated Measurable Goals -- 5 Discussion -- 6 Conclusion -- References -- Fanima! Pervasive Serious Game for Phonetic-Phonological Assessment of Children Towards Autonomous Speech Therapy -- 1 Introduction -- 2 Background and Related Work -- 3 Participatory Design of Fanima -- 3.1 First Workshops - Empathize and Define Problem -- 3.2 Intermediate Workshops - Ideate -- 3.3 Final Workshops - Prototype -- 3.4 Test Phase Workshops - Validate Fanima Design Principles -- 4 User Study -- 4.1 Design and Participants -- 4.2 Results and Discussion -- 5 Conclusions and Future Work -- References -- Pervasive Health in Clinical Practice -- A Decentralized Clinical Trial of a Digital Intervention with Multiple Health Trackers for Heart Failure: Early Learnings and Practical Considerations -- 1 Introduction -- 1.1 Background and Related Work -- 1.2 Research Aims -- 2 Methods -- 2.1 Study Procedure -- 2.2 Assessment of Early Learnings and Practical Considerations -- 3 Results -- 3.1 Overview -- 3.2 Themes and Challenges -- 4 Discussion -- 5 Conclusion -- References -- Activity Recognition of Nursing Tasks in a Hospital: Requirements and Challenges. 1 Introduction -- 2 Related Work -- 3 Aim and Methods -- 4 Results -- 4.1 Functional Requirements -- 4.2 Non-functional Requirements -- 4.3 Possible Activities and Scenarios -- 5 Discussion -- 6 Conclusion and Future Work -- References -- Exploring How Telephone Triage Nurses Support Older People with Multimorbidity to Engage in Digital Self-management -- 1 Introduction -- 2 Methods -- 3 Findings -- 3.1 Supports Provided by the TTNs -- 3.2 The Nature of the Relationship -- 3.3 The Quality of the Relationship -- 3.4 The Important Aspects of the Relationship -- 3.5 The Role of the TTNs in Supporting Engagement in Self-management -- 4 Discussion -- 5 Conclusion -- References -- Remote Monitoring -- Mobile Application for Remote Monitoring of Peripheral Edema -- 1 Introduction -- 2 Related Work -- 2.1 Peripheral Edema and Its Causes -- 2.2 Assessment of Edema and Current Challenges -- 2.3 Telehealth Monitoring -- 2.4 Deployment of Telehealth Services via Mobile Applications -- 2.5 Potential Application of Deep Learning in the Assessment of Peripheral Edema -- 2.6 Limitations in the Integration of Deep Learning and Mobile Application Development -- 2.7 Use of the MobileNetV3 CNN Model for Image Classification in Mobile Devices -- 3 Methodology -- 3.1 Dataset Collection -- 3.2 Deep Learning Model Design -- 3.3 Deep Learning Model Validation Strategy -- 3.4 Mobile Application Development -- 3.5 Integrated Testing of Mobile Application -- 3.6 User Satisfaction Survey -- 4 Results -- 4.1 Deep Learning Model -- 4.2 Integrated Testing of Mobile Application -- 4.3 User Satisfaction Survey -- 5 Discussion -- 6 Conclusion and Recommendations For Future Work -- 6.1 Conclusion -- 6.2 Recommendations -- References -- Pervasive Glucose Monitoring: A Non-invasive Approach Based on Near-Infrared Spectroscopy -- 1 Introduction -- 2 Related Works. 3 Principles of Near-Infrared Spectroscopy for Glucose Estimation. |
| Record Nr. | UNINA-9910865232703321 |
Salvi Dario
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / / edited by Pieter Van Gorp, Gregor Engels
| Theory and Practice of Model Transformations [[electronic resource] ] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / / edited by Pieter Van Gorp, Gregor Engels |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 207 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-319-42064-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax -- Model Transformation with Immutable Data -- EMG: A Domain-Specific Transformation Language for Synthetic Model Generation -- Translatability and Translation of Updated Views in Model Join -- Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform -- Search-Based Model Transformations with MOMoT -- Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models -- Correct Reuse of Transformations is Hard to Guarantee -- Requirements Engineering in Model-Transformation Development: An Interview-Based Study -- GECO: A Generator Composition Approach for Aspect-Oriented DSLs -- Industrial Software Rejuvenation Using Open-Source Parsers -- Automatically Deriving the Specification of Model Editing Operations from Meta-Models -- Clone Detection for Graph-Based Model Transformation Languages. |
| Record Nr. | UNISA-996465790303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / / edited by Pieter Van Gorp, Gregor Engels
| Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / / edited by Pieter Van Gorp, Gregor Engels |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 207 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-319-42064-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax -- Model Transformation with Immutable Data -- EMG: A Domain-Specific Transformation Language for Synthetic Model Generation -- Translatability and Translation of Updated Views in Model Join -- Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform -- Search-Based Model Transformations with MOMoT -- Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models -- Correct Reuse of Transformations is Hard to Guarantee -- Requirements Engineering in Model-Transformation Development: An Interview-Based Study -- GECO: A Generator Composition Approach for Aspect-Oriented DSLs -- Industrial Software Rejuvenation Using Open-Source Parsers -- Automatically Deriving the Specification of Model Editing Operations from Meta-Models -- Clone Detection for Graph-Based Model Transformation Languages. |
| Record Nr. | UNINA-9910484356503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||