Search Results - "computation"

COMPUTER CENTRE DI KARTASURA ( Pusat Perdagangan, Promosi, Informasi, Jasa Pelayanan Dan Hiburan Dengan Penekanan Desain Arsitektur High Tech ) by SURYO A, SUSILO

Connect to this object online

Studi Performa Pendinginan Evaporasi Dengan Mempertimbangkan Efek Udara Menyilang Pada Rumah Tinggal Dengan Metode Computational Fluids Dynamics (CFD) by Ismardono, Agung, , Ir. Sardjito, MT., PhD

Connect to this object online

PERKULIAHAN PERSAMAAN DIFERENSIAL BIASA MENGGUNAKAN COMPUTER AIDED DESIGN UNTUK MENINGKATKAN KETERAMPILAN BERPIKIR KRITIS DAN KEMAMPUAN PEMECAHAN MASALAH MAHASISWA by Sujito, -

Link Metadata

PEMBELAJARAN MENGGUNAKAN GOOGLE JAMBOARD DAN GOOGLE SHEETS UNTUK MENINGKATKAN KEMAMPUAN COMPUTATIONAL THINKING SISWA PADA KONSEP KLASIFIKASI MAKHLUK HIDUP by Anisa Septia Gestina, -

Link Metadata

LEARNING PROGRESSION SISWA MA MELALUI PENGAJARAN REMEDIAL MENGGUNAKAN COMPUTER SUPPORTED CONCEPTUAL CHANGE TEXT (CSCCText) TERKAIT MATERI LISTRIK STATIS by Ema Mahmudiah, -

Link Metadata

PENGARUH COMPUTER-ASSISTED MATHEMATICS EDUCATION (CAME) TERHADAP KEMAMPUAN MATEMATIS SISWA SEKOLAH MENENGAH ATAS DI INDONESIA: STUDI META-ANALISIS by Maximus Tamur, -

Link Metadata

PENERAPAN MODEL PEMBELAJARAN BERBASIS PROYEK (PBP)DALAM UPAYA MENINGKATKAN PEMAHAMAN DANKREATIVITAS SISWA PADA MATA DIKLATPERAKITAN PERSONAL COMPUTER (PC) by Finandria Audiary, -

Link Metadata

OPTIMASI DAYA OUTPUT DENGAN PENDEKATAN VARIASI JARAK OVERLAP SUDU PADA TURBIN SAVONIUS ELLIPTICAL-BLADED MENGGUNAKAN COMPUTATIONAL FLUID DYNAMICS by Muhammad Dwi Adha Hasran,

Link Metadata

Determinan Computer Vision Syndrome (CVS) Pada Karyawan Di Kantor Pengawasan Dan Pelayanan Bea Dan Cukai Tangerang Tahun 2021 by Hutagaol, Riri Grace

Link Metadata

ANALISIS PENGARUH WINGLET PADA SAYAP PESAWAT T-34C-1 DENGAN VARIASI SUDUT TEKUK MENGGUNAKAN METODE COMPUTATIONAL FLUID DYNAMICS. by Riskiati Ihsani,

Link Metadata

NARSISTIK GAY STYLE PADA TIKTOK:(Etnografi Virtual Komunikasi Verbal Melalui Media TikTok Dalam Perspektif Computer Mediated Communications) by Rakha Fary Novyan,

Link Metadata

ANALISIS TINGKAT KEPUASAN TERHADAP WEBSITE REPOSITORY UPN VETERAN JAKARTA BERDASARKAN PERSPEKTIF MAHASISWA MENGGUNAKAN METODE END USER COMPUTING SATISFACTION by Alvia Ariana,

Link Metadata

RANCANGAN MODEL TURBIN ANGIN BERTINGKAT SUMBU VERTIKAL TIPE CROSSFLOW MENGGUNAKAN COMPUTATIONAL FLUID DYNAMIC (CFD) UNTUK DIAPLIKASIKAN DI JAKARTA by Michael Febrianus Johny Saputra,

Link Metadata

Rethinking the Internet of Things A Scalable Approach to Connecting Everything / by daCosta, Francis, Henderson, Byron

Subjects: “…Computer networks .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer science.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

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

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers /

Subjects: “…Computer simulation.…”
Link to Metadata

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

A 'Relay'-Type Drug-Eluting Nerve Guide Conduit: Computational Fluid Dynamics Modeling of the Drug Eluting Efficiency of Various Drug Release Systems by Jiarui Zhou, Sanjairaj Vijayavenkataraman

Connect to this object online.