Results 121 to 130 of about 461,576 (313)

Tasking Event-B: An Extension to Event-B for Generating Concurrent Code [PDF]

The Event-B method is a formal approach for modelling systems in safety-, and business-critical, domains. Initially, system specification takes place at a high level of abstraction; detail is added in refinement steps as the development proceeds toward ...
Edmunds, Andrew, Butler, Michael
core  

Lawnmower: Designing a web-based visual programming environment that generates code to help students learn textual programming [PDF]

, 2012
Learning programming can be a challenging task for design students, especially when code is to be entered in textual form. Visual programming languages, such as McNeilís Grasshopper, have helped students to engage in scripting without having to deal with
B. Pak, G. Wurzer
core  

CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3

Molecular Oncology, EarlyView.
PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh, Nitzan Medina‐Itzhaki, Milena Chekov, Eden Gal‐Swisa, Roba Gabesh‐Wahabi, Inbar Savyon, Inna Naroditsky, Hilary A. Kenny, Basem Fares, Lina Korsensky, Einav Girsh, Liron Berger, Ruth Perets   +12 more
wiley   +1 more source

From High Level MPSoC description to SystemC Code Generation [PDF]

, 2007
In this paper, we present an efficient Multi-Processor Systems-on-Chip (MPSoC) design flow. It is based on a Model-Driven Engineering (MDE) approach. A compilation chain has been developed to transform the high abstraction level into both Cycle Accurate ...
Julien Taillard, Jean Luc Dekeyser, Smail Niar, Rabie Ben Atitallah, Code Generation, Eric Piel   +5 more
core  

CD47 promotes mitogen‐activated protein kinase and epithelial‐to‐mesenchymal transition molecular programs to drive prometastatic phenotypes in non‐small cell lung cancer

Molecular Oncology, EarlyView.
Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau, Lilian G. Zhai, Ryunosuke Hoshi, Zackary Rousseau, Abraam Zakhary, Yin Fang Wu, Rola M. Saleeb, Heyu Ni, Kelsie L. Thu   +8 more
wiley   +1 more source

Deriving safety cases for hierarchical structure in model-based development [PDF]

Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains.
Fischer, Bernd, Basir, Nurlida, Denney, Ewen   +2 more
core   +1 more source

Code Generation by Example

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
Kevin Lano, Qiaomu Xue
openaire   +1 more source

Heterozygous loss‐of‐function alleles associate the conserved 3′‐5′ exoribonuclease EXOSC10 with hypersensitivity to the anticancer drug 5‐fluorouracil

Molecular Oncology, EarlyView.
EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain, Yann Le Page, Frédéric Percevault, Emmanuelle Becker, Luc Negroni, Almudena Fernandez, Marta Cantero, Diego Muñoz‐Santos, Lluís Montoliu, Cyrille Garnier, Michael Primig   +10 more
wiley   +1 more source

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information [PDF]

Formal methods can in principle provide the highest levels of assurance of code safety by providing formal proofs as explicit evidence for the assurance claims.
Fischer, Bernd, Basir, Nurlida, Denney, Ewen   +2 more
core  

Adaptor protein CIN85 potentiates the motility of osteosarcoma cells via the Akt/mTOR and MMP2‐COL3A1 axis

Molecular Oncology, EarlyView.
CIN85 is highly expressed in osteosarcoma, particularly in metastatic lesions. Its overexpression increases cell migration and Matrigel invasion, while silencing CIN85 suppresses these behaviors. Transcriptome analysis shows that CIN85 regulates MMP2, COL3A1, and Akt/mTOR signaling. Targeting these pathways reverses CIN85‐induced motility, highlighting
Iryna Horak, Iva Staniczková Zambo, Matěj Přikryl, Peter Múdry, Danica Zapletalová, Jarmila Navrátilová, Jiří Navrátil, Jan Šmarda, Liudmyla Drobot, Petr Beneš, Lucia Knopfová   +10 more
wiley   +1 more source