Results 81 to 90 of about 1,628,385 (330)

A Formal Method for Mapping Software Engineering Practices to Essence [PDF]

International Journal of Software Engineering,2018,6,9, 2018
Essence Framework EF aims at addressing the core problems of software engineering SE and its ...
arxiv  

A comparative study of circulating tumor cell isolation and enumeration technologies in lung cancer

Molecular Oncology, EarlyView.
Lung cancer cells were spiked into donor blood to evaluate the recovery rates of the following circulating tumor cell (CTC) enrichment technologies: CellMag™, EasySep™, RosetteSep™, Parsortix® PR1, and Parsortix® Prototype systems. Each method's advantages and disadvantages are described.
Volga M Saini, Ezgi Oner, Mark P. Ward, Sinead Hurley, Brian David Henderson, Faye Lewis, Stephen P. Finn, Gerard J. Fitzmaurice, John J. O'Leary, Sharon O'Toole, Lorraine O'Driscoll, Kathy Gately   +11 more
wiley   +1 more source

Ranking and selection of commercial off-the-shelf using fuzzy distance based approach [PDF]

Decision Science Letters, 2015
There is a tremendous growth of the use of the component based software engineering (CBSE) approach for the development of software systems. The selection of the best suited COTS components which fulfils the necessary requirement for the development of ...
Rakesh Garg, R. K. Sharma, Kapil Sharma
doaj   +1 more source

A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic [PDF]

, 2006
International audienceComponent Based Software Engineering has now emerged as a discipline for system development. After years of battle between component platforms, the need for means to abstract away from specific implementation details is now ...
Poizat, Pascal, Royer, Jean-Claude
core   +5 more sources

Cellular liquid biopsy provides unique chances for disease monitoring, preclinical model generation and therapy adjustment in rare salivary gland cancer patients

Molecular Oncology, EarlyView.
We quantified and cultured circulating tumor cells (CTCs) of 62 patients with various cancer types and generated CTC‐derived tumoroid models from two salivary gland cancer patients. Cellular liquid biopsy‐derived information enabled molecular genetic assessment of systemic disease heterogeneity and functional testing for therapy selection in both ...
Nataša Stojanović Gužvić, Florian Lüke, Steffi Treitschke, Andrea Coluccio, Martin Hoffmann, Giancarlo Feliciello, Adithi Ravikumar Varadarajan, Xin Lu, Kathrin Weidele, Catherine Botteron, Silvia Materna–Reichelt, Felix Keil, Katja Evert, Florian Weber, Thomas Schamberger, Michael Althammer, Jirka Grosse, Dirk Hellwig, Christian Schulz, Stephan Seitz, Peter Ugocsai, Anke Schlenska‐Lange, Roman Mayr, Ulrich Kaiser, Wolfgang Dietmaier, Bernhard Polzer, Jens Warfsmann, Kamran Honarnejad, Tobias Pukrop, Daniel Heudobler, Christoph A. Klein, Christian Werno   +31 more
wiley   +1 more source

Targeting rapid TKI‐induced AXL upregulation overcomes adaptive ERK reactivation and exerts antileukemic effects in FLT3/ITD acute myeloid leukemia

Molecular Oncology, EarlyView.
Adaptive ERK reactivation hinders FLT3 tyrosine kinase inhibitor (TKI) treatment in FLT3/ITD acute myeloid leukemia. Here, we report that FLT3 TKI treatment rapidly induces AXL expression and upregulation that is temporally associated with the adaptive ERK reactivation.
Tessa S. Seale, Li Li, J. Kyle Bruner, Melody Chou, Bao Nguyen, Jaesung Seo, Ruiqi Zhu, Mark J. Levis, Christine A. Pratilas, Donald Small   +9 more
wiley   +1 more source

A component-based method for developing web applications

Revista Colombiana de Computación, 2003
We describe, in this paper, a component-based software engineering method for helping development teams to plan, organize, control, and develop web applications.
Jonas A. Montilva C., Judith Barrios A.
doaj  

Combined spatially resolved metabolomics and spatial transcriptomics reveal the mechanism of RACK1‐mediated fatty acid synthesis

Molecular Oncology, EarlyView.
The authors analyzed the spatial distributions of gene and metabolite profiles in cervical cancer through spatial transcriptomic and spatially resolved metabolomic techniques. Pivotal genes and metabolites within these cases were then identified and validated.
Lixiu Xu, Jinqiu Li, Junqi Ma, Ayshamgul Hasim   +3 more
wiley   +1 more source

Algebraic specifications and refinement for component-based development using RAISE

Journal of Computer Science and Technology, 2002
There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components.
Elsa Clara Estévez, Pablo Rubén Fillottrani   +1 more
doaj  

AN ANALYSIS OF SOME ASPECTS OF COMPONENT-BASED PROGRAMMING FOR SELECTING APPROPRIATE CATEGORICAL STRUCTURES AS THEIR MODELS [PDF]

Acta Electrotechnica et Informatica, 2017
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary
William STEINGARTNER, Davorka RADAKOVIC, Valerie NOVITZKA, Mohamed Ali M. ELDOJALI   +3 more
doaj   +1 more source