Search Results - ((((programové OR program) OR program) OR programovací) OR programovanie) site informatik

Advancing program representation and leveraging big code for automatic program transformation

Authors: Chen, Binger

Subject Terms: big code, automatic program transformation, code translation, code stylization, program representation, 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik

Safety education at research facilities with radiation sources and short-term facility users: current design and practice and possibilities for improvement

Authors: Ek, Åsa Eriksson, Kerstin Borell, Jonas et al.

Contributors: Ek, Åsa Eriksson, Kerstin Borell, Jonas et al.

Source: Heliyon. 10(12)

Subject Terms: Social Sciences, Media and Communications, Information Systems, Social aspects (including Human Aspects of ICT), Samhällsvetenskap, Medie, kommunikations, och informationsvetenskaper, Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning, Engineering and Technology, Other Engineering and Technologies, Teknik, Annan teknik, Natural Sciences, Computer and Information Sciences, Human Computer Interaction, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Människa-datorinteraktion (Interaktionsdesign)

Access URL: https://doi.org/10.1016/j.heliyon.2024.e32675

In-Motion-App for remote General Movement Assessment: A multi-site observational study

Authors: Adde, Lars Brown, Annemette Van Den Broeck, Christine et al.

Source: BMJ Open eHealth application and AI-solutions for early detection of cerebral palsy in newborns - based on home video recordings for general movement assessment. 11(3)

Subject Terms: Medical and Health Sciences, Clinical Medicine, Pediatrics, Medicin och hälsovetenskap, Klinisk medicin, Pediatrik, Natural Sciences, Computer and Information Sciences, Information Systems, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Systemvetenskap, informationssystem och informatik

Access URL: https://doi.org/10.1136/bmjopen-2020-042147

Compositional Static Value Analysis for Higher-Order Numerical Programs

Authors: Valnet, Milla Monat, Raphaël Miné, Antoine et al.

Contributors: Valnet, Milla Monat, Raphaël Miné, Antoine et al.

Subject Terms: Functional Programming, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Abstract Interpretation, Static Value Analysis, ddc:004

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.32
https://hal.science/hal-05047369v1/document
https://hal.science/hal-05047369v1
https://doi.org/10.4230/lipics.ecoop.2025.15

Methoden zur geometrischen Suche in Proteinstruktursammlungen
Methods for Geometric Mining in Protein Structure Collections

Authors: Graef, Joel

Subject Terms: Bindetaschen, Protein-Ligand-Interaktion, Protein-Protein-Interaktion, Geometrische Mustersuche, Chemieinformatik, 004: Informatik, Arzneimitteldesign, Datenbank, Computational chemistry, Algorithmus, Ligand, Proteine, ddc:004:

Access URL: http://nbn-resolving.de/urn:nbn:de:gbv:18-ediss-118402
https://ediss.sub.uni-hamburg.de/handle/ediss/10954

Changes to team autonomy in large-scale software development: a multiple case study of Scaled Agile Framework (SAFe) implementations

Authors: Gustavsson, Tomas Berntzen, Marthe Stray, Viktoria

Source: International Journal of Information Systems and Project Management. 10(1):29-46

Subject Terms: agile software development, team autonomy, Scaled Agile Framework, SAFe, large-scale agile, Information Systems, Informatik

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-89665
https://doi.org/10.12821/ijispm100102

Partial program analysis for staged compilation systems.

Authors: Anand, Aditya Thakur, Manas

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Subject Terms: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES

Reflections on Adjusting Trust: The Mozilla Root Program: Tales of running an open and transparent Certificate Authority Program

Authors: Gerv Markham Kompetenzzentrum für nicht-textuelle Materialien

Contributors: Gerv Markham Kompetenzzentrum für nicht-textuelle Materialien

Subject Terms: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

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

Availability: https://av.tib.eu/media/42304

Collectively produced epistemic objects and their necessary incompleteness for professional learning on a large-scale online platform

Authors: Seredko, Alena Hillman, Thomas Lundin, Mona

Source: Learning, Media & Technology.

Subject Terms: Pedagogy, Pedagogik, Information Systems, Social aspects, Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning, Epistemic objects, sociomateriality, professional learning, online platforms, software development

Access URL: https://gup.ub.gu.se/publication/348767

The Rural Design Collective Summer Mentoring Program

Authors: Rebecca Hargrave Malamud Kompetenzzentrum für nicht-textuelle Materialien

Contributors: Rebecca Hargrave Malamud Kompetenzzentrum für nicht-textuelle Materialien

Subject Terms: Libre Graphics Meeting (LGM), Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

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

Availability: https://av.tib.eu/media/21527

From Implementation to Application: An Empirical Analysis of Teachers' Media and ICT Skills in the Reform Process.

Authors: Grgić, Marina Bolliger, Lynn

