Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Z-polyregular functions

Subjects: Automata; Rational series; Polyregular functionsBoston; United StatesBoston, United States

  • Source: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)https://hal.science/hal-043240592023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, Jun

Record details

×
Conference

Combining representation formalisms for reasoning upon mathematical knowledge

Subjects: knowledge modeling; knowledge representation; mathematical knowledgePensacola FL USA; France

  • Source: K-CAP '23: Proceedings of the 12th Knowledge Capture Conference 2023 ; K-CAP '23: Knowledge Capture Conference 2023 ; https://hal.science/hal-04315073 ; K-CAP '23: Knowledge Capture Conference 2023,

Record details

×
Conference

Leveraging Moving Parameterization and Adaptive THB-Splines for CAD Surface Reconstruction of Aircraft Engine Components

Subjects: CCS Concepts; Computing methodologies; Parametric curve and surface modelsMatera; Italy

  • Source: Italian Chapter Conference 2023 - Smart Tools and Apps in Graphics ; STAG 2023 - annual international conference Smart Tools and Applications in Graphics - Eurographics Italian Chapter Conference 2023

Record details

×
Conference

Accelerating Phase and Quantitative susceptibility mapping with Scan-Specific Complex Convolutional Neural Networks

Subjects: Machine Learning; Artificial Intelligence AI; Quantitative Susceptibility MappingTorontoToronto, Canada

  • Source: 2023 ISMRM & ISMRT Annual Meeting & Exhibitionhttps://hal.science/hal-042695632023 ISMRM & ISMRT Annual Meeting & Exhibition, Jun 2023, Toronto, Canada

Record details

×
Conference

Better Steady than Speedy: Full Break of SPEEDY-7-192

Subjects: Block ciphers; Differential cryptanalysis; Key recoveryLyon; France

  • Source: EUROCRYPT 2023 - 42nd Annual International Conference on Theory and Applications of Cryptographic Techniques ; https://hal.science/hal-04268885 ; EUROCRYPT 2023 - 42nd Annual International Conference

Record details

×
Conference

First Order Logic and Twin-Width in Tournaments

Subjects: Tournaments; twin-width; first-order logicAmsterdam; Netherlands

  • Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 31st Annual European Symposium on Algorithms (ESA 2023) ; https://hal.science/hal-04249625 ; 31st Annual European Symposium on Algorithms

Record details

×
Conference

Fluctuation-based deconvolution in fluorescence microscopy using plug-and-play denoisers

Subjects: Fluorescence microscopy; Image deconvolution; Variational regularizationSardinia; Italy

  • Source: Scale Space and Variational Methods in Computer Vision ; https://hal.science/hal-04038738 ; Scale Space and Variational Methods in Computer Vision, May 2023, Sardinia, Italy. pp.498-510,

Record details

×
Conference

JADE OWL: JPEG 2000 forensics by wavelet offset consistency analysis

Subjects: Image forgery detection; JPEG 2000; a contrario detectionDalian; China

  • Source: International Conference on Image, Vision and Computing (ICIVC) ; https://hal.science/hal-04159673 ; International Conference on Image, Vision and Computing (ICIVC), IEEE, Jul 2023, Dalian, China

Record details

×
Conference

Stability of implicit neural networks for long-term forecasting in dynamical systems

Subjects: Deep Learning; Stability; Partial Differential EquationsKigali; Rwanda

  • Source: ICLR 2023 Workshop on Physics for Machine Learning ; https://hal.science/hal-04132587 ; ICLR 2023 Workshop on Physics for Machine Learning, May 2023, Kigali, Rwanda

Record details

×
  • 1-10 of  2,106 results for ""math""