Results 1 to 10 of about 1,807 (70)
Tight Polynomial Bounds for Loop Programs in Polynomial Space [PDF]
Logical Methods in Computer Science, 2021 We consider the following problem: given a program, find tight asymptotic bounds on the values of some variables at the end of the computation (or at any given program point) in terms of its input values.
A. M. Ben-Amram, G. W. Hamilton
doaj +1 more source
Particle and Fibre Toxicology, 2022 Background A key aspect of any new material safety assessment is the evaluation of their in vivo genotoxicity. Graphene oxide (GO) has been studied for many promising applications, but there are remaining concerns about its safety profile, especially ...
Luis Augusto Visani de Luna +8 more
doaj +1 more source
Tight Polynomial Worst-Case Bounds for Loop Programs [PDF]
Logical Methods in Computer Science, 2020 In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple programming language - representing non-deterministic imperative programs with bounded loops, and arithmetics limited to addition and multiplication - it is possible to decide precisely ...
Amir M. Ben-Amram, Geoff Hamilton
doaj +1 more source
Innovative Instruments in Ukrainian Scientific Communication [PDF]
Актуальні питання масової комунікації, 2017 The development of information technologies has led to changes in the processes of scientific communication and role of library support of research processes.
Maryna Nazarovets
doaj +1 more source
Progress testing 2.0: clinical skills meets necessary science [PDF]
Medical Education Online, 2015 Introduction: Progress testing has been widely used in medical schools to test scientific knowledge but has not been reported for assessing clinical skills.
Jonathan Gold +3 more
doaj +1 more source
Opening science: New publication forms in science
GMS Medizin – Bibliothek – Information, 2014 [english] Digital technologies change how scientists access and process information and consequently impact publication forms in science. Even though the core of scientific publications has remained the same, established publication formats, such as the ...
Scheliga, Kaja
doaj +1 more source
Die vier Social-Media-Typen in der Wissenschaft. Ergebnisse einer bundesweiten Studie
GMS Medizin – Bibliothek – Information, 2014 [english] ZB MED and its partners within the Leibniz Research Alliance Scienc participated in a nationwide study involving academics and researchers from universities and Leibniz Association research institutions.
Ostrzinski, Ulrike
doaj +1 more source
Open Science 2.0: Towards a truly collaborative research ecosystem.
PLoS Biology, 2023 Conversations about open science have reached the mainstream, yet many open science practices such as data sharing remain uncommon. Our efforts towards openness therefore need to increase in scale and aim for a more ambitious target. We need an ecosystem
Robert T Thibault +5 more
doaj +1 more source
A preliminary study of crania from the necropolis near Tura Khan Mausoleum (14th — 15th cc. AD, Southern Pre-Urals) [PDF]
Вестник археологии, антропологии и этнографииThe article presents the results of preliminary study of eight male crania from the Early Muslim burials excavated at the necropolis near Tura Khan Mausoleum (Chishminsky District, Republic of Bashkortostan).
Kufterin V.V. +3 more
doaj +1 more source
Les imaginaires de la « science 2.0 »
Communication, 2016 This article looks at the imaginaries shaping “Science 2.0” as a set of discourses and practices that crystallize a certain number of recent developments in scientific practices, against the background of the internet.
Florence Millerand
doaj +1 more source