Search Results - "Interpol"

First Semester in Numerical Analysis with Python by Liu, Yaning

Table of Contents: “…1 Introduction -- 2 Solutions of equations: Root-finding -- 3 Interpolation -- 4 Numerical Quadrature and Differentiation -- 5 Approximation Theory…”
Access online version

Numerical Methods for Ordinary Differential Equations by Vuik, Kees, Vermolen, Fred, van Gijzen, Martin

Table of Contents: “…Introduction -- Interpolation -- Numerical differentiation -- Nonlinear equatitons -- Numerical integration -- Numberical time integration of initial-value problems -- The finite-difference method for boundary-value problems -- The instationary heat equation…”
Access online version

A Brief Introduction to Engineering Computation with MATLAB by Beyenir, Serhat

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Getting Started -- Chapter 3: Graphics -- Chapter 4: Introductory Programming -- Chapter 5: Interpolation -- Chapter 6: Numerical Integration -- Chapter 7: Regression Analysis -- Chapter 8: Publishing with MATLAB…”
Access online version

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to 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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
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

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

Table of Contents: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
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

Time Series Analysis of the Clinical Laboratory Test Result on Chemotherapy for Gastric Cancer by Noboru Sotoishi

Connect to this object online.

مقارنة بين طرق تكبير الصور الرقمية by الحان انور يونس, ايمان هشام عبد الرحمن

Connect to this object online.

GIS-based noise spatial distribution map using mobile / Syaza Rozali and Siti Aekbal Salleh by Rozali, Syaza, Salleh, Siti Aekbal

Link Metadata

Sustainable management of the coastal water pH of Pulau Tuba using the Inverse Distance Weighted (IDW) method / Sharir Aizat Kamaruddin ... [et al.] by Kamaruddin, Sharir Aizat, Abd.Aziz, Khairul Naim, Roslani, Muhammad Akmal, Zainol, Zamzila Erdawati

Link Metadata

Strategi Pembelajaran Quick on the Draw untuk Meningkatkan Aktivitas dan Hasil Belajar Mahasiswa Pada Materi Interpolasi by Septi Dariyatul Aini, Sri Irawati

Connect to this object online.

Visualization of constrained data by rational cubic ball function /Wan Zafira Ezza Wan Zakaria and Jamaludin Md Ali by Wan Zakaria, Wan Zafira, Md Ali, Jamaludin

Link Metadata

Spatial distribution of zero-dose children in Ethiopia: evidence for a targeted intervention from a large-scale cross-sectional evaluation survey by Fisseha Shiferie, Fisseha Shiferie, Samson Gebremedhin, Gashaw Andargie, Frank DelPizzo, Kidist Belete, Teferi Gedif Fenta

Connect to this object online.