Suchergebnisse - ((((programye OR program) OR programy) OR programovaci) OR programovanie) systems informatik

Swedish health care has lost the grasp on information technology. Incompatible systems result in duplication of work and unnecessary costs / Svensk sjukvård har tappat greppet om informationsteknologin. Inkompatibla system ger både dubbelarbete och onödiga kostnader

Autoren: Ahlberg, J Palmberg, L

Quelle: Läkartidningen. 96(38):3988

Smartphone Global Positioning System–Based System to Assess Mobility in Health Research: Development, Accuracy, and Usability Study

Autoren: Spang, Robert P. Haeger, Christine Mümken, Sandra A. et al.

Schlagwörter: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, geographic information system, rehabilitation, prevention medicine, geoinformatics, out-of-home mobility

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/18538
https://doi.org/10.14279/depositonce-17347

Designing a GDPR-Compliant and Usable Privacy Dashboard

Autoren: Raschke, Philip Küpper, Axel Drozd, Olha et al.

Schlagwörter: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik, Systeme::005 Computerprogrammierung, Programme, Daten, systems and data security, security, computers and society, user interfaces, artificial intelligence, computer systems organization, communication networks, human computer interaction

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/23149
https://doi.org/10.14279/depositonce-21962

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

Autoren: Simon Gregersen Kompetenzzentrum für nicht-textuelle Materialien

Weitere Verfasser: Simon Gregersen Kompetenzzentrum für nicht-textuelle Materialien

Schlagwörter: distributed systems, separation logic, program verification, Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/54927

Verfügbarkeit: https://av.tib.eu/media/54927

LARS: A Light-Augmented Reality System for Collective Robotics Interaction

Autoren: Raoufi, Mohsen

Schlagwörter: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, 600 Technik, Medizin, angewandte Wissenschaften::600 Technik::600 Technik, Technologie, angewandte Wissenschaften::600 Technik::607 Ausbildung, Forschung, verwandte Themen, collective robotics, multi-robot systems, extended reality (XR), augmented reality (AR), human-robot interaction

Dateibeschreibung: application/md; application/zip

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/25207
https://doi.org/10.14279/depositonce-24029

Unveil in OpenBSD: The Unveil system call, it's use in Programs, and new semantics for it

Autoren: Bob Beck Kompetenzzentrum für nicht-textuelle Materialien

Weitere Verfasser: Bob Beck Kompetenzzentrum für nicht-textuelle Materialien

Schlagwörter: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/45172

Verfügbarkeit: https://av.tib.eu/media/45172

Formal verification of safety properties of epoch processing in Beacon Chain.

Autoren: Rashid M Rasool I Afzaal H et al.

Quelle: Scientific reports [Sci Rep] 2025 Nov 22; Vol. 15 (1), pp. 43522. Date of Electronic Publication: 2025 Nov 22.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE

An open-source platform for knowledge sharing in the built environment ; Eine offene Wissensplattform für die Gebäudetechnik

Autoren: Rehmann, Felix Cudok, Falk Degner, Martin Tobias et al.

Schlagwörter: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, built environment, energy systems, open source, open data, knowledge sharing platform, Gebäudetechnik, Energiesystem, Wissensplattform

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/23496
https://doi.org/10.14279/depositonce-22310

A Language-Based Version Control System for Python

Autoren: Carvalho, Luís Seco, João Costa Faculdade de Ciências e Tecnologia (FCT) et al.

Weitere Verfasser: Carvalho, Luís Seco, João Costa Faculdade de Ciências e Tecnologia (FCT) et al.

Schlagwörter: Software evolution, type theory, Software

Dateibeschreibung: application/pdf

Relation: 9783959773416; 1868-8969; PURE: 107303023

Verfügbarkeit: http://hdl.handle.net/10362/180231

Simulation of Parallel Programs on Application and System Level
Simulation von parallelen Programmen auf Anwendungs- und Systemebene

Autoren: Kunkel, Julian Martin

Schlagwörter: Simulation von Rechnersystemen, Leistungsanalyse, Parallele Ein/Ausgabe, Simulation of clusters, Performance evaluation, Parallel I/O, 004 Informatik, 54.25 Parallele Datenverarbeitung, Hochleistungsrechnen, ddc:004

Zugangs-URL: http://nbn-resolving.de/urn:nbn:de:gbv:18-62642
https://ediss.sub.uni-hamburg.de/handle/ediss/4987

A robust communication protocol over ad hoc networks for collaborative driver assistance systems ; Ein robustes Kommunikationsprotokoll für kooperative Fahrerassistenzsysteme über ad hoc Netzwerke

Autoren: Sawade, Oliver Hauswirth, Manfred Technische Universität Berlin et al.

Weitere Verfasser: Sawade, Oliver Hauswirth, Manfred Technische Universität Berlin et al.

