Results 21 to 30 of about 475,257 (256)
TATuP – Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis, 2022 We examine the realization of the umbrella promise to assume national responsibility for the final disposal of spent nuclear fuel. Three case studies are used to illustrate how Finland delivers on the promise to take care of its own nuclear waste – a ...
Matti Kojo +3 more
doaj +1 more source
A repository for CAD examples [PDF]
ACM Communications in Computer Algebra, 2013 Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone into improving the projection operator (e.g. [McC85]), the use of partial CADs (e.g.
David J. Wilson +2 more
openaire +2 more sources
Repository Monitoring in the Context of Repository Governance
, 2019 This report summarizes the social scientific component of the Modern2020 project (work package 5). This package has four objectives: i) to actively engage local public stakeholders in repository monitoring R&D within the Modern2020 project, and to analyse the impact this has on both the participating stakeholders’ and the project partners ...
Bergmans, Anne +5 more
openaire +4 more sources
Collecting Vulnerable Source Code from Open-Source Repositories for Dataset Generation
Applied Sciences, 2020 Different Machine Learning techniques to detect software vulnerabilities have emerged in scientific and industrial scenarios. Different actors in these scenarios aim to develop algorithms for predicting security threats without requiring human ...
Razvan Raducu +3 more
doaj +1 more source
Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, 2018 Digital repositories can often easily be navigated by humans but not by machines. We introduce Signposting, a mechanism to show machines how to maneuver repositories’ objects and how to interpret their relationships. Signposting is based on standard and widely adopted web technologies - typed links and HTTP link headers.
Martin Klein +2 more
openaire +2 more sources
Thinking about thinking chickens
Animal Sentience, 2018 This response focuses on three major conceptual threads that run through the peer commentary on my target article: (1) how the use of chickens influences our views of them, (2) whether education is effective, and (3) what components of chicken psychology
Lori Marino
doaj +1 more source
Gravitropic Analysis of Tomato Seedlings using Time Lapse Video Imaging
Bio-Protocol, 2015 Plants use gravity as a guide for growth and development. Gravitropism, a gravity-directed growth process, directs upward shoot movement for efficient photosynthesis and gaseous exchange. In addition, it also directs downward growth of roots in soil, for
Sulabha Sharma +3 more
doaj +1 more source
Site selection for Croatian low and intermediate level radioactive waste repository
Journal of Maps, 2020 Radioactive waste disposal and management presents a unique problem at the Krško nuclear power plant as it is built and co-owned by the Republic of Croatia and the Republic of Slovenia.
Dario Perković +3 more
doaj +1 more source
On Duplication in Mathematical Repositories [PDF]
, 2010 Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there also is the task of maintaining the repository. Thus it seems obvious to keep a repsoitory as small as possible, in particular each piece of mathematical knowledge should be formalized only once.
Adam Grabowski, Christoph Schwarzweller
openaire +2 more sources