1. //
  2. Start
  3. //
  4. Zeitschriften
  5. //
  6. Journal of Logical and Algebraic Methods...
  7. //
  8. Publikationen
  9. //

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

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Projekte

  1. EU COST Action on "Data Matters: Sociotechnical Challenges of European Migration and Border Control (DATAMIG)”
  2. Project “Soils in the Media: Soil Topics on Youtube”
  3. Optimal robot scheduling of an AGV in the RCLL and introduction of team Leuphana
  4. GenAI-Natives - Educating (the next generation of) teachers on usage of generative artificial intelligence
  5. Modellbasierte Systemanalyse
  6. Managing Errors in Accounting Firms
  7. Everyday Externalization. The Transformations of Individual Asylum in Niger
  8. Model simulation and design control of Peltier Cells for cooling applications
  9. Moving to the real world: Testing biodiversity and priority effects for restoring multifunctional grasslands
  10. Advancement of a control system for throttle plate in engine systems
  11. AuditXcellence - Master in Auditing
  12. Understanding Communal Orientation in Men
  13. HyperImage - Bildorientierte e-Science Netzwerke

Publikationen

  1. A Quality Data Model Based on Asset Administration Shell Technology to Enable Autonomous Quality Control Loops
  2. Probabilistic approach to modelling of recession curves
  3. Study on the effects of tool design and process parameters on the robustness of deep drawing
  4. For a return to the forgotten formula: 'Data 1 + Data 2 > Data 1'
  5. A statistical study of the spatial evolution of shock acceleration efficiency for 5 MeV protons and subsequent particle propagation
  6. 'SPREAD THE APP, NOT THE VIRUS’ – AN EXTENSIVE SEM-APPROACH TO UNDERSTAND PANDEMIC TRACING APP USAGE IN GERMANY
  7. An evaluation of BPR methodologies adopting NIMSAD: A systematic framework for understanding and evaluating methodologies
  8. Gain Scheduling Controller for Improving Level Control Performance
  9. Paraphrasing Method for Controlling a Robotic Arm Using a Large Language Model
  10. A MODEL FOR QUANTIFICATION OF SOFTWARE COMPLEXITY
  11. Finding Creativity in Predictability: Seizing Kairos in Chronos Through Temporal Work in Complex Innovation Processes
  12. Don’t underestimate the problems of user centredness in software development projectsthere are many!?
  13. Framework for setting up and operating biobanks
  14. Tree diversity increases forest temperature buffering via enhancing canopy density and structural diversity
  15. The effects of different on-line adaptive response time limits on speed and amount of learning in computer assisted instruction and intelligent tutoring
  16. Grazing, exploring and networking for sustainability-oriented innovations in learning-action networks
  17. Understanding the socio-technical aspects of low-code adoption for software development
  18. Design of an Energy Efficient Sensor Node for Wearable Applications
  19. Partitioned beta diversity patterns of plants across sharp and distinct boundaries of quartz habitat islands
  20. Computer als Medium
  21. Integrating errors into the training process
  22. Switching from a Managing to a Monitoring Function on the Board
  23. Revisiting Supervised Contrastive Learning for Microblog Classification
  24. Measuring Learning Styles with Questionnaires Versus Direct Observation of Preferential Choice Behavior in Authentic Learning Situations
  25. An Interactive Layers Model of Self-Regulated Learning and Cognitive Load
  26. Efficient Order Picking Methods in Robotic Mobile Fulfillment Systems
  27. From pre-processing to advanced dynamic modeling of pupil data
  28. Understanding Low-Code Evolution, Adoption and Ecosystem for Software Development
  29. The relationship between audit committees, external auditors, and internal control systems
  30. Watershed groundwater balance estimation using streamflow recession analysis and baseflow separation
  31. Comparing temperature data sources for use in species distribution models
  32. Understanding Partnering Strategies in the Low-Code Platform Ecosystem