Results 41 to 50 of about 494,717 (236)

Concurrency specification using Event-based Specification Chart [PDF]

Computer Science Journal of Moldova, 2012
Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj  

Formalizing Anaesthesia: A case study in formal specification [PDF]

, 1996
We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker ...
Groenboom, R, Saaman, Erik, Rotterdam, Ernest, Renardel de Lavalette, Gerard   +3 more
openaire   +2 more sources

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Review of Formal Specification and Verification for Operating Systems [PDF]

Jisuanji gongcheng
Operating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj   +1 more source

Synthesis of Parametric Programs using Genetic Programming and Model Checking [PDF]

, 2014
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into constructing ...
Katz, Gal, Peled, Doron
core   +2 more sources

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

Simulation of stevedoring work in the Klaipėda oil terminal [PDF]

Transport, 2002
The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
D. Makackas, H. Pranevičius
doaj  

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

Genetic attenuation of ALDH1A1 increases metastatic potential and aggressiveness in colorectal cancer

Molecular Oncology, EarlyView.
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova, Zuzana Kozovska, Ondrej Pos, Kristina Pavlov, Sachin Gulati, Peter Makovicky, Kristina Jakic, Monika Burikova, Eva Sedlackova, Barbora Svitkova, Silvia Tyciakova, Vojtech Bystry, Nicolas Blavet, Boris Tichy, Matej Hrnciar, Jaroslav Budis, Miroslav Tomas, Peter Dubovan, Georgina Kolnikova, Veronika Repaska, Nikoleta Mojzesova, Eva Zomborska, Daniel Pindak, Michal Mego, Tomas Szemes, Miroslava Matuskova   +25 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