↓ Skip to main content

Developments in Language Theory

Overview of attention for book
Cover of 'Developments in Language Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation
  3. Altmetric Badge
    Chapter 1 Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk)
  4. Altmetric Badge
    Chapter 1 Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs
  5. Altmetric Badge
    Chapter 1 Tools and Techniques for Applications in 5G Networks and Beyond
  6. Altmetric Badge
    Chapter 1 Practical Experience Report: Automotive Safety Practices vs. Accepted Principles
  7. Altmetric Badge
    Chapter 1 Block Sorting-Based Transformations on Words: Beyond the Magic BWT
  8. Altmetric Badge
    Chapter 1 When Service-Oriented Computing Meets the IoT: A Use Case in the Context of Urban Mobile Crowdsensing
  9. Altmetric Badge
    Chapter 2 The Runs Theorem and Beyond
  10. Altmetric Badge
    Chapter 2 Secure Code Execution: A Generic PUF-Driven System Architecture
  11. Altmetric Badge
    Chapter 2 True Concurrent Management of Multi-component Applications
  12. Altmetric Badge
    Chapter 2 Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems
  13. Altmetric Badge
    Chapter 2 Evaluation of a Simulated Distributed Sensor- and Computational Network for Numerical Prediction Calculations
  14. Altmetric Badge
    Chapter 2 On Unimodular Matrices of Difference Operators
  15. Altmetric Badge
    Chapter 2 A Generic Method for a Bottom-Up ASIL Decomposition
  16. Altmetric Badge
    Chapter 3 A Brief Excursion to Parity Games
  17. Altmetric Badge
    Chapter 3 The Assurance Recipe: Facilitating Assurance Patterns
  18. Altmetric Badge
    Chapter 3 Runtime Evolution of Multi-tenant Service Networks
  19. Altmetric Badge
    Chapter 3 Estimation of a Heavy-Tailed Weibull-Pareto Distribution and Its Application to QoE Modeling
  20. Altmetric Badge
    Chapter 3 Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
  21. Altmetric Badge
    Chapter 3 Lumus: Dynamically Uncovering Evasive Android Applications
  22. Altmetric Badge
    Chapter 3 Sparse Polynomial Arithmetic with the BPAS Library
  23. Altmetric Badge
    Chapter 4 A Tale of Conjunctive Grammars
  24. Altmetric Badge
    Chapter 4 ICUFuzzer: Fuzzing ICU Library for Exploitable Bugs in Multiple Software
  25. Altmetric Badge
    Chapter 4 DevOps Service Observability By-Design: Experimenting with Model-View-Controller
  26. Altmetric Badge
    Chapter 4 Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving
  27. Altmetric Badge
    Chapter 4 Incorporating Attacks Modeling into Safety Process
  28. Altmetric Badge
    Chapter 4 Communication Capabilities of Wireless M-BUS: Remote Metering Within SmartGrid Infrastructure
  29. Altmetric Badge
    Chapter 4 Computation of Pommaret Bases Using Syzygies
  30. Altmetric Badge
    Chapter 5 Re-architecting OO Software into Microservices
  31. Altmetric Badge
    Chapter 5 Assurance Case Considerations for Interoperable Medical Systems
  32. Altmetric Badge
    Chapter 5 Multi-aspect Safety Engineering for Highly Automated Driving
  33. Altmetric Badge
    Chapter 5 How Safe Is Safety Number? A User Study on SIGNAL’s Fingerprint and Safety Number Methods for Public Key Verification
  34. Altmetric Badge
    Chapter 5 A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
  35. Altmetric Badge
    Chapter 5 On a Queueing System with Processing of Service Items Under Vacation and N-policy
  36. Altmetric Badge
    Chapter 5 Groups, Languages and Dendric Shifts
  37. Altmetric Badge
    Chapter 6 Some Open Problems in Polyomino Tilings
  38. Altmetric Badge
    Chapter 6 A Model-Based Safety Analysis of Dependencies Across Abstraction Layers
  39. Altmetric Badge
    Chapter 6 Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling
  40. Altmetric Badge
    Chapter 6 An Encoder-Decoder Architecture for the Prediction of Web Service QoS
  41. Altmetric Badge
    Chapter 6 Flying Network for Emergencies
  42. Altmetric Badge
    Chapter 6 Two Decades of Assurance Case Tools: A Survey
  43. Altmetric Badge
    Chapter 6 Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
  44. Altmetric Badge
    Chapter 7 Weak Cost Register Automata Are Still Powerful
  45. Altmetric Badge
    Chapter 7 Statistical Clustering of a Random Network by Extremal Properties
  46. Altmetric Badge
    Chapter 7 MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases
  47. Altmetric Badge
    Chapter 7 Formal Verification of Signalling Programs with SafeCap
  48. Altmetric Badge
    Chapter 7 Automatic Search for Related-Key Differential Trails in SIMON-like Block Ciphers Based on MILP
  49. Altmetric Badge
    Chapter 7 A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities
  50. Altmetric Badge
    Chapter 7 Trustworthy Detection and Arbitration of SLA Violations in the Cloud
  51. Altmetric Badge
    Chapter 8 Distributed Complex Event Processing in Multiclouds
  52. Altmetric Badge
    Chapter 8 From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions
  53. Altmetric Badge
    Chapter 8 From Two-Way Transducers to Regular Function Expressions
  54. Altmetric Badge
    Chapter 8 Deriving and Formalising Safety and Security Requirements for Control Systems
  55. Altmetric Badge
    Chapter 8 Linear Cryptanalysis of Reduced-Round Speck with a Heuristic Approach: Automatic Search for Linear Trails
  56. Altmetric Badge
    Chapter 8 On Proximity-Based Information Delivery
  57. Altmetric Badge
    Chapter 8 D-Case Steps: New Steps for Writing Assurance Cases
  58. Altmetric Badge
    Chapter 9 A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment
  59. Altmetric Badge
    Chapter 9 Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
  60. Altmetric Badge
    Chapter 9 A Multi-level Policy Engine to Manage Identities and Control Accesses in Cloud Computing Environment
  61. Altmetric Badge
    Chapter 9 Decidability of Right One-Way Jumping Finite Automata
  62. Altmetric Badge
    Chapter 9 Symbolic Algorithm for Generating the Orthonormal Bargmann–Moshinsky Basis for $$\mathrm {SU(3)}$$ Group
  63. Altmetric Badge
    Chapter 9 Conditional Cube Searching and Applications on Trivium-Variant Ciphers
  64. Altmetric Badge
    Chapter 9 Enabling M2M Communication Through MEC and SDN
  65. Altmetric Badge
    Chapter 10 About Some Drinfel’d Associators
  66. Altmetric Badge
    Chapter 10 Additive Number Theory via Approximation by Regular Languages
  67. Altmetric Badge
    Chapter 10 A Practical Approach to Services Composition Through Light Semantic Descriptions
  68. Altmetric Badge
    Chapter 10 Practical Attacks on Relational Databases Protected via Searchable Encryption
  69. Altmetric Badge
    Chapter 10 Queuing Management with Feedback in Cloud Computing Centers with Large Numbers of Web Servers
  70. Altmetric Badge
    Chapter 10 Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
  71. Altmetric Badge
    Chapter 10 Constraint-Based Testing for Buffer Overflows
  72. Altmetric Badge
    Chapter 11 The Time-Out Length Influence on the Available Bandwidth of the Selective Failure Mode of Transport Protocol in the Load Data Transmission Path
  73. Altmetric Badge
    Chapter 11 Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry
  74. Altmetric Badge
    Chapter 11 Tree-to-Graph Transductions with Scope
  75. Altmetric Badge
    Chapter 11 Using a Microbenchmark to Compare Function as a Service Solutions
  76. Altmetric Badge
    Chapter 11 On a Polytime Factorization Algorithm for Multilinear Polynomials over $$\mathbb {F}_2$$
  77. Altmetric Badge
    Chapter 11 Multi-layered Approach to Safe Navigation of Swarms of Drones
  78. Altmetric Badge
    Chapter 11 A Simple Algorithm for Estimating Distribution Parameters from $$n$$ n -Dimensional Randomized Binary Responses
  79. Altmetric Badge
    Chapter 12 Safe and Secure Automotive Over-the-Air Updates
  80. Altmetric Badge
    Chapter 12 Tropical Newton–Puiseux Polynomials
  81. Altmetric Badge
    Chapter 12 Enforcing Access Controls for the Cryptographic Cloud Service Invocation Based on Virtual Machine Introspection
  82. Altmetric Badge
    Chapter 12 Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems
  83. Altmetric Badge
    Chapter 12 ICT-Based Beekeeping Using IoT and Machine Learning
  84. Altmetric Badge
    Chapter 12 A Characterization of Completely Reachable Automata
  85. Altmetric Badge
    Chapter 12 APIComposer: Data-Driven Composition of REST APIs
  86. Altmetric Badge
    Chapter 13 Multi-authority Fast Data Cloud-Outsourcing for Mobile Devices
  87. Altmetric Badge
    Chapter 13 MAP/PH/1 Retrial Queue with Abandonment, Flush Out and Search of Customers
  88. Altmetric Badge
    Chapter 13 Dependability Analysis of the AFDX Frame Management Design
  89. Altmetric Badge
    Chapter 13 Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems
  90. Altmetric Badge
    Chapter 13 IaaS Service Selection Revisited
  91. Altmetric Badge
    Chapter 13 Orthogonal Tropical Linear Prevarieties
  92. Altmetric Badge
    Chapter 13 Inequalities for One-Step Products
  93. Altmetric Badge
    Chapter 14 An Innovative MapReduce-Based Approach of Dijkstra’s Algorithm for SDN Routing in Hybrid Cloud, Edge and IoT Scenarios
  94. Altmetric Badge
    Chapter 14 Co-Engineering-in-the-Loop
  95. Altmetric Badge
    Chapter 14 On the Commutative Equivalence of Context-Free Languages
  96. Altmetric Badge
    Chapter 14 Hide the Modulus: A Secure Non-Interactive Fully Verifiable Delegation Scheme for Modular Exponentiations via CRT
  97. Altmetric Badge
    Chapter 14 Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements
  98. Altmetric Badge
    Chapter 14 Risk Overbounding for a Linear Model
  99. Altmetric Badge
    Chapter 14 Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators
  100. Altmetric Badge
    Chapter 15 Little Boxes: A Dynamic Optimization Approach for Enhanced Cloud Infrastructures
  101. Altmetric Badge
    Chapter 15 Simon’s Theorem for Scattered Words
  102. Altmetric Badge
    Chapter 15 STPA Guided Systems Engineering
  103. Altmetric Badge
    Chapter 15 Analysis of Resource Sharing Between MBB and MTC Sessions with Data Aggregation Using Matrix-Analytic Methods and Simulation
  104. Altmetric Badge
    Chapter 15 Random Additive Control Flow Error Detection
  105. Altmetric Badge
    Chapter 15 Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System
  106. Altmetric Badge
    Chapter 15 Offline Assisted Group Key Exchange
  107. Altmetric Badge
    Chapter 16 Cloud Topology and Orchestration Using TOSCA: A Systematic Literature Review
  108. Altmetric Badge
    Chapter 16 Efficiency Enhancement of Tethered High Altitude Communication Platforms Based on Their Hardware-Software Unification
  109. Altmetric Badge
    Chapter 16 Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets
  110. Altmetric Badge
    Chapter 16 Fault-Tolerant Clock Synchronization with Only Two Redundant Paths
  111. Altmetric Badge
    Chapter 16 Function-Dependent Commitments for Verifiable Multi-party Computation
  112. Altmetric Badge
    Chapter 16 The Synchronizing Probability Function for Primitive Sets of Matrices
  113. Altmetric Badge
    Chapter 16 A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities
  114. Altmetric Badge
    Chapter 17 On Constructing Pairing-Free Identity-Based Encryptions
  115. Altmetric Badge
    Chapter 17 Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
  116. Altmetric Badge
    Chapter 17 On Cyber-Security of Information Systems
  117. Altmetric Badge
    Chapter 17 Safety and Security in a Smart Production Environment
  118. Altmetric Badge
    Chapter 17 Recognizability for Automata
  119. Altmetric Badge
    Chapter 17 MORE: MOdel-based REdundancy for Simulink
  120. Altmetric Badge
    Chapter 18 Multi-key Homomorphic Proxy Re-Encryption
  121. Altmetric Badge
    Chapter 18 Survey of Scenarios for Measurement of Reliable Wireless Communication in 5G
  122. Altmetric Badge
    Chapter 18 Inventory Management System with Two-Switch Synchronous Control
  123. Altmetric Badge
    Chapter 18 Site-Directed Deletion
  124. Altmetric Badge
    Chapter 18 Diversity in Open Source Intrusion Detection Systems
  125. Altmetric Badge
    Chapter 18 Qualitative Analysis of a Dynamical System with Irrational First Integrals
  126. Altmetric Badge
    Chapter 19 Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots
  127. Altmetric Badge
    Chapter 19 Verifiable Decryption for Fully Homomorphic Encryption
  128. Altmetric Badge
    Chapter 19 Effective Localization Using Double Ideal Quotient and Its Implementation
  129. Altmetric Badge
    Chapter 19 Counting Subwords and Regular Languages
  130. Altmetric Badge
    Chapter 19 Application of IEC 62443 for IoT Components
  131. Altmetric Badge
    Chapter 19 A Retrial Queueing System with Multiple Hierarchial Orbits and Orbital Search
  132. Altmetric Badge
    Chapter 20 Platform-Independent Secure Blockchain-Based Voting System
  133. Altmetric Badge
    Chapter 20 A Purely Functional Computer Algebra System Embedded in Haskell
  134. Altmetric Badge
    Chapter 20 Deque Languages, Automata and Planar Graphs
  135. Altmetric Badge
    Chapter 20 On Sensitivity Analysis of Steady State Probabilities of Double Redundant Renewable System with Marshall-Olkin Failure Model
  136. Altmetric Badge
    Chapter 20 Dependable Outlier Detection in Harsh Environments Monitoring Systems
  137. Altmetric Badge
    Chapter 20 Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling
  138. Altmetric Badge
    Chapter 21 Privacy in Crowdsourcing: A Systematic Review
  139. Altmetric Badge
    Chapter 21 Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods
  140. Altmetric Badge
    Chapter 21 Data Reclassification of Multidimensional Information System Designed Using Cluster Method of Metadata Description
  141. Altmetric Badge
    Chapter 21 Fault Trees vs. Component Fault Trees: An Empirical Study
  142. Altmetric Badge
    Chapter 21 A General Approach to State Complexity of Operations: Formalization and Limitations
  143. Altmetric Badge
    Chapter 22 Method for Adaptive Node Clustering in AD HOC Wireless Sensor Networks
  144. Altmetric Badge
    Chapter 22 Factoring Multivariate Polynomials with Many Factors and Huge Coefficients
  145. Altmetric Badge
    Chapter 22 Challenges in Assuring Highly Complex, High Volume Safety-Critical Software
  146. Altmetric Badge
    Chapter 22 On Matching Generalised Repetitive Patterns
  147. Altmetric Badge
    Chapter 22 Anonymous yet Traceable Strong Designated Verifier Signature
  148. Altmetric Badge
    Chapter 23 Strongly Unforgeable Signature Resilient to Polynomially Hard-to-Invert Leakage Under Standard Assumptions
  149. Altmetric Badge
    Chapter 23 Beyond the First Class of Analytic Complexity
  150. Altmetric Badge
    Chapter 23 The Model and Algorithms for Estimation the Performance Measures of Access Node Serving the Mixture of Real Time and Elastic Data
  151. Altmetric Badge
    Chapter 23 Intersection Non-emptiness and Hardness Within Polynomial Time
  152. Altmetric Badge
    Chapter 23 Comparing Risk Identification in Hazard Analysis and Threat Analysis
  153. Altmetric Badge
    Chapter 24 Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars
  154. Altmetric Badge
    Chapter 24 A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence
  155. Altmetric Badge
    Chapter 24 Unreliable Single-Server Queue with Two-Way Communication and Retrials of Blocked and Interrupted Calls for Cognitive Radio Networks
  156. Altmetric Badge
    Chapter 24 A Revocable Group Signature Scheme with Scalability from Simple Assumptions and Its Implementation
  157. Altmetric Badge
    Chapter 24 Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic
  158. Altmetric Badge
    Chapter 25 A Pattern Logic for Automata with Outputs
  159. Altmetric Badge
    Chapter 25 Some Aspects of the Discrete Geo/G/1 Type Cyclic Waiting Systems
  160. Altmetric Badge
    Chapter 25 Fast Flux Service Network Detection via Data Mining on Passive DNS Traffic
  161. Altmetric Badge
    Chapter 25 Integration Analysis of a Transmission Unit for Automated Driving Vehicles
  162. Altmetric Badge
    Chapter 25 A Blackbox Polynomial System Solver on Parallel Shared Memory Computers
  163. Altmetric Badge
    Chapter 26 Beyond Cookie Monster Amnesia: Real World Persistent Online Tracking
  164. Altmetric Badge
    Chapter 26 The Intersection Problem for Finite Semigroups
  165. Altmetric Badge
    Chapter 26 A Retrial Queueing System with Alternating Inter-retrial Time Distribution
  166. Altmetric Badge
    Chapter 26 In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity
  167. Altmetric Badge
    Chapter 27 On Completely Reachable Automata and Subset Reachability
  168. Altmetric Badge
    Chapter 27 Implementation of Unlimited Anticollision for RFID System by Multilateration Method
  169. Altmetric Badge
    Chapter 27 Counter Attacks for Bus-off Attacks
  170. Altmetric Badge
    Chapter 27 Cyber-Risks in the Industrial Internet of Things (IIoT): Towards a Method for Continuous Assessment
  171. Altmetric Badge
    Chapter 28 Applications of Pairing-Based Cryptography on Automotive-Grade Microcontrollers
  172. Altmetric Badge
    Chapter 28 Characteristics of Lost and Served Packets for Retrial Queueing System with General Renovation and Recurrent Input Flow
  173. Altmetric Badge
    Chapter 28 On Minimal Grammar Problems for Finite Languages
  174. Altmetric Badge
    Chapter 29 Reversible Pushdown Transducers
  175. Altmetric Badge
    Chapter 29 Towards an Integrated Penetration Testing Environment for the CAN Protocol
  176. Altmetric Badge
    Chapter 29 Using Predictive Monitoring Models in Cloud Computing Systems
  177. Altmetric Badge
    Chapter 30 Two-Way Automata and One-Tape Machines
  178. Altmetric Badge
    Chapter 30 Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation
  179. Altmetric Badge
    Chapter 30 A Functional Approach to Estimation of the Parameters of Generalized Negative Binomial and Gamma Distributions
  180. Altmetric Badge
    Chapter 31 A Security Analysis of the ETSI ITS Vehicular Communications
  181. Altmetric Badge
    Chapter 31 Reliability of a Discrete-Time System with Investment
  182. Altmetric Badge
    Chapter 31 Dynamics of the Independence Number and Automata Synchronization
  183. Altmetric Badge
    Chapter 32 Model of Next-Generation Optical Switching System
  184. Altmetric Badge
    Chapter 32 Closest Substring Problems for Regular Languages
  185. Altmetric Badge
    Chapter 32 Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning
  186. Altmetric Badge
    Chapter 33 On Some Properties of Smoothly Irregular Waveguide Structures Critical for Information Optical Systems
  187. Altmetric Badge
    Chapter 33 “Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift
  188. Altmetric Badge
    Chapter 33 Computational Complexity of Decision Problems on Self-verifying Finite Automata
  189. Altmetric Badge
    Chapter 34 Mitigation of Policy Manipulation Attacks on Deep Q-Networks with Parameter-Space Noise
  190. Altmetric Badge
    Chapter 34 Stability of a Two-Pool N-Model with Preemptive-Resume Priority
  191. Altmetric Badge
    Chapter 34 Generalizations of Checking Stack Automata: Characterizations and Hierarchies
  192. Altmetric Badge
    Chapter 35 Myopic Channel Switching Strategies for Stationary Mode: Threshold Calculation Algorithms
  193. Altmetric Badge
    Chapter 35 What Is Acceptably Safe for Reinforcement Learning?
  194. Altmetric Badge
    Chapter 35 On Counting Functions of Languages
  195. Altmetric Badge
    Chapter 36 Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata
  196. Altmetric Badge
    Chapter 36 Uncertainty in Machine Learning Applications: A Practice-Driven Classification of Uncertainty
  197. Altmetric Badge
    Chapter 36 A Novel Slice-Oriented Network Model
  198. Altmetric Badge
    Chapter 37 Reliability of the Information System with Intermediate Storage Devices
  199. Altmetric Badge
    Chapter 37 Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving
  200. Altmetric Badge
    Chapter 37 On Abelian Subshifts
  201. Altmetric Badge
    Chapter 38 Reachability Problems in Nondeterministic Polynomial Maps on the Integers
  202. Altmetric Badge
    Chapter 38 Design of a Knowledge-Base Strategy for Capability-Aware Treatment of Uncertainties of Automated Driving Systems
  203. Altmetric Badge
    Chapter 38 Cluster-Based Energy Consumption Forecasting in Smart Grids
  204. Altmetric Badge
    Chapter 39 Projection for Büchi Tree Automata with Constraints Between Siblings
  205. Altmetric Badge
    Chapter 39 A Review of Metric Analysis Applications to the Problems of Interpolating, Filtering and Predicting the Values of Onevariable and Multivariable Functions
  206. Altmetric Badge
    Chapter 39 Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving
  207. Altmetric Badge
    Chapter 40 The Computational Power of Parsing Expression Grammars
  208. Altmetric Badge
    Chapter 40 Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft
  209. Altmetric Badge
    Chapter 40 The Application of Helmholtz Decomposition Method to Investigation of Multicore Fibers and Their Application in Next-Generation Communications Systems
  210. Altmetric Badge
    Chapter 41 Could We Issue Driving Licenses to Autonomous Vehicles?
  211. Altmetric Badge
    Chapter 41 On-the-Fly Multiple Sources Data Analysis in AR-Based Decision Support Systems
  212. Altmetric Badge
    Chapter 41 On Finitely Ambiguous Büchi Automata
  213. Altmetric Badge
    Chapter 42 Retrial Queue M/M/N with Impatient Customer in the Orbit
  214. Altmetric Badge
    Chapter 42 Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety
  215. Altmetric Badge
    Chapter 42 Uniformization Problem for Variants of First Order Logic over Finite Words
  216. Altmetric Badge
    Chapter 43 The Moral Responsibility Gap and the Increasing Autonomy of Systems
  217. Altmetric Badge
    Chapter 43 On a Problem of Base Stations Optimal Placement in Wireless Networks with Linear Topology
  218. Altmetric Badge
    Chapter 43 On Deterministic Ordered Restart-Delete Automata
  219. Altmetric Badge
    Chapter 44 Analysis of the Possibilities of Using the Means of Tropospheric cm-Wave Radio Communication with a Time Division Duplex in Telecommunication Systems
  220. Altmetric Badge
    Chapter 44 Complementation of Finitely Ambiguous Büchi Automata
  221. Altmetric Badge
    Chapter 44 Design Requirements for a Moral Machine for Autonomous Weapons
  222. Altmetric Badge
    Chapter 45 A Structural Lemma for Deterministic Context-Free Languages
  223. Altmetric Badge
    Chapter 45 AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values
  224. Altmetric Badge
    Chapter 45 The Recognition of the Output Function of a Finite Automaton with Random Input
  225. Altmetric Badge
    Chapter 46 Issues in the Software Implementation of Stochastic Numerical Runge–Kutta
  226. Altmetric Badge
    Chapter 46 A Psychopathological Approach to Safety Engineering in AI and AGI
  227. Altmetric Badge
    Chapter 47 Automatic Recognition of a Weakly Identified Animal Activity State Based on Data Transformation of 3D Acceleration Sensor
  228. Altmetric Badge
    Chapter 47 Why Bad Coffee? Explaining Agent Plans with Valuings
  229. Altmetric Badge
    Chapter 48 Principles of Construction of Mobile and Stationary Tethered High-Altitude Unmanned Telecommunication Platforms of Long-Term Operation
  230. Altmetric Badge
    Chapter 48 Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning
  231. Altmetric Badge
    Chapter 49 Improving Image Classification Robustness Using Predictive Data Augmentation
  232. Altmetric Badge
    Chapter 49 Reliability of Two Communication Channels in a Random Environment
  233. Altmetric Badge
    Chapter 50 Self Rising Tri Layers MLP for Time Series Forecasting
Attention for Chapter 14: Co-Engineering-in-the-Loop
Altmetric Badge

Mentioned by

twitter
4 tweeters
googleplus
1 Google+ user

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
Co-Engineering-in-the-Loop
Chapter number 14
Book title
Developments in Language Theory
Published by
Springer, Cham, August 2018
DOI 10.1007/978-3-319-99229-7_14
Book ISBNs
978-3-31-998653-1, 978-3-31-998654-8, 978-3-31-999228-0, 978-3-31-999229-7
Authors

Thomas Gruber, Christoph Schmittner, Martin Matschnig, Bernhard Fischer

Twitter Demographics

The data shown below were collected from the profiles of 4 tweeters who shared this research output. Click here to find out more about how the information was compiled.

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 %
Professor 1 25%
Researcher 1 25%
Lecturer 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Unknown 2 50%