Log in

Relevant bibliographies by topics / Modal semantics / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Modal semantics.

Dissertations / Theses on the topic 'Modal semantics'

Author: Grafiati

Published: 28 May 2022

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Modal semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Mio, Matteo. "Game semantics for probabilistic modal μ-calculi". Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/6223.

Full text

Abstract:

The probabilistic (or quantitative) modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS’s). Two semantics have been studied for this logic, both assigning to every process state a value in the interval [0, 1] representing the probability that the property expressed by the formula holds at the state. One semantics is denotational and the other is a game semantics, specified in terms of two-player stochastic games. The two semantics have been proved to coincide on all finite PLTS’s. A first contribution of the thesis is to

APA, Harvard, Vancouver, ISO, and other styles

2

Papafragou, Anna. "Modality and the semantics-pragmatics interface." Thesis, University College London (University of London), 1998. http://discovery.ucl.ac.uk/1317914/.

Full text

Abstract:

This thesis explores certain aspects of the structure of lexical semantics and its interaction with pragmatic processes of utterance comprehension, using as a case-study a sample of the English modal verbs. Contrary to previous polysemy-based accounts, I propose and defend a unitary semantic account of the English modals, and I give a relevance-theoretic explanation of the construction of their admissible (mainly, root and epistemic) contextual interpretations. Departing from previous accounts of modality, I propose a link between epistemic modality and metarepresentation, and treat the emerge

APA, Harvard, Vancouver, ISO, and other styles

3

Simpson, Alex K. "The proof theory and semantics of intuitionistic modal logic." Thesis, University of Edinburgh, 1994. http://hdl.handle.net/1842/407.

Full text

Abstract:

Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal classical mathematics. If, however, the same semantic definitions are interpreted in an intuitionistic meta-theory then the induced modal logics no longer satisfy certain intuitionistically invalid principles. This thesis investigates the intuitionistic modal logics that arise in this way. Natural deduction systems for various intuitionistic modal logics are presented. From on

APA, Harvard, Vancouver, ISO, and other styles

4

Gabelaia, David. "Topological semantics and two-dimensional combinations of modal logics." Thesis, King's College London (University of London), 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414426.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ou, Jiali. "On the semantics of the Chinese modal adverb you." HKBU Institutional Repository, 2015. https://repository.hkbu.edu.hk/etd_oa/146.

Full text

Abstract:

This study aims to investigate the modal meamngs of you under Kratzer (1981)'s and Xie (2006)'s modality theory. Data is collected from Academia Sinica Balanced Corpus of Modern Chinese (ASBCMC hereafter). In ASBCMC, you has two types of modal meanings. It expresses the divergence between the speaker's expectation and the situation presented by the sentence (labeled as you1 hereafter). It also can indicate the convergence between the expectation and the situation (labeled as you2 hereafter). In respect to you1, the proposition that describes the situation has a truth value opposite to that of

APA, Harvard, Vancouver, ISO, and other styles

6

Dalmonte, Tiziano. "Non-normal modal logics : neighbourhood semantics and their calculi." Electronic Thesis or Diss., Aix-Marseille, 2020. http://www.theses.fr/2020AIXM0314.

Full text

Abstract:

Dans cette thèse, nous étudions la théorie de la preuve des logiques modales non-normales. Ces logiques ont été considérées dès les prémisses de la logique modale moderne, et ont été appliquées à de nombreux domaines, tels que le raisonnement déontique, le raisonnement épistémique, ainsi que le raisonnement dans les systèmes multi-agents. Nous définissons des systèmes de preuve pour des logiques modales non-normales ayant de bonnes propriétés calculatoires et sémantiques. Ces systèmes permettent de donner des procédures de décision et d'extraire des contre-modèles pour les formules non-valides

APA, Harvard, Vancouver, ISO, and other styles

7

