 janishutz
|
c2caa431d8
|
[PS] Fix Log LH func of poisson dist
|
2026-08-19 11:18:59 +02:00 |
|
|
janishutz
|
7ca8453e80
|
[PS] Layout fixes, new remarks
|
2026-08-19 10:53:17 +02:00 |
|
|
janishutz
|
cc42b1a853
|
[DMDB] Notes on exam
|
2026-08-19 07:36:59 +02:00 |
|
|
janishutz
|
5240f4f75c
|
[PS] More detailed descriptions
|
2026-08-18 16:59:42 +02:00 |
|
|
janishutz
|
1ef3d5b1c9
|
[PS] Many small fixes
|
2026-08-18 12:02:00 +02:00 |
|
|
janishutz
|
74437211cb
|
[DMDB] Fix small errors in quick overview
|
2026-08-17 10:05:34 +02:00 |
|
|
janishutz
|
6fbb1910a8
|
[DMDB] Improved concurrency control section
|
2026-08-16 15:06:07 +02:00 |
|
|
janishutz
|
1dd74d63a5
|
[DMDB] Quick overview corrections
|
2026-08-16 14:25:16 +02:00 |
|
|
janishutz
|
9809b27e89
|
[DMDB] Note on sql
|
2026-08-16 12:14:29 +02:00 |
|
|
janishutz
|
e220b0b992
|
[DMDB] improve links for SQL section
|
2026-08-16 11:47:16 +02:00 |
|
|
janishutz
|
c02d53828f
|
[DMDB] Improved quick overview
Fixes sectioning, better variables in query processing section,
checklist linking
|
2026-08-16 10:45:47 +02:00 |
|
|
janishutz
|
a594a305d1
|
[DMDB] Much more intution on NF and FD
|
2026-08-16 09:17:06 +02:00 |
|
|
janishutz
|
3907316926
|
[DMDB] Fix error, add short remark on projections
|
2026-08-15 17:03:56 +02:00 |
|
|
janishutz
|
5de6b376ae
|
[DMDB] Fix error on CS history
|
2026-08-15 15:52:18 +02:00 |
|
|
janishutz
|
dd807b8cbd
|
[DMDB] Fix error
|
2026-08-15 14:45:27 +02:00 |
|
|
janishutz
|
53aac4473f
|
[DMDB] Improved introduction
|
2026-08-15 14:42:31 +02:00 |
|
|
janishutz
|
8734e8d264
|
[DMDB] Link relevant sections in checklist
|
2026-08-15 14:39:02 +02:00 |
|
|
janishutz
|
72378555eb
|
[DMDB] Fix more errors
|
2026-08-15 14:24:25 +02:00 |
|
|
janishutz
|
1759b7898c
|
[DMDB] Fix issue
|
2026-08-15 12:18:07 +02:00 |
|
|
janishutz
|
aca626feaf
|
[DMDB] Fix a few issues, more intuition on normal forms
|
2026-08-15 10:28:37 +02:00 |
|
|
janishutz
|
a71c3467a8
|
[DMDB] Quick remark on final page
|
2026-08-14 20:22:00 +02:00 |
|
|
janishutz
|
b6c0086766
|
[DMDB] Fix typo in dmdb summary
|
2026-08-13 13:37:17 +02:00 |
|
|
janishutz
|
90c543553f
|
[LICENSE] Move to share-alike license
|
2026-08-12 13:24:47 +02:00 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
janishutz
|
da1490ff17
|
[DMDB] Add title page
|
2026-07-28 13:56:21 +02:00 |
|
|
janishutz
|
1503299b4c
|
[FMFP] remarks on tasks from exam, title page
|
2026-07-28 13:41:56 +02:00 |
|
|
janishutz
|
516a85a8b5
|
[FMFP] Notes on tasks, checklist
|
2026-07-28 09:19:56 +02:00 |
|
|
janishutz
|
3fe6b41d8b
|
[FMFP] Notes
|
2026-07-27 17:11:14 +02:00 |
|
|
janishutz
|
be2e079959
|
[DMDB] Fix issues, improve query processing with notes on time complexities
|
2026-07-27 14:41:27 +02:00 |
|
|
janishutz
|
d197d01f24
|
[DMDB] Notes from solved tasks
|
2026-07-27 08:39:47 +02:00 |
|
|
janishutz
|
a331b8987f
|
[DMDB] Notes on concurrency control
|
2026-07-26 12:49:35 +02:00 |
|
|
janishutz
|
9ea73f2496
|
[AMR] Fix errors
|
2026-07-26 08:48:28 +02:00 |
|
|
janishutz
|
c82ceca4e0
|
[DMDB] Add concurrency control and recovery
Oops, luckily still figured out that that was missing...
|
2026-07-25 18:58:39 +02:00 |
|
|
janishutz
|
45b3f178a7
|
[DMDB] Finish first version of summary
|
2026-07-25 13:51:42 +02:00 |
|
|
janishutz
|
5b167a9e39
|
[DMDB] Finished vector search
|
2026-07-25 09:04:55 +02:00 |
|
|
janishutz
|
2dabc055f0
|
[AMR] Various fixes, error propagation, more explanations
|
2026-07-24 16:09:47 +02:00 |
|
|
janishutz
|
e194a76f9a
|
[PS] Add more notes
|
2026-07-24 10:44:41 +02:00 |
|
|
janishutz
|
3c96c77f70
|
[DMDB] Intro vector search
|
2026-07-23 17:18:00 +02:00 |
|
|
janishutz
|
b861c7aa2f
|
[PS] Fix design issues, remark on phi function table
|
2026-07-23 10:32:50 +02:00 |
|
|
janishutz
|
604b0a1e26
|
[DMDB] Data formats and cloud basics, start vector search
|
2026-07-22 17:29:27 +02:00 |
|
|
janishutz
|
45075d2952
|
[PS] Analysis stuff, fixes
|
2026-07-22 16:11:11 +02:00 |
|
|
janishutz
|
5c56561acc
|
[FMFP] Notes on tasks
|
2026-07-22 12:26:21 +02:00 |
|
|
janishutz
|
084167cef7
|
[DMDB] Join, set up next sections
|
2026-07-21 17:26:30 +02:00 |
|
|
janishutz
|
f9a48b191a
|
[DMDB] Set up join section
|
2026-07-21 11:27:47 +02:00 |
|
|
janishutz
|
0b98da10eb
|
[FMFP] Remark on axiomatic semantics
|
2026-07-21 10:39:52 +02:00 |
|
|
janishutz
|
51da8be172
|
[FMFP] Add small remark on modelling
|
2026-07-20 17:19:30 +02:00 |
|
|
janishutz
|
e7da5ab70e
|
[FMFP] Improved explanation of induction on shape of proof trees
|
2026-07-20 16:46:47 +02:00 |
|
|
janishutz
|
71dd2817f4
|
[AMR] Reduce font size, some additions
|
2026-07-18 11:03:37 +02:00 |
|
|
janishutz
|
89009ef7d3
|
[DMDB] Sorting, selection, projection, aggregation
|
2026-07-17 16:08:58 +02:00 |
|
|
janishutz
|
653a807848
|
[PS] Updated marginal distribution tips & tricks
|
2026-07-17 12:17:14 +02:00 |
|
|
janishutz
|
452e259792
|
[FMFP] Notes for examp prep
|
2026-07-17 10:59:54 +02:00 |
|
|
janishutz
|
6967a1eb4c
|
[FMFP] fix spelling error
|
2026-07-16 13:21:35 +02:00 |
|
|
janishutz
|
1e0ed598aa
|
[DMDB] Start sorting
|
2026-07-15 16:46:28 +02:00 |
|
|
janishutz
|
e005c7608b
|
[PS] Rework parts of tests section, more changes to come
|
2026-07-15 16:14:29 +02:00 |
|
|
janishutz
|
6b48b32b7d
|
[AW] Fix error in chebyshev inequality, fixes #7
|
2026-07-15 14:21:31 +02:00 |
|
|
janishutz
|
ff9258fb22
|
[FMFP] Notes on LTL
|
2026-07-15 10:52:50 +02:00 |
|