| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996396740403316 |
|
|
Autore |
Stafford Richard <1663-1703.> |
|
|
Titolo |
The exceeding great comfort and benefit of having walked before God in truth, and with a perfect heart, and of having done that which is good in his sight [[electronic resource] ] : set forth in several discourses on Isaiah 38. 2, 3 / / by Richard Stafford . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed, and are to be sold by Ralph Simpson ..., MDCXCIX [1699] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Sermons, English - 17th century |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Imperfect: cropped, stained, and tightly bound, with loss of text. |
Reproduction of original in: Dr. Williams' Library (London, England) |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910522982103321 |
|
|
Titolo |
Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / / edited by James Cheney, Simona Perri |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (225 pages) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 13165 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Application software |
Expert systems (Computer science) |
Computer science |
Computer engineering |
Computer networks |
Programming Language |
Computer and Information Systems Applications |
Knowledge Based Systems |
Theory of Computation |
Computer Engineering and Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- Functional Programming -- Functional Programming on Top of SQL Engines -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: an Interleaving Approach -- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- Smart Devices and Large Scale Reasoning via |
|
|
|
|
|
|
|
|
|
|
|
|
|
ASP: Tools and Applications -- Declarative Solutions -- Decomposition-based Job-shop Scheduling with Constrained Clustering -- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP) -- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs -- Green Application Placement in the Cloud-IoT Continuum. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. . |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910447239303321 |
|
|
Titolo |
Human-Computer Interaction : 6th Iberomarican Workshop, HCI-Collab 2020, Arequipa, Peru, September 16–18, 2020, Proceedings / / edited by Vanessa Agredo-Delgado, Pablo H. Ruiz, Klinge Orlando Villalba-Condori |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 316 p. 128 illus., 110 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 1334 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
User interfaces (Computer systems) |
Human-computer interaction |
Application software |
Social sciences - Data processing |
Computer engineering |
Computer networks |
Education - Data processing |
Artificial intelligence |
User Interfaces and Human Computer Interaction |
Computer and Information Systems Applications |
Computer Application in Social and Behavioral Sciences |
Computer Engineering and Networks |
Computers and Education |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
A Physiotherapist’s Matter: Validating a Physical Rehabilitation Exergame to Enable Safe Evaluation with Patients -- An Architectural Model for Virtual Learning Environments Using Multicultural Learning Objects -- An experimental activity to develop usability and UX heuristics -- Autonomous Driving: Obtaining direction commands by classifying images within a simulation platform -- Breaking the Gap: Collaborative Environment as a Meeting Point to Provide and Receive Help to Overcome the Digital Gap -- Challenges in Integrating SCRUM and the User-Centered Design Framework: A Systematic Review -- Clustering Analysis of Usability in Web Sites of Higher Technological Institutes of Ecuador -- Collaborative learning group formation based on personality traits: An empirical study in initial Programming courses -- Communication preferences of first-year university students from Mexico and Spain -- CovidEmoVis - An Interactive Visual Analytic Tool for Exploring Emotions from Twitter Data of Covid-19 -- Cyber Exposed at Preparatory: Classmates and Teachers Using Social Networks and Life Satisfaction -- Design and implementation of a voice-based conversational agent for the continuous training and learning of pharmaceutical sales representatives -- Evaluating the Socioenactive Experience with a Tangible Tabletop Installation: A Case Study -- Habitar: A Collaborative Tool to Visualize, Distribute, Organize and Share Domestic Tasks Towards Reducing the Gender Gap in Household Labor -- Human Body AR: a mobile application for teaching anatomy for elementary students using augmented reality -- Mixed Reality Infotainment Simulator, Work in Progress -- Mobile application to improve reading habits using Virtual Reality -- Model for Pervasive Social Play Experiences -- Model-Driven Multidisciplinary Production of Virtual Reality Environments for elementary school with ADHD -- Recommendations and Challenges for Developing English Vocabulary Learning Games -- Reference framework for measuring the level of technological acceptance by the elderly: a virtual assistants case study -- Relaxing and Familiar, Guidelines to Develop Interactive Applications for Dementia Patients -- Rivit: A Digital Game to Cognitively Train and Entertain Heart Failure Patients -- Smartphones, Suitable Tool for Driver Behavior Recognition. A Systematic Review -- State of the art of business simulation games modeling supported by brain-computer interfaces -- Tales of Etrya: English Vocabulary Game -- Towards a process definition for the shared understanding construction in Computer-Supported Collaborative Work -- Towards to usability guidelines construction for the design of interactive mobile applications for learning mathematics -- Usability Evaluation over Multiplayer Games on Display Wall Systems -- Voluminis: Mobile application for learning mathematics in geometry with augmented reality and gamification -- Wireless Haptic Glove for Interpretation and Communication of Deafblind People. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the 6th Iberoamerican Workshop on Human-Computer Interaction, HCI-Collab |
|
|
|
|
|
|
|
|
|
|
2020, held in Arequipa, Peru, in September 2020.* The 28 full and 3 short papers presented in this volume were carefully reviewed and selected from 128 submissions. The papers deal with topics such as emotional interfaces, usability, video games, computational thinking, collaborative systems, IoT, software engineering, ICT in education, augmented and mixed virtual reality for education, gamification, emotional Interfaces, adaptive instruction systems, accessibility, use of video games in education, artificial Intelligence in HCI, among others. *The workshop was held virtually due to the COVID-19 pandemic. |
|
|
|
|
|
| |