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 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
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

National Commissions of Inquiry in Africa: Vehicles to pursue accountability for violations of the right to life? by Thomas Probert

DOAB: download the publication
DOAB: description of the publication

Data Journeys in the Sciences

Table of Contents: “…'Overcoming the Bottleneck': Knowledge Architectures for Genomic Data Interpretation in Oncology (A Cambrosio, J Campbell, E Vignola-Gagné, P Keating, B Jordan and P Bourret) -- Chapter 17. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

Table of Contents: “…Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: acase study -- Shifting conceptualization of control in Agile Transformations -- It's not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams - An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19's Influence on the Future of Agile.…”
Link to Metadata

Eco-City Planning; concepts and contemporary models by Hülya Coskun

Connect to this object online.

PENGARUH CARA BELAJAR MAHASISWA TERHADAP HASIL BELAJAR PADA MATA KULIAH STUDIO PERANCANGAN ARSITEKTUR 1 DI PROGRAM STUDI PENDIDIKAN TEKNIK ARSITEKTUR by Sari, Rahayu Mulia

Link Metadata

EVALUASI OLEH DIRI SENDIRI (SELF EVALUATION) DALAM PEMBELAJARAN MATA KULIAH STUDIO PERANCANGAN ARSITEKTUR I by Kurniawan, Afik

Link Metadata

Preservation of historical schools and heritage tourism in Malaysia / Jamalunlaili Abdullah, Saniah Ahmad Zaki and Suzlyna Abdul Latib by Abdullah, Jamalunlaili, Ahmad Zaki, Saniah, Abdul Latib, Suzlyna

Link Metadata

EVALUASI PEMBELAJARAN DARING PADA MATA KULIAH STUDIO PERANCANGAN ARSITEKTUR 1 DI PROGRAM STUDI PENDIDIKAN TEKNIK ARSITEKTUR by Hanindia Fiananta Azziz, -

Link Metadata

Aceh ornaments exploration as ideas of contemporary building form through digital transformation / Zulhadi Sahputra, Muhammad Heru Arie Edytia and Mirza by Sahputra, Zulhadi, Edytia, Muhammad Heru Arie, Mirza, Mirza

Link Metadata

Six Canonical Projects by Rem Koolhaas Essays on the History of Ideas by Böck, Ingrid

DOAB: download the publication
DOAB: description of the publication

Six Canonical Projects by Rem Koolhaas Essays on the History of Ideas by Böck, Ingrid

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

Using Fine Grain Approaches for highly reliable Design of FPGA-based Systems in Space by Niknahad, Mahtab

DOAB: download the publication
DOAB: description of the publication

E-learning

DOAB: download the publication
DOAB: description of the publication

Nano-Confined Synthesis of Fullerene Mesoporous Carbon (C60-FMC) with Bimodal Pores: XRD, TEM, Structural Properties, NMR, and Protein Immobilization by Mohammad A Wahab, Farzana Darain#, Azharul Karim, Jorge N Beltramini

Connect to this object online.

The implementation of fire safety management at Heritage Museums, Georgetown, Penang / Nur Amirah Adilah Hamim and Lilawati Ab Wahab by Adilah Hamim, Nur Amirah, Ab Wahab, Lilawati

Link Metadata

Inside High-Rise Housing Securing Home in Vertical Cities by Nethercote, Megan

DOAB: download the publication
DOAB: description of the publication

Dendrimers: A Themed Issue in Honor of Professor Donald A. Tomalia on the Occasion of His 80th Birthday by Ashok Kakkar (Ed.)

DOAB: download the publication
DOAB: description of the publication