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. Combining Kalman filter and RLS-Algorithm to Improve a Textile based Sensor System in the Presence of Linear Time-Varying Parameters
  2. What is learned in approach-avoidance tasks? On the scope and generalizability of approach-avoidance effects
  3. Integrating Mobile Devices into AAL-Environments using Knowledge based Assistance Systems
  4. Evaluation of Time/Phase Parameters in Frequency Measurements for Inertial Navigation Systems
  5. Identification of structure-biodegradability relationships for ionic liquids - clustering of a dataset based on structural similarity
  6. Proxies
  7. Visualization of the Plasma Frequency by means of a Particle Simulation using a Normalized Periodic Model
  8. A Wavelet Packet Algorithm for Online Detection of Pantograph Vibrations
  9. Active and semi-supervised data domain description
  10. Modelling and implementation of an Order2Cash Process in distributed systems
  11. Preventive Diagnostics for cardiovascular diseases based on probabilistic methods and description logic
  12. Top-down contingent attentional capture during feed-forward visual processing
  13. Robust approximate fixed-time tracking control for uncertain robot manipulators
  14. Other spaces
  15. Distributable Modular Software Framework for Manufacturing Systems
  16. The Open Anchoring Quest Dataset: Anchored Estimates from 96 Studies on Anchoring Effects
  17. Developing a Complex Portrait of Content Teaching for Multilingual Learners via Nonlinear Theoretical Understandings
  18. Learning and Re-learning from net- based cooperative learning discourses
  19. Combining flatness based feedforward action with a fractional PI regulator to control the intake valve engine
  20. Learning in the "Third Space"
  21. Reciprocal Relationships Between Dispositional Optimism and Work Experiences
  22. Robustness of coherent sets computations
  23. Generative 3D reconstruction of Ti-6Al-4V basketweave microstructures by optimization of differentiable microstructural descriptors
  24. Intraspecific trait variation increases species diversity in a trait-based grassland model
  25. Group formation in computer-supported collaborative learning
  26. Tree species and genetic diversity increase productivity via functional diversity and trophic feedbacks
  27. Differences in the sophistication of Value-based Management
  28. The Augmented Theorist - Toward Automated Knowledge Extraction from Conceptual Models
  29. Global fern and lycophyte richness explained: How regional and local factors shape plot richness
  30. Function, flexibility, and responsibility
  31. Enterprise Architecture Management Support for Digital Transformation Projects in Very Large Enterprises
  32. Visual-Inertial Navigation Systems and Technologies
  33. Erroneous examples as desirable difficulty
  34. Theme zones in English media discourse
  35. Error handling in office work with computers
  36. Intraindividual variability in identity centrality
  37. Analyzing Talk and Text II: Thematic Analysis
  38. I share because of who I am: values, identities, norms, and attitudes explain sharing intentions
  39. Data quality assessment framework for critical raw materials. The case of cobalt