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