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

ACM Transactions on Computational Logic, ‎1529-3785

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Aktivitäten

  1. Efficient Order Picking Methods in Robotic Mobile Fulfillment Systems
  2. Taking ICALL to task: Blending form-focus & task-based foreign language learning
  3. Drafts in Action. Concepts and Practices of Artistic Intervention
  4. Quality of reading instruction in language classrooms: Subject specific analysis of teaching quality
  5. Data-efficient Pattern Detection in Elite Soccer
  6. All Surface: Blobs and the Liquefaction of Architecture
  7. Teaching the machine how to assess grammar skills. Modelling verb-tense exercise characteristics as a basis for an adaptive E-learning system
  8. Is there only one modelling competency? The question of situated cognition when solving real world problems
  9. Judgement Practices in the Artistic Field
  10. From Iconography to Visual Framing: A New Approach in Visual Communication
  11. Processing of CSR communication: Insights from the ELM
  12. The Linguistic Complexity of Test Items: Differential Effects for Students With Low and High Language Proficiency
  13. Detecting and tracking coherent sets in nonautonomous flows
  14. Chained to blockchain: Attachment’s swirling forces and dis/organizing consequentiality
  15. Gaussian trajectories in motion control for camless engines
  16. Trajectory-based Lagrangian approaches for the extraction and characterization of coherent structures

Publikationen

  1. Evaluating the construct validity of Objective Personality Tests using a multitrait-multimethod-Multioccasion-(MTMM-MO)-approach
  2. Constructions and Reconstructions. The Architectural Image between Rendering and Photography
  3. Using the flatness of DC-Drives to emulate a generator for a decoupled MPC using a geometric approach for motion control in Robotino
  4. A discrete-time fractional order PI controller for a three phase synchronous motor using an optimal loop shaping approach
  5. NH4+ ad-/desorption in sequencing batch reactors
  6. A model predictive control in Robotino and its implementation using ROS system
  7. A transfer operator based computational study of mixing processes in open flow systems
  8. Analysis and comparison of two finite element algorithms for dislocation density based crystal plasticity
  9. A New Framework for Production Planning and Control to Support the Positioning in Fields of Tension Created by Opposing Logistic Objectives
  10. Finding Similar Movements in Positional Data Streams
  11. Exploration strategies, performance, and error consequences when learning a complex computer task
  12. Changes of Perception
  13. Using cross-recurrence quantification analysis to compute similarity measures for time series of unequal length with applications to sleep stage analysis
  14. On the Functional Controllability Using a Geometric Approach together with a Decoupled MPC for Motion Control in Robotino
  15. On the Power and Performance of a Doubly Latent Residual Approach to Explain Latent Specific Factors in Multilevel-Bifactor-(S-1) Models
  16. An extended analytical approach to evaluating monotonic functions of fuzzy numbers
  17. Gaussian processes for dispatching rule selection in production scheduling
  18. A discrete approximate solution for the asymptotic tracking problem in affine nonlinear systems
  19. Modelling and implementation of an Order2Cash Process in distributed systems
  20. Investigation and modeling of the material behavior due to evolving dislocation microstructures in fcc and bcc metals
  21. Effectiveness of a guided multicomponent internet and mobile gratitude training program - A pragmatic randomized controlled trial
  22. Graphism and Flatness. The Line as Mediator between Time and Space, Intuition and Concept
  23. Expertise in research integration and implementation for tackling complex problems
  24. Efficient and accurate ℓ p-norm multiple kernel learning
  25. Using transition management concepts for the evaluation of intersecting policy domains ('grand challenges')
  26. Data based analysis of order processing strategies to support the positioning between conflicting economic and logistic objectives
  27. Visualizing the Hidden Activity of Artificial Neural Networks
  28. Sequencing and fading worked examples and collaboration scripts to foster mathematical argumentation - working memory capacity matters for fading
  29. Optimized neural networks for modeling of loudspeaker directivity diagrams
  30. Model-based logistic controlling of converging material flows
  31. Gain Scheduling Controller for Improving Level Control Performance
  32. Problem solving in mathematics education