Pertormer’s Rights in India

The overall focus of the thesis involves the performer's rights in india -A study with special reference to the audiovisual industry.The performer is the disseminator of works of literary, dramatic artistic and musical authorship .The challenge of studying the audiovisual industry is the low level of data documentation and transparency in transactions compounded by the low awareness of legal issues. The first five chapters of the study trace the evolution of performers’ rights with particular impetus on three diverse jurisdictions both at the judicial and statutory levels as well as from the collective bargaining platform.The study also seeks to pin point the major obstacles that the performers have had to encounter in their quest for equal rights under the umbrella of intellectual property the world over.the status of the performer through the international instruments - the Rome convention, the WPPT and the envisaged Protocol to the audiovisual performance.A grant of rights to the performer either under Copyright or labor law need not improve matters for the performer unless the institutional grievance redressal is firmly put in place.There is a need for clearer delineation between the definitions of audio and audiovisual fixations. Under the Indian law the terms representing these have been sound records and cinematographs respectivel.Performer and the Philosophy of Intellectual Propertyeffectively. But this is not to deny the fact that these institutions, organizations and practices could very well rise to the occasion when the rights regime comes into force.

Spectral Analysis of Bounded Self-adjoint operators - A Linear Algebraic Approach

This thesis Entitled Spectral theory of bounded self-adjoint operators -A linear algebraic approach.The main results of the thesis can be classified as three different approaches to the spectral approximation problems. The truncation method and its perturbed versions are part of the classical linear algebraic approach to the subject. The usage of block Toeplitz-Laurent operators and the matrix valued symbols is considered as a particular example where the linear algebraic techniques are effective in simplifying problems in inverse spectral theory. The abstract approach to the spectral approximation problems via pre-conditioners and Korovkin-type theorems is an attempt to make the computations involved, well conditioned. However, in all these approaches, linear algebra comes as the central object. The objective of this study is to discuss the linear algebraic techniques in the spectral theory of bounded self-adjoint operators on a separable Hilbert space. The usage of truncation method in approximating the bounds of essential spectrum and the discrete spectral values outside these bounds is well known. The spectral gap prediction and related results was proved in the second chapter. The discrete versions of Borg-type theorems, proved in the third chapter, partly overlap with some known results in operator theory. The pure linear algebraic approach is the main novelty of the results proved here.

A Study of Morphological Operators with Applications

The present work deals with the A study of morphological opertors with applications. Morphology is now a.necessary tool for engineers involved with imaging applications. Morphological operations have been viewed as filters the properties of which have been well studied (Heijmans, 1994). Another well-known class of non-linear filters is the class of rank order filters (Pitas and Venetsanopoulos, 1990). Soft morphological filters are a combination of morphological and weighted rank order filters (Koskinen, et al., 1991, Kuosmanen and Astola, 1995). They have been introduced to improve the behaviour of traditional morphological filters in noisy environments. The idea was to slightly relax the typical morphological definitions in such a way that a degree of robustness is achieved, while most of the desirable properties of typical morphological operations are maintained. Soft morphological filters are less sensitive to additive noise and to small variations in object shape than typical morphological filters. They can remove positive and negative impulse noise, preserving at the same time small details in images. Currently, Mathematical Morphology allows processing images to enhance fuzzy areas, segment objects, detect edges and analyze structures. The techniques developed for binary images are a major step forward in the application of this theory to gray level images. One of these techniques is based on fuzzy logic and on the theory of fuzzy sets.Fuzzy sets have proved to be strongly advantageous when representing in accuracies, not only regarding the spatial localization of objects in an image but also the membership of a certain pixel to a given class. Such inaccuracies are inherent to real images either because of the presence of indefinite limits between the structures or objects to be segmented within the image due to noisy acquisitions or directly because they are inherent to the image formation methods.

Study on the Socio-Psychological Background of Entrepreneur - Managers of Small Scale Industrial Units in Ernakulam District, Kerala

The understanding of the theory of entrepreneurship depends upon one set of definitions which provide the base for analytical study. The main objective of the study was to understand the distribution of entrepreneurship in the manufacturing sector among different categories of people in kerala and to differentiate the socio - psychological background of successful entrepreneur- managers from unsuccessful entrepreneur-managers. The purpose of the study, a sample of 150 entrepreneur-managers of SS1 units spread over Ernakulam district was surveyed through a specially designed questionnaire.

A study on fuzzy semi inner product spaces

