Results 51 to 60 of about 360,109 (345)
RhoA and Rac1 as Mechanotransduction Mediators in Colorectal Cancer
Analysing RhoA and Rac1 protein levels in Colorectal cancer (CRC) samples under mechanical strain highlights their potential as diagnostic markers. Monitoring their activity could offer valuable insights into how cancer spreads, paving the way for new approaches to better understand and diagnose colorectal cancer.
Sharda Yadav+5 more
wiley +1 more source
Verification of MPI programs [PDF]
In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verification of the matrix multiplication MPI program.
arxiv
Design of object-oriented debugger model by using unified modeling language. [PDF]
Debugging on computer program is a complex cognitive activity. Although it is complex, it’s still one of the popular issues in computer programming task. It is a difficult task, which is to understand what the error is and how to solve such error?
Atan, Rodziah+2 more
core +1 more source
A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models
In order to access heterogeneous material data and model‐based knowledge, the established ontology‐based data access (OBDA) is extended to include material models. This novel ontology‐based data and model access (OBDMA) enables the computation of new responses beyond stored data.
Jürgen Maas+15 more
wiley +1 more source
Graph Neural Networks For Mapping Variables Between Programs -- Extended Version [PDF]
Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of the problem of program equivalence, comparing two programs is highly challenging.
arxiv
Process-Oriented Parallel Programming with an Application to Data-Intensive Computing [PDF]
We introduce process-oriented programming as a natural extension of object-oriented programming for parallel computing. It is based on the observation that every class of an object-oriented language can be instantiated as a process, accessible via a ...
Givelberg, Edward
core
This article introduces an automated approach for converting the raw research data (use case of low‐cycle‐fatigue testing dataset) to machine‐readable resource description framework ones and storing them in an open digital repository. As two main prerequisites for this data digitalization process, the development of fatigue testing ontology and ckan ...
Hossein Beygi Nasrabadi+2 more
wiley +1 more source
Implementing fault tolerant applications using reflective object-oriented programming [PDF]
: Shows how reflection and object-oriented programming can be used to ease the implementation of classical fault tolerance mechanisms in distributed applications.
Fabre, Jean-Charles+4 more
core +1 more source
An Automatized Simulation Workflow for Powder Pressing Simulations Using SimStack
The implementation of Workflow active Nodes (WaNos) for the convenient execution and automated evaluation of discrete element method calculations of powder pressing is showcased. Purposeful combination of WaNos creates timesaving and resource‐effective computational workflows.
Bjoern Mieller+2 more
wiley +1 more source
Genuine object oriented programming [PDF]
Thesis (M.S.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1996.Includes bibliographical references (leaves 46-47).Richard Daniel Borovoy.M ...
Borovoy, Richard Daniel
core