Results 41 to 50 of about 1,643,554 (351)

Formal refinement of extended state machines [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais   +3 more
doaj   +1 more source

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access, 2018
The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment.
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi   +1 more
doaj   +1 more source

Formal Specification with JML

, 2014
This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the dominating starting point of KeY style Java verification. However, this paper does not in any way depend
Huisman, Marieke, Ahrendt, Wolfgang, Bruns, Daniel, Hentschel, Martin   +3 more
openaire   +3 more sources

Formal Synthesis of Stochastic Systems via Control Barrier Certificates [PDF]

IEEE Transactions on Automatic Control, 2019
This article focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties. The desired properties of the system are expressed
Pushpak Jagtap, S. Soudjani, Majid Zamani   +2 more
semanticscholar   +1 more source

Class IIa HDACs forced degradation allows resensitization of oxaliplatin‐resistant FBXW7‐mutated colorectal cancer

Molecular Oncology, EarlyView.
HDAC4 is degraded by the E3 ligase FBXW7. In colorectal cancer, FBXW7 mutations prevent HDAC4 degradation, leading to oxaliplatin resistance. Forced degradation of HDAC4 using a PROTAC compound restores drug sensitivity by resetting the super‐enhancer landscape, reprogramming the epigenetic state of FBXW7‐mutated cells to resemble oxaliplatin ...
Vanessa Tolotto, Nicolò Gualandi, Ylenia Cortolezzis, Raffaella Picco, Monica Colitti, Francesca D'Este, Mariachiara Gani, Wayne W. Hancock, Giovanni Terrosu, Cristina Degrassi, Francesca Agostini, Claudio Brancolini, Luigi E. Xodo, Eros Di Giorgio   +13 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  

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

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, EarlyView.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

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