Mathematical models are often used to describe physical realities. However, the physical realities are imprecise while the mathematical concepts are required to be precise and perfect. The 1st chapter give a brief summary of the arithmetic of fuzzy real numbers and the fuzzy normed algebra M(I). Also we explain a few preliminary definitions and results required in the later chapters. Fuzzy real numbers are introduced by Hutton,B [HU] and Rodabaugh, S.E[ROD]. Our definition slightly differs from this with an additional minor restriction. The definition of Clementina Felbin [CL1] is entirely different. The notations of [HU]and [M;Y] are retained inspite of the slight difference in the concept.the 3rd chapter In this chapter using the completion M'(I) of M(I) we give a fuzzy extension of real Hahn-Banch theorem. Some consequences of this extension are obtained. The idea of real fuzzy linear functional on fuzzy normed linear space is introduced. Some of its properties are studied. In the complex case we get only a slightly weaker analogue for the Hahn-Banch theorem, than the one [B;N] in the crisp case

Quantile based reliability aspects of partial moments

Partial moments are extensively used in literature for modeling and analysis of lifetime data. In this paper, we study properties of partial moments using quantile functions. The quantile based measure determines the underlying distribution uniquely. We then characterize certain lifetime quantile function models. The proposed measure provides alternate definitions for ageing criteria. Finally, we explore the utility of the measure to compare the characteristics of two lifetime distributions

A study on semigroup action on fuzzy subsets, inverse fuzzy automata and related topics

This thesis comprises five chapters including the introductory chapter. This includes a brief introduction and basic definitions of fuzzy set theory and its applications, semigroup action on sets, finite semigroup theory, its application in automata theory along with references which are used in this thesis. In the second chapter we defined an S-fuzzy subset of X with the extension of the notion of semigroup action of S on X to semigroup action of S on to a fuzzy subset of X using Zadeh's maximal extension principal and proved some results based on this. We also defined an S-fuzzy morphism between two S-fuzzy subsets of X and they together form a category S FSETX. Some general properties and special objects in this category are studied and finally proved that S SET and S FSET are categorically equivalent. Further we tried to generalize this concept to the action of a fuzzy semigroup on fuzzy subsets. As an application, using the above idea, we convert a _nite state automaton to a finite fuzzy state automaton. A classical automata determine whether a word is accepted by the automaton where as a _nite fuzzy state automaton determine the degree of acceptance of the word by the automaton. 1.5. Summary of the Thesis 17 In the third chapter we de_ne regular and inverse fuzzy automata, its construction, and prove that the corresponding transition monoids are regular and inverse monoids respectively. The languages accepted by an inverse fuzzy automata is an inverse fuzzy language and we give a characterization of an inverse fuzzy language. We study some of its algebraic properties and prove that the collection IFL on an alphabet does not form a variety since it is not closed under inverse homomorphic images. We also prove some results based on the fact that a semigroup is inverse if and only if idempotents commute and every L-class or R-class contains a unique idempotent. Fourth chapter includes a study of the structure of the automorphism group of a deterministic faithful inverse fuzzy automaton and prove that it is equal to a subgroup of the inverse monoid of all one-one partial fuzzy transformations on the state set. In the fifth chapter we define min-weighted and max-weighted power automata study some of its algebraic properties and prove that a fuzzy automaton and the fuzzy power automata associated with it have the same transition monoids. The thesis ends with a conclusion of the work done and the scope of further study.

Ordnung hilffen. Vorreformatorische Geschlechterordnung: Erste deutsche Bibel und Der Ackermann aus Böhmen

