Current pentecostal scholarship is attempting to articulate pentecostal theological distinctives. For hermeneutics, this involves both a descriptive and a prescriptive approach to the use of the Bible. The descriptive approach appraises the historical roots of pentecostalism, which include the Wesleyan I Holiness movement, the radical Reformation, Tertullian and Montanism, and earliest charismatic communities. These understood Christian Scripture as guidelines to a Way of behaviour and testimony, rather than a source-book of doctrine. This 'alternative history' experienced the Enlightenment on a different level to protestantism and fundamentalism. Many of the concerns of historical church theology and hermeneutics during the last centuries are thus not always shared by pentecostals. The choice is: articulate a distinctive pentecostal hermeneutic, or 'borrow' from non-pentecostal theology. The prescriptive approach first investigates some of the latter options: some identify closely with conservative evangelical hermeneutics. Others prefer the political hermeneutic of the socio-political contextual theologies. The burgeoning Faith Movement has influenced many pentecostals. Some pentecostal scholars show interest in 'post-modern' literary theory. A viable pentecostal hermeneutic might be prescribed as follows: It respects the demands of scientific method, not ignoring the concerns of contemporary hermeneutical philosophy and literary theory. It highlights specifically pentecostal concerns: the teleology of any encounter with the text; historical continuity with the early church groups; implementation, demonstration and realisation of the literal intent of the text; the role of biblical narrative in defining experience of God; and the authority granted ongoing revelation via the charismata in the light of the canon. Application of a pentecostal hermeneutic would emphasise an holistic understanding of Scripture, the crucial role of the charismatic community, awareness of issues in the ongoing hermeneutical debate, and the need for the interpreter's personal ongoing charismatic experience. In a distinctively pentecostal exegesis of 1 Corinthians 14 prophecy is discussed as normal liturgical activity, as a confrontation of outsiders and unbelievers, in terms of its regulation, and in the light of spiritual discernment / Biblical and Ancient Studies / Th. D. (New Testament)

Current pentecostal scholarship is attempting to articulate pentecostal theological distinctives. For hermeneutics, this involves both a descriptive and a prescriptive approach to the use of the Bible. The descriptive approach appraises the historical roots of pentecostalism, which include the Wesleyan I Holiness movement, the radical Reformation, Tertullian and Montanism, and earliest charismatic communities. These understood Christian Scripture as guidelines to a Way of behaviour and testimony, rather than a source-book of doctrine. This 'alternative history' experienced the Enlightenment on a different level to protestantism and fundamentalism. Many of the concerns of historical church theology and hermeneutics during the last centuries are thus not always shared by pentecostals. The choice is: articulate a distinctive pentecostal hermeneutic, or 'borrow' from non-pentecostal theology. The prescriptive approach first investigates some of the latter options: some identify closely with conservative evangelical hermeneutics. Others prefer the political hermeneutic of the socio-political contextual theologies. The burgeoning Faith Movement has influenced many pentecostals. Some pentecostal scholars show interest in 'post-modern' literary theory. A viable pentecostal hermeneutic might be prescribed as follows: It respects the demands of scientific method, not ignoring the concerns of contemporary hermeneutical philosophy and literary theory. It highlights specifically pentecostal concerns: the teleology of any encounter with the text; historical continuity with the early church groups; implementation, demonstration and realisation of the literal intent of the text; the role of biblical narrative in defining experience of God; and the authority granted ongoing revelation via the charismata in the light of the canon. Application of a pentecostal hermeneutic would emphasise an holistic understanding of Scripture, the crucial role of the charismatic community, awareness of issues in the ongoing hermeneutical debate, and the need for the interpreter's personal ongoing charismatic experience. In a distinctively pentecostal exegesis of 1 Corinthians 14 prophecy is discussed as normal liturgical activity, as a confrontation of outsiders and unbelievers, in terms of its regulation, and in the light of spiritual discernment / Biblical and Ancient Studies / Th. D. (New Testament)

No description available.

No description available.

No description available.

No description available.

The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowledge, and it can be distributed within or across these categories. A myriad of languages is available for representation. Ontologies themselves are artifacts which are expressed in various languages. Different such languages are utilized today, including, as well-known representatives, predicate logic, subsuming first-order (predicate) logic (FOL), in particular, and higher-order (predicate) logic (HOL); the Web Ontology Language (OWL) on the basis of description logics (DL); and the Unified Modeling Language (UML). We focus primarily on languages with formally defined syntax and semantics. This overall picture immediately suggests questions of the following kinds: What is the relationship between an ontology and the language in which it is formalized? Especially, what is the impact of the formal semantics of the language on the formalized ontology? How well understood is the role of ontologies in semantic integration? Can the same ontology be represented in multiple languages and/or in distinct ways within one language? Is there an adequate understanding of whether two expressions are intensionally/conceptually equivalent and whether two ontologies furnish the same ontological commitments? One may assume that these questions are resolved. Indeed, the development and adoption of ontologies is widespread today. Ontologies are authored in a broad range of different languages, including offering equally named ontologies in distinct languages. Much research is devoted to techniques and technologies that orbit ontologies, for example, ontology matching, modularization, learning, and evolution, to name a few. Ontologies have found numerous beneficial applications, and hundreds of ontologies have been created, considering solely the context of biomedical research. For us, these observations increase the relevance of the stated questions and close relatives thereof, and raise the desire for solid theoretical underpinnings. In the literature of computer and information sciences, we have found only few approaches that tackle the foundations of ontologies and their representation to allow for answering such questions or that actually answer them. We elaborate an analysis of the subject as the first item of central contributions within this thesis. It mainly results in the identification of a vicious circularity in (i) the intended use of ontologies to mediate between formal representations and (ii) solely exploiting formal semantic notions in representing ontologies and defining ontology-based equivalence as a form of intensional/conceptual equivalence. On this basis and in order to overcome its identified limitations, we contribute a general model-theoretic semantic account, named \\\"ontological semantics\\\". This kind of semantics takes the approach of assigning arbitrary entities as referents of atomic symbols and to link syntactic constructions with corresponding ontological claims and commitments. In particular, ontological semantics targets the avoidance of encoding effects in its definition. Therefore we argue that this semantic account is well suited for interpreting formalized ontologies and for defining languages for the representation of ontologies. It is further proposed as a fundament for envisioned novel definitions of the intensional equivalence of expressions, in potential deviation from only being formally equivalent under set-theoretic semantics. The thesis is defended that a particular usage of a formalism and its respective vocabulary should be accompanied by establishing an ontological semantics that is tailored to that use of the formalism, in parallel to the formal semantics of the language, in order to capture the ontological content of the formal representation for adequate reuse in other formalisms. Accordingly, we advocate ontological semantics as a useful framework for justifying translations on an intensional basis. Despite all deviations of ontological semantics from its set-theoretic blueprint, close relationships between the two can be shown, which allow for using established FOL and DL reasoners while assuming ontological semantics.

Cette thèse présente des applications véhiculaires à différentes échelles : de la petite qui permet d'effectuer des tests réels de communication et de service ; à des plus grandes incluant plus de contraintes mais permettant des simulations sur l'ensemble du réseau. Dans ce contexte nous soulignons l'importance d'avoir et de traiter des données réelles afin de pouvoir interpréter correctement les résultats. A travers ces échelles nous proposons différents services utilisant la communication V2V et V2I. Nous ne prétendons pas prendre le contrôle du véhicule, notre but est de montrer le potentiel de la communication à travers différents services. La petite échelle se focalise sur un service à un feu de circulation permettant d'améliorer les temps de parcours et d'attente, et la consommation en CO2 et en carburant. La moyenne échelle se situant sur un rond-point, permet grâce à un algorithme décentralisé, d'améliorer ces mêmes paramètres, mais montre également qu'avec une prise de décision simple et décentralisée, le système est robuste face à la perte de paquet, à la densité, aux comportements humains ou encore aux taux d'équipement. Enfin à l'échelle d'une ville, nous montrons que grâce à des décisions prises de manière locale et décentralisée, avec seulement un accès à une information partielle dans le réseau, nous obtenons des résultats proches des solutions centralisées. La quantité de données transitant ainsi dans le réseau est considérablement diminuée. Nous testons également la réponse de ces systèmes en cas de perturbation plus ou moins importante tels que des travaux, un acte terroriste ou une catastrophe naturelle. Les modèles permettant une prise de décision locale grâce aux informations délivrées autour du véhicule montrent leur potentiel que se soit avec de la communication avec l'infrastructure V2I ou entre les véhicules V2V. / In this thesis we present vehicular applications across different scales: from small scale that allows real tests of communication and services; to larger scales that include more constraints but allowing simulations on the entire network. In this context, we highlight the importance of real data and real urban topology in order to properly interpret the results of simulations. We describe different services using V2V and V2I communication. In each of them we do not pretend to take control of the vehicle, the driver is present in his vehicle, our goal is to show the potential of communication through services taking into account the difficulties outlined above. In the small scale, we focus on a service with a traffic light that improves travel times, waiting times and CO2 and fuel consumption. The medium scale is a roundabout, it allows, through a decentralized algorithm, to improve the same parameters. It also shows that with a simple and decentralized decision-making process, the system is robust to packet loss, density, human behavior or equipment rate. Finally on the scale of a city, we show that local and decentralized decisions, with only a partial access to information in the network, lead to results close to centralized solutions. The amount of data in the network is greatly reduced. We also test the response of these systems in case of significant disruption in the network such as roadworks, terrorist attack or natural disaster. Models, allowing local decision thanks to information delivered around the vehicle, show their potential whatsoever with the V2I communication or V2V.

This paper addresses the issue of security and integration of UAVs in air traffic operations and analyses possible risks. This work defines methodology to demonstrate airworthiness of the parachute recovery system under extreme climatic conditions. The first part of the methodology deals with the compliance performance requirements in external environment and the second part verifies performance parachute canopy. Methodology developed herein is subsequently verified by practical tests on parachute recovery system Galaxy GBS 10.

This master's thesis deals use FITkit for longtime temperature monitoring without necessity connection on PC. Describe possibilities connection different heat-sensitive elements to FITkit inclusive physical realization. Further this thesis deals with measuring of temperature, displaying temperature and saving to memory, blocks-partitioning of memory. Is defined communication protocol between FITkit and PC for bulk downloading of data. So are solving problems with saving measure data to text files and next processing in table processors.