Commit Graph
735 Commits
Author SHA1 Message Date
janishutz e38bc2a695 [PS] Add some remarks 2026-08-11 08:53:08 +02:00
janishutz 204dc0bdf2 [AMR] Add abbreviation to ICP 2026-08-10 08:50:02 +02:00
janishutz 320f512fad [AMR] Layout fix 2026-08-09 14:31:44 +02:00
janishutz 3de83b61dc [AMR] Small remarks 2026-08-09 14:26:36 +02:00
RobinB27 df428322e8 [IML] SGD 2026-08-09 13:55:11 +02:00
janishutz 06df67934c [AMR] Add feedback loops 2026-08-09 11:02:31 +02:00
janishutz a8b3bd7b20 [AMR] Fix errors pointed out to me 2026-08-09 08:30:17 +02:00
janishutz cc5f111813 [AMR] Finished update 2026-08-08 15:55:22 +02:00
janishutz c1bdbc64bf [AMR] updated first 4.5 sections 2026-08-08 12:31:01 +02:00
janishutz 7cdba7dca9 [FMFP] Final remarks and fixes 2026-08-06 15:10:54 +02:00
janishutz dad7286f10 [FMFP] Notes (uncompiled) for axiomatic semantics + LTL 2026-08-06 13:49:51 +02:00
janishutz d6ecbc2caa [CORE] chore: update readme 2026-08-06 08:21:53 +02:00
janishutz feb8575972 [DMDB] Some remarks for SQL 2026-08-06 08:21:46 +02:00
janishutz 101d024733 [DMDB] Compile latest version 2026-08-05 15:33:43 +02:00
janishutz d35fd77a63 [DMDB] Add more notes to checklist, trigger upload 2026-08-05 15:33:02 +02:00
janishutz dd3878da19 [CORE] chore: fix CI 2026-08-05 15:31:46 +02:00
janishutz 1729924069 [DMDB] Short remark on checklist, to trigger upload 2026-08-05 15:30:19 +02:00
janishutz 383a5397db [CORE] chore: fix workflows (string instead of path for path argument... brilliant 2026-08-05 15:29:08 +02:00
janishutz c8615a6136 [FMFP] Add note on promela exam relevance 2026-08-05 15:28:13 +02:00
janishutz fd6cede3c0 [DMDB] Learnings from practice exams, plus some more tips and tricks 2026-08-05 15:23:45 +02:00
janishutz 07a88db72e [CORE] chore: fix dmdb upload workflow 2026-08-05 11:04:30 +02:00
janishutz c604b2c100 [CORE] chore: improve helpers script 2026-08-05 11:02:54 +02:00
janishutz 7052f184ba [ALL] chore: update to new helpers import scheme 2026-08-05 10:54:20 +02:00
janishutz a1849b4312 [CORE] chore: prepare for new helpers import scheme 2026-08-05 10:50:54 +02:00
janishutz 454e617b4f [CORE] chore: fix auto-upload of FMFP and DMDB 2026-08-05 10:25:02 +02:00
janishutz 5b34c4f9e4 [DMDB] Add explanation to hash index complexity 2026-08-05 10:22:46 +02:00
janishutz 944c8e8da4 [CORE] chore: add auto-upload of FMFP and DMDB summaries 2026-08-04 15:51:05 +02:00
janishutz 2e78edd47a [FMFP] Fix error from comments 2026-08-04 15:44:37 +02:00
janishutz 3fef2e772b [PS] Add tips and tricks for various concepts 2026-08-04 15:38:02 +02:00
janishutz 38c015e258 [AMR] Fix residual covariance error for EKF, fixes #8 2026-08-04 10:51:01 +02:00
janishutz 19f29b655f [AMR] Notes in various sections 2026-08-04 10:47:06 +02:00
janishutz fd27c22de9 [DMDB] Improve normal forms section 2026-08-03 16:22:24 +02:00
janishutz a106331872 [AMR] Many learnings from exercises 2026-08-03 15:50:56 +02:00
janishutz d50e6bd547 [AW] Fix error in multiplication rule, fixes #9 2026-08-03 08:30:27 +02:00
RobinB27 ea54c5a249 [IML] early sections update 2026-08-02 21:30:29 +02:00
janishutz 0c608b22d2 [CORE] chore: issue template update 2026-08-02 17:50:56 +02:00
janishutz 515e99057b [AMR] Layout fixes, highlights 2026-08-02 17:35:52 +02:00
RobinB27 db048650e2 [PS] Examples 2026-08-02 17:33:31 +02:00
janishutz 2c78dcf700 [AMR] Add gauss newton from NumCS summary 2026-08-02 12:07:37 +02:00
janishutz 7d4edc2014 [FMFP] Fix layout 2026-08-01 20:01:10 +02:00
janishutz 1f2ca7f5ab [AMR] Notes on tasks, improved layouts 2026-08-01 15:15:02 +02:00
janishutz 76b6334433 [AMR] Fix broken PDF 2026-08-01 11:32:50 +02:00
janishutz c80452f383 [AMR] Fix typos, improve space usage some more 2026-08-01 11:31:44 +02:00
janishutz 55030a0d0a [DMDB] Fix errors 2026-07-31 16:22:48 +02:00
janishutz 1c1eff5d59 [DMDB] fix: page layout, remark 2026-07-31 12:24:10 +02:00
janishutz 547a1e279f [DMDB] Intuition for FD and NF 2026-07-31 12:20:11 +02:00
janishutz 9cec2e1028 [DMDB] Notes on query processing, better summary for those, some exam notes 2026-07-30 17:58:58 +02:00
janishutz e08ee018a9 [AMR] Some layout updates for smaller font sizes 2026-07-29 11:10:17 +02:00
RobinB27 4a2c984ee6 [PS] Examples, Statistics 2026-07-28 15:38:29 +02:00
janishutz da1490ff17 [DMDB] Add title page 2026-07-28 13:56:21 +02:00