573 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
janishutz	3bdc9d401e	[PS] Finish estimators	2026-05-05 16:01:45 +02:00
janishutz	0e4ccf58f4	[FMFP] Axiomatic semantics	2026-05-05 14:39:56 +02:00
janishutz	0ec1799321	[AMR] Intro to planning and control section	2026-05-04 15:13:47 +02:00
janishutz	d1bf81bea3	[Electives] Restructure	2026-05-04 11:32:59 +02:00
janishutz	4984dbdc70	[AMR] Setup next part	2026-05-04 11:32:15 +02:00
janishutz	11fda33771	[FMFP] Add abbreviations for comparision operators	2026-05-04 09:54:31 +02:00
janishutz	1d38412334	[FMFP] Fix small error	2026-05-04 09:18:15 +02:00
RobinB27	3d6d85f4df	[IML] k-means	2026-04-30 14:08:59 +02:00
janishutz	fb235ca706	[PS] Estimators	2026-04-30 09:25:38 +02:00
RobinB27	63fe1b4bf6	[PS] Statistics	2026-04-29 13:44:06 +02:00
RobinB27	34a7c38d13	[PS] Notes	2026-04-29 13:44:06 +02:00
janishutz	1e874e14b0	[PS] Add statistics basics	2026-04-29 11:22:11 +02:00
RobinB27	e18bd73fed	[IML] NN done, k-means	2026-04-28 16:19:25 +02:00
janishutz	b01098cce3	[AMR] Finished summary for vision part	2026-04-27 13:54:29 +02:00
janishutz	68284b2461	[FMFP] Big and small step semantics, equivalence theorem	2026-04-24 18:01:57 +02:00
janishutz	bf5b0e1407	[FMFP] IMP intro, start of operational semantics	2026-04-24 12:00:28 +02:00
RobinB27	86152fc82e	[IML] NN optimization, cont.'d	2026-04-23 14:11:58 +02:00
janishutz	81ae2c5ee4	[PS] Limit theorems, law of large numbers complete	2026-04-22 16:39:45 +02:00
RobinB27	7292f4ea9a	[PS] Statistics, 1	2026-04-22 15:57:51 +02:00
janishutz	2a8ba18a27	[PS] Restructure, central limit theorem	2026-04-22 11:16:39 +02:00
janishutz	2bbec492f7	[PS] Fix missing f	2026-04-21 09:06:15 +02:00
janishutz	eeb3198417	[AMR] Vision intro	2026-04-20 16:41:38 +02:00
RobinB27	27ed2b62a9	[PS] Ex. Notes	2026-04-20 15:10:36 +02:00
RobinB27	371c4a4278	[IML] NN optimization	2026-04-16 14:16:18 +02:00
janishutz	d1db481fb8	[PS] Joint distributions done, start limit theorems / law of large numbers	2026-04-16 12:00:45 +02:00
janishutz	788a2b26c3	[PS] Joint continuous distribution start	2026-04-15 21:08:31 +02:00
janishutz	b10514d7fa	[PS] Joint discrete distribution mostly complete	2026-04-15 14:15:59 +02:00
RobinB27	ff26a2cd3c	[PS] joint dist.	2026-04-15 11:59:53 +02:00
janishutz	8a66c57a1e	[PS] Start joint distributions	2026-04-15 10:58:05 +02:00
janishutz	5de8297671	[AMR] Almost finish multi-sensor-evaluation	2026-04-14 14:33:19 +02:00
janishutz	d1b69d3c3b	[AMR] Fix error	2026-04-07 15:14:27 +02:00
janishutz	841f71814b	[AMR] Finish notes	2026-04-04 16:49:06 +02:00
janishutz	0c7ba9efb6	[AMR] Small progress	2026-04-04 16:18:30 +02:00
janishutz	85f3ef6940	[AMR] Start multi-sensor estimation	2026-04-03 20:15:25 +02:00
RobinB27	ec704c378d	[IML] NNs, 1	2026-04-02 11:48:37 +02:00
janishutz	5cb65871b7	[PS] Variance and covariance complete	2026-04-02 09:28:53 +02:00
janishutz	307a47a7a7	[PS] Expected value done, Variance start	2026-04-02 07:37:52 +02:00
RobinB27	1bf6b2b491	[PS] variance	2026-04-01 13:25:56 +02:00
RobinB27	e829890492	[IML] kernels, 1	2026-03-31 16:32:16 +02:00
janishutz	865c004c75	[PS] Some fixes	2026-03-30 11:54:00 +02:00
janishutz	48d311fb39	[FMFP] Lazy eval done	2026-03-28 11:03:18 +01:00
janishutz	68d2f1c68b	[FMFP] Start lazy evaluation	2026-03-28 10:22:51 +01:00
RobinB27	140a914a39	[IML] class., cont.	2026-03-27 15:54:53 +01:00
RobinB27	f189359801	[PS] restructure	2026-03-27 13:26:02 +01:00
janishutz	e7f688c1b7	[FMFP] Interpreters	2026-03-26 17:19:27 +01:00
RobinB27	bca4434c3c	[IML] GD bias	2026-03-26 15:17:00 +01:00
janishutz	48952f4941	[AMR] Finish sensing	2026-03-26 15:02:52 +01:00
RobinB27	f71cb9841f	[PS] Expected Value	2026-03-26 13:02:25 +01:00
janishutz	ea57bd5269	[PS] Expected Value: Continuous random variables	2026-03-26 11:16:15 +01:00
janishutz	7535a12860	[PS] Some progress	2026-03-25 16:25:38 +01:00