Results 41 to 50 of about 14,769 (187)

KupferDigital: Ontology‐Based Digital Representation for the Copper Life Cycle

Advanced Engineering Materials, EarlyView.
It is demonstrated how data from different stages in the life cycle of a copper product can be stored in an ontology‐based data space. In order to showcase the methods and tools used in the project, four use cases are presented that show how data from different sources can be semantically described and queried from a shared data space.
Miriam Eisenbart, Thomas Hanke, Felix Bauer, Hossein Beygi Nasrabadi, Kurt Junghanns, Gordian Dziwis, Ladji Tikana, Ashak Mahmud Parvez, Karl Gerald van den Boogaart, Mohsin Sajjad, Valerie Friedmann, Johannes Preußner, Anantha Narayanan Ramakrishnan, Sandy Klengel, Lars‐Peter Meyer, Michael Martin, Ulrich Ernst Klotz, Birgit Skrotzki, Matthias Weber   +18 more
wiley   +1 more source

StahlDigital: Ontology‐Based Workflows for the Steel Industry

Advanced Engineering Materials, EarlyView.
The strength of the steel industry is based on the mastery of microstructure–property relationships. Digital workflows contribute to this aim by making the complexity of workflows reproducible and their execution user independent. The tools and workflows developed in the project StahlDigital as part of the German MaterialDigital initiative are ...
Franz Roters, Ahmed Aslam, Yang Bai, Matthias Büschelberger, Kirill Bulert, Alexander Butz, Tilmann Hickel, Tushar Jogi, Silke Klitschke, Michael Martin, Lars‐Peter Meyer, Lukas Morand, Yoav Nahshon, Norman Radtke, Ujjal Saikia, Andreas Trondl, Alexander Wessel, Paul Zierep, Dirk Helm   +18 more
wiley   +1 more source

Atomicity Checking in Linear Time using Vector Clocks [PDF]

, 2020
Multi-threaded programs are challenging to write. Developers often need to reason about a prohibitively large number of thread interleavings to reason about the behavior of software. A non-interference property like atomicity can reduce this interleaving space by ensuring that any execution is equivalent to an execution where all atomic blocks are ...
arxiv   +1 more source

Advancing Digital Transformation in Material Science: The Role of Workflows Within the MaterialDigital Initiative

Advanced Engineering Materials, EarlyView.
The MaterialDigital initiative drives the digital transformation of material science by promoting findable, accessible, interoperable, and reusable principles and enhancing data interoperability. This article explores the role of scientific workflows, highlights challenges in their adoption, and introduces the Workflow Store as a key tool for sharing ...
Simon Bekemeier, Celso Ricardo Caldeira Rêgo, Han Lin Mai, Ujjal Saikia, Osamu Waseda, Markus Apel, Felix Arendt, Alexander Aschemann, Bernd Bayerlein, Robert Courant, Gordian Dziwis, Florian Fuchs, Ulrich Giese, Kurt Junghanns, Mohamed Kamal, Lukas Koschmieder, Sebastian Leineweber, Marc Luger, Marco Lukas, Jürgen Maas, Jana Mertens, Björn Mieller, Ludger Overmeyer, Norbert Pirch, Jan Reimann, Sebastian Schröck, Philipp Schulze, Jörg Schuster, Alexander Seidel, Oleg Shchyglo, Marek Sierka, Frank Silze, Simon Stier, Marvin Tegeler, Jörg F. Unger, Matthias Weber, Tilmann Hickel, Jörg Schaarschmidt   +37 more
wiley   +1 more source

Bioprinted Patient‐Derived Organoid Arrays Capture Intrinsic and Extrinsic Tumor Features for Advanced Personalized Medicine

Advanced Science, EarlyView.
An embedded bioprinting enabled‐arrayed patient‐derived organoids (Eba‐PDO) platform that replicates intrinsic and extrinsic tumor characteristics is introduced. Eba‐PDOs more accurately mimic tissue than standard PDOs (Std‐PDOs) due to maturation in the tumor microenvironment.
Jonghyeuk Han, Hye‐Jin Jeong, Jeonghan Choi, Hyeonseo Kim, Taejoon Kwon, Kyungjae Myung, Kyemyung Park, Jung In Park, Samuel Sánchez, Deok‐Beom Jung, Chang Sik Yu, In Ho Song, Jin‐Hyung Shim, Seung‐Jae Myung, Hyun‐Wook Kang, Tae‐Eun Park   +15 more
wiley   +1 more source

Efficiently making (almost) any concurrency control mechanism serializable [PDF]

, 2016
Concurrency control (CC) algorithms must trade off strictness for performance. Serializable CC schemes generally pay higher cost to prevent anomalies, both in runtime overhead and in efforts wasted by aborting transactions. We propose the serial safety net (SSN), a serializability-enforcing certifier which can be applied with minimal overhead on top of
arxiv   +1 more source

The importance of science communication and public engagement to professional associations

Anatomical Sciences Education, EarlyView.
Scientists have gathered in professional associations to promote science to the public. The American Association for Anatomy (AAA) has invested resources in programs to promote anatomical sciences to the public (high school level via the Anato‐Bee; all levels via Anatomy nights) and train scientists how to talk to the public (SciComm Bootcamp ...
Martine Dunnwald, Valerie B. DeLeon, Anne M. Burrows   +2 more
wiley   +1 more source

A Critique of Snapshot Isolation [PDF]

EuroSys 2012
The support for transactions is an essential part of a database management system (DBMS). Without this support, the developers are burdened with ensuring atomic execution of a transaction despite failures as well as concurrent accesses to the database by other transactions.
arxiv   +1 more source

Global serializability of concurrent programs

Theoretical Computer Science, 1994
AbstractMost of the models used to describe the behaviours of concurrent programs and to prove some of their properties assume the atomicity of actions at some level. When atomicity is ensured only at a low level, the need to increase the number of basic operations leads to a high complexity for the representations.
openaire   +2 more sources

Relative Serializability: An Approach for Relaxing the Atomicity of Transactions

Journal of computer and system sciences (Print), 1994
Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions.
V. Krishnaswamy, D. Agrawal, J. Bruno, A. El Abbadi   +3 more
semanticscholar   +1 more source