Search Results - Todelar~

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Nuclear Law The Global Debate.

Table of Contents: “…Russian Vision of the Problems and Prospects of the International Legal Framework in the Context of Small Modular Reactors and Transportable Nuclear Power Units -- Chapter 4. …”
Link to Metadata

Sustainable Structures and Construction in Civil Engineering

DOAB: download the publication
DOAB: description of the publication

Innovation in Chemical Plant Design

DOAB: download the publication
DOAB: description of the publication

« La modernité dure longtemps » Penser les discordances des temps avec Christophe Charle

DOAB: download the publication
DOAB: description of the publication

Changes in UK pre‐schooler's mental health symptoms over the first year of the COVID‐19 pandemic: Data from Co‐SPYCE study by Peter J. Lawrence, Simona Skripkauskaite, Adrienne Shum, Polly Waite, Helen Dodd

Connect to this object online.

Socio-emotional and adaptive behaviour in children treated for severe anaemia at Lira Regional Referral Hospital, Uganda: a prospective cohort study by Andrew Sentoogo Ssemata, Robert Opika Opoka, John Mbaziira Ssenkusu, Noeline Nakasujja, Chandy C. John, Paul Bangirana

Connect to this object online.

Vitamin A supplementation in Tanzania: the impact of a change in programmatic delivery strategy on coverage by Shekar Meera, Mshinda Hassan M, Schellenberg Joanna, Masanja Honorati, Mugyabuso Joseph KL, Ndossi Godwin D, de Savigny Don

Connect to this object online.

Prostate Cancer Detected by Choroidal Tumor and Complete Response to Hormonal Therapy: Case Report and Literature Review of 24 Patients With Choroidal Metastasis From Prostate Canc... by Toshihiko Matsuo MD, PhD, Takehiro Tanaka MD, PhD, Aya Nakamura MD, PhD, Koichiro Wada MD, PhD

Connect to this object online.

A novel transition clinic structure for adolescent and young adult patients with childhood onset rheumatic disease improves transition outcomes by Rebecca S. Overbury, Kelly Huynh, John Bohnsack, Tracy Frech, Aimee Hersh

Connect to this object online.

Leiomioma vascular bucal: relato de dois casos, revisão da literatura e estudo imuno-histoquímico Oral vascular leiomyoma: report of two cases, review of literature and immunohis... by Vanessa Ávila Sarmento Silveira, Susana Ungaro Amadei, Ana Cristina Posch Machado, Renata Falchete do Prado, Adriana Costa Neves, Maria Rozeli de Souza Quirino, Yasmin Rodarte Carvalho

Connect to this object online.

Beyond individual factors: a critical ethnographic account of urban residential fire risks, experiences, and responses in single-room occupancy (SRO) housing by Catherine Liao, Colleen Varcoe, Helen Brown, Ian Pike

Connect to this object online.

Associations of inflammation related prenatal adversities with neurodevelopment of offspring in one year: a longitudinal prospective birth cohort study by Ming Gan, Xianxian Zhu, Weiting Wang, Kan Ye, Yangqian Jiang, Tao Jiang, Hong Lv, Qun Lu, Rui Qin, Shiyao Tao, Lei Huang, Xin Xu, Cong Liu, Yuanyan Dou, Kang Ke, Tianyu Sun, Yuxin Liu, Yue Jiang, Xiumei Han, Guangfu Jin, Hongxia Ma, Hongbing Shen, Zhibin Hu, Yichun Guan, Yuan Lin, Jiangbo Du

Connect to this object online.

Comportamiento del carcinoma basocelular facial en Artemisa durante la última década by Mileydis Viñas García, Yudit Algozaín Acosta, Licerba Álvarez Campos, Juan Carlos Quintana Díaz

Connect to this object online.

Experiências de dor e lesão no desporto feminino by Maria Claudia Pinheiro, Nuno Jorge Pimenta, Natália Pereira, Sebastião Votre

Connect to this object online.

Bukkal bölgede pleomorfik adenoma: bir olgu sunumu by Defne Akpinar, Esma Boysan, Filiz Tahtabas, Mustafa Ozturk

Connect to this object online.

Bukkal bölgede pleomorfik adenoma: bir olgu sunumu by Defne Akpinar, Filiz Tahtabas, Esma Boysan, Mustafa Ozturk

Connect to this object online.

Analgesic Activity, Chemical Profiling and Computational Study on Chrysopogon aciculatus by S. M. Neamul Kabir Zihad, Niloy Bhowmick, Shaikh Jamal Uddin, Nazifa Sifat, Md. Shamim Rahman, Razina Rouf, Muhammad Torequl Islam, Muhammad Torequl Islam, Shrabanti Dev, Hazrina Hazni, Shahin Aziz, Eunüs S. Ali, Asish K. Das, Jamil A. Shilpi, Lutfun Nahar, Satyajit D. Sarker

Connect to this object online.

Factors associated with neurodevelopment in preterm infants with systematic inflammation by Eun Sun Lee, Ee-Kyung Kim, Seung han Shin, Young-Hun Choi, Young Hwa Jung, Sae Yun Kim, Ji Won Koh, Eui Kyung Choi, Jung-Eun Cheon, Han-Suk Kim

Connect to this object online.

Implementing a toolkit for the prevention, management and control of carbapenemase-producing Enterobacteriaceae in English acute hospitals trusts: a qualitative evaluation by Annegret Schneider, Caroline Coope, Susan Michie, Richard Puleston, Susan Hopkins, Isabel Oliver

Connect to this object online.