Source: Education Sciences; Jul2025, Vol. 15 Issue 7, p870, 12p

Subject Terms: MEDIA literacy, DIGITAL literacy, TEACHERS, EDUCATION research, CURRICULUM change, PROFESSIONAL competence, CAPACITY building, SCHOOL improvement programs

Structure-based synthesis planning : An integrative approach into an interactive, user-focused design cycle
Strukturbasierte Syntheseplanung : Ein integrativer Ansatz in einem interaktiven, benutzerfreundlichen Designzyklus

Authors: Sommer, Kai

Subject Terms: fragment growing, synthetic feasibility, fragment-based drug discovery, structure-based de novo design, protein-ligand docking and scoring, 004 Informatik, 35.06 Computeranwendungen, Computational chemistry, Arzneimittelforschung, Benutzeroberfläche, ddc:004

Access URL: http://nbn-resolving.de/urn:nbn:de:gbv:18-100982
https://ediss.sub.uni-hamburg.de/handle/ediss/6064

Embedding the Symmetric Parental Care Game into the Individual-Level Events of a Site Reproduction Population Model

Authors: Gutierrez, Myriam Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta University of Helsinki, Faculty of Science et al.

Contributors: Gutierrez, Myriam Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta University of Helsinki, Faculty of Science et al.

Subject Terms: parental care, game theory, game embedding, evolutionary dynamics, evolutionary suicide, Biomatematiikka, Biomathematics, Biomatematik, Life Science Informatics -maisteriohjelma, Master's Programme in Life Science Informatics, Magisterprogrammet i informatik inom livsvetenskaperna

File Description: application/pdf

Relation: http://hdl.handle.net/10138/585531

Availability: http://hdl.handle.net/10138/585531

Computer program product for allowing a user to create an interactive object in a content owner's digital media file

Erfolgsmessung informationsorientierter Websites

Contributors: Stolz, Carsten Dirk Pride, Carsten Dirk

Availability: http://data.europeana.eu/aggregation/europeana/2048441/item_VPBMG4N74SPUQ4W5WXAUADJS64AQXXEO
http://data.europeana.eu/item/2048441/item_VPBMG4N74SPUQ4W5WXAUADJS64AQXXEO

On approximability of Satisfiable k-CSPs: I.

Authors: Bhangale, Amey Khot, Subhash Minzer, Dor

Source: Computational Complexity; Dec2025, Vol. 34 Issue 2, p1-77, 77p

The Use of Social Media Sites by University Library Staff to Facilitate Undergraduate Students

Authors: Ntaka, Athanasia

Subject Terms: Academic Libraries, Facebook, Social Media, Social Networking Sites, education, academic needs, Agricultural University (AUA), University of Piraeus (UNIPI), undergraduate students, qualitative, Thematic Analysis, Interviews, Information Systems, Systemvetenskap, informationssystem och informatik

File Description: application/pdf

Availability: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-68483

SMSaude: design, development and implementation of a remote/mobile patient management system to improve retention in care for HIV/AIDS and tuberculosis patients

Authors: Nhavoto, José António Grönlund, Åke Chaquilla, Walter Ponce

Source: Journal of Medical Internet Research. 3(1)

Subject Terms: Mobile health, text messaging, SMS system, patient management, design science research, Mozambique, Informatik, Informatics

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-42527
https://doi.org/10.2196/mhealth.3854

A Data Storage, Analysis, and Project Administration Engine (TMFdw) for Small- to Medium-Size Interdisciplinary Ecological Research Programs with Full Raster Data Capabilities.

Authors: Grigusova, Paulina Beilschmidt, Christian Dobbermann, Maik et al.

Source: Data (2306-5729); Dec2024, Vol. 9 Issue 12, p143, 19p

Subject Terms: MACHINE learning, ENVIRONMENTAL research, DATABASES, VECTOR data, DATA warehousing

A Kleene algebra with tests for union bound reasoning about probabilistic programs

Authors: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

Contributors: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) ; https://hal.science/hal-04196675 ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands. pp.35:1--35:19, ⟨10.4230/LIPIcs.CSL.2025.35⟩

Subject Terms: Kleene algebras with tests, Kleene algebras with tests Hoare logic equational reasoning probabilistic programs union bound formal verification, Theory of computation → Hoare logic, Hoare logic, equational reasoning, probabilistic programs, union bound, formal verification, Theory of computation → Algebraic semantics, Theory of computation → Pre- and post-conditions, Theory of computation → Logic and verification, [INFO]Computer Science [cs]

Subject Geographic: Amsterdam, Netherlands

Availability: https://hal.science/hal-04196675
https://hal.science/hal-04196675v3/document
https://hal.science/hal-04196675v3/file/agkat_tr_HAL.pdf
https://doi.org/10.4230/LIPIcs.CSL.2025.35