Kotzsch, Hans-Christoph [Verfasser], and Hannes [Akademischer Betreuer] Leitgeb. "Topos semantics for higher-order modal logic / Hans-Christoph Kotzsch ; Betreuer: Hannes Leitgeb." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2016. http://d-nb.info/1125883928/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Calardo, Erica <1980&gt. "Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amsdottorato.unibo.it/6108/1/calardo_erica_tesi.pdf.

Full text

Abstract:

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, an

APA, Harvard, Vancouver, ISO, and other styles

9

Calardo, Erica <1980&gt. "Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amsdottorato.unibo.it/6108/.

Full text

Abstract:

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, an

APA, Harvard, Vancouver, ISO, and other styles

10

Rehn, Anna-Karin. "Translating Modality : Disentangling the semantics of the modal auxiliaries in an investment fund prospectus and its translation from English to Swedish." Thesis, Linnéuniversitetet, Institutionen för språk (SPR), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-55839.

Full text

Abstract:

This paper analyses the use of modal auxiliaries in an investment fund prospectus and how they are translated into Swedish. The semantics of modal auxiliaries is a rather fuzzy area. One modal verb such as may or will can have several different meanings, depending on the textual and situational context. Correctly interpreting the modal verbs is an important prerequisite for an accurate translation. A theoretical background founded on linguistic studies and grammatical presentations by Palmer (2001), Huddleston and Pullum (2002), Coates (1983), Teleman et al. (1999) and Wärnsby (2006) and other

APA, Harvard, Vancouver, ISO, and other styles

11

Gutierrez, Julian. "On bisimulation and model-checking for concurrent systems with partial order semantics." Thesis, University of Edinburgh, 2011. http://hdl.handle.net/1842/5281.

Full text

Abstract:

In concurrency theory—the branch of (theoretical) computer science that studies the logical and mathematical foundations of parallel computation—there are two main formal ways of modelling the behaviour of systems where multiple actions or events can happen independently and at the same time: either with interleaving or with partial order semantics. On the one hand, the interleaving semantics approach proposes to reduce concurrency to the nondeterministic, sequential computation of the events the system can perform independently. On the other hand, partial order semantics represent concurrency

APA, Harvard, Vancouver, ISO, and other styles

12

Johannesson, Eric. "Analyticity, Necessity and Belief : Aspects of two-dimensional semantics." Doctoral thesis, Stockholms universitet, Filosofiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-141565.

Full text

Abstract:

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the differ

APA, Harvard, Vancouver, ISO, and other styles

13

Więckowski, Bartosz. "Modality without reference an alternative semantics for substitutional quantified modal logic and its philosophical significance /." [S.l. : s.n.], 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Reymore, Lindsey E. "Empirical approaches to timbre semantics as a foundation for musical analysis." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1586792450387823.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Isenberg, Jillian. "Rigid Designation, the Modal Argument, and the Nominal Description Theory." Thesis, University of Waterloo, 2005. http://hdl.handle.net/10012/746.

Full text

Abstract:

In this thesis, I describe and evaluate two recent accounts of naming. These accounts are motivated by Kripke?s response to Russell?s Description Theory of Names (DTN). Particularly, I consider Kripke?s Modal Argument (MA) and various arguments that have been given against it, as well as Kripke?s responses to these arguments. Further, I outline a version of MA that has recently been presented by Scott Soames, and consider how he responds to the criticisms that the argument faces. In order to evaluate the claim that MA is decisive against all description theories, I outline the Nominal

APA, Harvard, Vancouver, ISO, and other styles

16

Olivero, Irene. "On the semantics of artifactual and social kind terms." Doctoral thesis, Università degli studi di Padova, 2017. http://hdl.handle.net/11577/3426327.

Full text

Abstract:

