Search Results - 畫家~

The Power of Peer Learning Fostering Students' Learning Processes and Outcomes /

Link to Metadata

Geodesy for a Sustainable Earth Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 - July 2, 2021 /

Table of Contents: “…-- Assessing Molodensky's Heights: A Rebuttal -- On the Accuracy of Geoid Heights Derived from Discrete GNSS/Levelling Data Using Kriging Interpolation -- Gravimetric Geoid Modeling by Stokes and Second Helmert's Condensation Method in Yogyakarta, Indonesia -- A Geodetic Determination of the Gravitational Potential Difference Toward a 100-km-scale Clock Frequency Comparison in a Plate Subduction Zone -- Validation of the Hellenic Gravity Network in the Frame of the ModernGravNet Project -- Global Gravity Field Modeling -- Combined Gravity Solution from SLR and GRACE/GRACE-FO -- Contribution of LARES SLR Data to Co-estimated Earth Geopotential Coefficients -- Determination and Combination of Monthly Gravity Field Time Series from Kinematic Orbits of GRACE, GRACE-FO and Swarm -- Topographic Gravity Field Modelling for Improving High-Resolution Global Gravity Field Models -- The Benefit of Accelerometers Based on Cold Atom Interferometry for Future Satellite Gravity Missions -- Kalman-Filter Based Hybridization of Classic and Cold Atom Interferometry Accelerometers for Future Satellite Gravity Missions -- Gravimetry by Nanoscale Parametric Amplifiers Driven by Radiation-Induced Dispersion Force Modulation -- Earth Rotation -- On the Improvement of Combined EOP Series by Adding 24-hour VLBI Sessions to VLBI Intensives and GNSS Data -- Investigating the Relationship Between Length of Day and El-Niño Using Wavelet Coherence Method -- Estimation of Earth Rotation Parameter UT1 from Lunar Laser Ranging Observations -- Surface Deformation Monitoring -- Determination of a GNSS-Based Velocity Field of the African Continent -- Vertical Land Motion at Tide Gauges Observed by GNSS: A New GFZ-TIGA Solution -- CyCLOPS: A National Integrated GNSS/InSAR Strategic Research Infrastructure for Monitoring Geohazards and Forming the Next Generation Datum of the Republic of Cyprus -- GNSS Positioning -- Dilution of Precision (DOP) Factors for Evaluating Observations to Galileo Satellites with VLBI -- On the Limits of State-of-the-Art GNSS Receivers in Frequency Transfer -- On the Effect of Antenna Calibration Errors on Geodetic Estimates: Investigation on Zero and Double Difference Approaches -- Estimation and Calibration of Codephase Center Correction Using the Empirical Mode Decomposition -- On the Potential of Image Similarity Metrics for Comparing Phase Center Corrections -- Multipath Characterization Using Ray-Tracing in Urban Trenches -- Bounding the Residual Tropospheric Error by Interval Analysis -- Precise Orbit Determination of CubeSats Using Proposed Observations Weighting Model -- Geodetic Atmospheric and Remote Sensing -- Optimal TEC Forecast Models Based on Machine Learning and Time Series Analysis Techniques - A Preliminary Study on the Ring of Fire -- Sensitivity of Shipborne GNSS Troposphere Retrieval to Processing Parameters -- Application of the Total Variation Method in Near Real-Time GNSS Tropospheric Tomography -- Comparison of the Effective Isotropic Radiated Power Parameter in CYGNSS v2.1 and v3.0 Level 1 Data and Its Impact on Soil Moisture Estimation -- Cross-Polarization Correction for Soil Moisture Retrieval Using GNSS SNR Data.…”
Link to Metadata

Technological Imagination in the Green and Digital Transition

Table of Contents: “…Pilot project DSH2030 -- BIM and BPMN 2.0 integration for interoperability challenge in construction industry -- Digital twin approach for maintenance management.…”
Link to Metadata

Nuclear Risks and Arms Control - Problems and Progresses in the Time of Pandemics and War Proceedings of the XXII Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, April 6-8, 2022 /

Table of Contents: “…-- The Fate of The Iranian Nuclear Deal (JCPOA) -- Nuclear weapons and the militarization of AI -- The Roadmap to Fusion: Science and International Cooperation for Sustainable Energy -- Promoting Integral Human Development and Peace in the Digital Age -- Present Nuclear Dangers -- Sesame: From a 2022 Personal Point of view.…”
Link to Metadata

EU Citizenship Beyond Urban Centres Perceptions and Practices of Young People in East Central European Peripheral Areas /

Table of Contents: “…No Strong Sense of Belonging and the EU as a Security-Provider - How Young People in Rural Poland Perceive EU Citizenship -- Chapter 5. …”
Link to Metadata

