Results 91 to 100 of about 5,734,084 (343)

A Logic-based Framework for Software Construction

Journal of King Saud University - Computer and Information Sciences, 1997
AbstractThis paper describes a framework for assisting the automatic construction of programs from separately designed and compiled modules. The framework has facilities to automatically extract many important items of information from source codes. It has also facilities to deduce new items from old ones. The framework also supports multiple versions,
openaire   +2 more sources

Compositional Construction and Reasoning Techniques for Software [PDF]

, 2005
Compositional Construction and Reasoning Techniques for ...
Arbab,Farhad, Kok,Joost
openaire   +1 more source

MET and NF2 alterations confer primary and early resistance to first‐line alectinib treatment in ALK‐positive non‐small‐cell lung cancer

Molecular Oncology, EarlyView.
Alectinib resistance in ALK+ NSCLC depends on treatment sequence and EML4‐ALK variants. Variant 1 exhibited off‐target resistance after first‐line treatment, while variant 3 and later lines favored on‐target mutations. Early resistance involved off‐target alterations, like MET and NF2, while on‐target mutations emerged with prolonged therapy.
Jie Hu, Ning Ding, Xiaobo Xu, Yedan Chen, Yong Zhang, Jingwen Liu, Jiebai Zhou, Hairong Bao, Donghui Zhang, Yijun Song, Yang Shao, Yuanlin Song   +11 more
wiley   +1 more source

Determination of ADP/ATP translocase isoform ratios in malignancy and cellular senescence

Molecular Oncology, EarlyView.
The individual functions of three isoforms exchanging ADP and ATP (ADP/ATP translocases; ANTs) on the mitochondrial membrane remain unclear. We developed a method for quantitatively differentiating highly similar human ANT1, ANT2, and ANT3 using parallel reaction monitoring. This method allowed us to assess changes in translocase levels during cellular
Zuzana Liblova, Dominika Maurencova, Barbora Salovska, Marek Kratky, Tomas Mracek, Zuzana Korandova, Alena Pecinova, Pavla Vasicova, David Rysanek, Ladislav Andera, Ivo Fabrik, Rudolf Kupcik, Pavel Kashmel, Pinky Sultana, Vojtech Tambor, Jiri Bartek, Josef Novak, Marie Vajrychova, Zdenek Hodny   +18 more
wiley   +1 more source

Integration and performance optimization of gallium nitride barrier micro nano electromechanical systems in intelligent agricultural sensor networks

Measurement: Sensors
This study aims to explore the application of gallium nitride (GaN) barrier in hardware optimization of micro nano scale electromechanical systems (MEMS), particularly its ability to overcome the limitations of traditional hardware in high-temperature ...
Ji Gu
doaj  

Landscape of BRAF transcript variants in human cancer

Molecular Oncology, EarlyView.
We investigate the annotation of BRAF variants, focusing on protein‐coding BRAF‐220 (formerly BRAF‐reference) and BRAF‐204 (BRAF‐X1). The IsoWorm pipeline allows us to quantify these variants in human cancer, starting from RNA‐sequencing data. BRAF‐204 is more abundant than BRAF‐220 and impacts patient survival.
Maurizio S. Podda, Danilo Tatoni, Gianluca Mattei, Alberto Magi, Romina D'Aurizio, Laura Poliseno   +5 more
wiley   +1 more source

Robotic assembly of modular concrete shells using falsework

Developments in the Built Environment
The rapid development of robotics has the potential to transform the construction industry of the future. One possible application of robots is the assembly of modular concrete shells.
Egor Ivaniuk, Dmytro Pukhkaiev, Mathias Reichle, Wanqi Zhao, Johannes Mey, Manuel Krombholz, Zlata Tošić, Uwe Aßmann, Sven Klinkel, Viktor Mechtcherine   +9 more
doaj  

Construction of Evaluation Criteria and Module for Industrial Software [PDF]

, 2008
Byung-Tae Lee, Hae-Sool Yang
openalex   +1 more source

Comprehensive omics‐based classification system in adult patients with B‐cell acute lymphoblastic leukemia

Molecular Oncology, EarlyView.
The COMBAT classification system, developed through multi‐omics integration, stratifies adult patients with B‐cell acute lymphoblastic leukemia(B‐ALL) into three molecular subtypes with distinct surface antigen patterns, immune landscape, methylation patterns, biological pathways and prognosis.
Yang Song, Ting Liu, Qishan Hao, Qiuyun Fang, Xiaoyuan Gong, Yan Li, Zheng Tian, Hui Wei, Min Wang, Jianxiang Wang, Tao Cheng, Yingchang Mi   +11 more
wiley   +1 more source

PyNomo software dataset for sciences and engineering nomogram construction

Data in Brief, 2022
This article examines different python-based codes to be run under PyNomo nomographer software to represent alignment charts or nomograms for formulas commonly used in sciences and engineering studies.
Pedro Martínez-Pagán, Leif Roschier
doaj