Search Results - "Machine Learning"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 245
- Technology: general issues 241
- Research & information: general 206
- Artificial intelligence 183
- Machine learning 118
- Medicine 83
- Computer science 76
- Information technology industries 74
- Biology, life sciences 61
- Computer networking & communications 51
- Software Engineering 49
- Data mining 45
- Environmental science, engineering & technology 38
- Artificial Intelligence 36
- Algorithms & data structures 34
- Information technology: general issues 34
- Psychology 32
- Machine Learning 30
- Mathematics & science 29
- Computer vision 27
- Geography 27
- Probability & statistics 27
- Databases 25
- Electrical engineering 23
- Neurosciences 22
- Computer networks 21
- Computer security 21
- Media studies 21
- Physics 21
- Robotics 21
-
5781
-
5782
-
5783
-
5784
-
5785
-
5786
-
5787
-
5788
-
5789
-
5790
Geodesy for a Sustainable Earth Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 - July 2, 2021 /
Published 2023Table 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
Electronic eBook -
5791
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Table 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
Electronic eBook -
5792
Yabancı Dil Olarak Dijital Türkçe Öğretimi
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5793
-
5794
-
5795
-
5796
-
5797