Die Dissertation leistet einen Beitrag zur Konstruktion von Geschlechterverhältnissen in der Ehe vor der Reformation. Untersucht werden zwei Texte des 15. Jahrhunderts: Die sogenannte Erste deutsche Bibel (EDB) und die Dichtung Der Ackermann aus Böhmen von Johannes von Tepl. Die Wort-für-Wort-Analyse beider Texte hat aus der zeitgebundenen deutschen Sprachgestalt spezifi-sche Denkfiguren erschlossen. Zentral ist die Gestaltung des Verhältnisses zwischen Gott und Menschen als Rechtsbeziehung Lehen. Das erste Kapitel analysiert und interpretiert die für Ehe- und Geschlechterkonzepte grund-legenden Aussagen von Genesis 1 - 4,1 und den Kanon der fünf Weisheitsbücher der EDB mit folgenden Ergebnissen: 1. Die EDB ist als Rechtsbuch zu lesen, dessen Zentrum die göttliche Herrschaft mit ihrer Rechts-ordnung ist. In diesem Rahmen wird für Mann und Frau die Ordnung Paar definiert. 2. Beide Geschlechter sind gleichwertig. Das kommt in ihren jeweiligen Handlungsfeldern (Werkordnungen) zum Ausdruck. 3. Der Begriff hilffen für die Ehefrau bedeutet Hilfe zum Heil ihres Mannes und eine spezifische Gottesnähe. Dies ist ein entscheidender Unterschied zu Luthers Bibelübersetzung, welche die Frau als untergeordnete Gehilfin des Mannes gestaltet. (Anhang III stellt die EDB-Verse der Lu-therübersetzung von 1545 gegenüber.) 4. Der Sündenfall wird als Rechtsbruch beschrieben, der den Wechsel von der Schöpfungsord-nung im Paradies zur Weltordnung auslöst, die mit den Urteilen Gottes über Frau und Mann beginnt (Genesis 3). Die Urteile fassen die Ehe in einem Diagonalkreuz, welches vier Faktoren untrennbar verbindet: Herrschaft mit Unterordnung sowie hilffen (Gebären) mit Tod. Die Ge-schlechterunterschiede sind konstituierend für die Ehe im Diagonalkreuz. In der EDB lassen sich drei Paarkonstellationen unterscheiden: die Ehe im Diagonalkreuz zwischen dem guten weib und dem weisen Mann, die Ehe ohne Diagonalkreuz zwischen dem un-weib und dem unweisen Mann und die nichteheliche Geschlechterbeziehung zwischen dem gemeinem weib und dem ee-brecher. Das zweite Kapitel der Dissertation vergleicht die alttestamentarischen Ehekonzepte der EDB mit denen der Dichtung Ackermann aus Böhmen. Die rhetorische Form des Streitgesprächs zwischen Witwer und hern Tot zeigt die Struktur eines deutschrechtlichen Prozesses. In diesem Rahmen gewinnen die gegensätzlichen Aussagen über die Ehe die Bedeutung von Rechtspositionen, die in konträren göttlichen Herrschaftsordnungen verortet werden. Die vom Witwer vertretene Herrschaftsordnung beruht auf der alttestamentarischen Rechtsordnung der EDB, während die Positionen des hern Tot diese Rechtsordnung verkehren, indem er die Herrschaftsordnung der Welt als sein Eigen definiert. Ein weiteres Ergebnis des Vergleichs zwischen der EDB und dem Ackermann aus Böhmen ist, dass sowohl die alttestamentarischen Bücher als auch die Dichtung Rechtsfiguren präsentieren. Entscheidend sind in beiden Texten die Urteile Gottes, die jeweils einen Paradigmenwechsel kon-stituieren. In der EDB wird nach dem Sündenfall die (paradiesische) Rechtsordnung in die Rechtsordnung ee gewandelt. Im Ackermann wird die alttestamentarische Rechtsordnung ee der EDB durch die ordenung Tod ersetzt, mit der zugleich die Ordnung Paar nicht mehr gilt. Die Urtei-le Gottes in der EDB definieren das Paar als zweigeschlechtlichen Menschen, das Urteil im Ackermann charakterisiert zwei Einzelmenschen: Mann oder Frau. Damit wird die zentrale Bedeutung der Ehefrau als hilffen zum Heil ihres Mannes aufgehoben, weil die wechselseitige Angewiesenheit von Mann und Frau nicht mehr gegeben ist. Insofern ist hier ein wichtiger Schritt zum reformatorischen Eheverständnis zu erkennen.

Ursprung, Entwicklung und Funktion von NGOs im zeitgenössischen Liberalismus - am Beispiel der BRD und Brasilien

