Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Architecture
Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Model Checking Boot Code From AWS Data Centers
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Correction To: Rosette Plant Segmentation With Leaf Count Using Orthogonal Transform and Deep Convolutional Neural Network
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Contour Segmentation in 2D Ultrasound Medical Images With Particle Filtering
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Experimental Investigation of Energy Dissipation Mechanisms in Laminated Safety Glass for Combined Blast-Temperature Loading Scenarios
Glass Structures and Engineering
Building
Civil
Construction
Architecture
Structural Engineering
Finger-Vein Authentication Based on Deformation-Tolerant Feature-Point Matching
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Evaluating Multimedia Features and Fusion for Example-Based Event Detection
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Preface to the Special Issue “SI: Satisfiability Modulo Theories”
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Incrementally Closing Octagons
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
‹
103
104
105
106
107
108
109
›
