Journal of Logical and Algebraic Methods in Programming, ‎2352-2208

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Publikationen

  1. A Gait Pattern Generator for Closed-Loop Position Control of a Soft Walking Robot
  2. Implementation of a Blended-Learning Course as Part of Faculty Development
  3. Do guided internet-based interventions result in clinically relevant changes for patients with depression?
  4. Global fern and lycophyte richness explained: How regional and local factors shape plot richness
  5. How methods influence nature's values we find – A comparison of three elicitation methods
  6. Value Orientations in the World of Visual Art: An Exploration Based on Latent Class and Correspondence Analysis
  7. How generative drawing affects the learning process
  8. Detection of coherent oceanic structures via transfer operators
  9. Microstructure and mechanical properties of as-cast Mg-Sn-Ca alloys and effect of alloying elements
  10. New Research on the Deep Seabed and Its Resources
  11. Concepts
  12. Computational history of knowledge
  13. Traffic Life: Temporal Dynamics and Regulatory Dimensions in Agent-Based Transport Simulations
  14. A common European asylum system? How variation in Member States’ administrative capacity undermines EU asylum harmonisation
  15. NEW CONCEPTS IN INNOVATION OUTPUT MEASUREMENT - KLEINKNECHT,A, BAIN,D
  16. Assessing pre-travel online destination experience values of destination websites
  17. Development and validation of chemometrics-assisted spectrophotometry and liquid chromatography methods for the simultaneous determination of the active ingredients in two multicomponent mixtures containing chlorpheniramine maleate and phenylpropanolamine hydrochloride.
  18. Turbulente Ränder
  19. Introducing the MusicLab Copenhagen Dataset
  20. Lagrangian analysis of long-term dynamics of turbulent superstructures
  21. Continued logarithm representation of real numbers
  22. The complementary relationship of exploration and exploitation in professional service firms: An exploratory study of IT consulting firms
  23. Mapping and assessing the knowledge base of ecological restoration
  24. Sustainable Development
  25. Golo Mann
  26. 3D characterization of beta-phases in AZ91D by synchrotron-radiation based microtomography
  27. ... address unknown?
  28. Toxicity testing with luminescent bacteria - Characterization of an automated method for the combined assessment of acute and chronic effects
  29. State of the Art of Handling and Storage Systems on Container Terminals
  30. Optical flow fields and visual attention in car driving
  31. Integrating sense of place into participatory landscape planning: merging mapping surveys and geodesign workshops
  32. Stakeholder Governance – An analysis of BITC Corporate Responsibility Index Data on Stakeholder Engagement and Governance
  33. Unobtrusive Measurement of Vital Signs Through Ultra-Wideband Sensing in the Domain of AAL
  34. Container und Algorithmen
  35. When status differences are illegitimate, groups' needs diverge
  36. Projektmentoring mit Schülerinnen-Roboterbau
  37. Integrating ecosystem services and disservices
  38. Logistik und Migration
  39. Theoretical Reflections on Education for Sustainable Development and Digital Technologies
  40. Negotiated third party access
  41. Explorations in Social Spaces
  42. Be smart, play dumb? A transactional perspective on day-specific knowledge hiding, interpersonal conflict, and psychological strain
  43. Utilizing Synchrotron Radiation for the Characterization of Biodegradable Magnesium Alloys — From Alloy Development to the Application as Implant Material