Search - LOGIC-IN - TU Dortmund

Search
Personsearch

440 results

1. DoBuS
2. DoBuS
3. Team
Dr. Carsten Bender

vision and learning PhD at the Department of Rehabilitation Science with a perceptual and lifeworld ethnography on the situation of people with visual impairment in old age (awarded with the PhD Prize of …
1. IFS
2. News: 2/1/2022
IFS Virtual Keynote Series with Judy Harackiewicz and David Yeager

ons for achievement and motivation. Assoc. Professor David Yeager, PhD (University of Texas), in his presentation on "What We Learned from 10 Years of Mindset Intervention Research?" gave an overview of [...] renowned researchers delivered instructive keynotes. In the first keynote, Professor Judy Harackiewicz, PhD (University of Wisconsin), addressed the importance of utility interventions in college STEM courses …
1. IFS
2. News: 1/18/2022
January 24: IFS Virtual Keynote Series on “Innovations for Instructional Design”

(University of Central Florida), in his talk on "Designing Advanced Learning Technologies to Capture Multimodal Real-Time Self-Regulated Learning Processes”, will focus on design features (e.g., intelligent virtual [...] various advanced learning technologies to capture, model, track, and promote the cognitive, affective, metacognitive, and motivational (CAMM) processes involved in self-regulated learning. Asst. Professor [...] Professor Teya Rutherford, PhD (University of Delaware) will first provide an overview of her research partnership with the online mathematics learning platform Spatial Temporal (ST) Math in her presentation …
1. IFS
2. News: 11/10/2021
Chantal Lepper defends dissertation

The IFS congratulates Chantal Lepper, PhD student in the working group McElvany, on her successfully passed disputation! In accordance with her research interests, which include the areas of motivational [...] motivational characteristics in the teaching-learning context as well as instructional quality in elementary school, she intensively dealt with the topic "Motivationally Supportive Instructional Design in Elementary [...] dissertation in Educational Science. Her research showed that different factors of the instructional learning environment were significantly linked to meaningful motivational characteristics. The findings offer …
1. DAES
2. Lehre
3. Lehrveranstaltungen
4. SS2021
Fachprojekt

hardware requirement. We will give a wide range of project topics that range from embedded machine learning, real-time operating systems, hardware/software codesign (in simulation), and cyber-physical systems [...] to build arbitrary binary (digital) circuits. In this project, students should start from simple logic gates, design components like adders, multiplexers, memories, ... and then assemble them to a minimal [...] introduction slides Up to two groups Supervised by Mikail Yayla In this project, the students first learn the basics of VHDL to build a single cycle MIPS processor that can execute a few selected instructions …
1. CEI
2. Research
3. Robotics
4. Research Areas
Behavior

approaches to behavior planning that allow the robot to learn or adapt its behavior autonomously. A distinction has to be made between methods that learn offline, i.e. before execution on the robot, or online [...] methods were applied to define behavior. However, this classical approach of using a world model and logic rules to make decisions is becoming more and more difficult to apply to increasingly complex problems [...] approaches that focus on intuitive design of complex tasks and on approaches that allow the robot to learn or adapt behavior using computational intelligence methods. XABSL Extensible Agent Behavior Specification …
1. Computer Science
2. Studies
3. During studies
4. NF-AF
5. Service Information Technology
MSc Appl CS

Driven Design [c ] INF-MSc-319: Logical Methods of Software Engineering [b][c] INF-MSc-320: Model-based software techniques for secure systems[ c ] INF-MSc-325: Logical Methods of Software Engineering [...] 1 (LMSE1) [j ] INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) [j ] INF-MSc-401: Modeling, Simulation, and Analysis [c] INF-MSc-402: Modeling of Distributed Algorithms [g] INF-MSc-503: [...] Data Visualization [c ] INF-MSc-506: Machine Learning [c ] INF-MSc-607: Evolutionary Algorithms [c ]. INF-MSc-612: Scheduling Problems - Algorithms and Applications [c] The courses of the module INF-MSc-612 …
1. AI
2. Study Programs
Computer Science

the areas of software, hardware, systems, and formal fundamentals, as well as electives. Students learn, among other things, to develop software, understand computer architectures, stay up-to-date on operating [...] set a focus subject, including algorithmics, bioinformatics, cyber-physical systems, data science, logic, information, and knowledge, optimization, and software and service engineering. Further information …
1. AQUA
2. Research
Tools

License: Apache License 2.0 GitHub: tudo-aqua/ds Model Learning LearnLib LearnLibs purpose is to provide a framework for research on automata learning algorithms as well as for their application in practice [...] RaLib RALib is a library for active learning algorithms for register automata (a form of extended finite state machines). RALib is developed as an extension to LearnLib . It implements the SL* algorithm [...] Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen: Learning Extended Finite State Machines. SEFM 2014: 250-264. License: Apache License 2.0 GitHub: LearnLib/ralib Constraint Solving JConstraints jConstraints …
1. CSB
2. Team
New Group Members

My research interests are Econometrics, Machine Learning and Deep Learning. Welcome Aure! Aure Kylmänen © A. Kylmänen/private Aure is pursuing her PhD and has joined our group in June 2023. Originally …