Results 51 to 60 of about 360,109 (345)

RhoA and Rac1 as Mechanotransduction Mediators in Colorectal Cancer

open access: yesAdvanced Biology, EarlyView.
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]

open access: yesarXiv, 2021
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]

open access: yes, 2013
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

open access: yesAdvanced Engineering Materials, EarlyView.
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]

open access: yesarXiv, 2023
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]

open access: yes, 2014
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  

Semantic Representation of Low‐Cycle‐Fatigue Testing Data Using a Fatigue Test Ontology and ckan.kupferdigital Data Management System

open access: yesAdvanced Engineering Materials, EarlyView.
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]

open access: yes, 1995
: 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

open access: yesAdvanced Engineering Materials, EarlyView.
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]

open access: yes, 1996
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  

Home - About - Disclaimer - Privacy