Climate Change in Central Asia Decarbonization, Energy Transition and Climate Policy /

Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

Sanctorius Sanctorius and the Origins of Health Measurement by Hollerbach, Teresa

Table of Contents: “…Sanctorius Sanctorius-Between Koper and Venice -- Chapter 2. Sanctorius's Galenism -- Chapter 3. Sanctorius's Work in its Practical Context -- Chapter 4. …”
Link to Metadata

Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems / by Jongeneel, Wouter, Moulay, Emmanuel

Table of Contents: “…1. Introduction -- 2. General topology -- 3. Differential topology -- 4. …”
Link to Metadata

Wheat Evolution and Domestication by Feldman, Moshe, Levy, Avraham A.

Table of Contents: “…Amblyopyrum (Jaub. &Spach) Eig -- 9. Aegilops L -- 10. Triticum L. -- 11. Evolution of the diploid species of the sub-tribe Triticineae -- 12. …”
Link to Metadata

Challenging Global Development Towards Decoloniality and Justice /

Table of Contents: “…Development and Post-development in a Time of Crisis -- Chapter 11. South-South Cooperation and Decoloniality -- Chapter 12. …”
Link to Metadata

Narratives of the Unspoken in Contemporary Irish Fiction Silences that Speak /

Table of Contents: “…Chapter 1: Introduction: Silences that Speak -- Chapter 2: Conspicuously Silent: The excesses of Religion and Medicine in Emma Donoghue's historical novels The Wonder and The Pull of the Stars -- Chapter 3: "To Pick up the unsaid, and perhaps unknown, wishes": Reimagining the "True Stories" of the Past in Evelyn Conlon's Not the Same Sky -- Chapter 4: "He's been wanting to say that for a long time": Varieties of Silence in Colm Tóibín's Fiction -- Chapter 5: The Irish Short Story and the Aesthetics of Silence -- Chapter 6: Infinite Spaces: Kevin Barry's Lives of Quiet Desperation -- Chapter 7: The Silencing of Speranza -- Chapter 8: "A self-interested silence": Silences Identified and Broken in Peter Lennon's Rocky Road to Dublin (1967) -- Chapter 9: Silence in Donal Ryan's Fiction -- Chapter 10: "Sure, aren't the church doing their best?" …”
Link to Metadata

Tortuosity and Microstructure Effects in Porous Media Classical Theories, Empirical Data and Modern Methods / by Holzer, Lorenz, Marmet, Philip, Fingerle, Mathias, Wiegmann, Andreas, Neumann, Matthias, Schmidt, Volker

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Review of theories and a classification of tortuosity types -- Chapter 3. …”
Link to Metadata

Non-affirmative Theory of Education and Bildung

Table of Contents: “…Knowledge, values and subject-ness - Educative teaching as a regulative idea of school development in the 21st century (Thomas Rucker) -- Chapter 4. …”
Link to Metadata

The Energy Sector and Energy Geopolitics in the MENA Region at a Crossroad Towards a Great Transformation? / by Hafner, Manfred, Raimondi, Pier Paolo, Bonometti, Benedetta

Table of Contents: “…Part I - Context And Drivers For The Regional Energy Transformation -- Chapter 1 - The Mena Region: An Economic, Energy, And Historical Context -- Chapter 2 - Domestic And International Drivers And Challenges For The Energy Transformation In The Mena Region -- Part II - The Energy Sector In The Mena Region At A Crossroad -- Chapter 3 - National Energy Sectors: Historical Evolution And Current Situation -- Chapter 4 - Low-Carbon Energy Strategies In Mena Countries -- Part III- Energy Geopolitics In The Mena Region -- Chapter 5 - Geopolitics Of Oil And Gas In The Mena Region -- Chapter 6 - Geopolitics Of The Energy Transformation In The Mena Region -- Part Iv - Overall Conclusions -- Chapter 7 - Conclusions On The Transformation Of The Energy Sector And The Energy Geopolitics.…”
Link to Metadata

Migration and Religion IMISCOE Short Reader / by Nordin, Magdalena, Otterbeck, Jonas

Table of Contents: “…Introducing the field: 'migration and religion' -- Chapter 2. Trends in research: A literature review -- Part II: The New Home -- Chapter 3. …”
Link to Metadata

Averting Disaster Before It Strikes How to Make Sure Your Subordinates Warn You While There is Still Time to Act / by Chernov, Dmitry, Ayoub, Ali, Sansavini, Giovanni, Sornette, Didier

Table of Contents: “…Introduction -- The reason of the concealment -- Top 10 recommendations -- Results of the pilot project -- Discussion.…”
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 of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /

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

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 of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /

Table of Contents: “…Invited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Table of Contents: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata