Search Results - Urash~

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata

Helvete 3 Bleeding Black Noise

DOAB: download the publication
DOAB: description of the publication

Politics of the Meiji Press The Life of Fukuchi Gen'ichirō by Huffman, James L.

DOAB: download the publication
DOAB: description of the publication

Vector-borne disease risk indexes in spatially structured populations. by Jorge Velázquez-Castro, Andrés Anzo-Hernández, Beatriz Bonilla-Capilla, Moisés Soto-Bajo, Andrés Fraguela-Collar

Connect to this object online.

Sexual Function and Quality of Life in Iranian Women With Human Papillomavirus Infection by Afsaneh Tehranian, Marzieh Vahid Dastjerdi, Sare Hatamian, Akram Ghahghaei-Nezamabadi

Connect to this object online.

A randomized trial to evaluate the effectiveness of an individual, education-based safe transport program for drivers aged 75 years and older by Keay Lisa, Coxon Kristy, Brown Julie, Clarke Elizabeth, Boufous Soufiane, Bundy Anita, Lo Serigne, Ivers Rebecca

Connect to this object online.

A Novel UPLC-MS/MS Assay for the Measurement of Linezolid and its Metabolite PNU-142300 in Human Serum and its Application to Patients With Renal Insufficiency by Yingying Wang, Er-min Gu, Xiaoxiang Du, Ren-ai Xu, Guanyang Lin

Connect to this object online.

Tolerance of Rhizobium Isolates to Certain Heavy Metals by Esra Hussien, Raad Sultan, Vineetha Edavana

Connect to this object online.

Open public spaces and physical activity facilities: study of systematic observation of the environment by Sofia Wolker Manta, Adalberto Aparecido dos Santos Lopes, Adriano Akira Ferreira Hino, Tânia Rosane Bertoldo Benedetti, Cassiano Ricardo Rech

Connect to this object online.

Exploring the utility of social-ecological and entomological risk factors for dengue infection as surveillance indicators in the dengue hyper-endemic city of Machala, Ecuador. by Catherine A Lippi, Anna M Stewart-Ibarra, Timothy P Endy, Mark Abbott, Cinthya Cueva, Froilán Heras, Mark Polhemus, Efraín Beltrán-Ayala, Sadie J Ryan

Connect to this object online.

Are atrophic long-bone nonunions associated with low-grade infections? by Dapunt U, Spranger O, Gantz S, Burckhardt I, Zimmermann S, Schmidmaier G, Moghaddam A

Connect to this object online.

Motorcycle-related head and neck injuries: increased risk among ethnic minorities by Irit Cohen-Manheim, Irina Radomislensky, Maya Siman-Tov, Israel Trauma Group, Kobi Peleg

Connect to this object online.

Common questions and misconceptions about caffeine supplementation: what does the scientific evidence really show? by Jose Antonio, Daniel E. Newmire, Jeffrey R. Stout, Brandi Antonio, Maureen Gibbons, Lonnie M. Lowery, Joseph Harper, Darryn Willoughby, Cassandra Evans, Dawn Anderson, Erica Goldstein, Jose Rojas, Matías Monsalves-Álvarez, Scott C. Forbes, Jose Gomez Lopez, Tim Ziegenfuss, Blake D. Moulding, Darren Candow, Michael Sagner, Shawn M. Arent

Connect to this object online.

Recurrence rate of endometrioma after laparoscopic bilateral cystectomy and unilateral cystectomy and drainage in opposite side by Zahra Tavoli, Zahra Asgari, Fatemeh Afshari, Fatemeh Tabatabaei, Ali Montazeri

Connect to this object online.

The relationship between dietary micronutrients and endometriosis: A case-control study by Ghazal Roshanzadeh, Shahideh Jahanian Sadatmahalleh, Ashraf Moini, Azadeh Mottaghi, Farahnaz Rostami

Connect to this object online.

Perceived neighborhood disorder and type 2 diabetes disparities in Hispanic, Black, and White Americans by Min Ying Yu, Alfredo J. Velasquez, Belinda Campos, Belinda Campos, Jennifer W. Robinette

Connect to this object online.

Driving contradictions: behaviors and attitudes regarding handheld and hands-free cellphone use while driving among young drivers by Lucas M. Neuroth, Dylan Galos, Li Li, Songzhu Zhao, Motao Zhu

Connect to this object online.

The Effect of Sildenafil on Pregnancy Outcomes in Pregnant Women With Idiopathic Borderline Oligohydramnios: A Randomized Controlled Trial by Marzieh Vahid Dastjerdi, Akram Ghahghaei-Nezamabadi, Afsaneh Tehranian, Mahbobeh Mesgaran

Connect to this object online.

Sindrom Nefrotik Kongenital by Sudung O. Pardede

Connect to this object online.

Management and outcomes in massive bilateral Wilms' tumors by Sandeep Agarwala, Deepak Mittal, Veereshwar Bhatnagar, M Srinivas, Sameer Bakhshi, Minu Bajpai, Devendra Kumar Gupta, V K Iyer, Bidyut K Mohanti, Sanjay Thulkar

Connect to this object online.