Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 75 for “"Logik"”.
-
Temporale Fuzzy Logik - Eine Vereinigung der Temporal-Logik und Fuzzy-Logik anhand von vorausschauenden Wartungs- und Überwachungssystemen
Fuzzy-Logik und ihre Anwendung in Fuzzy-Reglern ist seit vielen Jahren ein Forschungsthema. In den vergangenen Jahren kamen Fuzzy-Regler vielfach in den verschiedensten industriellen Anwendungen zum Einsatz. Fuzzy-Regler können in Waschmaschinen und anderen Haushaltsgeräten Verwendung finden. Aber …
-
Den dubbla vanmaktens logik : En studie om långvarig arbetslöshet och socialbidragstagande bland unga vuxna
In the early 1990s a severe economic recession struck Sweden. The generation about to establish themselves on the labour market at this time were born in the mid seventies. They experienced unemployment and welfare dependency to a considerably higher extent than any previous generation in the …
-
Towards a Flexible Bayesian and Deontic Logic of Testing Descriptive and Prescriptive Rules
… Aussagen wird eine flexible Bayessche Logik entwickelt, die im Gegensatz zum falsifikationistischen Forschungsprogramm steht und auf vorangehende bayessche Ansätze (insbesondere auf Oaksford und Chater, 1994, 2003) aufbaut. Statt eines universellen Bayesschen Ansatzes wird ein …
-
Dicomplemented Lattices
… auch fuer andere Felder, wie zum Beispiel Logik oder Linguistik. Das Problem Negationen geeignet einzufuehren, ist sicher eines der aeltesten der wissenschaftlichen oder philosophischen Gemeinschaft und erregt auch zur Zeit die Aufmerksamkeit vieler Wissenschaftler. Verschiedene Typen von …
-
Krata rozszerzeń logiki relewantnej E
… jest logice E – jednej z najważniejszych logik relewantnych. Skupiono się na podstawowym dla krat problemie wyznaczania koatomów w kracie: tu - kracie rozszerzeń logiki E. Zamiast kraty rozszerzeń logiki E badano izomorficzną z nią kratę podrozmaitości V_E, generującą logikę E. W pierwszym …
-
Besonderung und Immanenz
… der Grenze untersucht: In der Wissenschaft der Logik, der Logik des Seins, entwickelt Hegel ein erweitertes Konzept von Besonderung gegen Kant. Im Kern kritisiert Hegel Kants Begriff der Grenze im Sinne einer abstrakten Schranke, die einem begrifflich entwickelten Ansatz der Grenze als …
-
Evolution in Hardware : eine Experimentalplattform zum parallelen Training analoger neuronaler Netzwerke
… der Trainingsalgorithmen mit programmierbarer Logik und einem gemischt analog-digitalen neuronalen Netzwerkchip kombiniert. Die erste Hardwaregeneration basiert auf einer PCI-Karte, die in einem Standard-PC betrieben wird. Die zweite Generation bietet durch Verwendung eines FPGAs mit …
-
Prädizierbarkeit des Akzidens. Zur Theorie der denominativa (nomina sumpta) im Kategorienkommentar Abailards.
… Termini festgelegt wird, liegt Abailards Logik die kategoriale Struktur der Bezeichnungen zugrunde. <br>Die urkategoriale Unterscheidung zwischen Substanz und Akzidens ist nach Abailard semantisch, d.h. mit der Berücksichtigung des Grundes bei der Erfindung des Wortes (causa impositionis), …
-
Gesellschaft, Mathematik und Unterricht : ein Beitrag zum soziologisch-kritischen Verständnis der gesellschaftlichen Funktionen des Mathematikunterrichts
… Foucault und zwei Teilstudien zur Soziologie der Logik und des Rechnens. Abschließend werden Dispositive des Mathematischen beschrieben, die darlegen, in welcher Art und mit welcher persönlichen und gesellschaftlichen Folgen der gegenwärtige Mathematikunterricht eine spezielle Geisteshaltung …
-
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
… Systeme, die auf einer probabilistischen Logik namens Stochastic Satisfiability Modulo Theories (SSMT) aufbauen. Aufgrund ihrer Ausdrucksstärke lässt sich die schrittbeschränkte Dynamik probabilistischer hybrider Systeme durch SSMT Formeln beschreiben. Um eine automatische Analyseprozedur …
-
Development of correct graph transformation systems
… werden mit bestehenden Werkzeugen für Logik erster Stufe anhand dreier Fallstudien verglichen: einem Eisenbahnkontrollsystem, einer Zugangskontrolle für Computersysteme und, als externe Fallstudie, einem Protokoll für Manöver von Autokolonnen.
-
Ebenen der Semantikintegration im Textverstehenssystem SynDiKATe
… und Domänenwissen, das mithilfe terminologischer Logik modelliert ist. <br> <br>Die Anwendungsgebiete des Textverstehenssystem sind Texte aus Computerzeitschriften sowie medizinische Befundberichte zu gastro-intestinalen Erkrankungen. Die Leistungsfähigkeit des gewählten Ansatzes, der mit sehr …
-
Entwicklung und Effektivität einer Organisationsstrategie im Kindergarten- und frühen Grundschulalter : Ergebnisse einer Längsschnittstudie
… zur Genese individueller Kompetenzen (LOGIK-Studie; Weinert & Schneider,1999), Zweifel an den aus Querschnittstudien abgeleiteten Annahmen über einen graduellen, kontinuierlich ansteigenden Entwicklungsverlauf aufkommen ließ (Schneider & Sodian, 1997; Sodian & Schneider, 1999). Bei …
-
Neoliberalisierung des Urbanen
… Argumentationen. Ihre Kritik: Die neoliberale Logik wird aufgrund ihres „Common sense“-Charakters zu einer alternativlosen Wahrheit stilisiert. Ziel des Buches ist es, in kritischer Haltung die (Un-)Sichtbarkeit neoliberaler Argumentationen in ausgewählten Schulbüchern sowie den …
-
Slicing and reduction techniques for model checking Petri nets
… zu erhalten. Als temporale Logik untersuchen wir CTL* und ihre Teillogiken.
-
Der Umgang der nationalsozialistischen Justiz mit Homosexuellen
… Einschätzung der Homosexualität resultierenden Logik und zielte nicht auf die Vernichtung aller Homosexuellen, sondern auf Bevölkerungsvermehrung und Aufrechterhaltung der 'Sittlichkeit' ab.
-
Être et jugement : étude sur la théorie des catégories dans la philosophie de Rickert
… propositions - ou "teneurs" - judicatives (Die Logik des Prädikats und das Problem der Ontologie, 1930). J'ai montré que cette double analyse permet non seulement de dégager deux concepts formels de l'être (l'être comme "Jaform" et comme "Urprädikat"), mais aussi de jeter les bases d'une théorie …
Page 1 of 4