Results 61 to 70 of about 3,998,075 (362)
Functional computation as concurrent computation [PDF]
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96, 1996 We investigate functional computation as a special form of concurrent computation. As formal basis, we use a uniformly confluent core of the π-calculus, which is also contained in models of higher-order concurrent constraint programming. We embed the call-by-need and the call-by-value λ-calculus into the π-calculus.
openaire +2 more sources
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source
O uso de simulação como metodologia de pesquisa em ciências sociais
Cadernos EBAPE.BRA simulação é apresentada como uma metodologia pouco utilizada nas ciências sociais, quando comparada ao estudo de caso e à comparação, como forma de superar a dificuldade de realização de experimentos.
Paulo Vicente
doaj +1 more source
Analysis on Computation-Intensive Status Update in Mobile Edge Computing [PDF]
arXiv, 2020 In status update scenarios, the freshness of information is measured in terms of age-of-information (AoI), which essentially reflects the timeliness for real-time applications to transmit status update messages to a remote controller. For some applications, computational expensive and time consuming data processing is inevitable for status information ...
arxiv
Turing machines can be efficiently simulated by the General Purpose Analog Computer [PDF]
, 2012 The Church-Turing thesis states that any sufficiently powerful computational model which captures the notion of algorithm is computationally equivalent to the Turing machine. This equivalence usually holds both at a computability level and at a computational complexity level modulo polynomial reductions.
arxiv +1 more source
Applied Mathematics and Computation, 2009 In this survey we consider optical computers that encode data using images and compute by transforming such images. We give an overview of a number of such optical computing architectures, including descriptions of the type of hardware commonly used in optical computing, as well as some of the computational efficiencies of optical devices.
Woods, Damien, Naughton, Thomas J.
openaire +6 more sources
FEBS Letters, EarlyView.Hermansky‐Pudlak syndrome type 1 (HPS‐1) is a rare, autosomal recessive disorder with poorly understood renal involvement. Urinary extracellular vesicle (uEV) proteomics and a novel Hps1 mouse model reveal mitochondrial abnormalities and lipid accumulation in HPS‐1 kidney proximal tubule cells. Serum ApoA1 correlates with kidney function in our patient
Dawn M. Maynard +7 more
wiley +1 more source
FEBS Letters, EarlyView.We describe a novel set of Epac‐based FRET‐FLIM biosensors with improved fully cytosolic distribution, achieved without compromising the state‐of‐the‐art performance of our original designs, for detecting cAMP dynamics in real time in live cells with high precision and reliability.
Giulia Zanetti +2 more
wiley +1 more source
Human-Machine Communication Journal, 2020 In human-machine communication, people interact with a communication partner that is of a different ontological nature from themselves. This study examines how people conceptualize ontological differences between humans and computers and the implications
Andrea L. Guzman
doaj +1 more source
Diphthamide synthesis is linked to the eEF2‐client chaperone machinery
FEBS Letters, EarlyView.The diphthamide modification of eukaryotic translation elongation factor 2 (eEF2) is important for accurate protein synthesis. We addressed the potential coordination of de novo eEF2 synthesis with simultaneous or subsequent diphthamide modification. Our work reveals that the co‐chaperones Hgh1 and Cpr7, which are known to support folding of nascent ...
Lars Kaduhr +4 more
wiley +1 more source