Hilary Putnam’s proposal of extending the scope of his famous externalist semantic theory to artifactual (e.g. ‘pencil’, ‘chair’, ‘television’, etc.) and social kind terms (e.g. ‘pediatrician’, ‘university’, ‘money’, etc.) has opened an ongoing debate, which is the main focus and basis of the present work. By contrast, the same semantic account limited to words for natural substances and species (e.g. ‘water’, ‘gold’, ‘tiger’, etc.) has become very popular and quite widely adopted, since it seems to give a convincing explanation of how the semantics of these terms works. The first part of the

APA, Harvard, Vancouver, ISO, and other styles

17

Kvasova, Daria 1989. "The Role of cross-modal semantic interactions in real-world visuo-spatial attention." Doctoral thesis, Universitat Pompeu Fabra, 2020. http://hdl.handle.net/10803/668665.

Full text

Abstract:

In our everyday life we must effectively orient attention to relevant objects and events in multisensory environments. The impact of cross-modal links for attention orienting to spatial and temporal cues has been widely described. However, real-life scenarios provide a rich web of semantic information through the different sensory modalities. Despite some previous studies have revealed an impact of crossmodal sematic correspondences, the results are mixed with regard to the conditions in which audiovisual semantic congruence can influence attention orienting. Furthermore, the vast majo

APA, Harvard, Vancouver, ISO, and other styles

18

Spargo, Catherine. "A corpus-based study of the semantics of the core modal MAY and CAN in human resource management texts." Thesis, University of Reading, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.529980.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Hjálmarsson, Guðmundur Andri. "What if? : an enquiry into the semantics of natural language conditionals." Thesis, University of St Andrews, 2010. http://hdl.handle.net/10023/949.

Full text

Abstract:

This thesis is essentially a portfolio of four disjoint yet thematically related articles that deal with some semantic aspect or another of natural language conditionals. The thesis opens with a brief introductory chapter that offers a short yet opinionated historical overview and a theoretical background of several important semantic issues of conditionals. The second chapter then deals with the issue of truth values and conditions of indicative conditionals. So-called Gibbard Phenomenon cases have been used to argue that indicative conditionals construed in terms of the Ramsey Test cannot ha

APA, Harvard, Vancouver, ISO, and other styles

20

Saint-Germier, Pierre. "Les arguments de concevabilité." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL0994.

Full text

Abstract:

Les arguments de concevabilité sont des arguments philosophiques reposant sur le principe selon lequel tout ce qui est concevable est possible. Cette thèse se propose d'évaluer à un niveau général cette forme d'argumentation en s'appuyant sur des exemples historiques et contemporains. les arguments de concevabilité, quelle que soit la position philosophique qu'ils visent à défendre, soulèvent en effet des difficultés qui leur sont communes et ont trait principalement (i) à la définition de la notion de possibilitée, (ii) à la définition de la notion de concevabilité, et (iii) à la légitimité d

APA, Harvard, Vancouver, ISO, and other styles

21

Delattre, Alain. "Signification et nécessité : une étude de sémantique et de logique des modalités : traduction de : Meaning and necessity a study in semantics and modal logic [Rudolf Carnap]." Lille 3, 1988. http://www.theses.fr/1988LIL30011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Seeliger, Heiko. "Swedish and German Rejecting Questions." Doctoral thesis, Humboldt-Universität zu Berlin, 2019. http://dx.doi.org/10.18452/19686.

Full text

Abstract:

Diese Arbeit untersucht eine Klasse von tendenziösen Fragen, die mindestens im Schwedischen und Deutschen existieren: Rejecting Questions (RQs). RQs unterscheiden sich von anderen Fragen mit deklarativer Syntax u.a. darin, dass die kontextuelle Evidenz, die solche Fragen lizensiert, von umgekehrter Polarität (relativ zur Polarität der Frage selber) ist - positive RQs benötigen Evidenz für eine negierte Proposition, positive deklarative Fragen benötigen Evidenz für eine positive Proposition. In drei Experimenten wird gezeigt, dass i) schwedische negative RQs sich in ihren Lizensierungsbedingung

APA, Harvard, Vancouver, ISO, and other styles

23