Schlagwörter: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, ADAS, CoDAS, automated driving, autonomous driving, cooperative systems, IEEE 802.11p, distributed state machine, wireless networks, network protocol, automatisierte Fahrfunktion, autonomes Fahren, kooperative Systeme, verteilte Zustandsautomaten, Funknetzwerke, Netzwerkprotokolle

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/21142
https://doi.org/10.14279/depositonce-19942

Development of Data Archiving and Distribution System For the Philippines' LiDAR Program Using Object Storage Systems

Autoren: Ken Abryl Eleazar Salanio Kompetenzzentrum für nicht-textuelle Materialien

Weitere Verfasser: Ken Abryl Eleazar Salanio Kompetenzzentrum für nicht-textuelle Materialien

Schlagwörter: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/32005

Verfügbarkeit: https://av.tib.eu/media/32005

Voting Village - The DARPA SSITH Program at DEFCON

Autoren: Linton Salmon Kompetenzzentrum für nicht-textuelle Materialien

Weitere Verfasser: Linton Salmon Kompetenzzentrum für nicht-textuelle Materialien

Schlagwörter: System Security Integrated Through Hardware (SSITH), Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/48516

Verfügbarkeit: https://av.tib.eu/media/48516

Roles '07 – Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies ; workshop co-located with ECOOP 2007 Berlin, July 30 and 31, 2007

Weitere Verfasser: Boella, Guido Goebel, Steffen Steimann, Friedrich et al.

Schlagwörter: 004 Datenverarbeitung, Informatik, programming language, multiagent system, software product line, object orient program, role concept

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/11412
https://doi.org/10.14279/depositonce-10296

Inductive Program Synthesis with a Type System

Autoren: Torres Padilla, Juan Pablo

Schlagwörter: articial intelligence, program synthesis, type systems, inductive logic, black-box explanation, machine learning, Information Systems, Systemvetenskap, informationssystem och informatik

Dateibeschreibung: application/pdf

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385282

Comment-based concept location over system dependency graphs

Autoren: Pereira, Nuno Pereira, Maria João Varanda Henriques, Pedro Rangel et al.

Weitere Verfasser: Pereira, Nuno Pereira, Maria João Varanda Henriques, Pedro Rangel et al.

Schlagwörter: Comment analysis, Concept location, Program comprehension, System dependency graph

Dateibeschreibung: application/pdf

Relation: 9783939897682; 2190-6807

Verfügbarkeit: https://hdl.handle.net/1822/64033

Keeping safety-critical programs alive when Linux isn’t able to: Using OP-TEE to deliver availability to applications in a Trusted Execution Environment.

Autoren: Tom Van Eyck N. N.

Weitere Verfasser: Tom Van Eyck N. N.

Schlagwörter: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/61700

Verfügbarkeit: https://av.tib.eu/media/61700

The GMDS Competence Catalogue for (Bio-)Medical Informatics and Health Information Management Bachelor Programs

Autoren: Bott, Oliver J. Ammenwerth, Elske Beißbarth, Tim et al.

Quelle: GMS Medizinische Informatik, Biometrie und Epidemiologie, Vol 21, p Doc04 (2025)

Schlagwörter: recommendations, curricula, competency catalogue, bachelor programs, medical informatics, biomedical informatics, health information management, Computer applications to medicine. Medical informatics, R858-859.7, Infectious and parasitic diseases, RC109-216

Dateibeschreibung: electronic resource

Relation: https://journals.publisso.de/en/journals/mibe/volume21/mibe000276; https://doaj.org/toc/1860-9171

Zugangs-URL: https://doaj.org/article/55ef6b5bde2840dda70bad4f0334c084

Data Augmentation for Supervised Code Translation Learning

Autoren: Binger Chen Jacek Golebiowski Ziawasch Abedjan

Quelle: Proceedings of the 21st International Conference on Mining Software Repositories. :444-456

Schlagwörter: Training data, Data augmentation, translation techniques, Robust strategy, Program translators, Data-driven program translation, Learning algorithms, supervised learning, Natural language processing systems, Data driven, Source language, Target language, Common strategy, Translation (languages), 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik, Supervised learning, Code translation, Parallel training, Program translation

Modelling protein complexes with crosslinking mass spectrometry and deep learning

Autoren: Stahl, Kolja Warneke, Robert Demann, Lorenz et al.

Schlagwörter: 500 Naturwissenschaften und Mathematik::540 Chemie::540 Chemie und zugeordnete Wissenschaften, 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, mass spectrometry, protein complexes, crosslinking, machine learning, AlphaFold-Multimer, spectroscopy

Dateibeschreibung: application/pdf

Verfügbarkeit: https://depositonce.tu-berlin.de/handle/11303/24011
https://doi.org/10.14279/depositonce-22824