NGOs werden von einem idealtypischen, perfektionistischen, Homogenität vermittelnden Schleier umgeben, der es schwer macht, die eigentlichen definitorischen Strukturen des NGO-Begriffs zu erfassen. In meiner Dissertation konnte ich dieses in der allgemeinen Öffentlichkeit vorherrschende Image beiseite schieben und erlangte somit einen Blick auf die eigentlichen Strukturen der NGOs. Im weiteren Verlauf versuchte ich die Verortung der NGOs in der Gesellschaft zu lokalisieren. Dies stellte sich sowohl im theoretischen als auch im empirischen Teil, in dem ich Interviews ausgewertet habe, die ich zuvor mit Experten verschiedenster deutscher und brasilianischer NGOs durchführte, als äußerst schwieriges Unterfangen dar. Dies lag zum einem daran, dass abseits der von der UN 1996 aufgestellten NGO-Kriterien keine allgemeingültigen, obligatorisch normativen NGO Definitionen existieren und zum anderen, dass die NGOs und deren Arbeitsfelder so heterogen sind, dass es nahezu unmöglich ist, Definitionskriterien aufzustellen, die allen NGOs gerecht werden könnten. NGOs erbringen einen wichtigen Beitrag zur Interessenvertretung sowie zum Zusammenschluss von Benachteiligten, damit diese ihre (Bürger-) Rechte wahrnehmen und gemeinsam Veränderungen bewirken können. Anhand von Kompetenzaufbau, Ermittlung der Ursachen der Ausgrenzung und deren Beseitigung wird versucht, die Veränderungen aktiv zu gestalten. NGOs fördern somit die Selbstorganisation und bündeln die Belange der Betroffenen. Festzuhalten ist, dass die NGOs ein immens wichtiges Element in der Zivilgesellschaft darstellen. Sie sind Ausdruck des politischen, sozialen und solidarischen Wollens von Menschen, die an der Gemeinschaft teilhaben, ihre Rechte geltend machen und den Istzustand des Systems nicht mehr einfach ohne Gegenwehr hinnehmen wollen. Das zivilgesellschaftliche Engagement ist, so zeigt die wachsende Bedeutung von NGOs, ungebrochen stark. Aber es ist aufgrund seiner großen Vielfalt weder begrifflich noch organisatorisch auf einen einzigen Nenner zu bringen. Das ist offenbar die Stärke eines zivilgesellschaftlichen Engagements, das die Schwächen eines gesellschaftlichen Systems aufnimmt: Staat und Markt sind nicht die einzigen Akteure, von denen gesellschaftlicher Wandel und sozialer Friede zugleich begünstigt werden können.

Perspectives of Urban Growth Management and Sustainable Development In West Bank, Hebron District as a case Study

The main objective of this PhD research study is to provide a perspective on the urban growth management and sustainable development in Palestine, and more specifically in Hebron district as a case study. Hebron is located 36 km south of Jerusalem, with an overall population size of around 600,000 people living in a total area around1246km2. Hebron is the biggest Palestinian district that has 16 municipalities and 154 localities. The research discusses and analyzes the urban planning system, economical and environmental policies and the solution required to manage and integrate the development elements to develop a sustainable development plan for Hebron. The research provides answers for fundamental questions such as what kind and definition of sustainable development are applicable to the Palestinian case?. What are the sustainability problems there and how the Israeli occupation and unstable political condition affect the sustainable development in Palestine? What are the urban growth management and sustainability policies and actions required from government, public and privets sector in Palestine? The fast urban growth in Palestine is facing many problems and challenges due to the increase in the population size and the resulting impact of this increase including, but not limited to, the demand of new houses, need for more infrastructure services, demands on new industrial, commercial, educational and health projects, which in turn reduces the area of agricultural lands and threatens the natural resources and environment. There are also other associated sustainability problems like the absence of effective plans or regulations that control urban expansion, the absence of sufficient sustainable development plans at the national levels for the district, new job requirements, Israeli restrictions and occupation for more than 60 years, existence of construction factories near residential areas, poor public awareness and poor governmental funds for service projects and development plans. The study consists of nine chapters. Chapter One includes an introduction, study objectives, problems and justifications, while Chapter Two has a theoretical background on sustainability topic and definitions of sustainability. The Palestinian urban planning laws and local government systems are discussed in Chapter Three and the methodology of research is detailed in Chapter Four. As for Chapter Five, it provides a general background on Hebron District including demographical and economical profiles, along with recommendations related to sustainable development for each profile Chapter Six addresses the urban environment, sustainability priorities and policies required. Chapter Seven discusses and analyzes infrastructure services including transportation, water and wastewater. As for Chapter Eight, it addresses the land use, housing and urban expansion beside the cultural heritage, natural heritage with relevant sustainable development polices and recommendations. Finally, Chapter Nine includes a conclusion and comprehensive recommendations integrating all of urban and sustainability event in one map. Hebron has a deep history including a rich cultural heritage aged by thousands of years, with 47% of Hebron district population under 14 years old. Being the biggest Palestinian district, Hebron has thousands of industrial and economical organizations beside a large agricultural sector at Palestine level. This gives Hebron a potential to play major roles in developing a national sustainability plan, as the current urban planning system in Palestine needs urgent reform and development to fulfill the sustainability requirement. The municipalities and ministers should find permanent financial aid for urban planning and development studies so as to face future challenges. The Palestinian government can benefit from available local human resources in development projects; hence Palestinian people have sufficient qualifications in most sectors. The Palestinian people also can invest in the privet sector in Palestine in case businessmen have been encouraged and clear investment laws and plans have been developed. The study provides recommendations associated to the sustainable development in Palestine in general and Hebron, as a case study, in specific. Recommendations include increasing the privet sector as well as the public involvement in urban growth management, and stopping unplanned urban expansion, subjecting granting building permits of new projects to the no-harm environmental impact assessment, increasing the coordination and cooperation between localities and central bodies, protection and renovation of old cites and green areas, increasing the quality and quantity of infrastructure services, establishing district urban planning department to coordinate and organize urban planning and sustainable development activities. Also, among recommendations come dividing Hebron into three planning and administrative areas (north, central and south), and dividing the sustainable development and implementation period (2010 to 2025) into three main phases. Finally, the study strongly recommends benefiting from the same urban development plans in similar districts at national and international levels, also to use new technologies and information systems in urban planning process.

