Results 41 to 50 of about 180,814 (286)
Research on redundant structure of cloud-based interlocking systems
机车电传动, 2023 In order to ensure the operational safety of interlocking systems within cloud platforms, this paper presented a redundant structure for cloud-based interlocking systems based on virtual machine fault tolerance technology, through analyzing the redundant
HE Zhibin +4 more
doaj
Towards Model Checking Executable UML Specifications in mCRL2 [PDF]
, 2009 We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events.
A Cimatti +11 more
core +8 more sources
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
MachinesWeight reduction strategies are essential for the transportation sector to reduce greenhouse gas emissions or extend the range of electric vehicles. In the field of lightweight assembly strategies, multi-material design offers great potential.
Aron Ringel +2 more
doaj +1 more source
Molecular Oncology, EarlyView.The noncoding region of the genome plays a key role in regulating gene expression, and mutations within these regions are capable of altering it. Researchers have identified multiple functional noncoding mutations associated with increased cancer risk in the genome of breast cancer patients.
Arnau Cuy Saqués +3 more
wiley +1 more source
The Research and Realization of Track Layout Editor TOPOLOGY in Urban Rail Transit Signaling System
机车电传动, 2011 This paper elaborated the design and realization of the track layout editor TOPOLOGY. The software was based on the object-oriented programming and adopted the design concept of icons separated from the devices.
薛巧丽, 王培林
doaj
Interlocking directorates and different power forms: An explorative analysis in the Italian context [PDF]
, 2018 The purpose of the present paper is twofold. The first is to update the contribution by Drago et al. (2011) about cross-shareholdings and interlocking directorates in Italian listed companies (FTSE MIB) to 31 December 2016 and to reinforce theory of ...
Di, Franco +2 more
core +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Description of route dependencies for computer-based railway signalling systems
Archives of TransportEfficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies.
Michał Grzybowski +2 more
doaj +1 more source
Retaining force augmentation of retaining walls [PDF]
, 2017 Concrete blocks retaining walls are commonly used for landscaping projects in which the retaining force strength of the structure is of paramount importance in preserving the integrity of the project and safety of humans and property.
Manohar, Krishpersad +2 more
core +1 more source