Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 49351 results
Sort by: relevance publication year

Electronic Medical Records Management and Administration: Current Trends, Issues, Solutions, and Future Directions

JOURNAL ARTICLE published 20 April 2024 in SN Computer Science

Authors: Umar Abdulkadir | Victor Onomza Waziri | John Kolo Alhassan | Idris Ismaila

https://doi.org/10.1007/s42979-024-02803-7 Actions

The challenges of using Type Theory to teach Mathematics

JOURNAL ARTICLE published 6 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Yves Bertot

https://doi.org/10.4204/eptcs.400.1 Actions

Counter-Offset mode: A new paradigm in resisting differential cryptanalysis

JOURNAL ARTICLE published 30 March 2024 in Trends in Computer Science and Information Technology

Authors: Faisal Nawaz Muhammad | Nawaz Yasir

https://doi.org/10.17352/tcsit.000078 Actions

From Theory to Practice: Unveiling the Synergistic Potential of Design and Maker Education in Advancing Learning

JOURNAL ARTICLE published 28 March 2024 in SN Computer Science

Authors: Noble Po-kan Lo

https://doi.org/10.1007/s42979-024-02726-3 Actions

Formalization, Automatization and Visualization of Hyperbolic Geometry

JOURNAL ARTICLE published 22 January 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Filip Marić

https://doi.org/10.4204/eptcs.398.2 Actions

OK Geometry

JOURNAL ARTICLE published 22 January 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Zlatan Magajna

https://doi.org/10.4204/eptcs.398.3 Actions

Formalization, Arithmetization and Automatization of Geometry

JOURNAL ARTICLE published 22 January 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Julien Narboux

https://doi.org/10.4204/eptcs.398.1 Actions

Proceedings 14th International Conference on Automated Deduction in Geometry

JOURNAL ARTICLE published 22 January 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Pedro Quaresma | Zoltán Kovács

https://doi.org/10.4204/eptcs.398.0 Actions

Exploring Media Framing of the Monkeypox Pandemic in Mainstream and Social Media: A Framing Theory Analysis

BOOK CHAPTER published 2024 in Wisdom, Well-Being, Win-Win

Authors: Lin Yang

https://doi.org/10.1007/978-3-031-57867-0_10 Actions

Recordkeeping Practices of Grassroots Community Organizations: Exploring the Potential Application of Push-Pull-Mooring Theory

BOOK CHAPTER published 2024 in Wisdom, Well-Being, Win-Win

Authors: Md Khalid Hossain | Viviane Frings-Hessami | Gillian Christina Oliver

https://doi.org/10.1007/978-3-031-57867-0_27 Actions

Type-Based Verification of Delegated Control in Hybrid Systems

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Eduard Kamburjan | Michael Lienhardt

https://doi.org/10.1007/978-3-031-51060-1_12 Actions

Integrated Timed Architectural Modeling/Execution Language

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Lorenzo Bacchiani | Mario Bravetti | Saverio Giallorenzo | Jacopo Mauro | Gianluigi Zavattaro

https://doi.org/10.1007/978-3-031-51060-1_7 Actions

Programming Language Implementations with Multiparty Session Types

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Nobuko Yoshida

https://doi.org/10.1007/978-3-031-51060-1_6 Actions

SoK: Parameterization of Fault Adversary Models Connecting Theory and Practice

BOOK CHAPTER published 2024 in Topics in Cryptology – CT-RSA 2024

Authors: Dilara Toprakhisar | Svetla Nikova | Ventzislav Nikov

https://doi.org/10.1007/978-3-031-58868-6_17 Actions

Data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Jona Dirks | Enna Gerhard | Mario Grobler | Amer E. Mouawad | Sebastian Siebertz

https://doi.org/10.1007/978-3-031-52113-3_13 Actions

Exploring the Nexus Between Retrievability and Query Generation Strategies

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Aman Sinha | Priyanshu Raj Mall | Dwaipayan Roy

https://doi.org/10.1007/978-3-031-56066-8_16 Actions

On Instantiating Unleveled Fully-Homomorphic Signatures from Falsifiable Assumptions

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Romain Gay | Bogdan Ursu

https://doi.org/10.1007/978-3-031-57718-5_3 Actions

Network-Agnostic Perfectly Secure Message Transmission Revisited

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Nidhish Bhimrajka | Ashish Choudhury | Supreeth Varadarajan

https://doi.org/10.1007/978-3-031-56235-8_2 Actions

A Comparative Analysis of Evolutionary Adversarial One-Pixel Attacks

BOOK CHAPTER published 2024 in Applications of Evolutionary Computation

Authors: Luana Clare | Alexandra Marques | João Correia

https://doi.org/10.1007/978-3-031-56855-8_9 Actions

Goblint: Abstract Interpretation for Memory Safety and Termination

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Simmo Saan | Julian Erhard | Michael Schwarz | Stanimir Bozhilov | Karoliine Holter | Sarah Tilscher | Vesal Vojdani | Helmut Seidl

https://doi.org/10.1007/978-3-031-57256-2_25 Actions
Feedback: support@crossref.org