CAPM und Behavioral Finance - Versuch einer Synthese

Seit Etablierung der ersten Börsen als Marktplatz für fungible Güter sind Marktteilnehmer und die Wissenschaft bemüht, Erklärungen für das Zustandekommen von Marktpreisen zu finden. Im Laufe der Zeit wurden diverse Modelle entwickelt. Allen voran ist das neoklassische Capital Asset Pricing Modell (CAPM) zu nennen. Die Neoklassik sieht den Akteur an den Finanzmärkten als emotionslosen und streng rationalen Entscheider, dem sog. homo oeconomicus. Psychologische Einflussfaktoren bei der Preisbildung bleiben unbeachtet. Mit der Behavioral Finance hat sich ein neuer Zweig zur Erklärung von Börsenkursen und deren Bewegungen entwickelt. Die Behavioral Finance sprengt die enge Sichtweise der Neoklassik und geht davon aus, dass psychologische Effekte die Entscheidung der Finanzakteure beeinflussen und dabei zu teilweise irrational und emotional geprägten Kursänderungen führen. Eines der Hauptprobleme der Behavioral Finance liegt allerdings in der fehlenden formellen Ermittelbarkeit und Testbarkeit der einzelnen psychologischen Effekte. Anders als beim CAPM, wo die einzelnen Parameter klar mathematisch bestimmbar sind, besteht die Behavioral Finance im Wesentlichen aus psychologischen Definitionen von kursbeeinflussenden Effekten. Die genaue Wirkrichtung und Intensität der Effekte kann, mangels geeigneter Modelle, nicht ermittelt werden. Ziel der Arbeit ist es, eine Abwandlung des CAPM zu ermitteln, die es ermöglicht, neoklassische Annahmen durch die Erkenntnisse des Behavioral Finance zu ergänzen. Mittels der technischen Analyse von Marktpreisen wird versucht die Effekte der Behavioral Finance formell darstellbar und berechenbar zu machen. Von Praktikern wird die technische Analyse dazu verwendet, aus Kursverläufen die Stimmungen und Intentionen der Marktteilnehmer abzuleiten. Eine wissenschaftliche Fundierung ist bislang unterblieben. Ausgehend von den Erkenntnissen der Behavioral Finance und der technischen Analyse wird das klassische CAPM um psychologische Faktoren ergänzt, indem ein Multi-Beta-CAPM (Behavioral-Finance-CAPM) definiert wird, in das psychologisch fundierte Parameter der technischen Analyse einfließen. In Anlehnung an den CAPM-Test von FAMA und FRENCH (1992) werden das klassische CAPM und das Behavioral-Finance-CAPM getestet und der psychologische Erklärungsgehalt der technischen Analyse untersucht. Im Untersuchungszeitraum kann dem Behavioral-Finance-CAPM ein deutlich höherer Erklärungsgehalt gegenüber dem klassischen CAPM zugesprochen werden.

Schauder – Zur Dekonstruktion eines Spürens

