Informatik und Statistik
Dorfmeister, Florian (2017): Schutz der Privatsphäre in kontext- und ortsbezogenen Diensten. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Accelerometer- und Magnetometerwerte eines Smart- phones ...WLAN-Verfügbarkeit und dem Ladestatus des ...Aktivität und politische Einstellungen ihrer Studienteilnehmer aus den Nutzungsdaten ihres ...
275
Hennecke, Fabian (2014): Effekte und Potenziale eines gebogenen interaktiven Displays. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... (Notebook-Joystick und Touchpad) anhand der Faktoren Leistung (Perfor- mance), Komfort und Anstrengung miteinander ...Geschwindigkeit und Genauigkeit zum Vergleich unter- schiedlicher Eingabearten ...
215
Syed, Tariq (2019): The generalized Vaserstein symbol. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... 1 und 6 > k ...notwendige und hinreichende Bedingung f¨ ur die Trivialit¨ at des Orbitraums U m P 0 ` R ~ SL P 0 ` R ¨ uber einer affinen Algebra von ...
123
Vogel, Thomas (2004): Existence of Engel structures. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... In the construction of model Engel structures on round 3 –handles in Section 6.3 and at the final stage of the existence theorem (Theo- rem 6.1) in Section 6.4 we obtain an overtwisted c[r] ...
169
Irrgang, Bernhard (2002): Kondensation und Moraste. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... kombinatorisch und deshalb sehr ...Kondensation und einer Koh¨ ...Kondensation und F¨ ugsamkeit die Feinstrukturtheorie entwickelt, im vierten anhand der 2 -Prinzipien die Koh¨ arenz ...Modellen ...
95
Baković, Igor (2008): Bigroupoid 2-torsors. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Kategorifizierung und Internalisierung, ...gorien und Gruppoiden in der Dimension n = 1 ...Tierney, und neulich Baez und Bartels von einem anderen Gesichtwinkel weniger allgemeine 2-Torsoren ...
135
Schimanski, Stefan (2009): Polynomial Time Calculi. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... In Section 2.3 Light Linear Logic and Light Affine Logic are presented, first as a term calculus with a type system, and then using proof nets.. Finally, subsection 2.3.6 presents Light [r] ...
281
Achtert, Elke (2007): Hierarchical Subspace Clustering. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... In this Part an approach is described to handle this second step of data analysis. General concepts are introduced for extracting quantitative infor- mation on the linear dependencies wi[r] ...
222
Borgwardt, Karsten Michael (2007): Graph Kernels. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Kernen und dem Hilbert- Schmidt Unabh¨ angigkeitskriterium ...kann, und wie man es mit gSpan, dem modern- sten Verfahren zur Suche von h¨ aufigen Subgraphen, kombinieren ...Tausenden und Millio- nen ...
182
Helbig, Michael (2009): Lifting of Nichols Algebras. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Nicholsalgebren sind ein fundamentaler Baustein punktierter Hopfalgebren. Teil des Klas- sifizierungprogramms endlich-dimensionaler punktierter Hopfalgebren mit der Lifting Me- thode von Andruskiewitsch und ...
107
Ruppel, Peter (2011): Umgebungsmodelle und Navigationsdaten für ortsbezogene Dienste in Gebäuden. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Geste und in Zukunft vielleicht auch Hirnstr¨ ...Software-Plattformen und -Frameworks Ans¨ atze entwickelt, um ¨ ahn- lich geartete Funktionalit¨ aten vor dem Anwendungsentwickler zu verschatten und ...
181
Seisenberger, Monika (2003): On the Constructive Content of Proofs. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... Reichweiten und Grenzen von Tech- niken zur Extraktion von Programmen aus Beweisen zu ...Definitionen und klassische Systeme mit ...konstruktiven und extrahieren ein ...
125
Stohr, Monika (2008): Unterricht in Kryptologie. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... hatte und freiwillig nach Susa in die Verbannung gegangen ...ab und schrieb dann den Entschluss des Königs auf das Holz der ...Kleomenes und Gattin des Leoni- das 6) , wie man erzählt, dahinter ...
184
Hechenbichler, Klaus (2005): Ensemble-Techniken und ordinale Klassifikation. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... ein und desselben Datensatzes unweigerlich zu einigen falsch positiven Testergebnissen, die dann auch prompt dokumentiert werden, w¨ahrend die Vielzahl der nicht signifikanten Re- sultate f¨ur gew¨ohnlich unter ...
233
Rauschmayer, Axel (2010): Connected Information Management. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... PropertyDescription ComputedProperty label value computer RDFProperty predicate title PropertySection Lens Group label spec display hint edit hint additional content Format Selector pred[r] ...
307
Zimek, Arthur (2008): Correlation Clustering. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... The general aim of clustering algorithms designed for high dimen- sional data is to find clusters in arbitrarily oriented subspaces of the original feature space.. Of course, the meaning[r] ...
382
Barth, Michael (2008): Entwicklung und Bewertung zeitkritischer Softwaremodelle: Simulationsbasierter Ansatz und Methodik. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... derspruhsbeweis zeigen. Eine Menge D der aktivierten Knoten einer Partition π wäre leer und damit keine weitere F olgepartition erzeug- bar, falls jeder Knoten in B mindestens eine Kante besitzt, die niht ...
252
Jost, Steffen (2010): Automated Amortised Analysis. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... The ghost-let construct is otherwise semantically identical to the normal let-construct. The annotated type rule is also equivalent to the ordinary let, ex- cept for using a separate set[r] ...
250
Monthly external trade bulletin/Bulletin mensuel du commerce exterieur: 11 1979
... Statistik vedrørende udenrigshandel, AVS og tredjelande Statistik des Außenhandels, der AKPLander und der Drittländer External trade, ACP and nonmember countries statistics Statistique[r] ...
164
Monthly external trade bulletin/Bulletin mensuel du commerce exterieur: 1979 3
... Statistik vedrørende udenrigshandel, AVS og tredjelande Statistik des Außenhandels, der AKPLänder und der Drittländer External trade, ACP and nonmember countries statistics Statistique[r] ...
134