Filters








200,047 Hits in 6.3 sec

Foundations of Session Types

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2019 Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 - PPDP '19  
We were thrilled to know that our PPDP'09 paper "Foundations of Session Types" [10] was selected for the PPDP Most Influential Paper 10-Year Award.  ...  This privacy property of sessions enables the modular reasoning on complex systems, whereby each session is treatedand typed-in isolation. Thus, it is relatively easy to conceive type  ...  In our PPDP'09 paper, the interpretation of a session type is taken to be the set of its duals and two session types are related by subtyping if and only if all dual types of the smaller type were dual  ... 
doi:10.1145/3354166.3356340 dblp:conf/ppdp/CastagnaDGP19 fatcat:qnkt3jz6mzdbrm2qk36a45izea

Reintroducing mothur: 10 years later

Patrick D. Schloss
2019 Applied and Environmental Microbiology  
More than 10 years ago, we published the manuscript describing the mothur software package in Applied and Environmental Microbiology.  ...  Although it is easy to criticize choices that were made 10 years ago through a modern lens, if we were to wait for all of the possible limitations to be solved before proceeding, science would stall.  ...  ACKNOWLEDGMENTS The development of mothur would not be possible without the contributions of its many supporters, developers, and users.  ... 
doi:10.1128/aem.02343-19 pmid:31704678 pmcid:PMC6952234 fatcat:g2bjj3gha5au7oedrtp5m7esfe

Early reading acquisition and its relation to reading experience and ability 10 years later

Anne E. Cunningham, Keith E. Stanovich
1997 Developmental Psychology  
Ten years later, they were administered measures of exposure to print, reading comprehension, vocabulary, and general knowledge.  ...  First-grade reading ability was a strong predictor of all of the 1 lth-grade outcomes and remained so even when measures of cognitive ability were partialed out.  ...  10 years later.  ... 
doi:10.1037//0012-1649.33.6.934 pmid:9383616 fatcat:wcwhd73iw5f4zkexejqt4ktnvm

Early reading acquisition and its relation to reading experience and ability 10 years later

Anne E. Cunningham, Keith E. Stanovich
1997 Developmental Psychology  
Ten years later, they were administered measures of exposure to print, reading comprehension, vocabulary, and general knowledge.  ...  First-grade reading ability was a strong predictor of all of the 1 lth-grade outcomes and remained so even when measures of cognitive ability were partialed out.  ...  10 years later.  ... 
doi:10.1037/0012-1649.33.6.934 fatcat:qjx6qc6ztvc27dszumnlt75ieu

Active Ingredients of Treatment and Client Mechanisms of Change in Behavioral Treatments for Alcohol Use Disorders: Progress 10 Years Later

Molly Magill, Brian D. Kiluk, Barbara S. McCrady, J. Scott Tonigan, Richard Longabaugh
2015 Alcoholism: Clinical and Experimental Research  
Background-The current review revisits the article entitled: Active Ingredients of Behavioral  ...  In 2014, an RSA symposium titled Active Treatment Ingredients and Client Mechanisms of Change in Behavioral Treatments for Alcohol Use Disorders: Progress 10 Years Later did just that.  ...  CBT INGREDIENTS AND MECHANISMS IN AUD/SUD: WHAT WE'VE LEARNED IN THE PAST 10 YEARS AND WHAT'S STILL MISSING Brian D.  ... 
doi:10.1111/acer.12848 pmid:26344200 pmcid:PMC4592447 fatcat:iztschthmjaqvltnait35sv6n4

A memoir and reflection: knowledge and an evolutionary theory of the multinational firm 10 years later

B Kogut, U Zander
2003 Journal of International Business Studies  
The production of the 1993 article awarded the JIBS Decade Award was written during a time when ideas regarding knowledge and the international expansion of the firm confronted a hostile audience.  ...  conceptions of firms as Legomodular pieces that can be easily shifted, bought, and sold.  ...  Our claim, then and now, is that The multinational firm 10 years later B Kogut and U Zander the question is what their relative importance is.  ... 
doi:10.1057/palgrave.jibs.8400066 fatcat:mjxdic3kcfhhjbcnelljo5rqwa

Perceptual Feedback of Undergraduate Medical Students on Effectiveness of AETCOM (Attitude, Ethics and Communication) Session in Foundation Course

Dr. A. T. Sathiya Vinotha, KMCH Institute of Health Sciences and Research
2021 International journal of multidisciplinary research and analysis  
Conclusion: The AETCOM session in foundation course has largely been perceived in a positive way by the students with some difference in opinion concerning relevance of certain topics.  ...  Methods: First MBBS students joined in the year 2019-20 batch were involved in the study.  ...  supposed to join the MBBS course, most (35) of the first-year students were tardy joining for the foundation course, so 115 students only were included in the study.  ... 
doi:10.47191/ijmra/v4-i11-20 fatcat:tewccc6owzbhbm42dp76fb6m6y

