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. What we know about conceptual learning in open inquiry settings in science education
  2. Using a Longitudinal Mixed-Methods Approach in HESD Research: Reflections on Pitfalls and Added Value
  3. PEER Workshop, Aalto University, Helsinki
  4. Reflexive Multi-Criteria Evaluation as a tool to integrate Multiple Values into Decision-Making – a Case Study from Germany
  5. DGLR Workshop, To Moon and Beyond
  6. Local Interest Representation in Multi-Level Parties
  7. Exploring priority effects in a central European grassland field experiment in order to inform restoration (Symposium)
  8. 14th IEEE International Workshop on Advanced Control and Diagnosis
  9. Imagining real utopia: An empirical exploration of organizing alternative projects
  10. Activist Sense and Affective Relaying in Alternative Media Practices
  11. Strategies for the Control of Water Treatment by Stripping and Injection of CO2

Publikationen

  1. Design of a Real Time Path of Motion Using a Sliding Mode Control with a Switching Surface
  2. A Python toolbox for the numerical solution of the Maxey-Riley equation
  3. Towards a Dynamic Interpretation of Subjective and Objective Values
  4. Using haar wavelets for fault detection in technical processes
  5. Analysis and Implementation of a Resistance Temperature Estimator Based on Bi-Polynomial Least Squares Method and Discrete Kalman Filter
  6. Inversion of fuzzy neural networks for the reduction of noise in the control loop
  7. Identification of structure-biodegradability relationships for ionic liquids - clustering of a dataset based on structural similarity
  8. Linux-based Embedded System for Wavelet Denoising and Monitoring of sEMG Signals using an Axiomatic Seminorm
  9. Applied quality assurance methods under the open source development model
  10. Real-time RDF extraction from unstructured data streams
  11. Analysis of PI controllers with anti-windup techniques on level systems
  12. Sliding-Mode-Based Input-Output Linearization of a Peltier Element for Ice Clamping Using a State and Disturbance Observer
  13. Approximate tree kernels
  14. Mathematical Modeling for Robot 3D Laser Scanning in Complete Darkness Environments to Advance Pipeline Inspection
  15. Application of design of experiments for laser shock peening process optimization
  16. Intraspecific trait variation increases species diversity in a trait-based grassland model
  17. Legitimizing Digital Transformation: From System Integration to Platformization
  18. Using data mining techniques to investigate the correlation between surface cracks and flange lengths in deep drawn sheet metals
  19. Quantification of amino acids in fermentation media by isocratic HPLC analysis of their
  20. Comparing temperature data sources for use in species distribution models
  21. Clashing Values
  22. Assessment of cognitive load in multimedia learning with dual-task methodology
  23. The Practical Significance of History: When and How History Can Be Used for Institutional Change
  24. Sliding Mode Control Strategies for Maglev Systems Based on Kalman Filtering
  25. Pluralism and diversity: Trends in the use and application of ordination methods 1990-2007
  26. Recontextualizing Anthropomorphic Metaphors in Organization Studies
  27. Individual Differences in Infants' Speech Segmentation Performance
  28. Efficacy of a web-based intervention with and without guidance for employees with risky drinking