Zusammenfassung: Ziel der Arbeit ist den Sinn von Schauder philosophisch zu erhellen. An einem Einzelphänomen, wie es so bisher nicht behandelt wurde, wird zugleich das Geflecht von Affekt/Emotion/Gefühl, gestützt auf Hegel, Heidegger, Husserl, Freud und Lacan, in immer neuen Ansätzen kritisch reflektiert und Zug um Zug mit Derrida dekonstruiert. In einem Textverfahren, das sich auch grafisch durch gegenübergestellte Kolumnen auszeichnet, werden heterogene Ansätze zum Sinn von Schauder mit dekonstruktivistischen Einsichten konfrontiert. Die Ansätze, Schauder über Datum, Begriff, Phänomen oder Strukturelement bestimmen zu wollen, durchdringen sich dabei mit denjenigen, die sich einer solchen Bestimmung entziehen (Hegels Negativität, Heideggers Seinsentzug oder Lacans Signifikantenmangel). Am Fokus Schauder, an dem sich das Fiktive einer mit sich selbst identischen Präsenz besonders eindringlich darstellt, werden so spezifische Aporien der Metaphysik der Präsenz entfaltet und die Geschlossenheit logozentristischer Systeme in die Bewegung einer anderen Öffnung und Schließung im Sinn der Schrift bzw. des allgemeinen Textes transformiert. Neben der différance, dem Entzug der Metapher, dem Supplement und dem Gespenstischen stützt sich die Arbeit auf die Iterabilität, bei der im selben Zug die Identität des Sinns gestiftet und zerstreut wird (Dissemination). Im Kapitel Piloerection werden Ambivalenzen und Paradoxien des Schauders am Beispiel von computergestützten empirisch-psychologischen Studien aufgezeigt. Im Kapitel Atopologie des Schauders prädikative, propositionale und topologische Bedingungen zum Sinn von Schauder analysiert und dekonstruiert. Ebenso, im Folgekapitel Etymon, etymologische und technisch-mediale Bedingungen. Im Schlußkapitel Maß, Anmaß, Unmaß der Empfindung des Schauders wird am Beispiel der konkreten Beiträge zum Schauder von Aristoteles, Kant, Fechner, Otto, Klages, Lorenz und Adorno aufgezeigt, dass (1) ein Schauder nicht von einem Außen aus an-gemessen werden kann, (2) sich im Schauder die metaphysische Opposition von Fiktion und Realität in einer Unentscheidbarkeit zerstreut, (3) dass trotz der Heterogenität der Ansätze in diesen Beiträgen eine Komplizenschaft zum Ausdruck kommt: ein Begehren nach Präsenz, das durch den Ausschluß des Anderen zugleich die Gewalt des Einen produziert, (4) dass der Signifikant Schauder, der selbst in Abwesenheit eines Referenten, eines bestimmten Signifikats, einer aktuellen Bedeutungs­intention, eines Sen­ders oder Empfängers funktioniert, als verändertes Zu­rückbleiben eines differenzieller Zeichens betrachtet werden muss, als Effekt von Spuren, die sich nur in ihrem eige­nen Auslöschen ereignen. Die Arbeit schließt mit dem Vorschlag, Spüren jenseits von Arché, Telos oder Eschaton, jenseits eines Phallogozentrismus in der derridaschen Spur zu denken. Nicht zuletzt über diese Pfropfung, wie sie im Französischen [trace] so nicht möglich ist, schließt sie als deutschsprachiger Beitrag an sein Werk an.

ONTIC: A Knowledge Representation System for Mathematics

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.

Boundaries and Topological Algorithms

This thesis develops a model for the topological structure of situations. In this model, the topological structure of space is altered by the presence or absence of boundaries, such as those at the edges of objects. This allows the intuitive meaning of topological concepts such as region connectivity, function continuity, and preservation of topological structure to be modeled using the standard mathematical definitions. The thesis shows that these concepts are important in a wide range of artificial intelligence problems, including low-level vision, high-level vision, natural language semantics, and high-level reasoning.

Taming Chaotic Circuits

Control algorithms that exploit chaotic behavior can vastly improve the performance of many practical and useful systems. The program Perfect Moment is built around a collection of such techniques. It autonomously explores a dynamical system's behavior, using rules embodying theorems and definitions from nonlinear dynamics to zero in on interesting and useful parameter ranges and state-space regions. It then constructs a reference trajectory based on that information and causes the system to follow it. This program and its results are illustrated with several examples, among them the phase-locked loop, where sections of chaotic attractors are used to increase the capture range of the circuit.