Results 101 to 110 of about 1,932,015 (306)

On the Impact of Formal Methods in the SOA

Electronic Notes in Theoretical Computer Science, 2006
AbstractWe present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. In particular we focus on transactional support in the Web Service Architecture. The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely ...
BOCCHI, LAURA, CIANCARINI, PAOLO
openaire   +3 more sources

Counting Votes with Formal Methods [PDF]

, 2004
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own involvement in the infrastructure for this experiment. The talk will elaborate further about the computer security issues involved, especially with respect to the use of ...
Jacobs, B.P.F., Hubbers, E.M.G.M., Kiniry, J.R., Oostdijk, M.D.   +3 more
openaire   +2 more sources

Clinical performance of the urine‐based TERT promoter AbsoluteQ Digital PCR for non‐invasive detection of bladder cancer

Molecular Oncology, EarlyView.
A urine‐based digital PCR assay targeting two hotspot TERT promoter variants detected bladder cancer with high sensitivity and no false positives in this case–control cohort. The streamlined AbsoluteQ workflow outperformed Sanger sequencing and supports non‐invasive molecular testing for bladder cancer detection.
Anna Nykel, Izabela Kubiak, Lena Rutkowska, Żaneta Kasprzyk, Łukasz Kępczyński, Michał Bednarek, Dariusz Sobieraj, Jacek Wilkosz, Piotr Kania, Adam Jędrzejczyk, Bogdan Kałużewski, Agnieszka Gach, Tadeusz Kałużewski   +12 more
wiley   +1 more source

Making Sense of Projects—Developing Project Portfolio Management Capabilities

Schmalenbach Journal of Business Research
Project management and project portfolio management (PPM) foster competitiveness by facilitating the implementation of organizational strategy. Although organizations often struggle to develop PPM capabilities, the academic community does not have an in ...
Frederik Ahlemann, Peder Bergan, Erik Karger, Malte Greulich, Stefan Reining   +4 more
doaj   +1 more source

Developmental programmes drive cellular plasticity, disease progression and therapy resistance in lung adenocarcinoma

Molecular Oncology, EarlyView.
This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska, Stephany Gallardo, Nur S. Zainal, Leena Arora, Matthew Ellis, Maria‐Antoinette Lopez, Judith Austine, Sai Pittla, Serena J Chee, Aiman Alzetani, Emily C Shaw, Christian H Ottensmeier, Gareth J Thomas, Christopher J Hanley   +13 more
wiley   +1 more source

Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data. [PDF]

PLoS One, 2023
Klein J, Phung H, Hajnal M, Šafránek D, Petrov T.   +4 more
europepmc   +1 more source

Flow Enabled Target Capture Halbach‐based magnetic enrichment increases circulating tumor cell capture from blood in metastatic cancer patients

Molecular Oncology, EarlyView.
Pair‐wise comparison of the CellSearch and FETCH enrichment technologies for circulating tumor cells (CTCs) from metastatic breast, prostate, and small cell lung cancer patients shows an increased capture of CTCs using FETCH enrichment. The clinical implementation of circulating tumor cells (CTCs) as a predictive tool for therapy efficacy in the ...
Michiel Stevens, Anouk Mentink, Tom Niessink, Frank Coumans, Leonie Mekenkamp, Ruchi Bansal, Jeroen Hiltermann   +6 more
wiley   +1 more source

Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]

JAMIA Open, 2023
Casale R, Varriano G, Santone A, Messina C, Casale C, Gitto S, Sconfienza LM, Bali MA, Brunese L.   +8 more
europepmc   +1 more source

C2α‐carbanion‐protonating glutamate discloses tradeoffs between substrate accommodation and reaction rate in actinobacterial 2‐hydroxyacyl‐CoA lyase

FEBS Open Bio, EarlyView.
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn, Barbara Seroka, Ryszard Lazny, Zenon Lotowski, Thore Rohwerder   +4 more
wiley   +1 more source

Formal methods: practical applications and foundations: Editorial. [PDF]

Form Methods Syst Des, 2021
Ter Beek MH, McIver A.
europepmc   +1 more source