Results 91 to 100 of about 21,783,491 (356)
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity.
openaire +2 more sources
Molecular Oncology, EarlyView.This study investigated how PYCR1 inhibition in bone marrow stromal cells (BMSCs) indirectly affects multiple myeloma (MM) cell metabolism and viability. Culturing MM cells in conditioned medium from PYCR1‐silenced BMSCs impaired oxidative phosphorylation and increased sensitivity to bortezomib.
Inge Oudaert +13 more
wiley +1 more source
Molecular Oncology, EarlyView.In over 50% of non‐metastatic breast cancer patients, circulating tumor cells (CTCs) along the whole epithelial‐mesenchymal transition spectrum are detected. Total CTC number and individual phenotypes relate to aggressive disease characteristics, including lymph node involvement and higher tumor proliferation. At the single‐cell level, mesenchymal CTCs
Justyna Topa +14 more
wiley +1 more source
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +1 more source
Regular Model Checking Upside-Down: An Invariant-Based Approach [PDF]
Logical Methods in Computer ScienceRegular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet.
Javier Esparza +2 more
doaj +1 more source
Survivin and Aurora Kinase A control cell fate decisions during mitosis
Molecular Oncology, EarlyView.Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir +2 more
wiley +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 +7 more
wiley +1 more source
Model Checking Properties on Reduced Trace Systems
Algorithms, 2014 Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system.
Antonella Santone, Gigliola Vaglini
doaj +1 more source
FEBS Open Bio, EarlyView.TTT and R2TP chaperone complexes are required for the assembly and activation of mTORC1. WAC directly interacts with components of TTT, R2TP, and mTORC1, and these interactions are affected by the availability of glucose and glutamine, correlating with changes in mTORC1 activity.
Sofía Cabezudo +11 more
wiley +1 more source
2009 IEEE International Conference on Software Maintenance, 2009 Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered model checking of single versions of programs. It is well understood that model checking can be very expensive for large, complex programs.
Yang, Guowei +2 more
openaire +3 more sources