Results 21 to 30 of about 31,483 (257)
On Asynchrony and Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings ICE 2017, arXiv:1711 ...
Luís Cruz-Filipe, Fabrizio Montesi
openaire +4 more sources
Nam Hwayeon: “Choreography of Thought” [PDF]
We are pleased to publish Adeena Mey’s contribution to Film Notes, in which he reflects on the moving image practice of the prominent Korean artist Nam Hwayeon through the notion of a “choreography of thought.” The text considers how Nam’s works navigate
Mey, Adeena
core +4 more sources
Choreography of the centrosome [PDF]
Heliyon, 2020 More than a century ago, the centrosome was discovered and described as "the true division organ of the cell". Electron microscopy revealed that a centrosome is an amorphous structure or pericentriolar protein matrix that surrounds a pair of well-organized centrioles.
openaire +3 more sources
A semantical framework for the orchestration and choreography of web services [PDF]
, 2005 Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to
Zhu, Yaoling, Pahl, Claus
core +2 more sources
Choreographies in Practice [PDF]
, 2016 Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as ...
Luís Cruz-Filipe, Fabrizio Montesi
openaire +3 more sources
The Immunometabolism Choreography [PDF]
Cell Metabolism, 2017 At Cell Metabolism, we often banter that “all roads lead to metabolism.” Over the years, we have witnessed the spectacular growth and integration of the metabolism field with other disciplines such as cancer biology, microbiology, and neurobiology.
Nikla, Emambokus +3 more
openaire +2 more sources
Merging Multiparty Protocols in Multiparty Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol specifications, given as behavioural types, that may be instantiated ...
Fabrizio Montesi, Marco Carbone
doaj +1 more source
The role and significance of national values in teaching students to creative thinking [PDF]
BIO Web of Conferences, 2023 Since ancient times, the relationship between language and culture has been closely linked. Their common features associated with national values are combined in folklore.
Naralieva Shakhlo +2 more
doaj +1 more source
Communications in choreographies, revisited [PDF]
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018 Choreographic Programming is a paradigm for developing correct-by-construction concurrent programs, by writing high-level descriptions of the desired communications and then synthesising process implementations automatically. So far, choreographic programming has been explored in the monadic setting: interaction terms express point-to-point ...
Luís Cruz-Filipe +2 more
openaire +2 more sources
Institutional Learning Curve in Esophagectomy: Technical Standardization of Gastric Conduit Formation and Conduit-Related Outcomes in 187 Consecutive Patients. [PDF]
J Surg OncolABSTRACT Background Learning curves in esophagectomy are often described in terms of procedural volume, but institutional maturation also reflects progressive standardization of reconstruction, operative choreography, and team‐based decision‐making.
Tripathi M +6 more
europepmc +2 more sources