![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
9,999 Result(s)
-
Chapter and Conference Paper
Correction to: Students Intention Towards Digital Entrepreneurship – Industry 5.0
-
Chapter and Conference Paper
Correction to: A Very Deep Adaptive Convolutional Neural Network (VDACNN) for Image Dehazing
-
Chapter and Conference Paper
Correction to: Vision Transformers for Breast Cancer Histology Image Classification
-
Chapter
FPGA-Based Design and Implementation of a Code-Based Post-quantum KEM
Post-quantum cryptography aims to design cryptosystems that can be deployed on traditional computers and resist attacks from quantum computers, which are widely expected to break the currently deployed public-...
-
Chapter
Electronic Bio-Reconfigurable Impedance Platform for High Sensitivity Detection of Target Analytes
The present research presents a portable bioelectronic platform for multiplex detection to read biosensor chips with several sensing sites for real-time analyte capture. The technique is based on Differential ...
-
Chapter and Conference Paper
Reinforcement Learning from Human Feedback for Cyber-Physical Systems: On the Potential of Self-Supervised Pretraining
In this paper, we advocate for the potential of reinforcement learning from human feedback (RLHF) with self-supervised pretraining to increase the viability of reinforcement learning (RL) for real-world tasks,...
-
Chapter
Model Predictive Control for Constrained Navigation of Autonomous Vehicles
As autonomous vehicles become increasingly prevalent in our daily lives, new control challenges arise to ensure their safety and the safety of their surroundings. This work addresses these challenges by develo...
-
Chapter and Conference Paper
Deploying Machine Learning in High Pressure Resin Transfer Molding and Part Post Processing: A Case Study
High pressure resin transfer molding (HP-RTM) is well suited to medium volume automated production of composites. The process complexities of HP-RTM however often make its application insular. Data is not carr...
-
Chapter and Conference Paper
Word Segmentation of Hiragana Sentences Using Hiragana BERT
Unlike Western languages, word segmentation is necessary for Japanese sentences because they do not have word boundaries. The performances of existing morphological analyzers for Japanese sentences are very hi...
-
Chapter and Conference Paper
Control Reconfiguration of CPS via Online Identification Using Sparse Regression (SINDYc)
Cyber-physical systems are becoming increasingly complex and prone to faults. To effectively handle these faults, online identification and reconfiguration of the system are crucial. This paper proposes a meth...
-
Chapter and Conference Paper
Accuracy Optimization in Speech Pathology Diagnosis with Data Preprocessing Techniques
Using acoustic analysis to classify and identify speech disorders non-invasively can reduce waiting times for patients and specialists while also increasing the accuracy of diagnoses. In order to identify mode...
-
Chapter and Conference Paper
Domain Knowledge Injection Guidance for Predictive Maintenance
With the integration of Industry 4.0 technologies, overall maintenance costs of industrial machines can be reduced by applying predictive maintenance. Unique challenges that often occur in real-time manufactur...
-
Chapter and Conference Paper
Returning Home Strategy Analysis Using Mobile Sensing Data in Tohoku Earthquake
In recent decades, there has been a significant increase in the frequency and intensity of natural disasters. Such catastrophic events often result in large-scale population movements and evacuations. Analyzin...
-
Chapter and Conference Paper
Induction in Saturation
Proof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful fr...
-
Chapter and Conference Paper
Grid Search Optimization of Novel SNN-ESN Classifier on a Supercomputer Platform
This work is demonstrating the use of a supercomputer platform to optimise hyper-parameters of a proposed by the team novel SNN-ESN computational model, that combines a brain template of spiking neurons in a s...
-
Chapter
Cooperative Processing and Learning Methods for High-Resolution Environmental Perception
Cooperative positioning approaches enable interconnected agents to share information across the network, thereby improving accuracy, reliability, and safety compared to conventional single-agent localization m...
-
Chapter and Conference Paper
Booleguru, the Propositional Polyglot (Short Paper)
Recent approaches on verification and reasoning solve SAT and QBF encodings using state-of-the-art SMT solvers, as it “makes implementation much easier”. The ease-of-use of these solvers make SAT and QBF solve...
-
Chapter and Conference Paper
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing sat...
-
Chapter and Conference Paper
Development of a Standardized Data Acquisition Prototype for Heterogeneous Sensor Environments as a Basis for ML Applications in Pultrusion
Pultrusion of continuous fiber reinforced profiles has been state of the art for several decades. However, pultrusion in the production environment so far has no or only few sensor data in a heterogeneous sens...
-
Chapter and Conference Paper
Augmenting Explainable Data-Driven Models in Energy Systems: A Python Framework for Feature Engineering
Data-driven modeling is an approach in energy systems modeling that has been gaining popularity. In data-driven modeling, machine learning methods such as linear regression, neural networks or decision-tree ba...