Showing
1 - 20
results of
117
for search '
Inria Sophia-antipolis
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Inria Sophia-antipolis
Search Results
Showing
1 - 20
results of
117
for search '
Inria Sophia-antipolis
'
, query time: 0.26s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Research Association
Get access
Get access
Automatic Classification of Planktonic Foraminifera by a Knowledge-Based System
Get access
Description of Object Shapes by Apparent Boundary and Convex Hull
Get access
Get access
Automatic Classification of Planktonic Foraminifera by a Knowledge-Based System
Get access
A low-cost and socially acceptable approach of assistance robotics for elderly p...
Get access
SICOPOLIS-AD v2: tangent linear and adjoint modeling framework for ice sheet mod...
Get access
Get access
SICOPOLIS-AD v2: tangent linear and adjoint modeling framework for ice sheet mod...
Get access
Get access
Ice-flow model emulator based on physics-informed deep learning
Get access
Get access
Get access
Get access
Ice-flow model emulator based on physics-informed deep learning
Get access
Get access
Get access
Get access
Source-to-source adjoint Algorithmic Differentiation of an ice sheet model writt...
Get access
Get access
Shape-constrained segmentation approach for Arctic multiyear sea ice floe analys...
Get access
Get access
Get access
Shape-constrained segmentation approach for Arctic multiyear sea ice floe analys...
Get access
Get access
Get access
Source-to-source adjoint Algorithmic Differentiation of an ice sheet model writt...
Get access
Get access
Source-transformation Differentiation of a C++-like Ice Sheet model
Get access
Get access
Get access
Nonlinear Variational Method for Optical Flow Computation
Get access
Source-to-source adjoint Algorithmic Differentiation of an ice sheet model writt...
Get access
Get access
Source-to-source adjoint Algorithmic Differentiation of an ice sheet model writt...
Get access
Get access
Source-to-source adjoint Algorithmic Differentiation of an ice sheet model writt...
Get access
Get access
Source-transformation Differentiation of a C++-like Ice Sheet model
Get access
Get access
Get access
Source-transformation Differentiation of a C++-like Ice Sheet model
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
5
6
Next
Last
Search Tools:
Get RSS Feed
Related Subjects
[SDV]Life Sciences [q-bio]
[INFO]Computer Science [cs]
[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
[MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
[SPI]Engineering Sciences [physics]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[SDU.STU.GL]Sciences of the Universe [physics]/Earth Sciences/Glaciology
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
[SDV.BV]Life Sciences [q-bio]/Vegetal Biology
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
DECONVOLUTION
HETRE ANTARCTIQUE
LEAF PRIMORDIA
NEOFORMATION
NOTHOFAGUS
PREFORMATION
SHOOT
2012 ACM Subject Classification Theory of computation → Lambda calculus
Dependent types
Refiner
Subtyping
Theory of computation → Proof theory Keywords and phrases Intersection types
Type checker
Union types
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Loading...