Computer-Science
Standalone and RTK GNSS on 30,000 km of North American Highways
CBC Approach for Evaluating Potential SaaS on the Cloud
Limiting Network Size within Finite Bounds for Optimization
Instant automatic diagnosis of diabetic retinopathy
Safe Artificial General Intelligence via Distributed Ledger Technology
Performance Analysis and Fault Diagnosis Method for Concentrator Photovoltaic Modules
Evaluating an Automated Mediator for Joint Narratives in a Conflict Situation
Model Based System Assurance Using the Structured Assurance Case Metamodel
A Simplified and Improved Free-Variable Framework for Hilberts epsilon as an Operator of Indefinite Committed Choice
Preliminary Studies on the Usefulness of Nonlinear Boundary Element Method for Real-Time Simulation of Biological Organs
On Direct Product and Quotient of Strongly Connected Automata
Rainbow: A Composable Coherence Protocol for Multi-Chip Servers
Complex Algebras of Arithmetic
EMF-REST: Generation of RESTful APIs from Models
Contrastive Learning of Emoji-based Representations for Resource-Poor Languages
Emotions are Universal: Learning Sentiment Based Representations of Resource-Poor Languages using Siamese Networks
A Constraint Driven Solution Model for Discrete Domains with a Case Study of Exam Timetabling Problems
A Review on the Application of Blockchain for the Next Generation of Cybersecure Industry 4.0 Smart Factories
Wi-Fi Sensing: Applications and Challenges
MVDLite: a Fast Validation Algorithm for Model View Definition Rules
Software Effort Estimation with Ridge Regression and Evolutionary Attribute Selection
Phase-field modeling of brittle fracture with multi-level hp-FEM and the finite cell method