Results 101 to 110 of about 14,163,398 (293)
FEBS Open Bio, EarlyView.Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley +1 more source
Secure Execution of Distributed Session Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages.
Nuno Alves +3 more
doaj +1 more source
Long‐term hippocampal alterations and cognitive impairment in a murine model of surgical sepsis
FEBS Open Bio, EarlyView.Using a mouse model of surgical sepsis, we tested long‐term memory and analyzed the transcriptome of single cells isolated from the hippocampus. Survivor mice showed worse memory, loss of certain brain cell subpopulations, and abnormal immune cell activity—suggesting that post‐sepsis brain alterations may be linked to cognitive deficits.
Dong Seong Cho +4 more
wiley +1 more source
Open Multiparty Sessions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty session enjoy lock-freedom.
Franco Barbanera +1 more
doaj +1 more source
On projecting processes into session types [PDF]
Mathematical Structures in Computer Science, 2012 We define session types as projections of the behaviour of processes with respect to the operations processes perform on channels. This calls for a parallel composition operator over session types denoting the simultaneous access to a channel by two or more processes.
openaire +2 more sources
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick +19 more
wiley +1 more source
A note on two notions of compliance [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning ...
Massimo Bartoletti +2 more
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2014 Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated.
Tzu-chun Chen
doaj +1 more source
Proc. ACM Program. Lang., 2019 This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated.
David Castro-Perez +4 more
semanticscholar +1 more source