1. //
  2. Start
  3. //
  4. Journals
  5. //
  6. ACM Transactions on Computational Logic
  7. //
  8. Publications
  9. //

ACM Transactions on Computational Logic, ‎1529-3785

Journal

Recently viewed

Publications

  1. Joint entity and relation linking using EARL
  2. A two-step approach for the prediction of mood levels based on diary data
  3. Automatic enumeration of all connected subgraphs.
  4. Methodologies for Noise and Gross Error Detection using Univariate Signal-Based Approaches in Industrial Application
  5. Using Natural Language Processing Techniques to Tackle the Construct Identity Problem in Information Systems Research
  6. Knowledge Graph Question Answering Using Graph-Pattern Isomorphism
  7. Graph Conditional Variational Models: Too Complex for Multiagent Trajectories?
  8. Using Euler Discrete Approximation to Control an Aggregate Actuator in Camless Engines
  9. Substructure, subgraph, and walk counts as measures of the complexity of graphs and molecules.
  10. Homogenization modeling of thin-layer-type microstructures
  11. Using mixture distribution models to test the construct validity of the Physical Self-Description Questionnaire
  12. A sufficient asymptotic stability condition in generalised model predictive control to avoid input saturation
  13. Application of non-convex rate dependent gradient plasticity to the modeling and simulation of inelastic microstructure development and inhomogeneous material behavior
  14. Expertise in research integration and implementation for tackling complex problems
  15. A discrete approximate solution for the asymptotic tracking problem in affine nonlinear systems
  16. Closed-loop control of product geometry by using an artificial neural network in incremental sheet forming with active medium
  17. Performance and Comfort when Using Motion-Controlled Tools in Complex Tasks
  18. Neural network-based adaptive fault-tolerant control for strict-feedback nonlinear systems with input dead zone and saturation
  19. Unity and diversity in the law of state responsibility
  20. Comparing the Sensitivity of Social Networks, Web Graphs, and Random Graphs with Respect to Vertex Removal
  21. Anatomy of Haar Wavelet Filter and Its Implementation for Signal Processing
  22. Introducing a multivariate model for predicting driving performance
  23. Semantic Parsing for Knowledge Graph Question Answering with Large Language Models
  24. Age-related differences in processing visual device and task characteristics when using technical devices
  25. Enhancing Performance of Level System Modeling with Pseudo-Random Signals
  26. Evaluating the construct validity of Objective Personality Tests using a multitrait-multimethod-Multioccasion-(MTMM-MO)-approach
  27. Constructions and Reconstructions. The Architectural Image between Rendering and Photography
  28. Using the flatness of DC-Drives to emulate a generator for a decoupled MPC using a geometric approach for motion control in Robotino
  29. A discrete-time fractional order PI controller for a three phase synchronous motor using an optimal loop shaping approach
  30. NH4+ ad-/desorption in sequencing batch reactors
  31. A model predictive control in Robotino and its implementation using ROS system
  32. A transfer operator based computational study of mixing processes in open flow systems
  33. Analysis and comparison of two finite element algorithms for dislocation density based crystal plasticity
  34. A New Framework for Production Planning and Control to Support the Positioning in Fields of Tension Created by Opposing Logistic Objectives
  35. Finding Similar Movements in Positional Data Streams
  36. Exploration strategies, performance, and error consequences when learning a complex computer task
  37. Changes of Perception