Results 51 to 60 of about 6,656 (189)

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

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, Gay, Simon J., Nagarajan, Rajagopal   +2 more
openaire   +1 more source

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

Equivalence checking of quantum circuits via intermediary matrix product operator

Physical Review Research
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design.
Aaron Sander, Lukas Burgholzer, Robert Wille   +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, Shynar R. Zhailauova   +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, Sachin Kumar Maddheshiya, Chandan Karfa   +2 more
doaj   +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., Markov, Igor L., Hayes, John P.   +2 more
openaire   +2 more sources

Crucial parameters for precise copy number variation detection in formalin‐fixed paraffin‐embedded solid cancer samples

Molecular Oncology, EarlyView.
This study shows that copy number variations (CNVs) can be reliably detected in formalin‐fixed paraffin‐embedded (FFPE) solid cancer samples using ultra‐low‐pass whole‐genome sequencing, provided that key (pre)‐analytical parameters are optimized.
Hanne Goris, Vasiliki Siozopoulou, Léon C van Kempen, Anne Sieben, Ella Roelant, Stig Hellemans, Elyne Backx, Laure Sorber, Koen De Winne, Senada Koljenović, Karen Zwaenepoel   +10 more
wiley   +1 more source

Semiring-based Specification Approaches for Quantitative Security [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence of an
Fabio Martinelli, Ilaria Matteucci, Francesco Santini   +2 more
doaj   +1 more source

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source