Гурина, Н. М. "Модально-метаязыковые средства в курсе РКИ". Thesis, Сумской государственный университет, 2015. http://essuir.sumdu.edu.ua/handle/123456789/43998.

Full text

Abstract:

Категория субъективной модальности очень важна для коммуникации и имеет множество средств выражения, но в практике преподавания РКИ этому аспекту уделяется недостаточно внимания. Методом эксперимента мы попытались выяснить, в какой степени туркменские студенты владеют семантикой модальных слов (и предложений с ними) и какие трудности испытывают при использовании данных конструкций в речи.

APA, Harvard, Vancouver, ISO, and other styles

24

Bednall, James. "Temporal, aspectual and modal expression in Anindilyakwa, the language of the Groote Eylandt archipelago, Australia." Thesis, Université de Paris (2019-....), 2020. http://www.theses.fr/2020UNIP7029.

Full text

Abstract:

Cette thèse sur l’anindilyakwa, langue gunwinyguan, fournit une analyse empirique de l'expression temporelle, aspectuelle et modale (TAM) dans une langue peu documentée de l'archipel de Groote Eylandt, au nord-est de la région d’Arnhem en Australie.Les objectifs de la thèse sont à la fois descriptifs et théoriques. Le premier objectif est de fournir une description détaillée de certaines des propriétés grammaticales les plus importantes de l'anindilyakwa, en particulier celles liées au groupe verbal. Cet objectif descriptif est enrichi par le deuxième objectif, qui est de contribuer à la reche

APA, Harvard, Vancouver, ISO, and other styles

25

Barbet, Cécile. "Sémantique et pragmatique des verbes modaux du français : Données synchroniques, diachroniques et expérimentales." Thesis, Littoral, 2013. http://www.theses.fr/2013DUNK0513.

Full text

Abstract:

Devoir et pouvoir, comme les verbes modaux d’autres langues, ont déjà fait l’objet d’une littérature abondante. Le fait qu’ils puissent recevoir des sens différents selon leur contexte d’emploi a particulièrement suscité l’attention des sémanticiens et des pragmaticiens. Cette thèse revient sur la question de la nature des différentes interprétations de devoir et pouvoir, et tente d’établir si leur plurivocité relève de la polysémie ou de la sous-spécification. L’hypothèse polysémique, la plus répandue dans la littérature française, implique qu’au moins le sens radical et le sens épistémique s

APA, Harvard, Vancouver, ISO, and other styles

26

Zachau, S. (Swantje). "Signs in the brain: Hearing signers’ cross-linguistic semantic integration strategies." Doctoral thesis, Oulun yliopisto, 2016. http://urn.fi/urn:isbn:9789526213293.

Full text

Abstract:

Abstract Audio-oral speech and visuo-manual sign language as used by the Deaf community are two very different realizations of the human linguistic communication system. Sign language is not only used by the hearing impaired but also by different groups of hearing individuals. To date, there is a great discrepancy in scientific knowledge about signed and spoken languages. Particularly little is known about the integration of the two systems, even though the vast majority of deaf and hearing signers also have a command of some form of speech. This neurolinguistic study aimed to achieve basic kn

APA, Harvard, Vancouver, ISO, and other styles

27

Taleb, Fadila. "L'argumentation judiciaire à travers le prisme des scénarios modaux : application pour une aide à l'interprétation des décisions de justice." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMR096.

Full text

Abstract:

Le travail de recherche présenté dans cette thèse s’inscrit dans le cadre général des travaux sur les humanités numériques qui cherchent, entre autres, à contribuer à l’amélioration des interactions Homme-Machine. L’objectif de l’étude est double. Dans un premier temps, il s’agit d’étudier un corpus de décisions de justice contenues dans la base de données de l’Institut du Droit International des Transports (IDIT) afin de déterminer les contraintes linguistiques du genre judiciaire. Dans un second temps, il est question de proposer des parcours interprétatifs pouvant aider les utilisateurs dan

