Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Lasaruk, Aless
Search Results - Lasaruk, Aless
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
An Efficient Model for a Camera Behind a Parallel Refractive Slab
by
Lasaruk, Aless
,
Pajdla, Tomas
Published in
International journal of computer vision
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Weak quantifier elimination for the full linear theory of the integers: A uniform generalization of Presburger arithmetic
by
Lasaruk, Aless
,
Sturm, Thomas
Published in
Applicable algebra in engineering, communication and computing
Get full text
Items that this one cites
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
Applicable Algebra In Engineering, Communication And Computing
1 results
1
International Journal Of Computer Vision
1 results
1
Subjects
Accuracy
1 results
1
Artificial Intelligence
1 results
1
Automobile Industry
1 results
1
Cameras
1 results
1
Computer Imaging
1 results
1
Computer Science
1 results
1
Computer Science, Artificial Intelligence
1 results
1
Exact Solutions
1 results
1
Floating Point Arithmetic
1 results
1
Image Processing And Computer Vision
1 results
1
Implementation
1 results
1
Industrial Applications
1 results
1
Integer Constraint Solving
1 results
1
Pattern Recognition
1 results
1
Pattern Recognition And Graphics
1 results
1
Pinhole Cameras
1 results
1
Polynomials
1 results
1
Quantifier Elimination
1 results
1
Science & Technology
1 results
1
Special Issue On 3D Computer Vision
1 results
1
Year of Publication
From:
To:
Source
Springer Link
2 results
2
Springer Online Journal Archives
2 results
2
Springer Nature - Connect Here First To Enable Access
2 results
2
Abi/Inform Global
1 results
1