Astronomy for Educators by Barth, Daniel E.

Table of Contents: “…Unit 1: Starting our Journey of Discovery -- Unit 2: Lunar Phases - A Simple Scientific Model -- Unit 3: Modeling Earth and Moon Together -- Unit 4: Measuring Time in the Sky -- Unit 5: Measuring and Mapping the Sky -- Unit 6: Exploring Gravity -- Unit 7: Proving the Heliocentric Model Correct -- Unit 8: Understanding Big Numbers - Size and Scale in our Solar System -- Unit 9: Orbital Dynamics - Planets and Moons in Motion -- Unit 10: War of the Worlds - How Impacts Build Planets -- Unit 11: The Four Seasons - Two Competing Models -- Unit 12: Safely Observing the Sun -- unit 13: Solar and Lunar Eclipses…”
Access online version

Chapter Nature and natural phenomena in Thucydides' The Peloponnesian War: physis and kinesis as factors of political disturbance by Soares, Martinho

DOAB: download the publication
DOAB: description of the publication

Chapter Nature and natural phenomena in Thucydides' The Peloponnesian War: physis and kinesis as factors of political disturbance by Soares, Martinho

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

Quipus and Witches' Knots The Role of the Knot in Primitive and Ancient Culture, with a Translation and Analysis of "Oribasius de Laqueis" by Day, Cyrus Lawrence

DOAB: download the publication
DOAB: description of the publication

The Makassar Annals

DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication

La défaite électorale Productions, appropriations, bifurcations

DOAB: download the publication
DOAB: description of the publication

The Makassar Annals

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

Edmond Bartissol (1841-1916) Du canal de Suez à la bouteille d'apéritif by Escudier, Jean-Louis

DOAB: download the publication
DOAB: description of the publication

KEPERCAYAAN MASYARAKAT MENGENAI CERITA GERHANA ATAU SAMAGAHA YANG DIYAKINI SEBAGAI SALAH SATU PERISTIWA GAIB (KAJIAN TRADISI LISAN) by Windha Khairunnisa, -

Link Metadata

PENGEMBANGAN MOBILE MEDIA GEMBUL DALAM PEMBELAJARAN IPA UNTUK MENINGKATKAN PEMAHAMAN KONSEP DAN LITERASI TEKNOLOGI SISWA by Windy Kasmita, -

Link Metadata

Housing Estates in the Baltic Countries The Legacy of Central Planning in Estonia, Latvia and Lithuania /

Table of Contents: “…Prologue-A Place to Live, Work, and Play: Housing Demand and Urbanization in the Baltic Countries -- Turbulent Political History and the Legacy of State Socialism in the Baltic Countries -- Soviet-Era Housing Systems Explained: Constructing and Inhabiting Socialist Housing Estates in the Baltics -- Freedom and Constraints: Ideals Transferred but Eclipsed by Industrialised Housing Production -- Mass Housing and 'Extensive Urbanism' in Eastern Europe: A Comparative Overview -- The Ethnic and Social Landscape of Residents in Tallinn's Socialist Housing Estates -- Residential Change and Socio-Demographic Challenges for Large Housing Estates: Exploring Post-Soviet Riga -- Soviet Housing Estates and their Residents in Vilnius -- Living in a Large Housing Estate: An Insiders' Perspective from Lithuania -- Innovation Inside and Outside "The System": Revisiting the Role of Architects in Planning Socialist-Era Residential Districts in Estonia -- Evolution of Award-Winning Microrayons and Housing Estates in the Baltics -- Aspirations versus Reality in the Formation of Mikrorayon Commercial Centers in Lithuania -- Forms of Governing Parking in Housing Estates in Tallinn, Estonia -- State-Subsidized Renovation of Socialist Apartment Blocks in Estonia -- Large Housing Estates in Latvia: Origin and Future Challenges -- Possibilities for Energy-Efficient and Sustainable Renovation of Socialist Residential Space: "Smart City" Redevelopment in Tartu, Estonia .…”
Link to Metadata

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

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

Table of Contents: “…Earth, Moon, and Sky -- 4.1 Earth and Sky -- 4.2 The Seasons -- 4.3 Keeping Time -- 4.4 The Calendar -- 4.5 Phases and Motions of the Moon -- 4.6 Ocean Tides and the Moon -- 4.7 Eclipses of the Sun and Moon -- Chapter 5. Radiation and Spectra -- 5.1 The Behavior of Light -- 5.2 The Electromagnetic Spectrum -- 5.3 Spectroscopy in Astronomy -- 5.4 The Structure of the Atom -- 5.5 Formation of Spectral Lines -- 5.6 The Doppler Effect -- Chapter 6. …”
Access online version

ANALISIS PERUBAHAN RADIASI MATAHARI MENGGUNAKAN MODEL JAGANNATHAN-APLIN PADA GERHANA MATAHARI TOTAL 9 MARET 2016 DAN PENGARUHNYA TERHADAP CUACA DI BANGKA TENGAH by Gandini, Ryantika

Link Metadata

PENGEMBANGAN MEDIA SITASUR PADA MATERI GERHANA BULAN DAN MATAHARI BERORIENTASI PENGUASAAN KONSEP DI KELAS VI SEKOLAH DASAR by Lala Karmila Sari, -

Link Metadata

Verification of image registration for the commercial treatmetn planning systems by Sumana Somboon

Get full text

Pembelajaran Kebudayaan Jawa Berbasis Mobile Android by Wijatmaka, Wakhid

Connect to this object online

Aplikasi Grupchat di Android Menggunakan Websocket by Hardianto, Fitri, , Dr. Ir. Bana Handaga, M.T

Connect to this object online

Aplikasi Terjemahan Al-Qur'an Juz 30 dalam Bahasa Jawa Berbasis Android Mobile by Sudaryanto, Aninditawidagda Pandam, , Fatah Yasin Al Irsyadi, S.T., M.T

Connect to this object online

PENGARUH MODEL PEMBELAJARAN EXPERIENTIAL LEARNING BERBANTUAN ALAT PERAGA MINIATUR GERHANA TERHADAP PENGUASAAN KONSEP SISWA PADA PEMBELAJARAN IPA DI KELAS VI SD by Gandis Ratna Cendani Karmana, -

Link Metadata