APA, Harvard, Vancouver, ISO, and other styles

28

Silva, Adrieli Bonjour Laviola da. "Frames e construções em contraste: uma análise comparativa português - inglês no tangente à implementação de constructicons." Universidade Federal de Juiz de Fora, 2015. https://repositorio.ufjf.br/jspui/handle/ufjf/298.

Full text

Abstract:

Submitted by Renata Lopes (renatasil82@gmail.com) on 2015-12-17T16:08:01Z No. of bitstreams: 1 adrielibonjourlavioladasilva.pdf: 1760741 bytes, checksum: efcbaa3ab3d79707feca1c417ad959d5 (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2015-12-17T18:03:03Z (GMT) No. of bitstreams: 1 adrielibonjourlavioladasilva.pdf: 1760741 bytes, checksum: efcbaa3ab3d79707feca1c417ad959d5 (MD5)<br>Made available in DSpace on 2015-12-17T18:03:03Z (GMT). No. of bitstreams: 1 adrielibonjourlavioladasilva.pdf: 1760741 bytes, checksum: efcbaa3ab3d79707feca1c417ad95

APA, Harvard, Vancouver, ISO, and other styles

29

Legastelois, Bénédicte. "Extension pondérée des logiques modales dans le cadre des croyances graduelles." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066516/document.

Full text

Abstract:

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles

APA, Harvard, Vancouver, ISO, and other styles

30

Emerson, Guy Edward Toh. "Functional distributional semantics : learning linguistically informed representations from a precisely annotated corpus." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/284882.

Full text

Abstract:

The aim of distributional semantics is to design computational techniques that can automatically learn the meanings of words from a body of text. The twin challenges are: how do we represent meaning, and how do we learn these representations? The current state of the art is to represent meanings as vectors - but vectors do not correspond to any traditional notion of meaning. In particular, there is no way to talk about 'truth', a crucial concept in logic and formal semantics. In this thesis, I develop a framework for distributional semantics which answers this challenge. The meaning of a word

APA, Harvard, Vancouver, ISO, and other styles

31

Engström, Simon. "Problems for Michael Gill’s semantic pluralism : The ostensibility of certain moral agreements and disagreements." Thesis, Uppsala universitet, Filosofiska institutionen, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-410270.

Full text

Abstract:

This paper concerns the semantic branch of meta-ethics, and examines a version of so called semantic pluralism advocated by Michael Gill. Briefly put, Gill suggests that ordinary people’s usage of moral terms is rather messy in the sense that the meaning of moral terms can vary not only between different people, but also for one and the same person in different contexts. Such variability in word-meaning is explained by his assumption that people’s meta-ethical commitments are part of their moral thought and language, which is to say that their meta-ethical commitments have implications for the

APA, Harvard, Vancouver, ISO, and other styles

32

Punnam, Pradeep Kumar. "RELATIONAL MODEL FOR PROGRAM SEMANTICS." Kent State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=kent1226606883.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Kesorn, Kraisak. "Multi modal multi-semantic image retrieval." Thesis, Queen Mary, University of London, 2010. http://qmro.qmul.ac.uk/xmlui/handle/123456789/438.

Full text

Abstract:

The rapid growth in the volume of visual information, e.g. image, and video can overwhelm users’ ability to find and access the specific visual information of interest to them. In recent years, ontology knowledge-based (KB) image information retrieval techniques have been adopted into in order to attempt to extract knowledge from these images, enhancing the retrieval performance. A KB framework is presented to promote semi-automatic annotation and semantic image retrieval using multimodal cues (visual features and text captions). In addition, a hierarchical structure for the KB allows metadata

APA, Harvard, Vancouver, ISO, and other styles

34

Lu, Yun. "Mapping Template Semantics to SMV." Thesis, University of Waterloo, 2004. http://hdl.handle.net/10012/1205.

Full text

Abstract:

Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct semantics. In this thesis, we investigate using template semantics to parameterize the translation from a model-based notation to the input language of the SMV family of model checkers. We describe a fully automated translator that takes as input a specification written in template semantics syntax, and a set of template parameters, encoding the specification's semanti

APA, Harvard, Vancouver, ISO, and other styles

35

Prout, Adam. "Parameterized Code Generation From Template Semantics." Thesis, University of Waterloo, 2006. http://hdl.handle.net/10012/1027.

Full text

Abstract:

We have developed a tool that can create a Java code generator for a behavioural modelling notation given only a description of the notation's semantics as a set of parameters. This description is based on template semantics, which has previously been used to describe a wide variety of notations. As a result, we have a technique for generating Java code for models written in any notation describable in template semantics. Since template semantics allows for models containing nondeterminism, we introduce mechanisms for eliminating this nondeterminism when generating code. We describe

APA, Harvard, Vancouver, ISO, and other styles

36

Rajhans, Akshay H. "Multi-Model Heterogeneous Verification of Cyber-Physical Systems." Research Showcase @ CMU, 2013. http://repository.cmu.edu/dissertations/251.

Full text

Abstract:

Complex systems are designed using the model-based design paradigm in which mathematical models of systems are created and checked against specifications. Cyber-physical systems (CPS) are complex systems in which the physical environment is sensed and controlled by computational or cyber elements possibly distributed over communication networks. Various aspects of CPS design such as physical dynamics, software, control, and communication networking must interoperate correctly for correct functioning of the systems. Modeling formalisms, analysis techniques and tools for designing these differen

APA, Harvard, Vancouver, ISO, and other styles

37

Thornley, John William Chandy K. Mani Chandy K. Mani. "A parallel programming model with sequential semantics /." Diss., Pasadena, Calif. : California Institute of Technology, 1996. http://resolver.caltech.edu/CaltechETD:etd-01042008-085720.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Ballestero, de Celis Carmen. "La construction avec aunque : définition, sélection modale, traductions françaises." Phd thesis, Université de la Sorbonne nouvelle - Paris III, 2010. http://tel.archives-ouvertes.fr/tel-00911635.

Full text

Abstract:

Le but de cette thèse est la définition de la construction avec aunque, la sélection modale qui y est opérée et l'analyse de deux traductions possibles en français : la construction avec bien que et la construction avec même si. Après un examen des différentes propositions explicatives qui ont essayé de rendre compte de cette construction, il apparaît que ce qui définit une construction du type A aunque B est la présupposition d'une relation implicative sous-jacente selon laquelle la déclaration A implique l'absence de la déclaration B. La sélection modale opérée dans la proposition en aunque

APA, Harvard, Vancouver, ISO, and other styles

39

Brown, Simon Ambrose. "The semantics of database query languages." Thesis, University of Sheffield, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310781.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Coyne, Steven. "Semantic arguments against moral naturalism." Thesis, University of British Columbia, 2011. http://hdl.handle.net/2429/36841.

Full text

Abstract:

This thesis investigates the prospects of a position in metaethics called moral naturalism. Moral naturalism can be summarized as two claims. First, moral naturalism is a form of moral realism, which states that there are true moral claims that hold irrespectively of a person’s attitudes or beliefs. Second, moral naturalism claims that these moral claims are about properties that are part of the natural world. The central challenge facing moral naturalism is to explain how these moral properties fit into the natural world. Are moral properties reducible to, or identical with, natural properti

APA, Harvard, Vancouver, ISO, and other styles

41

ALHARTHI, KHALID AYED B. "AN ARABIC SEMANTIC WEB MODEL." Kent State University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=kent1367064711.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Gardy, Patrick. "Semantics of Strategy Logic." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLN022/document.

Full text

Abstract:

De nombreux bugs informatiques ont mis en lumière le besoin de certifier les programmes informatiques et la vérification de programmes a connu un développement important au cours des quarante dernières années. Parmi les méthodes possibles, on trouve le model-checking, développé par Clarke et Emerson dans les années 80. Le model-checking consiste à trouver un modèle abstrait pour le système et un formalisme logique pour le comportement puis à vérifier si le modèle vérifie la propriété exprimée dans la logique. La difficulté consiste alors à développer des algorithmes efficaces pour les différen

APA, Harvard, Vancouver, ISO, and other styles

43

Mitchell, Steven Cole. "Against Metaethical Descriptivism: The Semantic Problem." Diss., The University of Arizona, 2011. http://hdl.handle.net/10150/202935.

Full text

Abstract:

In my dissertation I argue that prominent descriptivist metaethical views face a serious semantic problem. According to standard descriptivism, moral thought and discourse purports to describe some ontology of moral properties and/or relations: e.g., the term `good' purports to refer to some property or cluster of properties. Central to any such theory, then, is the recognition of certain items of ontology which, should they actually exist, would count as the referents of moral terms and concepts. And since one commonly accepted feature of moral thought and discourse is a supervenience constra

APA, Harvard, Vancouver, ISO, and other styles

44

Legastelois, Bénédicte. "Extension pondérée des logiques modales dans le cadre des croyances graduelles." Electronic Thesis or Diss., Paris 6, 2017. http://www.theses.fr/2017PA066516.

Full text

Abstract:

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles

APA, Harvard, Vancouver, ISO, and other styles

45

Sano, Katsuhiko. "Semantical Investigations into Extended Modal Languages." 京都大学 (Kyoto University), 2010. http://hdl.handle.net/2433/97977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Kojima, Kensuke. "Semantical study of intuitionistic modal logics." 京都大学 (Kyoto University), 2012. http://hdl.handle.net/2433/157473.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Grover, Ishaan. "A semantics based computational model for word learning." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/120694.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 73-77).<br>Studies have shown that children's early literacy skills can impact their ability to achieve academic success, attain higher education and secure employment later in life. However, lack of resources and limited access to educational content causes a "knowledge gap" between children that come from different socio-economic backgrounds. To solve this problem, there has b

APA, Harvard, Vancouver, ISO, and other styles

48

Gu, Jian. "Multi-modal Neural Representations for Semantic Code Search." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279101.

Full text

Abstract:

In recent decades, various software systems have gradually become the basis of our society. Programmers search existing code snippets from time to time in their daily life. It would be beneficial and meaningful to have better solutions for the task of semantic code search, which is to find the most semantically relevant code snippets for a given query. Our approach is to introduce tree representations by multi-modal learning. The core idea is to enrich semantic information for code snippets by preparing data of different modalities, and meanwhile ignore syntactic information. We design one nov

APA, Harvard, Vancouver, ISO, and other styles

49

Grellois, Charles. "Semantics of linear logic and higher-order model-checking." Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC024.

Full text

Abstract:

Dans cette thèse, nous envisageons des problèmes de model-checking d'ordre supérieur à l'aide d'approches issues de la sémantique et de la logique. Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur. Ces systèmes sont équivalents au lambda-calcul simplement typé avec récursion, et peuvent donc être étudiés à l'aide d'outils sémantiques. Plus précisément, l'objet de cette thèse est de relier le model-checkin

APA, Harvard, Vancouver, ISO, and other styles

50

Chersoni, Emmanuele. "Explaining complexity in human language processing : a distributional semantic model." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0189/document.

Full text

Abstract:

Le présent travail aborde le thème de la complexité sémantique dans le langage naturel, et il propose une hypothèse basée sur certaines caractéristiques des phrases du langage naturel qui déterminent la difficulté pour l'interpretation humaine.Nous visons à introduire un cadre théorique général de la complexité sémantique de la phrase, dans lequel la difficulté d'élaboration est liée à l'interaction entre deux composants: la Mémoire, qui est responsable du rangement des représentations d'événements extraites par des corpus, et l'Unification, qui est responsable de la combinaison de ces unités

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!