Results 71 to 80 of about 131,761 (282)
Targeted modulation of IGFL2‐AS1 reveals its translational potential in cervical adenocarcinoma
Molecular Oncology, EarlyView.Cervical adenocarcinoma patients face worse outcomes than squamous cell carcinoma counterparts despite similar treatment. The identification of IGFL2‐AS1's differential expression provides a molecular basis for distinguishing these histotypes, paving the way for personalized therapies and improved survival in vulnerable populations globally.
Ricardo Cesar Cintra +6 more
wiley +1 more source
On the Minimization of Finite State Trans- ducers over Semigroups
Моделирование и анализ информационных систем, 2016 Finite state transducers over semigroups are regarded as a formal model of sequential reactive programs that operate in the interaction with the environment.
V. A. Zakharov, G. G. Temerbekova
doaj +1 more source
Verification of integer multipliers on the arithmetic bit level [PDF]
, 2006 One of the most severe short-comings of currently available equivalence checkers is their inability to verify integer multipliers. In this paper, we present a bit level reverse-engineering technique that can be integrated into standard equivalence ...
Kunz, Wolfgang, Stoffel, Dominik
core
Automated Equivalence Checking of Concurrent Quantum Systems [PDF]
ACM Transactions on Computational Logic, 2018 The novel field of quantum computation and quantum information has gathered significant momentum in the last few years. It has the potential to radically impact the future of information technology and influence the development of modern society.
Ardeshir-Larijani, Ebrahim +2 more
openaire +1 more source
RIPK4 function interferes with melanoma cell adhesion and metastasis
Molecular Oncology, EarlyView.RIPK4 promotes melanoma growth and spread. RIPK4 levels increase as skin lesions progress to melanoma. CRISPR/Cas9‐mediated deletion of RIPK4 causes melanoma cells to form less compact spheroids, reduces their migratory and invasive abilities and limits tumour growth and dissemination in mouse models.
Norbert Wronski +9 more
wiley +1 more source
Equivalence checking of quantum circuits via intermediary matrix product operator
Physical Review ResearchAs quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design.
Aaron Sander +2 more
doaj +1 more source
On the Minimization Problem for Sequential Programs
Моделирование и анализ информационных систем, 2017 First-order program schemata is one of the simplest models of sequential imperative programs intended for solving verification and optimization problems.
Vladimir A. Zakharov +1 more
doaj +1 more source
VP_TT: A value propagation based equivalence checker for testability transformations
IET Software, 2021 Testability transformation (TT) is a source‐to‐source programme transformation that aims to improve the ability of a given test generation method to generate test data for the original programme.
Ramanuj Chouksey +2 more
doaj +1 more source
A reduced semantics for deciding trace equivalence using constraint systems
, 2014 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
A. Anisimov +7 more
core +1 more source
Checking equivalence of quantum circuits and states [PDF]
2007 IEEE/ACM International Conference on Computer-Aided Design, 2007 Quantum computing promises exponential speed-ups for important simulation and optimization problems. It also poses new CAD problems that are similar to, but more challenging, than the related problems in classical (non-quantum) CAD, such as determining if two states or circuits are functionally equivalent. While differences in classical states are easy
Viamontes, George F. +2 more
openaire +2 more sources