ACM Transactions on Computational Logic, ‎1529-3785

Journal

Recently viewed

Publications

  1. Combining Kalman filter and RLS-Algorithm to Improve a Textile based Sensor System in the Presence of Linear Time-Varying Parameters
  2. Modelling and implementing business processes in distributed systems
  3. Evolutionary generation of dispatching rule sets for complex dynamic scheduling problems
  4. Algebraic combinatorics in mathematical chemistry. Methods and algorithms. I. Permutation groups and coherent (cellular) algebras.
  5. Development of a Didactic Graphical Simulation Interface on MATLAB for Systems Control
  6. Building Assistance Systems using Distributed Knowledge Representations
  7. DialogueMaps: Supporting interactive transdisciplinary dialogues with a web-based tool for multi-layer knowledge maps
  8. Paraphrasing Method for Controlling a Robotic Arm Using a Large Language Model
  9. Globally asymptotic output feedback tracking of robot manipulators with actuator constraints
  10. Comparing the performance of computational estimation methods for physicochemical properties of dimethylsiloxanes and selected siloxanols
  11. Changing the Administration from within:
  12. Using complexity metrics with R-R intervals and BPM heart rate measures
  13. An expert-based reference list of variables for characterizing and monitoring social-ecological systems
  14. A general structural property in wavelet packets for detecting oscillation and noise components in signal analysis
  15. Challenges in detecting proximal effects of existential threat on lie detection accuracy
  16. Recognition and approach responses toward threatening objects
  17. An Adaptive and Optimized Switching Observer for Sensorless Control of an Electromagnetic Valve Actuator in Camless Internal Combustion Engines
  18. Robust feedback linearization using an adaptive PD regulator for a sensorless control of a throttle valve
  19. Quantum Computing and the Analog/Digital Distinction
  20. Using Conjoint Analysis to Elicit Preferences for Occupational Health Services in Small and Microenterprises
  21. On the added value of considering effects of generic and subject-specific instructional quality on students’ achievements – an exploratory study on the example of implementing formative assessment in mathematics education
  22. A simple control strategy for increasing the soft bending actuator performance by using a pressure boost
  23. The Low-Code Phenomenon: Mapping the Intellectual Structure of Research
  24. Scaling-based Least Squares Methods with Implemented Kalman filter Approach for Nano-Parameters Identification
  25. From entity to process
  26. Control system strategy of a modular omnidirectional AGV
  27. Cost effectiveness of guided Internet-based interventions for depression in comparison with control conditions
  28. Mechanism of dynamic recrystallization and evolution of texture in the hot working domains of the processing map for Mg-4Al-2Ba-2Ca Alloy
  29. Pluralism and diversity: Trends in the use and application of ordination methods 1990-2007
  30. Between Recognition and Abstraction
  31. Application of feedforward artificial neural network in Muskingum flood routing
  32. Toward a methodical framework for comprehensively assessing forest multifunctionality
  33. Digital teaching as an instrument for cross-location teaching networks in medical informatics
  34. Nonlinear anisotropic boundary value problems – regularity results and multiscale discretizations
  35. Development of a Parameterized Model for Additively Manufactured Dies to Control the Strains in Extrudates
  36. Stressing the Relevance of Differentiating between Systematic and Random Measurement Errors in Ultrasound Muscle Thickness Diagnostics
  37. Modeling Individual Differences in Children’s Information Integration During Pragmatic Word Learning
  38. Logical-Rollenspiele