Search Results - "architecture"

PENERAPAN KONSEP DOUBLE SKIN FACADE SEBAGAI UPAYA OPTIMALISASI KENYAMANAN TERMAL PADA RUANG KULIAH BANGUNAN FAKULTAS PENDIDIKAN TEKNOLOGI DAN KEJURUAN (FPTK) BARU UNIVERSITAS PENDI... by Hidayat, Iday

Link Metadata

PENGGUNAAN MEDIA VIDEO TUTORIAL AUTOCAD UNTUK MENINGKATKAN HASIL BELAJAR DAN MOTIVASI SISWA PADA MATA PELAJARAN MENGGAMBAR DENGAN PERANGKAT LUNAK DI SMKN 9 GARUT by Fizlurrahman, Mochammad Teguh

Link Metadata

PEMBELAJARAN MENGGUNAKAN PERMAINAN MEDIA BALOK UNTUK MENINGKATKAN KEMAMPUAN VISUAL-SPASIAL ANAK TAMAN KANAK-KANAK

Link Metadata

Pro TBB C++ Parallel Programming with Threading Building Blocks / by Voss, Michael, Asenjo, Rafael, Reinders, James

Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata

Capturing the Senses Digital Methods for Sensory Archaeologies /

Table of Contents: “…-Combining 3D visibility analysis and virtual acoustics analysis for the architectural study of ancient theatres (C. Manzett) -- 'Please, touch the exhibits': 3D archaeology for experiential spatialization (E. …”
Link to Metadata

Deep Neural Networks and Data for Automated Driving Robustness, Uncertainty Quantification, and Insights Towards Safety /

Table of Contents: “…Evaluating Mixture-of-Expert Architectures for Network Aggregation -- Chapter 12. …”
Link to Metadata

Diateichismata Zu dem Phänomen innerer Befestigungsmauern im griechischen Städtebau by Sokolicek, Alexander

DOAB: download the publication
DOAB: description of the publication

AVALIAÇÃO DE MÉTODOS DE CONVERGÊNCIA NO TREINAMENTO DE REDES NEURAIS ARTIFICIAIS APLICADAS À PREDIÇÃO DE ÍNDICE DE IODO, VISCOSIDADE E DENSIDADE EM BIODIESEL by Isabelle Moraes Amorim Viegas, Alex Oliveira Barradas Filho, Delano Brandes Marques, Sofiane Labidi, Aldaléa Lopes Brandes Marques, Edmar Pereira Marques, Allan Kardec Duailibe Barros Filho

Connect to this object online.

Formes et figures du goût chinois dans les anciens Pays-Bas

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

Diateichismata Zu dem Phänomen innerer Befestigungsmauern im griechischen Städtebau by Sokolicek, Alexander

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

PENGARUH MINAT DAN PROGRAM PENGALAMAN LAPANGAN (PPL) TERHADAP KESIAPAN MAHASISWA PENDIDIKAN TEKNIK ARSITEKTUR UPI MENJADI GURU by Dyka Rahmadhina, -

Link Metadata

PENERAPAN PERATURAN TATA GUNA LAHAN KOTA BANDUNG PADA TUGAS MATA KULIAH STUDIO PERANCANGAN ARSITEKTUR 3 by Hasane, Fitra

Link Metadata

Machine Learning for Brain Disorders

Table of Contents: “…A Non-Technical Introduction to Machine Learning -- Classic Machine Learning Methods -- Deep Learning: Basics and Convolutional Neural Networks (CNN) -- Recurrent Neural Networks (RNN) - Architectures, Training Tricks, and Introduction to Influential Research -- Generative Adversarial Networks and Other Generative Models -- Transformers and Visual Transformers -- Clinical Assessment of Brain Disorders -- Neuroimaging in Machine Learning for Brain Disorders -- Electroencephalography and Magnetoencephalography -- Working with Omics Data, An Interdisciplinary Challenge at the Crossroads of Biology and Computer Science -- Electronic Health Records as Source of Research Data -- Mobile Devices, Connected Objects, and Sensors -- Medical Image Segmentation using Deep Learning -- Image Registration: Fundamentals and Recent Advances Based on Deep Learning -- Computer-Aided Diagnosis and Prediction in Brain Disorders -- Subtyping Brain Diseases from Imaging Data -- Data-Driven Disease Progression Modelling -- Computational Pathology for Brain Disorders -- Integration of Multimodal Data -- Evaluating Machine Learning Models and their Diagnostic Value -- Reproducibility in Machine Learning for Medical Imaging -- Interpretability of Machine Learning Methods Applied to Neuroimaging -- A Regulatory Science Perspective on Performance Assessment of Machine Learning Algorithms in Imaging -- Main Existing Datasets for Open Brain Research on Humans -- Machine Learning for Alzheimer's Disease and Related Dementias -- Machine Learning for Parkinson's Disease and Related Disorders -- Machine Learning in Neuroimaging of Epilepsy -- Machine Learning in Multiple Sclerosis -- Machine Learning for Cerebrovascular Disorders -- The Role of Artificial Intelligence in Neuro-Oncology Imaging -- Machine Learning for Neurodevelopmental Disorders -- Machine Learning and BrainImaging for Psychiatric Disorders: New Perspectives.…”
Link to Metadata

(Re)theorising More-than-parental Involvement in Early Childhood Education and Care

Table of Contents: “…Theory of practice architectures: Parental involvement through sayings, doings, and relatings (Alicja R. …”
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

Schools as Community Hubs Building 'More than a School' for Community Benefit /

Table of Contents: “…South Korean experiences -- Part 4: Designing -- Progressive pedagogies and community connections: Forty years of urban planning and architectural design -- Designing for the needs of a thriving school community hub -- Planning Doveton College: Holistic vision, innovative design and paving the way for others -- Vertical schools as community hubs -- Developing a school and community learning hub: A case study from regional Australia -- Part 5: Enabling -- Emotional labour and developing schools as community hubs -- Policy for schools as community hubs: Insights into a fragmented environment -- Theorising the development, implementation and sustainability of schools as community hubs -- An evaluation framework for schools as community hubs -- The role of evaluative thinking in the success of schools as community hubs -- Are schools as community hubs worth it?…”
Link to Metadata

EFEKTIVITAS PENGGUNAAN METODE WORD SQUARE BERGAMBAR DALAM MENINGKATKAN PENGUASAAN NOMINA BAHASA JERMAN by Fraudina, Sara

Link Metadata

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

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Astronomy 2e by Fraknoi, Andrew, Morrison, David, Wolff, Sidney C.

Table of Contents: “…The Sun: A Nuclear Powerhouse -- 16.1 Sources of Sunshine: Thermal and Gravitational Energy -- 16.2 Mass, Energy, and the Theory of Relativity -- 16.3 The Solar Interior: Theory -- 16.4 The Solar Interior: Observations -- Chapter 17 Analyzing Starlight -- 17.1 The Brightness of Stars -- 17.2 Colors of Stars -- 17.3 The Spectra of Stars (and Brown Dwarfs) -- 17.4 Using Spectra to Measure Stellar Radius, Composition, and Motion -- Chapter 18 The Stars: A Celestial Census -- 18.1 A Stellar Census -- 18.2 Measuring Stellar Masses -- 18.3 Diameters of Stars -- 18.4 The H–R Diagram -- Chapter 19 Celestial Distances -- 19.1 Fundamental Units of Distance -- 19.2 Surveying the Stars -- 19.3 Variable Stars: One Key to Cosmic Distances -- 19.4 The H–R Diagram and Cosmic Distances -- Chapter 20 Between the Stars: Gas and Dust in Space -- 20.1 The Interstellar Medium -- 20.2 Interstellar Gas -- 20.3 Cosmic Dust -- 20.4 Cosmic Rays -- 20.5 The Life Cycle of Cosmic Material -- 20.6 Interstellar Matter around the Sun -- Chapter 21 The Birth of Stars and the Discovery of Planets outside the Solar System -- 21.1 Star Formation -- 21.2 The H–R Diagram and the Study of Stellar Evolution -- 21.3 Evidence That Planets Form around Other Stars -- 21.4 Planets beyond the Solar System: Search and Discovery -- 21.5 Exoplanets Everywhere: What We Are Learning -- 21.6 New Perspectives on Planet Formation -- Chapter 22 Stars from Adolescence to Old Age -- 22.1 Evolution from the Main Sequence to Red Giants -- 22.2 Star Clusters -- 22.3 Checking Out the Theory -- 22.4 Further Evolution of Stars -- 22.5 The Evolution of More Massive Stars -- Chapter 23 The Death of Stars -- 23.1 The Death of Low-Mass Stars -- 23.2 Evolution of Massive Stars: An Explosive Finish -- 23.3 Supernova Observations -- 23.4 Pulsars and the Discovery of Neutron Stars -- 23.5 The Evolution of Binary Star Systems -- 23.6 The Mystery of the Gamma-Ray Bursts -- Chapter 24 Black Holes and Curved Spacetime -- 24.1 Introducing General Relativity -- 24.2 Spacetime and Gravity -- 24.3 Tests of General Relativity -- 24.4 Time in General Relativity -- 24.5 Black Holes -- 24.6 Evidence for Black Holes -- 24.7 Gravitational Wave Astronomy -- Chapter 25 The Milky Way Galaxy -- 25.1 The Architecture of the Galaxy -- 25.2 Spiral Structure -- 25.3 The Mass of the Galaxy -- 25.4 The Center of the Galaxy -- 25.5 Stellar Populations in the Galaxy -- 25.6 The Formation of the Galaxy -- Chapter 26 Galaxies -- 26.1 The Discovery of Galaxies -- 26.2 Types of Galaxies -- 26.3 Properties of Galaxies -- 26.4 The Extragalactic Distance Scale -- 26.5 The Expanding Universe -- Chapter 27 Active Galaxies, Quasars, and Supermassive Black Holes -- 27.1 Quasars -- 27.2 Supermassive Black Holes: What Quasars Really Are -- 27.3 Quasars as Probes of Evolution in the Universe -- Chapter 28 The Evolution and Distribution of Galaxies -- 28.1 Observations of Distant Galaxies -- 28.2 Galaxy Mergers and Active Galactic Nuclei -- 28.3 The Distribution of Galaxies in Space -- 28.4 The Challenge of Dark Matter -- 28.5 The Formation and Evolution of Galaxies and Structure in the Universe -- Chapter 29 The Big Bang -- 29.1 The Age of the Universe -- 29.2 A Model of the Universe -- 29.3 The Beginning of the Universe -- 29.4 The Cosmic Microwave Background -- 29.5 What Is the Universe Really Made Of? …”
Access online version

Analyzing the dimensions and components of organizational culture based on normative and individual variables in the managers of education headquarters in Tehran province by mohammad bermeh, Mohammad Naghi Imani, Saeed Alizadeh, Babak Nasiri, Reza Sourani

Connect to this object online.