Results 101 to 110 of about 4,235,689 (341)

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

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

The neural crest‐associated gene ERRFI1 is involved in melanoma progression and resistance toward targeted therapy

Molecular Oncology, EarlyView.
ERRFI1, a neural crest (NC)‐associated gene, was upregulated in melanoma and negatively correlated with the expression of melanocytic differentiation markers and the susceptibility of melanoma cells toward BRAF inhibitors (BRAFi). Knocking down ERRFI1 significantly increased the sensitivity of melanoma cells to BRAFi.
Nina Wang, Qian Sun, Daniel Novak, Lei Zhu, Juliane Poelchen, Tamara Steinfass, Yiman Wang, Viktor Umansky, Jochen Utikal   +8 more
wiley   +1 more source

Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond

IEEE Access
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks. This involves identifying vulnerabilities and unintended emergent behaviors, from protocol designs to their ...
Jingda Yang, Sudhanshu Arya, Ying Wang
doaj   +1 more source

A Formal Design Method

Acta Polytechnica, 2000
In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory. In the second part, one possibility of the design process description is discussed by means of one type of ...
Ivan Jelínek, S. Hostomský
openaire   +3 more sources

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source

Towards Realising FollowMe User Profiles for Macro-Intelligent Environments

Computers, 2013
In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling.
Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi   +3 more
doaj   +1 more source

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

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

Microfluidic electro‐viscoelastic manipulation of extracellular vesicles

FEBS Open Bio, EarlyView.
The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh, Éva Bozó, Zikrullah Bölükkaya, Artem Zhyvolozhnyi, Anatoliy Samoylenko, Henrikki Liimatainen, Seppo J. Vainio, Caglar Elbuken   +7 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