↓ Skip to main content

Proceedings of the Future Technologies Conference (FTC) 2019

Overview of attention for book
Cover of 'Proceedings of the Future Technologies Conference (FTC) 2019'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 VEDAR: Accountable Behavioural Change Detection
  3. Altmetric Badge
    Chapter 2 AI Embedded Transparent Health and Medicine System
  4. Altmetric Badge
    Chapter 3 Image Segmentation Based on Cumulative Residual Entropy
  5. Altmetric Badge
    Chapter 4 Knowledge-Based Adaptative Hypermedia with HAries
  6. Altmetric Badge
    Chapter 5 Group Sales Forecasting, Polls vs. Swarms
  7. Altmetric Badge
    Chapter 6 Machine Translation from Natural Language to Code Using Long-Short Term Memory
  8. Altmetric Badge
    Chapter 7 ML Supported Predictions for SAT Solvers Performance
  9. Altmetric Badge
    Chapter 8 The Application of Artificial Neural Networks to Facilitate the Architectural Design Process
  10. Altmetric Badge
    Chapter 9 An Agent-Based Simulation of Corporate Gender Biases
  11. Altmetric Badge
    Chapter 10 Machine Learning Analysis of Mortgage Credit Risk
  12. Altmetric Badge
    Chapter 11 Efficient Bayesian Expert Models for Fever in Neutropenia and Fever in Neutropenia with Bacteremia
  13. Altmetric Badge
    Chapter 12 Preventing Overfitting by Training Derivatives
  14. Altmetric Badge
    Chapter 13 Machine Learning for the Identification and Classification of Key Phrases from Clinical Documents in Spanish
  15. Altmetric Badge
    Chapter 14 Automatic Grasping Using Tactile Sensing and Deep Calibration
  16. Altmetric Badge
    Chapter 15 An Emotion-Based Search Engine
  17. Altmetric Badge
    Chapter 16 Internet Memes: A Novel Approach to Distinguish Humans and Bots for Authentication
  18. Altmetric Badge
    Chapter 17 Estimating the Ground Temperature Around Energy Piles Using Artificial Neural Networks
  19. Altmetric Badge
    Chapter 18 Emerging Technology of Man’s Life-Long Partnership with Artificial Intelligence
  20. Altmetric Badge
    Chapter 19 Making Food with the Mind: Integrating Brain-Computer Interface and 3D Food Fabrication
  21. Altmetric Badge
    Chapter 20 Neuroscience of Creativity in Human Computer Interaction
  22. Altmetric Badge
    Chapter 21 Optimal Mapping Function for Predictions of the Subjective Quality Evaluation Using Artificial Intelligence
  23. Altmetric Badge
    Chapter 22 Negative Log Likelihood Ratio Loss for Deep Neural Network Classification
  24. Altmetric Badge
    Chapter 23 When Inclusion Means Smart City: Urban Planning Against Poverty
  25. Altmetric Badge
    Chapter 24 AntiOD: A Smart City Initiative to Fight the Opioid Crisis
  26. Altmetric Badge
    Chapter 25 Common Data Format in Visual Assembling Guidance Using Augmented Reality
  27. Altmetric Badge
    Chapter 26 Determining a Framework for the Generation and Evaluation of Ambient Intelligent Agent System Designs
  28. Altmetric Badge
    Chapter 27 Virtual Reality Rendered Video Precognition with Deep Learning for Crowd Management
  29. Altmetric Badge
    Chapter 28 Food, Energy and Water (FEW) Nexus Modeling Framework
  30. Altmetric Badge
    Chapter 29 End-to-End Drive By-Wire PID Lateral Control of an Autonomous Vehicle
  31. Altmetric Badge
    Chapter 30 Cryptography in Quantum Computing
  32. Altmetric Badge
    Chapter 31 A Stealth Migration Approach to Moving Target Defense in Cloud Computing
  33. Altmetric Badge
    Chapter 32 The First Quantum Co-processor Hybrid for Processing Quantum Point Cloud Multimodal Sensor Data
  34. Altmetric Badge
    Chapter 33 Low Power High Performance Computing on Arm System-on-Chip in Astrophysics
  35. Altmetric Badge
    Chapter 34 Quantum Computer Search Algorithms: Can We Outperform the Classical Search Algorithms?
  36. Altmetric Badge
    Chapter 35 Methodically Unified Procedures for Outlier Detection, Clustering and Classification
  37. Altmetric Badge
    Chapter 36 A Trust Model for Cloud: Results from a Survey
  38. Altmetric Badge
    Chapter 37 Quantum Recommendation System for Image Feature Matching and Pattern Recognition
  39. Altmetric Badge
    Chapter 38 A Hybrid Approach in Future-Oriented Technology Assessment
  40. Altmetric Badge
    Chapter 39 Detecting Spam Tweets in Trending Topics Using Graph-Based Approach
  41. Altmetric Badge
    Chapter 40 Bottom-Up Strategy for Data Retrieval and Data Entry over Front-End Application Software
  42. Altmetric Badge
    Chapter 41 A Tickless AMP Distributed Core-Based Microkernel for Big Data
  43. Altmetric Badge
    Chapter 42 K-means Principal Geodesic Analysis on Riemannian Manifolds
  44. Altmetric Badge
    Chapter 43 Evaluation of Missing Data Imputation Methods for an Enhanced Distributed PV Generation Prediction
  45. Altmetric Badge
    Chapter 44 Document Clustering by Relevant Terms: An Approach
  46. Altmetric Badge
    Chapter 45 Smart Consumption Study Using Data Analysis and IoT in Residential Level Refrigeration Machines
  47. Altmetric Badge
    Chapter 46 Factors Affecting Consumer-to-Consumer Sales Volume in e-Commerce
  48. Altmetric Badge
    Chapter 47 A Cutting-Edge Unified and Stable Rule Design Pattern
  49. Altmetric Badge
    Chapter 48 3D Distance Transformations with Feature Subtraction
  50. Altmetric Badge
    Chapter 49 Space-Filling Curve: A Robust Data Mining Tool
  51. Altmetric Badge
    Chapter 50 A Local-Network Guided Linear Discriminant Analysis for Classifying Lung Cancer Subtypes using Individual Genome-Wide Methylation Profiles
  52. Altmetric Badge
    Chapter 51 Multiple Global Community Detection in Signed Graphs
  53. Altmetric Badge
    Chapter 52 Simulation-Based Analysis of Equalization Algorithms on Active Balancing Battery Topologies for Electric Vehicles
  54. Altmetric Badge
    Chapter 53 Deep Learning-Based Document Modeling for Personality Detection from Turkish Texts
  55. Altmetric Badge
    Chapter 54 Prediction-Based Reversible Watermarking for Safe Transfer of CT Scan Medical Images
  56. Altmetric Badge
    Chapter 55 Diagnosis of Celiac Disease and Environmental Enteropathy on Biopsy Images Using Color Balancing on Convolutional Neural Networks
  57. Altmetric Badge
    Chapter 56 Diagnosis of Obstructive Sleep Apnea Using Logistic Regression and Artificial Neural Networks Models
  58. Altmetric Badge
    Chapter 57 Building a Blockchain Application: A Show Case for Healthcare Providers and Insurance Companies
  59. Altmetric Badge
    Chapter 58 Using Formal Languages to Elicit Requirements for Healthcare Blockchain Applications
  60. Altmetric Badge
    Chapter 59 Bridging the User Barriers of Home Telecare
  61. Altmetric Badge
    Chapter 60 An Intelligent System for Detecting a Person Sitting Position to Prevent Lumbar Diseases
  62. Altmetric Badge
    Chapter 61 In Search of a Decision-Making Framework for Involving Users Who Have Learning Disabilities or Sensory Impairments in the Process of Designing Future Technologies
  63. Altmetric Badge
    Chapter 62 Hybrid Cryptosystems for Protecting IoT Smart Devices with Comparative Analysis and Evaluation
  64. Altmetric Badge
    Chapter 63 Securing Combined Fog-to-Cloud Systems: Challenges and Directions
  65. Altmetric Badge
    Chapter 64 Low Power Area Network Sensors for Smart Parking
  66. Altmetric Badge
    Chapter 65 Blockchain Technology Solutions for Supply Chains
  67. Altmetric Badge
    Chapter 66 An Optimal Design of Contactless Power Transfer System Applied for Electric Vehicles Using Electromagnetic Resonant Coupling
  68. Altmetric Badge
    Chapter 67 PROBE: Preparing for Roads in Advance of Barriers and Errors
  69. Altmetric Badge
    Chapter 68 Industrial Cloud Automation for Interconnected Factories
  70. Altmetric Badge
    Chapter 69 Multi-Layer Perceptron Artificial Neural Network Based IoT Botnet Traffic Classification
  71. Altmetric Badge
    Chapter 70 Project BUMP: Developing Communication Tools for the Older Adult Population
Attention for Chapter 7: ML Supported Predictions for SAT Solvers Performance
Altmetric Badge

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
ML Supported Predictions for SAT Solvers Performance
Chapter number 7
Book title
Proceedings of the Future Technologies Conference (FTC) 2019
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-32520-6_7
Book ISBNs
978-3-03-032519-0, 978-3-03-032520-6
Authors

A. M. Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Student > Bachelor 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Arts and Humanities 1 25%
Engineering 1 25%