Results 111 to 120 of about 104,454 (340)
FEBS Open Bio, EarlyView.Heterologous expression of membrane transporters in cultured cells is essential for functional characterization, but is sometimes limited by low activity. Our study compares the HDAC inhibitors butyrate, VPA and SAHA to enhance transport activity. We propose to replace butyrate by SAHA: it is equally effective, devoid of repulsive odor, costs less, and
Svenja Flögel +4 more
wiley +1 more source
A Calculus for True Concurrency [PDF]
arXiv, 2017 We design a calculus for true concurrency called CTC, including its syntax and operational semantics. CTC has good properties modulo several kinds of strongly truly concurrent bisimulations and weakly truly concurrent bisimulations, such as monoid laws, static laws, new expansion law for strongly truly concurrent bisimulations, $\tau$ laws for weakly ...
arxiv
FEBS Open Bio, EarlyView.We generated and characterized clear cell renal cell carcinoma models using the patient‐derived RCC243 cell line—including cell culture, orthotopic, and metastatic tumors—via single‐cell RNA‐sequencing for comparisons between models and patient tumor datasets.
Richard Huang +9 more
wiley +1 more source
Reversible Truly Concurrent Process Algebra [PDF]
arXiv, 2018 We design a reversible version of truly concurrent process algebra CTC which is called RCTC. It has good properties modulo several kinds of strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations.
arxiv
Concurrent Flexible Reversibility [PDF]
, 2013 Concurrent reversibility has been studied in different ar- eas, such as biological or dependable distributed systems. However, only "rigid" reversibility has been considered, allowing to go back to a past state and restart the exact same computation, possibly leading to diver- gence.
Lanese, Ivan +4 more
openaire +6 more sources
Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science, 1986 AbstractThe semantics expressed intuitively as ‘execute as much as possible in parallel’ is formally defined and analysed. The relation between such a maximally concurrent semantics and ‘normal’ concurrent semantics is developed. Necessary and sufficient criteria for the equivalence of these semantics are formulated.
Janicki, Ryszard +3 more
openaire +2 more sources
Measuring Overhead of Concurrency and Virtual Memory
Моделирование и анализ информационных систем, 2018 We present the methodology, as well as results of measurements and evaluation of overhead created by concurrency and virtual memory. A special measurement technique and testbed were used to obtain the most accurate data from the experiments.
Yauhen Klimiankou
doaj +1 more source
THE CELLULAR CHANGES PRODUCED IN TISSUE CULTURES BY HERPES B VIRUS CORRELATED WITH THE CONCURRENT MULTIPLICATION OF THE VIRUS [PDF]
, 1955 Magdalena Reissig, Joseph L. Melnick
openalex +1 more source
Computer Physics Communications, 2015 The parallel version of the multidimensional numerical integration package Cuba is presented and achievable speed-ups discussed.
openaire +2 more sources