Search Results - "On Spec"

Prevalence of rotavirus infection among children with acute diarrhoea after rotavirus vaccine introduction in Kenya, a hospital cross-sectional study by Catherine Muendo, Ahmed Laving, Rashmi Kumar, Boniface Osano, Thaddaeus Egondi, Pamela Njuguna

Connect to this object online.

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

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Sync for Genes Phase 5: Computable artifacts for sharing dynamically annotated FHIR‐formatted genomic variants by Robert Dolin, Bret S. E. Heale, Rohan Gupta, Carla Alvarez, Justin Aronson, Aziz Boxwala, Shaileshbhai R. Gothi, Ammar Husami, James Shalaby, Lawrence Babb, Alex Wagner, Srikar Chamala

Connect to this object online.

Tourism promotion system in Poland in the context of selected National Strategic Documents by Rafal Szmytke

Connect to this object online.

Dual-color dual-hapten in situ hybridization (D-DISH) - Comparison with fluorescence in situ hybridization (FISH) for HER2/neu testing in breast cancer by Pooja K Gajaria, Sonali Tambe, Trupti Pai, Asawari Patil, Sangeeta B Desai, Tanuja M Shet

Connect to this object online.

Molecular epidemiology of Rotavirus causing diarrhea among children less than five years of age visiting national level children hospitals, Nepal by Subhash Dhital, Jeevan Bahadur Sherchand, Bharat Mani Pokhrel, Keshab Parajuli, Niranjan Shah, Shyam Kumar Mishra, Sangita Sharma, Hari Prasad Kattel, Sundar Khadka, Sulochana Khatiwada, Narayan Parajuli, Basistha Rijal

Connect to this object online.

Manajemen Sumber Daya Terhadap Mutu Pelayanan Neonatus Di Puskesmas PONED Oesao Kupang by Isterina Felandina Fai, David B.W Pandie, Ina Debora Ratu Ludji

Connect to this object online.

Laporan Tugas Prarancangan Pabrik Prarancangan Pabrik Acrylamide Dari Acrylonitrile Dan Asam Sulfat Kapasitas 20.000 Ton / Tahun by Nursanti , Sri

Connect to this object online

PERILAKU SOSIAL REMAJA TUNAGRAHITA RINGAN DI SPLB-C YPLB CIPAGANTI by Syukur, Shefatikha

Link Metadata

KUALITAS HUBUNGAN GURU PEMBIMBING DENGAN SISWA DALAM PENYULUHAN DAN HUBUNGANNYA DENGAN PERILAKU EFEKTIF SISWA : Studi Deskriptif Anal itik tentang Persepsi Siswa Pengguna Jasa Bimb... by Juntika

Link Metadata

Pengaruh Latihan Aerobik Terhadap Nilai Saturasi Oksigen Dalam Tubuh Pada Pemain Futsal di Universitas Muhammadiyah Surakarta by RAFANDI, IDIAL FITRIAN, , Dwi Rosella K.S., S.FT., M.Fis, , Sugiono S.Fis.MH.Kes

Connect to this object online

Selected Abstracts of the 3rd Edition of Transport of High Risk Infants; Oxford (UK); August 31st-September 2nd, 2017 by -

Connect to this object online.

Selected Lectures of the XXIII National Congress of the Italian Society of Neonatology (Società Italiana di Neonatologia, SIN); Milan (Italy); September 25th-28th, 2017 by -

Connect to this object online.

Selected Abstracts of the 14th International Workshop on Neonatology; Cagliari (Italy); October 24th-27th, 2018 by -

Connect to this object online.

EFEKTIVITAS PENGGUNAAN METODE BERMAINGAMBAR DAN METODE BERMAIN SEMPOATERHADAP PRESTASI BELAJAR MATEMATIKAPADA SISWA KELAS ISEKOLAH DASAR:Penelitian Experimental di SD Desa Tambirej... by Purnomo, -

Link Metadata

Reflections on the origin and history of the Education Inspectorate by Elías Ramírez Aísa

Connect to this object online.

ANALISIS PERBANDINGAN MENGENAI EKUITAS MEREK PADA MEREK GLOBAL DAN MEREK LOKAL : Survei pada pemain sepak bola Akademi Persib U14-U23 by Disty Kurnia, -

Link Metadata

Prevalence and severity of ocular involvement in Graves' disease according to sex and age: A clinical study from Babol, Iran by Sara Gharib, Zoleika Moazezi, Mohammadali Bayani

Connect to this object online.

Implementasi Virtual Reality Pada Museum Radya Pustaka by Prasetyo, Purwoko Fajar

Connect to this object online

PERBANDINGAN KECEPATAN BERBAGAI MERK BOLA PADA OLAHRAGA SEPAKBOLA by Jumiawam, Gelar Akbar

Link Metadata