Results 51 to 60 of about 1,643,554 (351)

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, David Bickel, Lena C. M. Krause, Daria Ezeriņa, Christian Ickes, Julian Wojtachnia, Christine S. Gibhardt, Magdalena Shumanska, Khadija Wahni, Andrea Paluschkiwitz, Julia Malo Pueyo, Ekaterina Baranova, Wim Vranken, Hedwig Stanisz, Ioana Stejerean‐Todoran, Michael P. Schön, Joris Messens, Ivan Bogeski   +17 more
wiley   +1 more source

Z Specification and Verification of Feature Interaction in Telecommunication Service System [PDF]

Jisuanji gongcheng, 2016
For formally describing feature interaction problems in telecommunication system accurately and compactly,this paper applies Z language into the research on these feature interaction problems.It does the formal description for three main types of feature
PENG Zhan,LIANG Gen,ZHOU Bing
doaj   +1 more source

Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer

Molecular Oncology, EarlyView.
PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta, Yang Song, Madeleine Ndahayo, Anirudh Saxena, Theresa Guo, Dylan Z. Kelley, Jessica Gore, Andrew Hennigan, Alexa Anderson, John C. Papadimitriou, Daria A. Gaykalova   +10 more
wiley   +1 more source

ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE

International Journal of Information and Communication Technology Research, 2009
Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi, Seyyed Hassan Mirian Hossinabadi   +1 more
doaj  

Method specification for automated evaluation of documents formal quality

Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009
Automated documents processing allows production of large amount of documents. Formal quality of the documents is very important as it contributes to better understanding and information transmission.
Petra Talandová, Jiří Rybička
doaj   +1 more source

AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B

Jordanian Journal of Computers and Information Technology, 2020
Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine, Lamia Belguith Hadrich   +1 more
doaj   +1 more source

Table‐based formal specification approaches for control engineers—empirical studies of usability

IET Cyber-Physical Systems, 2021
The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements.
Suhyun Cha, Birgit Vogel‐Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert   +4 more
doaj   +1 more source

HSP70 governs permeability and mechanotransduction in primary human endothelial cells

FEBS Open Bio, EarlyView.
HSP70 chemical inhibition reduces endothelial cell proliferation and increases permeability, the latter supported by normal interendothelial junctional protein distribution. HSP70 also plays a role in shear stress response, a hemodynamic force naturally present in blood vessels and correlated with vessel protection.
Andrea Pinto‐Martinez, Everton G. Melo, Isadora C. B. Pavan, Percíllia V. S. Oliveira, Luiza B. C. T. Coimbra, Thaís L. S. Araujo   +5 more
wiley   +1 more source

Formal model and Policy specification for software defined networks

Journal of Kufa for Mathematics and Computer, 2016
Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth.
DAWOOD SALMAN JASIM AL-FARTTOOSI
doaj   +1 more source

Formal Specification of Domain-Specific ECA Policy Models [PDF]

2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011
Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-condition-action (ECA) policies at different levels of abstraction and ...
Romeikat, Raphael, Bauer, Bernhard
openaire   +2 more sources