Provably Sound Browser-Based Enforcement of Web Session Integrity

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
2014 2014 IEEE 27th Computer Security Foundations Symposium  
In this paper we provide such foundations, by introducing a novel notion of web session integrity, which allows us to capture many existing attacks and spot some new ones.  ...  We then propose FF + , a securityenhanced model of a web browser that provides a fullfledged and provably sound enforcement of web session integrity.  ...  Acknowledgements: We would like to thank the anonymous referees for their valuable comments and our shepherd Tamara Rezk for her guidance in improving the original submission of this paper.  ... 
doi:10.1109/csf.2014.33 dblp:conf/csfw/BugliesiCFKT14 fatcat:ssrqugw3rvhfbe3it43zzd65fm

Nighttime Blood Pressure Dipping in Young Adults and Coronary Artery Calcium 10-15 Years Later: The Coronary Artery Risk Development in Young Adults Study

A. J. Viera, F.-C. Lin, A. L. Hinderliter, D. Shimbo, S. D. Person, M. J. Pletcher, D. R. Jacobs
2012 Hypertension  
was present 10 to 15 years later in 54 participants (22.6%).  ...  We examined the relationship between systolic nighttime BP dipping in young adults and the presence of coronary artery calcium (CAC) 10 to 15 years later using data from the ambulatory BP monitoring substudy  ...  of coronary artery calcium 10 to 15 years later.  ... 
doi:10.1161/hypertensionaha.112.191536 pmid:22547435 pmcid:PMC3369268 fatcat:nwu6abs4r5copdvikzcbu7tk4e

Association between exposure to radioactive iodine after the Chernobyl accident and thyroid volume in Belarus 10-15 years later

Ekaterina Chirikova, Robert J. McConnell, Patrick O'Kane, Vasilina Yauseyenka, Mark P. Little, Victor Minenko, Vladimir Drozdovitch, Ilya Veyalkin, Maureen Hatch, June M. Chan, Chiung-Yu Huang, Kiyohiko Mabuchi (+3 others)
2022 Environmental Health  
10-15 years later.  ...  Thyroid dose estimates were based on individual thyroid activity measurements made shortly after the accident and dosimetric data from questionnaires obtained 10-15 years later at baseline screening.  ...  10-15 years later.  ... 
doi:10.1186/s12940-021-00820-0 pmid:34996456 pmcid:PMC8742457 fatcat:lqbb2a2wabhl7n5hytgehvf3ca

Structuring Communication with Session Types [chapter]

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2014 Lecture Notes in Computer Science  
Session types are types for distributed communicating processes.  ...  In this paper, we introduce basic ideas of sessions and session types, outline their key technical elements, and discuss how they may be usable for programming, drawing from our experience and comparing  ...  discuss later), hereafter we often use the term "protocols" instead of "session types" when discussing their use for programming.  ... 
doi:10.1007/978-3-662-44471-9_5 fatcat:twguohmr75efrlrjyxai2ga33u

Lifestyle intervention for type 2 diabetes patients – trial protocol of The Copenhagen Type 2 Diabetes Rehabilitation Project

Eva S Vadstrup, Anne Frølich, Hans Perrild, Eva Borg, Michael Røder
2009 BMC Public Health  
Therefore, it is very important that programmes aiming to improve nonpharmacological treatment of type 2 diabetes are developed and evaluated.  ...  During the recruitment period of 18 months 180 type 2 diabetes patients will be randomized to the intervention group and the control group.  ...  The study is supported by grants from the Jascha Foundation, the Research Foundation of Bispebjerg Hospital, the Copenhagen Capital Region Research Foundation, National Board of Health, the Ministry of  ... 
doi:10.1186/1471-2458-9-166 pmid:19480671 pmcid:PMC2694179 fatcat:bgk4pxhkt5e2jpt4mngm5gyg2e

Session types revisited

Ornela Dardha, Elena Giachino, Davide Sangiorgi
2012 Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12  
A binary session type describes communication by specifying the type and direction of data exchanged between two parties.  ...  As a consequence, when new type features are added, there is duplication of effort in the theory: the proofs of properties must be checked both on standard types and on session types.  ...  Dardha is supported by the EPSRC project From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) (EP/K034413/1).  ... 
doi:10.1145/2370776.2370794 dblp:conf/ppdp/DardhaGS12 fatcat:sheadxnyd5fnfaiye7nqaelbk4

Session Types Revisited [chapter]

Ornela Dardha
2016 Type Systems for Distributed Programs: Components and Sessions  
A binary session type describes communication by specifying the type and direction of data exchanged between two parties.  ...  As a consequence, when new type features are added, there is duplication of effort in the theory: the proofs of properties must be checked both on standard types and on session types.  ...  Dardha is supported by the EPSRC project From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) (EP/K034413/1).  ... 
doi:10.2991/978-94-6239-204-5_6 fatcat:i7mdgivmu5awpgvibo34wxtypq

Characteristic Formulae for Session Types [chapter]

Julien Lange, Nobuko Yoshida
2016 Lecture Notes in Computer Science  
Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations.  ...  In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem.  ...  Acknowledgements We would like to thank Luca Aceto, Laura Bocchi, and Alceste Scalas for their invaluable comments on earlier versions of this work.  ... 
doi:10.1007/978-3-662-49674-9_52 fatcat:n6qqeh3grvbc7iflnnpucrswjy
« Previous Showing results 1 — 15 out of 200,047 results