Search Results - "automation"

PENGEMBANGAN MODUL PEMBELAJARAN PADA MATA PELAJARAN PNEUMATIK BERBASIS SIMULASI INTERAKTIF AUGMENTED REALITY (SIAR) by Fandi Ahmad Sugiantoro, -

Link Metadata

Computational Physiology Simula Summer School 2022 − Student Reports /

Table of Contents: “…1. An Automated Cardiac Constitutive Modelling Framework with -- 2. …”
Link to Metadata

Engineering of Smart Agriculture

DOAB: download the publication
DOAB: description of the publication

Diferença de tempo de positividade: método útil no diagnóstico de infecção de corrente sanguínea relacionada com cateter? Differential time to positivity: a useful tool for... by Karoline de Lemes Giuntini Corrêa, Gisele Madeira Duboc de Almeida, João Nobrega de Almeida Júnior, Flávia Rossi

Connect to this object online.

O processo de implementação do diagnóstico de enfermagem no Hospital Universitário da Universidade de São Paulo El proceso de implementar el diagnóstico de enfermería en el... by Antônio Fernandes Costa Lima, Paulina Kurcgant

Connect to this object online.

Taxa de infecção e sorotipos de Streptococcus agalactiae em amostras de recém-nascidos infectados na cidade de Campinas (SP), Brasil Infection rate and Streptococcus agalactiae... by Kateli Fiolo, Cibele Esteves Zanardi, Marizete Salvadego, Carmem Silvia Bertuzzo, Eliana Amaral, Roseli Calil, Carlos Emilio Levy

Connect to this object online.

IMPLEMENTASI MODEL PEMBELAJARANBERBASIS PROYEK PADA MATA DIKLAT SISTEM KONTROL TERPROGRAM UNTUK MENINGKATKAN HASIL BELAJAR SISWA by Setiaputra, Abdul Aziz

Link Metadata

PENERAPAN MEDIA SOFTWARE FLUIDSIM FESTO UNTUK MENINGKATKAN HASIL BELAJAR SISWA PADA PEMBELAJARAN SISTEM KONTROL ELEKTROPNEUMATIK by Aji, Trisna Nur

Link Metadata

PERSEPSI MAHASISWA TENTANG PERUBAHAN SPEKTRUM KEAHLIAN SMK DAN KESESUAIANNYA DENGAN KURIKULUM PROGRAM SUDI PENDIDIKAN TEKNIK BANGUNAN DPTS FPTK UPI by Shofwan Mutawalli Alghani, -

Link Metadata

PENGARUH METODE GUIDED DISCOVERY LEARNING TERHADAP KEMAMPUAN BERPIKIR KREATIF by Intan Permatasari, -

Link Metadata

PENGARUH MEDIA PEMBELAJARAN E-LEARNING BERBASIS SCHOOLOGY TERHADAP KEMAMPUAN BERPIKIR METAKOGNITIF DENGAN VARIABEL MODERATOR MINAT BELAJAR SISWA : Eksperimen Kuasi Pada Siswa... by Tati Suryati, -

Link Metadata

PENDIDIKAN BERBASIS TEKNOLOGI TERHADAP INTENSI BERWIRAUSAHA (STUDI PADA SISWA KELAS XII INSTRUMENTASI DAN OTOMATISASI PROSES DI SMK NEGERI 1 CIMAHI) by Nadila Dwi Kusnindar, -

Link Metadata

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

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Ethics, Integrity and Policymaking The Value of the Case Study /

Table of Contents: “…Science Advisors and "Good Evidence": A Case Study (Gabi Lombardo) -- Chapter 5. Automated Justice, Automated Policing: Issues, Benefits and Risks in the Use of Artificial Intelligence and its Algorithms in Access to Justice and Law Enforcement (Caroline Gans Combe) -- Chapter 6. …”
Link to Metadata

Measuring Emission of Agricultural Greenhouse Gases and Developing Mitigation Options using Nuclear and Related Techniques Applications of Nuclear Techniques for GHGs /

Table of Contents: “…Foreword -- Chapter 1 Introduction -- Chapter 2 Methodology for greenhouse gas emission measurements using non-isotopic techniques -- Chapter 3 Automated laboratory and field techniques to determine GHG emissions -- Chapter 4 Micrometeorological methods -- Chapter 5 Direct and indirect effects of soil fauna, fungi and plants on greenhouse gas fluxes -- Chapter 6 Methane emissions from ruminants -- Chapter 7 Isotopic techniques to measure N2 and pathways of greenhouse gases -- Chapter 8 Climate-smart agriculture practices for greenhouse gas mitigation -- Bibliography -- Index.…”
Link to Metadata

SET OF ORGANIZATIONALLY-DIDACTIC CONDITIONS OF THE MODEL OF STUDENTS' AUTONOMY DEVELOPMENT SYSTEM IMPLEMENTATION by Roman A. Popov

Connect to this object online.

Freqüência e percentual de suscetibilidade de bactérias isoladas em pacientes atendidos na unidade de terapia intensiva do Hospital Geral de Fortaleza Frequency and susceptibili... by Everardo Albuquerque Menezes, Kélvia Miranda Sá, Francisco Afrânio Cunha, Maria Rozellê Ferreira Ângelo, Inácio Regis Nascimento Oliveira, Maria Núbia Cavalcante Salviano

Connect to this object online.

Prospects for controlling cervical cancer at the turn of the century Perspectivas de control de cáncer cervical en el siglo XXI by Eduardo L Franco, Eliane Duarte-Franco, Alex Ferenczy

Connect to this object online.

PENERAPAN STRATEGI PEMBELAJARAN AKTIF QUESTIONS STUDENT HAVE (QSH) UNTUK MENINGKATKAN HASIL BELAJAR SISWA by Safari, Aji

Link Metadata

ANALISIS KEBUTUHAN SEKOLAH MENENGAH KEJURUAN (SMK) TEKNIK PEMELIHARAAN MEKANIK INDUSTRI BERDASARKAN PENDEKATAN MANPOWER PLANNING DI KABUPATEN BEKASI TAHUN 2015 - 2019 by Wulandari, Eka

Link Metadata