Hakutulokset - electronic design automation

Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant Tekijä Chlipala, Adam

DOAB: download the publication
DOAB: description of the publication

Chapter Students' feedback on the digital ecosystem: a structural topic modeling approach Tekijä Evangelista, Adelia

DOAB: download the publication
DOAB: description of the publication

People Analytics Eine datenschutzrechtliche Betrachtung moderner Einsatzszenarien für automatisierte, datenbasierte Entscheidungen Tekijä Blum, Benjamin

DOAB: download the publication
DOAB: description of the publication

SISTEM KONTROL DAN MONITORING GERBANG OTOMATIS BERBASIS SMARTPHONE Tekijä Rifaldy Fauzy Ridwan, -

Link Metadata

Comunidades Tekijä Ikeda, Yuriko, Baumgardt, Julia

Access online version

Chapter Students' feedback on the digital ecosystem: a structural topic modeling approach Tekijä Evangelista, Adelia

OAPEN Library: download the publication
OAPEN Library: description of the publication

A Review of Virtual Coaching Systems in Healthcare: Closing the Loop With Real-Time Feedback Tekijä Kostas M. Tsiouris, Kostas M. Tsiouris, Vassilios D. Tsakanikas, Dimitrios Gatsios, Dimitrios Gatsios, Dimitrios I. Fotiadis, Dimitrios I. Fotiadis

Connect to this object online.

Comparative evaluation of tooth substance loss and its correlation with the abrasivity and chemical composition of different dentifrices Tekijä Ram Prakash Singh, Sidhartha Sharma, Ajay Logani, Naseem Shah, Surendra Singh

Connect to this object online.

Chapter Hybrid-Powered Autonomous Robots for Reducing Both Fuel Consumption and Pollution in Precision Agriculture Tasks Tekijä Gonzalez-de-Soto, Mariano

DOAB: download the publication
DOAB: description of the publication

Chapter Hybrid-Powered Autonomous Robots for Reducing Both Fuel Consumption and Pollution in Precision Agriculture Tasks Tekijä Gonzalez-de-Soto, Mariano

OAPEN Library: download the publication
OAPEN Library: description of the publication

Open-Source Artificial Intelligence System Supports Diagnosis of Mendelian Diseases in Acutely Ill Infants Tekijä Joseph Reiley, Pablo Botas, Christine E. Miller, Jian Zhao, Sabrina Malone Jenkins, Hunter Best, Peter H. Grubb, Rong Mao, Julián Isla, Luca Brunelli

Connect to this object online.

Promoting Physical Activity Through Conversational Agents: Mixed Methods Systematic Review Tekijä Tiffany Christina Luo, Adrian Aguilera, Courtney Rees Lyles, Caroline Astrid Figueroa

Connect to this object online.

Effectiveness of Interventions Promoting Physical Activity and Reducing Sedentary Behavior in Community-Dwelling Older Adults: An Umbrella Review With Application to Saudi Arabia Tekijä Saleh A. Alessy, Jesse D. Malkin, Eric A. Finkelstein, Reem AlAhmed, Baian A. Baattaiah, Kelly R. Evenson, Severin Rakic, Volkan Cetinkaya, Christopher H. Herbst, Hazzaa M. Al-Hazzaa, Saleh A. Alqahtani

Connect to this object online.

A Soft Skin Adhesive (SSA) Patch for Extended Release of Pirfenidone in Burn Wounds Tekijä Eugene P. Chung, Jesse Q. Nguyen, Tobias Tellkamp-Schehr, Katja Goebel, Anita Ollek, Cliff Krein, Adrienne R. Wells, Eliza A. Sebastian, Anja Goebel, Svenja Niese, Kai P. Leung

Connect to this object online.

Development and Implementation of Postdischarge Text Messages to Adolescents With Suicidal Thoughts and Behaviors Through Caring Contacts: Implementation Study Tekijä Glenn V Thomas, Elena Camacho, Fatimah A Masood, Yungui Huang, Jahnavi Valleru, Jeffrey A Bridge, John Ackerman

Connect to this object online.

Application of microscopic smartphone attachment for remote preoperative lab testing Tekijä Kefan Song, Kefan Song, Alexander T. Adams, Alexander T. Adams

Connect to this object online.

Hospital Audit as a Useful Tool in the Process of Introducing Falsified Medicines Directive (FMD) into Hospital Pharmacy Settings-A Pilot Study Tekijä Urszula Religioni, Damian Swieczkowski, Anna Gawrońska, Anna Kowalczuk, Mariola Drozd, Mikołaj Zerhau, Dariusz Smoliński, Stanisław Radomiński, Natalia Cwalina, David Brindley, Miłosz J. Jaguszewski, Piotr Merks

Connect to this object online.

Sleep Diagnostics for Home Monitoring of Sleep Apnea Patients Tekijä Dorien Huysmans, Pascal Borzée, Bertien Buyse, Dries Testelmans, Sabine Van Huffel, Carolina Varon, Carolina Varon

Connect to this object online.

STUDI KORELASI ANTARA KOMPETENSI PEMROGRAMAN DASAR DAN HASIL STUDI DENGAN MENGGUNAKAN APLIKASI BERBASIS WEB Tekijä Utomo, Sigit Sri

Link Metadata

Developing an Internet- and Mobile-Based System to Measure Cigarette Use Among Pacific Islanders: An Ecological Momentary Assessment Study Tekijä Pike, James Russell, Xie, Bin, Tan, Nasya, Sabado-Liwag, Melanie Dee, Orne, Annette, Toilolo, Tupou, Cen, Steven, May, Vanessa, Lee, Cevadne, Pang, Victor Kaiwi, Rainer, Michelle A, Vaivao, Dorothy Etimani S, Lepule, Jonathan Tana, Tanjasiri, Sora Park, Palmer, Paula Healani

Connect to this object online.