Search Results - "software"

Evaluation of the Image-Pro Plus 4.5 software for automatic counting of labeled nuclei by PCNA immunohistochemistry Avaliação do programa Image-Pro Plus 4.5 para contagem automática de núcleos imunopositivos para PCNA by Jairo Silva Francisco, Heleno Pinto de Moraes, Eliane Pedra Dias

Connect to this object online.

UPAYA MENINGKATKAN KEMAMPUAN BERPIKIR KRITIS SISWA PADA MATERI BENTUK ALJABAR MELALUI PENDEKATAN CONTEXTUAL TEACHING AND LEARNING (CTL) BERBANTU SOFTWARE ALGEBRATOR DI KELAS VII-3 SMP NEGERI 18 KOTA TANGERANG SELATAN by widya apriliyani

Connect to this object online.

Avaliação do sistema de vigilância em saúde do trabalhador relacionada aos acidentes de trabalho, antes e após a implantação do software de linkage Sentinela, em Porto Alegre, 2018-2021 by Fabiana Hermes Suprinyak, Ivone Andreatta Menegolla

Connect to this object online.

PENINGKATAN HASIL BELAJAR SISWA KELAS XI SMA NEGERI 4 AMBON PADA MATERI IRISAN KERUCUT DENGAN MENGGUNAKAN MODEL PEMBELAJARAN KOOPERATIF MELALUI MEDIA PEMBELAJARAN CAI (COMPUTER ASSISTED INSTRUCTION) BERBANTUAN SOFTWARE GEOGEBRA by John Lekitoo, La Moma, Darma Andreas Ngilawajan

Connect to this object online.

Estudo comparativo entre traçados cefalométricos manual e digital, através do programa Dolphin Imaging em telerradiografias laterais Comparative study between manual and digital cephalometric tracing using Dolphin Imaging software with lateral radiographs by Mariane Bastos Paixão, Márcio Costa Sobral, Carlos Jorge Vogel, Telma Martins de Araujo

Connect to this object online.

Pembuatan Website Forum Komunikasi Masjid-Nurul Huda Sebagai Media Pertukaran Informasi Dan Komunikasi Dengan Menggunakan Software CMS (Content Management System) Wordpress (Studi kasus pada Yayasan Nurul Huda, Bakalan-Kartasura) by Kusbandana, Kholid Hayun, , Hafidh Munawir, S.T., M.Eng, , Ir. Musrofi

Connect to this object online

PENGEMBANGAN MULTIMEDIA DENGAN SOFTWARE CONSTRUCT 2.0 DALAM PEMENTASAN DRAMA MELALUI MODEL PEMBELAJARAN BERBASIS PROYEK (Penelitian dan Pengembangan Multimedia di SMP Darut Tauhid Boarding School Kelas VIII Kota Bandung) by Cintiana Ermalia, -

Link Metadata

PEMANFAATAN SOFTWARE MICROSOFT POWERPOINT DALAM PENGEMBANGAN MEDIA PEMBELAJARAN GAME EDUKATIF UNTUK ANAK: PERSPEKTIF GURU (Penelitian Studi Kasus pada Guru Taman Kanak-Kanak di TKIT Daarul Fikri Kabupaten Bandung Barat) by Elka Fiselfia, -

Link Metadata

PENGGUNAAN MEDIA PEMBELAJARAN BERBASIS SOFTWARE SIMULINK MATLAB MELALUI MODEL EKSPOSITORI PADA MATA DIKLAT TEKNIK RADIO(PENELITIAN TINDAKAN KELAS PADA SISWA KELAS XI PROGRAM KEAHLIANTEKNIK TRANSMISI SMK NEGERI 1 CIMAHI) by Hendri Agustin Yuldian, -

Link Metadata

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

Table of Contents: “…Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Subjects: “…computer software selection and evaluation…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Subjects: “…computer software selection and evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...

Subjects: “…software design…”
DOAB: download the publication
DOAB: description of the publication

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...

Subjects: “…software design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Finite Difference Computing with Exponential Decay Models by Petter Langtangen, Hans

Subjects: “…software Engineering…”
DOAB: download the publication
DOAB: description of the publication

Eine Architektur für Programmsynthese aus natürlicher Sprache by Landhäußer, Mathias

Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication

Social Business Plattformen in global verteilten Produktentwicklungsvorhaben - Eine Multi-Ebenen-Analyse des Beitrags von Social Business Plattformen zur Überwindung kommunikation... by Flad, Marc

Subjects: “…Social Software…”
DOAB: download the publication
DOAB: description of the publication

Models and analysis of vocal emissions for biomedical applications: 5th International Workshop: December 13-15, 2007, Firenze, Italy

Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication