yusuke1997/dblp-id-title huggingface dataset:
Research on 4-DOF adaptive control of hydraulic excavator
Development of a vision navigation system with Fuzzy Control Algorithm for Automated Guided Vehicle
Improving software model checking on program backbone within distributed system
Robust control allocation method in the presence of control effector failure
Remote monitoring system for family health examination
An improved optical flow algorithm based on image and flow-driven regularization
A Real-Time Vehicle Detection Algorithm Based on Sparse Point Clouds and Dempster-Shafer Fusion Theory
Separated by a common technology? Facotrs affecting ICT-related activity in home and school
Environment for Environments: A New Metaphor for Logo
Computer Games As Motivators For Successful Computer End-Use
School 2001-Project in Finland: Making Advanced Multimedia with Elementary School Children
How New Technologies Question Educational Practices and Learning Theories
IT in Irish Primary Schools
A Look Back at the Conference
The Search for A Coherent Approach to the Development of Information Technology in the School Curriculum
Exploring a New Partnership: Children, Teachers and Technology, Proceedings of the IFIP TC3/WG3.5 International Working Conference on Exploring a New Partnership: Children, Teachers and Technology, Philadelphia, PA, USA, 26 June - 1 July, 1994
ICT for rural education: A developing country perspective
Learning in School, Home and Community: ICT for Early and Elementary Education, IFIP TC3/WG3.5 International Working Conference on Learning with Technologies in School, Home and Community, June 30 - July 5, 2002, Manchester, United Kingdom
Explorative and Creative Learning using Computer Controlled Models
The Utilisation of "Open" Courseware for Developing an Enquiry Approach in the Study of Non-Scientific Subjects
Computers in a Bulgarian Classroom: The Influence on Children and Teachers
Pupils' Cognitive Development through Technological Experiences Mediated by the Teacher
Using An Aesthetics Lens to Investigate Young Children's Experiences with Educational Technology
The use of virtual reality three-dimensional simulation technology in nursery school teacher training for the understanding of children's cognitive perceptions
Online searching as apprenticeship
Mythology As A Rich And Meaningful Context For Integrated Learning Of Literacy, Numeracy And Scientific Inference: New Possibilities
Exploring visible mathematics with IMAGINE: Building new mathematical cultures with a powerful computational system
Using techology to encourage social problem solving in preschoolers
Glimpses of educational transformation: Making choices at a turning point
Children and Electronic Media in the Home
Towards the Integration of Information Technology in Compulsory Education? Potentialities and Constraints
The Development of Informatics Capability in Elementary Schools: What to Do, and How to Make It Work
Curriculum, Technology and Staff Development: A College-School Partnership
Firing Up Finnish Pre-school Development Through Technological Learning Environments
Developing an ICT capability for learning
Cooperative networks enable shared knowledge: Rapid dissemination of innovative ideas and digital culture
Cautionary Verses: Prospects and Problems in Achieving the Aims of the Computer Revolution
A New Role for Teachers: Software Evaluator
Technology to Create Common Ground: Opportunities for Children with Disabilities
Information Technology in Norwegian Education
How do we know that ICT has an impact on children's learning? A review of techniques and methods to measure changes in pupils' learning promoted by the use of ICT
Learning in school and out: Formal and informal experiences with computer games in mathematical contexts
Capacity building in tele-houses: A model for tele-mentoring
Community Planning: A Computer Simulation
A Computer In The Classroom: A Catalyst For A Creative Partnership
Learning online: E-learning and the domestic market in the UK
Technology in Multi-cultrual Mathematics Classrooms
National plans and local challenges: Preparing for lifelong learning in a digital society
The interaction between primary teachers' perceptions of ICT and their pedagogy
The TEAMSS Project: Examining the Impact of a Multi-Level Staff Development Model
Using electronic mail communication and metacognitive instruction to improve mathematical problem solving
A Policy For Change
Virtual Reality and Education
Specification techniques for data abstractions
An assessment of the programming language PASCAL
Guarded commands, non-determinacy and a calculus for the derivation of programs
Automated generation of testcase datasets
A new approach to program testing
Reliable hardware-software architecture
Correctness concerns and, among other things, why they are resented
Structured programming in a production programming environment
A structured specification of a hierarchical operating system
Implementation of the Alpha-6 programming system
New assertion concepts for self-metric software validation
Types, distribution, and test and correction times for programming errors
Constructing correct and efficient concurrent programs
The effect of certain modular design principles on testability
A methodology for verifying programs
Testing for software reliability
Quantitative aspects of software validation
Automated aids fob reliable software
Design of self-checking software
System structure for software fault tolerance
A many-state Markov model for the estimation and prediction of computer software performance parameters
Provable programming
"Software reliability in online real time environment"
Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975
Finite state modelling in program development
Verifying programs which operate on data structures
A verifiable protection system
Some experience with automated aids to the design of large-scale reliable software
Towards automatic debugging of programs
Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing
Software design validation tool
Finding Invariant assertions for proving programs
Proving structured programs correct, level by level
How to write correct programs and know it
A reliability model for Markov structured software
Structured specification of a Security Kernel
A view of program verification
An interactive program verification system
On the connections between range of variable and control structure testing
Managing the development of reliable software
Toward a theory of test data selection
Large-scale reliable software: Recent experience at bell labs
Testing large software with automated software evaluation systems
The influence of software structure on reliability
Data reliability
Analysis of error processes in computer software
Reliability experience with Chi/OS
Organizing tests during software evolution
An analysis of errors and their causes in system programs
The purpose of concurrent Pascal
Knowledge about programs: A model and case study
On the problem of uniform references to data structures
Verifying programs by algebraic and logical reduction
On attaining reliable software for a secure operating system
Some transformations for developing recursive programs
The software reliability game
SELECT - a formal system for testing and debugging programs by symbolic execution
A system for reliable engineering software
An approach to compiler correctness
The impact of language design on the production of reliable software
Design verification techniques - a review
Maintenance of the computer sciences teleprocessing system
Modeling Adversaries in a Logic for Security Protocol Analysis
Security Analysis of (Un-) Fair Non-repudiation Protocols
Authenticity Types for Cryptographic Protocols
Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Automatic Approximation for the Verification of Cryptographic Protocols
Analysis of Probabilistic Contract Signing
Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis
Revisiting Liveness Properties in the Context of Secure Systems
Interacting State Machines: A Stateful Approach to Proving Security
Analysing Security Protocols
Verifying the SET Protocol: Overview
Secure Self-certified Code for Java
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area
TAPS: The Last Few Slides
Formal Specification for Fast Automatic IDS Training
Critical Critical Systems
Z Styles for Security Properties and Modern User Interfaces
Lifting Reference Monitors from the Kernel
Cryptographic Challenges: The Past and the Future
Interaction Models for iTV Services for Elderly People
A Semantic Recommender System for iDTV Based on Educational Competencies
Automatic View Tracking in 360º Multimedia Using xAPI
An Open and Extensible Platform for Machine Translation of Spoken Languages into Sign Languages
Iterative User Experience Evaluation of a User Interface for the Unification of TV Contents
Indagante: A Proposal for a Social Multiplatform Game to Motivate Interaction in the Living Room
The Concept of Interaction Triggers in Audiovisual Design Model and Its Application to Develop an Interactive Museum
Hybrid DTT & IPTV Set Top Box Implementation with GINGA Middleware Based on Low Cost Platforms
We Need to Talk About Digital Preservation of Audiovisual Collections: Strategies for Building National Networks
A Process to Design a Video Library for Senior Users of iTV
nowUP: A System that Automatically Creates TV Summaries Based on Twitter Activity
IOM4TV: An AT-Based Solution for People with Motor Disabilities Supported in iTV
Broadcast Testing of Emergency Alert System for Digital Terrestrial Television EWBS in Ecuador
System Architecture for Personalized Automatic Audio-Visual Content Generation from Web Feeds to an iTV Platform
Usable Control System for Interaction with Ubiquitous Television
Beyond the TV Borders: Second Screen as a Tool for Audience Engagement
A Systematic Literature Review of iDTV in Learning Contexts
Design and Implementation of a Home Automation System with an Interactive Application for Digital Television Based on the Ginga Middleware
Exploring User Feedbacks: The Basis of a Recommender System of Informative Videos for the Elderly
Applications and Usability of Interactive TV - 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers
Applications and Usability of Interactive TV - 7th Iberoamerican Conference, jAUTI 2018, Bernal, Argentina, October 16-18, 2018, Revised Selected Papers
Mobile Devices, a Complement to Television. Case Studies
Lessons Learned from Testing iTV Applications with Seniors
Dr. Nau, a Web Generator of Interactive Applications for Digital TV
Audio Description of Television Programs: A Voluntary Production Approach
Online Educational Videos: The Teenagers' Preferences
Multi-device Content Based on Video. A Practical Toolset for Creation and Delivery
Applications and Usability of Interactive Television - 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers
From Live TV Events to Twitter Status Updates - a Study on Delays
Audiovisual Design: Introducing 'Media Affordances' as a Relevant Concept for the Development of a New Communication Model
Automatic Creation of TV Content to Integrate in Seniors Viewing Activities
InApp Questions - an Approach for Contextual Evaluation of Applications
Application for Older Adults to Ask for Help from Volunteers Through Television: Design and Evaluation of a High Visual-Fidelity Prototype
A Review of Voice User Interfaces for Interactive TV
Proposal of a Tangible Interface to Enhance Seniors' TV Experience: UX Evaluation of SIX
Field Trial of a New iTV Approach: The Potential of Its UX Among Younger Audiences
Design and Usability Evaluation of a Multi-input Interface in an idTV Environment
TV Drama, Representation and Engagement - An Analysis Through the Lenses of the Audiovisual Design
Machine Learning the TV Consumption: A Basis for a Recommendation System
Evaluating the Performance of ASR Systems for TV Interactions in Several Domestic Noise Scenarios
A Framework Facilitates Development of a Mobile App
Experiencing the Clinical Dashboard at VCUHS
Assessment of the Chinese Literature for Nursing Informatics Education Initiatives
Electronic Health Record Messaging and Quality of Care for Type 2 Diabetes Patients in Primary Care
A Model for Integrating Care Electronically: the Development and Implementation of new Health Assessment Tools in a Major Canadian Mental Health Facility
An Efficient User Interface Design for Nursing Information System Based on Integrated Patient Order Information
Standardization of Patient Registries for Improved Data Collection and Outcome Measurement
An Information Model on Pain Management: Cultural Validation and Refinement
Alternative Futures of Proactive Tools for a Citizen's Own Wellbeing
Undergraduate Nurses' Attitude Change to Health Technology Implementation
Child Development: Creating an Educational Website
Engaging Nurses in the Design and Adoption of mHealth Tools for Care Coordination
Management in Adverse Events in Nursing Units: Development of a Learning Virtual Environment
Promoting mHealth in Nursing Practice in China
ABC for Personal Health Empowerment
Promotion of Meaningful Use of a Personal Health Record in Second Life
Information Content Across Types of Nurse Cognitive Artifacts
Clinical Decision Support Systems for Operating Room Nurses: A Rapid Review
Integrating Justice, Equity, Diversity, Inclusion & Indigeneity into an Informatics Curriculum
Impact of Electronic Medical Records Within the Maternity Environment: An Ethnographic Exploration of Midwifery Practice
Usability Evaluation in a Remote Access Scenario
Representing Nursing Practice in EMR/EHRs
Introducing Nursing Informatics and Innovation Into a Professional Practice Model
The Essential Elements of Caring when Building Innovative Service in South-African Township
Applying Socio-Technical Models to Alarm Management: Tailoring Bed Exit Alerts in Medical-Surgical Units
Clinical Simulation in Nursing: A Scale to Evaluate Satisfaction and Self-Confidence in Learning
How Do Information and Communication Technologies Influence Nursing Care?
A Digital Care Pathway to Access Healthcare Without Time and Place Restrictions
An Academic-Industry Partnership for Enhancing Advanced Practice Nursing Education: A Rural Telehealth Collaborative
Workflow Representation and Visualization: Selecting Software Applications
Tensions Ahead: How Do We Build Feasible Digital Health Systems That Are Person-Centred and Usable?
Visualization Model in Augmented Reality in obstetrical Context ð Mechanism of Labor Delivery in Vertex Presentation
Requirements Analysis for HL7 Message Development in Poison Control Center
Development and Implementation of Pediatric Nursing-Clinical Decision Support System for Hyperthermia: A Pre- and Post-Test
Challenges of Teaching EHR-Based Documentation in an Obstetrical Clinical Course While Fostering Positive Student Experiences
Experiential community health clinical experiences using the virtual world Second Life
Evaluating the Impact of Electronic Health Records on Nurse Clinical Process at Two Community Health Sites
Designing a Bilingual Course in Nursing Informatics for the Americas
Development of E-Learning System for Patient Education of Diet and Radiation Safety
Personalised Multi-Criterial Online Decision Support for Siblings Considering Stem Cell Donation: An Interactive Aid
[Dis]Continuity of Care with HIT: International Dialogue from Patient and Provider Perspectives
The Evolution of a Digital Nurse, Midwife and Allied Health Professional Team
Forecasting Informatics Competencies for Nurses in the Future of Connected Health
Evaluation of the Content Coverage of SNOMED-CT to Represent ICNP Version 1 Catalogues
Disparity in Access to Care Impacts Liver Transplant Mortality
Rapid EHR Development and Implementation Using Web and Cloud-Based Architecture in a Large Home Health and Hospice Organization
Machine Learning in Electronic Health Records: Identifying High-Risk Obstetric Patients Pre and During Labor
An Emperical Study of End User Computing Strategy in Promoting the Nursing Informatics in Taiwan
Web-based Learning Resources - New Opportunities for Competency Development
Internet and Social Network Recruitment: Two Case Studies
Perspectives of Multidisciplinary Faculty on the Design of Nursing Informatics Curriculum
An Open Access Online Training Course on Migration Health
Application of Data Visualization in Nursing: Graphical Presentation of Nurse Sensitive Quality Outcome Data
Evaluation of Nursing Actions Documented in EHRs for Patients Falls Against Clinical Practice Guidelines in a Korean Tertiary Hospital
Using Rapid Prototyping to Design a Smoking Cessation Website with End-Users
Implementation and Testing of Interdisciplinary Decision Support Tools to Standardize Discharge Planning
The strategies to improve e-signature for nurses
The Format of Standard Tools for Nursing Handoff: An Integrative Review
A Cloud Computing Based Platform for Sleep Behavior and Chronic Diseases Collaborative Research
Ambient Findability: Developing a Flowsheet Ontology for i2B2
Quality of electronic versus paper-based resident admission forms among different Australian residential aged care facilities
Comparing Drivers of User Adoption of Technology
Modeling a Mobile Health Management Business Model for Chronic Kidney Disease
Barriers and Facilitators of Implementing Electronic Data Summaries in HIV/AIDS Care
Home Care Admission Information: What Nurses Need and What Nurses Have. A Mixed Methods Study
Design of a Program to Learn the Nursing Process by Introducing Digital Stories - For the Promotion of Patient Understanding
Development of Nursing Workflows and Device Requirement Principles with the Implementation of an Electronic Medical Record System
AMIA-0308-N2012.R1. Assessment of Knowledge and Level of Satisfaction of Nursing Undergraduates in a Pressure Ulcer Online Course
FinCC and the National Documentation Model in EHR - User Feedback and Development Suggestions
The Future of Informatics in Aged Care: An International Perspective
Development and Evaluation of an Adolescents' Depression Ontology for Analyzing Social Data
Hospital Nurses' and Physicians' Use of Information Sources during their Production of Discharge Summaries: A Cross-Sectional Study
Integrating Informatics Content into the Nursing Curriculum
A Social Media-Based Mindful Yoga Program for Pregnant Women in Taiwan
Dimensions of Evidence-Based Practice in Nursing: Results of a Factor Analysis
Building Knowledge for Poison Control: The Novel Pairing of Communication Analysis with Data Mining Methods
Identifying Unit-Specific Nursing Demands Using Nursing Interventions Classification (NIC)
REDCap + iPad = Nursing Rounds
Nursing and Midwifery Human Resource Database: Moving from paper to automated system
Development and Testing of an Observational Method for Detecting Medication Administration Errors Using Information Technology
Establishing Long-Term Nursing Informatics Capacity in Malawi, Africa
Analytic Strategies of Streaming Data for eHealth
Applying a Master Project Plan Methodology to Develop an Age-Friendly 4Ms Clinical Documentation Tool
The Need for a Global Language - SNOMED CT Introduction
Unravelling the Intricacies of Hospital Culture: An Evaluation of Cultural Responsiveness within Information Technology Deployments Ð Where do we go from here? NI2012 Submission
A Pilot Implementation and Evaluation of Speech Recognition Technology for Nurses and Health Disciplines
NI2012 Using SMS Messaging to Enhance the Capacities of an HIV Support Group in Malawi
A Nurse's Eye-View on Health Literacy in Older Adults
Exploring Informatics Opportunities for Supporting Patient Discharge Education to Reduce Readmissions in Patients with Heart Failure
Adoption of Speech Recognition Technology in Community Healthcare Nursing
A Systematic Review and Meta-Analysis of Intervention for Pediatric Obesity Using Mobile Technology
Hospice Shared-Care Evaluation Sheet Designed for Terminal Cancer Patient
Testing iCare: An Academic EHR
Factors Affecting Participation in the eRedBook: A Personal Child Health Record
Evaluation of educational method using e-learning for new nurses
Educational method using e-learning for new nurses
Updating the Standardized Terminology for Nurses' Daily Documentation
Interactive Patient Engagement: System Design to Cross the Continuum of Care
Clustering the Whole-Person Health Data to Predict Liver Transplant Survival
Investigation of the Load on the Lumbar Region in Nursing Technique's Movements - Relation between Twist and Surface Electromyogram
Evaluating Effects of Public Health Nurse Home Visitng on Health Literacy for Immigrants and Refugees Using Standardized Nursing Terminology Data
Towards Developing "Oops! Solver" for Elderly Care
Developing Mobile Support System for Dynamic Integrated Community-Based Screening
The Safety Implications of Information Technology in Nursing: Japanese Incident Data Analysis
An Interview and an Observation Study of Nurses and Student Nurses' Electronic Clinical Documentation Behaviors in a OB/GYN Nursing Ward
Using Second Life to Enhance ACCEL an Online Accelerated Nursing BSN Program
Developing Evidence-Based Care Standards and a Decision-Making Support System for Pain Management
Applying Microsoft Power Platform to Improve Healthcare Worker Health Monitoring Processes
Trauma-Informed Technology Design in Digital Sexual Health Interventions
Exchanging nursing oncology care data with use of a Clinical Data Ware House
Robotic Assistance in Medication Management: Development and Evaluation of a Prototype
Importing barcode technology to improve patient identification and specimen tracking in the hospital
Breastfeeding Practice Lab: a New Approach to Telenurse Education
Electronic Method for Measuring Nursing: Workload Action Measures Method (WAMM)
A Leadership Initiative to Improve Paraprofessional Communication of Changes in Patient Status
Developing a Visualized Patient-centered, Flow-based and Objective-oriented Care Path of Cardiac Catheterization Examination
Networking Hospital ePrescribing: A Systemic View of Digitalization of Medicines' Use in England
Development of an Online Training System on Pulmonary Aspiration for Clinical Nurses
Operationalizing the TANIC and NICA-L3/L4 Tools to Improve Informatics Competencies
Explore Nursing Informatics Research Theme Using Co-Word Analysis
Optimizing Directed Research Groups with Students to Iteratively Refine the Tuberculosis Treatment Support Tools
Video Review System for Sharing Tacit Knowledge of Clinical Nursing Practice
Comparing Artificial Intelligence-Based Versus Conventional Endotracheal Tube Monitoring Systems in Clinical Practice
Older Nurses' Perceptions of an Electronic Medical Record Implementation
Integrating Social Media and Mobile Sensor Data for Clinical Decision Support: Concept and Requirements
Home Telehealth Electronic Health Information Lessons Learned
Developing Patient Safety by Using HaiPro Tool
Nursing Informatics Research Priorities for the Future: Recommendations from an International Survey
Appointment Blitz: Optimizing Patient-Therapist Rehab Scheduling
Improving the Academic Programming Process in a School of Nursing Using Computational Modeling and Simulation
Robotic Implementation of the Necessary Mechanism for the Human Characteristics Simulation: Approach from Self-Care Conceptual Modeling
Development of the Incident Reporting System Using the Nursing Administrative Database
ESPOIR: from narrative to data oriented documentation
Enhancing Engagement and Achievement in Nursing Education: The Effect of Combining Online PBL and Design Thinking on Student Motivation and Satisfaction - A Qualitative Analysis
Second Life and Health Information
An Examination of the Usefulness of a Human Resource Development Tool of New Visiting Nurses
Developing a Cost-effective Home Care Management Support System for Small Nursing Homes in Taiwan
How Different Technologies Can Fit Nursing Processes to Empower Staff and Increase Quality of Care. An Italian Case Study