Relevant bibliographies by topics / Modal

Academic literature on the topic 'Modal'

Author: Grafiati
Published: 4 June 2021
Last updated: 22 June 2024

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Modal.'

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.

Journal articles on the topic "Modal"

1

Kakzhanova, Fazira A. "What Modals Are: Modal Verbs, Modal Words, and Auxiliary Modals." European Researcher 61, no. 10-2 (September 15, 2013): 2530–35. http://dx.doi.org/10.13187/er.2013.61.2530.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Basarić, Valentina, and Jadranka Jović. "TARGET MODAL SPLIT MODEL." TRANSPORT 26, no. 4 (January 9, 2012): 418–24. http://dx.doi.org/10.3846/16484142.2011.644044.

Full text
Abstract:
The research presented in this paper is aimed at defining a model that enables the management of the relationship between private vehicles and public transport applying the available instruments of city transport policy such as parking policy and public transport policy measures. Statistical data used for modelling is sourced from the database in a wide range of EU cities. The target model was developed in the form of stepwise regression analysis. Very favourable statistical results were obtained, and the subsequent tests on the city of Novi Sad (250000 inhabitants) led to the conclusion that the obtained results were suitable for implementation in practice. The results of the implemented procedure are of great importance for the enhancement of the existing transport policies in cities, as they enable the development of strategies for finding combinations of instruments that would bring the transport system and urban environment into a desired-viable rather than consequential condition.
APA, Harvard, Vancouver, ISO, and other styles
3

Chacón, José E. "Mixture model modal clustering." Advances in Data Analysis and Classification 13, no. 2 (January 13, 2018): 379–404. http://dx.doi.org/10.1007/s11634-018-0308-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Celani, Sergio. "Quasi-modal algebras." Mathematica Bohemica 126, no. 4 (2001): 721–36. http://dx.doi.org/10.21136/mb.2001.134115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Aenlle, M. L., and R. Brincker. "Modal scaling in operational modal analysis using a finite element model." International Journal of Mechanical Sciences 76 (November 2013): 86–101. http://dx.doi.org/10.1016/j.ijmecsci.2013.09.003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Anderson-Gold, Sharon. "Moral Principles and Modal Categories." Philosophical Topics 13, no. 3 (1985): 7–18. http://dx.doi.org/10.5840/philtopics19851331.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ma, Minghui. "Toward model-theoretic modal logics." Frontiers of Philosophy in China 5, no. 2 (May 21, 2010): 294–311. http://dx.doi.org/10.1007/s11466-010-0017-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Leclercq, Benoît. "From modals to modal constructions." Constructions and Frames 14, no. 2 (December 22, 2022): 226–61. http://dx.doi.org/10.1075/cf.21001.lec.

Full text
Abstract:
Abstract The goal of this paper is to present the results of a corpus analysis aimed at identifying n-grams (i.e., lexical sequences) with the modals can, could and be able to. While details about the functional profile of these verbs are still being discussed (e.g., Leclercq & Depraetere 2022), it is surprising that relatively scarce attention is given to the lexico-grammatical patterns in which they are found and which come with their own semantic and pragmatic features. Using the methodology developed in Cappelle and Depraetere (2016b), a total of 1,640 n-grams were extracted from COCA (Davies 2008-). A number of these patterns are discussed and, in keeping with the approach developed in Construction Grammar (Hilpert 2019), it is shown that an enhanced understanding of these verbs can be achieved when viewed as part of more complex networks of constructions.
APA, Harvard, Vancouver, ISO, and other styles
9

Pachuau, Lalrinkimi, and Vanlalchhawna a. "LOGIT MODEL INTERPRETATION OF TRAVEL MODAL CHOICE/ MODAL SPLIT IN AIZAWL CITY." International Journal of Advanced Research 9, no. 02 (February 28, 2021): 990–99. http://dx.doi.org/10.21474/ijar01/12541.

Full text
Abstract:
The subject matter of this study pertains to the population of Aizawl city, Mizoram. The data is based on the usage of public or private transportation by individuals irrespective of their ownership of private vehicles. The sample includes respondents who are teachers,high-school and college teachers taken separately, of all age groups, different educational backgrounds, as also different income levels who are mobile, belonging to Aizawl city and around.The study examines only the demand side factors influencing travel decisions. The supply side aspects, relating to public transports are taken as given. A study of this kind is beneficial to many parties like the government in its policy implication and also to the private entities as it is directed towards reduced travel expense. Insight of the mechanisms of the travel decision process will benefit governments to formulate policies that better address consumers needs in transport. The study will also enable public transport managers to understand their consumers needs preference and psyche. Furthermore, since no study of this nature has been conducted for the city of Aizawl, the present study will contribute to the birth of a recorded empirical work. It will also lead to further, deeper, more significant research in the area.This study attempts to contribute to the understanding of how local public transport demand is affected by different factors. The focus of this study is to examine the cause of preference of public transportation over private or vice versa by passengers. Considering the increased use of public transportation by individuals and especially by those who also own private vehicles, it is important to understand what causes this preference of one means over the other and the personal benefits involved with it. Careful analysis also shows that the respondents prefer private transportation to public. The logit model shows that of the variables affecting transport mode choice by individual among high school teachers that is most significant is accessibility and flexibility of the private transportation. Also the variables affecting transport mode choice by individual among college teachers that is most significant is time issues secondly, accessibility and flexibility of the private transportation which was also observed in the preceding sections of the chapter The small sample size, with little variability across the quantitative variables could be the reason of the low significance, yet high odd ratios.
APA, Harvard, Vancouver, ISO, and other styles
10

Rubinstein, Aynat, and Paul Portner. "Modal objects or modal quantifiers?" Theoretical Linguistics 46, no. 3-4 (October 1, 2020): 331–37. http://dx.doi.org/10.1515/tl-2020-0019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Modal"

1

Ramshaw, Paul Adrian. "Modal thought and modal knowledge." Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/16965/.

Full text
Abstract:
This thesis is concerned with the epistemology of absolute alethic necessity. The thesis begins with a characterisation of absolute alethic necessity and its distinctive epistemology. The challenge of explaining the reliability of belief in necessity is identified as the primary goal of the thesis and four broad forms of response to that challenge are identified. Of the four strategies, two are dismissed as prima facie inapplicable to the case of necessity. The two remaining options are identified as Modal Anti-Realism and Non-Standard Realism. In chapter 2, it is suggested that the field can be narrowed further, in light of Anna Sherratt's (2010) Transparency Objection to Modal Anti-Realism. From chapter 3 onwards, the thesis aims to close in on a suitable variety of Non-Standard Realism by drawing upon a number of further, foundational, issues concerning modal thought. It is suggested that a type of normativity concerning content stability (or loss of content) offers the prospects of progress on these foundational questions. It is suggested that notions of normativity of this type are found in, both, the work of Christopher Peacocke (1999) and John Divers and Jose Edgar Gonzalez-Varela (2012). It is suggested that by combining elements of these two works we can make progress on the foundational questions. However, in order to develop the account into a response to the Reliability Challenge, the central remaining task is to articulate the nature and epistemology of the notion of content stability. In chapter 7, a specific notion of content stability is identified as 'proper deployment'. It is also suggested that in order to meet the Reliability Challenge, we require a notion of proper deployment that maintains a minimal degree of objectivity. In particular, there must be facts concerning the proper deployment of content. Chapter 7 also indicates the significant sceptical attack that threatens the required factuality of judgements of this type. It is suggested that the objectivity of proper deployment required for a response to the Reliability Challenge can be maintained on a non-reductive account of proper deployment. It is highlighted, however, that the non-reductive account still faces the task of explaining the epistemology of proper deployment. It is at this point, I suggest, that anti-realism has significant explanatory work to do in the epistemology of modality, but that such work directly concerns the nature and objectivity of content, not modality, itself. In chapters 8 and 9, a constitutive account of proper deployment is proposed and integrated with the responses to the foundational questions concerning modal thought and knowledge.
APA, Harvard, Vancouver, ISO, and other styles
2

Papacchini, Fabio. "Minimal model reasoning for modal logic." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.

Full text
Abstract:
Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with universal modalities. All the procedures are minimal model sound and complete, in the sense that they generate all and only minimal models. The starting point of the investigation is the definition of a Herbrand semantics for modal logics on which a syntactic minimality criterion is devised. The syntactic nature of the minimality criterion allows for an efficient minimal model generation procedure, but, on the other hand, the resulting minimal models can be redundant or semantically non minimal with respect to each other. To overcome the syntactic limitations of the first minimality criterion, the thesis moves from minimal modal Herbrand models to semantic minimality criteria based on subset-simulation. At first, theoretical procedures for the generation of models minimal modulo subset-simulation are presented. These procedures for the generation of models minimal modulo subset-simulation are minimal model sound and complete, but they might not terminate. The minimality criterion and the procedures are then refined in such a way that termination can be ensured while preserving minimal model soundness and completeness.
APA, Harvard, Vancouver, ISO, and other styles
3

Kramdi, Seifeddine. "A modal approach to model computational trust." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30146/document.

Full text
Abstract:
Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles logiques pour le développement de module de confiance. Nous adoptons comme contexte applicatif majeur, les applications basées sur les architectures orientées services, qui sont utilisées pour modéliser des systèmes ouverts telle que les applications web. Nous utiliserons pour cela une abstraction qui modélisera ce genre de systèmes comme des systèmes multi-agents. Notre travail est divisé en trois parties, la première propose une étude de la discipline, nous y présentons les pratiques utilisées par les chercheurs et les praticiens de la confiance pour modéliser et utiliser ce concept dans différents systèmes, cette analyse nous permet de définir un certain nombre de points critiques, que la discipline doit aborder pour se développer. La deuxième partie de notre travail présente notre premier modèle de confiance. Cette première solution basée sur un formalisme logique (logique dynamique épistémique), démarre d'une interprétation de la confiance comme une croyance sociocognitive, ce modèle présentera une première modélisation de la confiance. Apres avoir prouvé la décidabilité de notre formalisme. Nous proposons une méthodologie pour inférer la confiance en des actions complexes : à partir de notre confiance dans des actions atomiques, nous illustrons ensuite comment notre solution peut être mise en pratique dans un cas d'utilisation basée sur la combinaison de service dans les architectures orientées services. La dernière partie de notre travail consiste en un modèle de confiance, où cette notion sera perçue comme une spécialisation du raisonnement causal tel qu'implémenté dans le formalisme des règles de production. Après avoir adapté ce formalisme au cas épistémique, nous décrivons trois modèles basés sur l'idée d'associer la confiance au raisonnement non monotone. Ces trois modèles permettent respectivement d'étudier comment la confiance est générée, comment elle-même génère les croyances d'un agent et finalement, sa relation avec son contexte d'utilisation
The concept of trust is a socio-cognitive concept that plays an important role in representing interactions within concurrent systems. When the complexity of a computational system and its unpredictability makes standard security solutions (commonly called hard security solutions) inapplicable, computational trust is one of the most useful concepts to design protocols of interaction. In this work, our main objective is to present a prospective survey of the field of study of computational trust. We will also present two trust models, based on logical formalisms, and show how they can be studied and used. While trying to stay general in our study, we use service-oriented architecture paradigm as a context of study when examples are needed. Our work is subdivided into three chapters. The first chapter presents a general view of the computational trust studies. Our approach is to present trust studies in three main steps. Introducing trust theories as first attempts to grasp notions linked to the concept of trust, fields of application, that explicit the uses that are traditionally associated to computational trust, and finally trust models, as an instantiation of a trust theory, w.r.t. some formal framework. Our survey ends with a set of issues that we deem important to deal with in priority in order to help the advancement of the field. The next two chapters present two models of trust. Our first model is an instantiation of Castelfranchi & Falcone's socio-cognitive trust theory. Our model is implemented using a Dynamic Epistemic Logic that we propose. The main originality of our solution is the fact that our trust definition extends the original model to complex action (programs, composed services, etc.) and the use of authored assignment as a special kind of atomic actions. The use of our model is then illustrated in a case study related to service-oriented architecture. Our second model extends our socio-cognitive definition to an abductive framework that allows us to associate trust to explanations. Our framework is an adaptation of Bochman's production relations to the epistemic case. Since Bochman approach was initially proposed to study causality, our definition of trust in this second model presents trust as a special case of causal reasoning, applied to a social context. We end our manuscript with a conclusion that presents how we would like to extend our work
APA, Harvard, Vancouver, ISO, and other styles
4

Zanichelli, Riccardo <1993&gt. "Aristotle’s modal syllogistic and first-order modal logic." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amsdottorato.unibo.it/10396/1/rzamsafml.pdf.

Full text
Abstract:
In Prior Analytics 1.1–22, Aristotle develops his proof system of non-modal and modal propositions. This system is given in the language of propositions, and Aristotle is concerned with establishing some properties and relations that the expressions of this language enjoy. However, modern scholarship has found some of his results inconsistent with positions defended elsewhere. The set of rules of inference of this system has also caused perplexity: there does not seem to be a single interpretation that validates all the rules which Aristotle is explicitly committed to using in his proofs. Some commentators have argued that these and other problems cannot be successfully addressed from the viewpoint of the traditional, ‘first-order’ interpretation of Aristotle’s syllogistic, whereby propositions are taken to involve quantification over individuals only. Accordingly, this interpretation not only is inadequate for formal analysis, but also stems from a misunderstanding of Aristotle’s ideas about quantification. On the contrary, in this study I purport to vindicate the adequacy and plausibility of the first-order interpretation. Together with some assumptions about the language of propositions and an appropriate regimentation, the first-order interpretation yields promising solutions to many of the problems raised by the modal syllogistic. Thus, I present a reconstruction of the language of propositions and a formal interpretation thereof which will prove respectful and responsive to most of the views endorsed by Aristotle in the ‘modal’ chapters of the Analytics.
APA, Harvard, Vancouver, ISO, and other styles
5

Alechina, Natalia Albertovna. "Modal quantifiers." Amsterdam : Amsterdam : Institute for Logic, Language and Computation ; Universiteit van Amsterdam [Host], 1995. http://dare.uva.nl/document/33079.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Vahiddastjerdi, Hamid. "Modal reality." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315956.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ruyant, Quentin. "L'empirisme modal." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S117/document.

Full text
Abstract:
L'objet de cette thèse est de proposer une position originale dans le débat sur le réalisme scientifique, l'empirisme modal, et d'en démontrer la fructuosité quand il s'agit de tirer des enseignements du contenu cognitif des théories scientifiques. L'empirisme modal est une position empiriste, suivant laquelle le but de la science n'est pas de produire des théories vraies, mais des théories empiriquement adéquate. Cependant, il propose d'adopter un cadre plus large que les versions traditionnelles d'empirisme pour penser l'expérience, en incorporant un engagement envers les modalités naturelles, ou l'idée qu'il y a du possible dans la nature, et des contraintes sur les possibles. Nos théories sont empiriquement adéquates si elles délimitent correctement l'étendue des expériences possibles. Cette position s'appuie sur une conception située et pragmatique des modalités naturelles et de la confrontation empirique. Nous prétendons qu'elle est à même de rendre justice au succès empirique des sciences, sans pour autant faire face au problème du changement théorique qui mine le réalisme scientifique. Nous expliquons comment les contraintes de nécessité sur les phénomènes peuvent être connues à l'issue d'une induction, et en quoi cette façon de voir s'accorde avec la pratique scientifique. Enfin, nous affirmons qu'un engagement envers les modalités naturelles offre une richesse interprétative à même de renouveler, dans un cadre pragmatiste, plus ouvert que le réalisme, certaines questions métaphysiques tout en les ramenant à l'expérience
The aim of this thesis dissertation is to propose a novel position in the debate on scientific realism, modal empiricism, and to show its fruitfulness when it comes to interpreting the cognitive content of scientific theories. Modal empiricism is an empiricist position, according to which the aim of science is to produce empirically adequate theories rather than true theories. However, it suggests adopting a broader comprehension of experience than traditional versions of empiricism, through a commitment to natural modalities. Following modal empiricism, there are possibilities in nature, and constraints on what is possible, and a theory is empirically adequate if it correctly delimits the range of possible experiences. The position rests on a situated and pragmatic conception of natural modalities and of empirical confrontation. We claim that it can do justice to the empirical success of science, while not falling prey to the problem of theory change that undermines scientific realism. We explain how constraints of necessity on phenomena can be known by induction, and how this modal epistemology fits with scientific practice. Finally, we claim that a commitment to natural modalities allows for a rich interpretation of the cognitive content of theories. Modal empiricism could renew some metaphysical debates within a pragmatist framework, by tying them to experience and not being constrained by realist prejudices
APA, Harvard, Vancouver, ISO, and other styles
8

Feng, Chunxia. "Transit Bus Load-Based Modal Emission Rate Model Development." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/14583.

Full text
Abstract:
Heavy-duty diesel vehicle (HDDV) operations are a major source of pollutant emissions in major metropolitan areas. Accurate estimation of heavy-duty diesel vehicle emissions is essential in air quality planning efforts because highway and non-road heavy-duty diesel emissions account for a significant fraction of the oxides of nitrogen (NOx) and particulate matter (PM) emissions inventories. Yet, major modeling deficiencies in the current MOBILE6 modeling approach for heavy-duty diesel vehicles have been widely recognized for more than ten years. While the most recent MOBILE6.2 model integrates marginal improvements to various internal conversion and correction factors, fundamental flaws inherent in the modeling approach still remain. The major effort of this research is to develop a new heavy-duty vehicle load-based modal emission rate model that overcomes some of the limitations of existing models and emission rates prediction methods. This model is part of the proposed Heavy-Duty Diesel Vehicle Modal Emission Modeling (HDDV-MEM) which was developed by Georgia Institute of Technology. HDDV-MEM first predicts second-by-second engine power demand as a function of vehicle operating conditions and then applies brake-specific emission rates to these activity predictions. To provide better estimates of microscopic level, this modeling approach is designed to predict second-by-second emissions from onroad vehicle operations. This research statistically analyzes the database provided by EPA and yields a model for prediction emissions at microscopic level based on engine power demand and driving mode. Research results will enhance the explaining ability of engine power demand on emissions and the importance of simulating engine power in real world applications. The modeling approach provides a significant improvement in HDDV emissions modeling compared to the current average speed cycle-based emissions models.
APA, Harvard, Vancouver, ISO, and other styles
9

Perinpanayagam, Sureshkumar. "Modal test strategy for model validation of engineering structures." Thesis, Imperial College London, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.412914.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Potgieter, Brendon Ryan. "Experimental modal analysis and model validation of antenna structures." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5423.

Full text
Abstract:
Thesis (MScEng (Mechanical and Mechatronic Engineering))--University of Stellenbosch, 2010.
ENGLISH ABSTRACT: Numerical design optimisation is a powerful tool that can be used by engi- neers during any stage of the design process. Structural design optimisation is a specialised usage of numerical design optimisation that has been adapted to cater speci cally for structural design problems. A speci c application of structural design optimisation that will be discussed in the following report is experimental data matching. Data obtained from tests on a physical structure will be matched with data from a numerical model of that same structure. The data of interest will be the dynamic characteristics of an antenna structure, focusing on the mode shapes and modal frequencies. The structure used was a scaled, simpli ed model of the Karoo Array Telescope-7 (KAT-7) antenna structure. Experimental data matching is traditionally a di cult and time-consuming task. This report illustrates how optimisation can assist an engineer in the process of correlating a nite element model with vibration test data.
AFRIKAANSE OPSOMMING: Numeriese ontwerp-optimisering is 'n kragtige ingenieurshulpmiddel wat ty- dens enige stadium in die ontwerpsproses ingespan kan word. Strukturele ontwerp-optimisering is 'n gespesialiseerde gebruik van numeriese ontwerp- optimisering wat aangepas is om spesi ek van diens te wees by die oplos van strukturele ontwerpsprobleme. 'n Spesi eke toepassing van strukturele ontwerp-optimisering wat in hierdie verslag bespreek sal word, is eksperi- mentele datakorrelasie. Data afkomstig van toetse op 'n siese struktuur sal gekorreleer word met data afkomstig van 'n numeriese model van die selfde struktuur. Die data van belang is die dinamiese eienskappe van 'n anten- nastruktuur, spesi ek die modusvorme en modale frekwensies. Die betrokke struktuur wat gebruik is, is 'n vereenvoudigde skaalmodel van die Karoo Array Telescope-7 (KAT-7) antennastruktuur. Eksperimentele datakorrelasie is, tradisioneel gesproke, 'n moeilike en tydro- wende taak. Hierdie verslag sal illustreer op watter wyse optimisering 'n inge- nieur van hulp kan wees in die proses om 'n eindige elementmodel met vibrasietoetsdata te korreleer.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Modal"

1

Lubis, Ade Fatma. Pasar modal: Sebuah pendekatan pasar modal terintegrasi. [Jakarta]: Lembaga Penerbit, Fakultas Ekonomi UI, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lubis, Ade Fatma. Pasar modal: Sebuah pendekatan pasar modal terintegrasi. [Jakarta]: Lembaga Penerbit, Fakultas Ekonomi UI, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ruyant, Quentin. Modal Empiricism. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72349-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hall, Diane. Modal verbs. Irún: Stanley, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Estética modal. Madrid: Tecnos, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Modal rhythm. Ottawa, Canada: Institute of Mediaeval Music, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chagrov, Alexander. Modal logic. Oxford: Clarendon Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

PT, Justika Siar Publika, and Indonesia, eds. Pasar modal. Jakarta: Dian Rakyat, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Indonesia. Peraturan pajak, pasar modal: Model : dokumen hukum. [Jakarta]: ELIPS, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Teddington: Acumen, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Modal"

1

Smoryński, C. "Modal Model Theory." In Self-Reference and Modal Logic, 87–132. New York, NY: Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4613-8601-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gooch, Jan W. "Modal." In Encyclopedic Dictionary of Polymers, 467. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_7577.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Xu, Yiming, and Michael Norrish. "Mechanised Modal Model Theory." In Automated Reasoning, 518–33. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sainz, Miguel A., Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, and Josep Vehi. "Modal Intervals." In Modal Interval Analysis, 17–37. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-01721-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Leon, Felipe. "From Modal Skepticism to Modal Empiricism." In Modal Epistemology After Rationalism, 247–61. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44309-6_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Knuuttila, Simo. "Modal Theories and Modal Logic." In Encyclopedia of Medieval Philosophy, 1–10. Dordrecht: Springer Netherlands, 2017. http://dx.doi.org/10.1007/978-94-024-1151-5_340-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Arabatzis, George, Maarten J. F. M. Hoenen, Vasileios Syros, Harro Höpfl, Lidia Lanza, Antonella Straface, Mikko Yrjönsuuri, et al. "Modal Theories and Modal Logic." In Encyclopedia of Medieval Philosophy, 799–806. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-1-4020-9729-4_340.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Knuuttila, Simo. "Modal Theories and Modal Logic." In Encyclopedia of Medieval Philosophy, 1221–30. Dordrecht: Springer Netherlands, 2020. http://dx.doi.org/10.1007/978-94-024-1665-7_340.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Locke, Theodore, and Amie Thomasson. "Modal Knowledge and Modal Methodology." In Epistemology of Modality and Philosophical Methodology, 284–301. New York: Routledge, 2023. http://dx.doi.org/10.4324/9781003002192-16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sainz, Miguel A., Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, and Josep Vehi. "Modal Interval Extensions." In Modal Interval Analysis, 39–72. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-01721-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Modal"

1

Dworakowski, Z., and K. Mendrok. "Modal Filtration without calculation of the modal model." In Latin American Workshop on Structural Health Monitoring. CIMNE, 2024. http://dx.doi.org/10.23967/latam.2024.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dworakowski, Z., and K. Mendrok. "Modal Filtration without calculation of the modal model." In Latin American Workshop on Structural Health Monitoring. CIMNE, 2023. http://dx.doi.org/10.23967/latam.2023.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Schoenherr, Tyler, and Jelena Paripovic. "Using Modal Projection Error to Evaluate SEREP Modal Expansion." In Proposed for presentation at the International Modal Analysis Conference. US DOE, 2020. http://dx.doi.org/10.2172/1836892.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Xie, Liang, Peng Pan, and Yansheng Lu. "A semantic model for cross-modal and multi-modal retrieval." In the 3rd ACM conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2461466.2461497.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Peisong, Manqiang Che, and Jiangchuan Luo. "Lightweight multi-modal emotion recognition model based on modal generation." In 2022 9th International Forum on Electrical Engineering and Automation (IFEEA). IEEE, 2022. http://dx.doi.org/10.1109/ifeea57288.2022.10037845.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dix, Alan, Tom Rodden, and Ian Sommerville. "A Modal Model of Versions." In Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/fac1996.3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Louca, Loucas S., and Evagoras Xydas. "Model Reduction of Modal Representations." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-14097.

Full text
Abstract:
Dynamic analysis is extensively used to study the behavior of continuous and lumped parameter linear systems. In addition to the physical space, analyses can also be performed in the modal space where useful frequency information of the system can be extracted. More specifically, modal analysis can be used for the analysis and controller design of dynamic systems, where reduction of model complexity without degrading the accuracy is often required for the efficient use of the model. The reduction of modal models has been extensively studied and many reduction techniques are available. The majority of these techniques use frequency as the metric to determine the reduced model. This paper describes a new method for calculating the modal power of lumped parameter systems with the use of the bond graph representation, which is developed through a power conserving modal decomposition. This method is then used to reduce the size of the model. This technique is based on the previously developed Model Order Reduction Algorithm (MORA), which uses an energy-based metric to generate a series of proper reduced models. An example is provided to demonstrate the calculation of the modal power and the elimination of unimportant modes or modal elements using MORA.
APA, Harvard, Vancouver, ISO, and other styles
8

Tsai, C. D., M. S. Ju, and Y. G. Tsuei. "Modal Control by Modal Force Technique." In ASME 1991 Design Technical Conferences. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/detc1991-0363.

Full text
Abstract:
Abstract Modal control of structure requires the estimation of the modal states variables for feedback. One approach that does not require modal states variables estimation is the direct feedback control. Recent developments in modal control for direct feedback are mainly time domain methods. In this paper, an efficient method based on frequency domain approach named Modal Force Technique is developed. The method not only allows one to modify the global dynamic behavior of the synthesized structure but also can be utilized for modal control problem if the acceleration, velocity and displacement feedbacks are used.
APA, Harvard, Vancouver, ISO, and other styles
9

CHEN, H., ERIC YEE, and Y. TSUEI. "MODAL SYNTHESIS METHOD BY ARMA MODEL." In 34th Structures, Structural Dynamics and Materials Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1993. http://dx.doi.org/10.2514/6.1993-1669.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Liang, Bin, Chenwei Lou, Xiang Li, Lin Gui, Min Yang, and Ruifeng Xu. "Multi-Modal Sarcasm Detection with Interactive In-Modal and Cross-Modal Graphs." In MM '21: ACM Multimedia Conference. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3474085.3475190.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modal"

1

Mallon, Lawrence G. Multi-Modal Terminal Model Documentation. Fort Belvoir, VA: Defense Technical Information Center, January 2006. http://dx.doi.org/10.21236/ada460376.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Canfield, Jesse M. Modal model: a material interface stability model. Office of Scientific and Technical Information (OSTI), October 2016. http://dx.doi.org/10.2172/1330636.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Byler, Eleanor, Elise Bishoff, Charles Godfrey, and Myles McKay. Gumby: Quantifying multi-modal model resiliency. Office of Scientific and Technical Information (OSTI), September 2023. http://dx.doi.org/10.2172/2331295.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lubis, Iman. PENDEKATAN MODEL MARKOV SWITCHING PADA PASAR MODAL INDONESIA. Jurnal Madani: Ilmu Pengetahuan, Teknologi, dan Humaniora, September 2018. http://dx.doi.org/10.33753/madani.v1i2.22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Abadi, Martin, and Zohar Manna. Modal Theorem Proving,. Fort Belvoir, VA: Defense Technical Information Center, May 1986. http://dx.doi.org/10.21236/ada325959.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Moya, Adam Chris. Ganged Heliostat Modal Memo. Office of Scientific and Technical Information (OSTI), June 2016. http://dx.doi.org/10.2172/1561504.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Rawlings, Blake. Applying Incremental, Inductive Model Checking to the Modal Mu Calculus. Office of Scientific and Technical Information (OSTI), October 2021. http://dx.doi.org/10.2172/1824935.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lutz, Carsten, and Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.

Full text
Abstract:
Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.
APA, Harvard, Vancouver, ISO, and other styles
9

Poyneer, L. Fast modal wave-front reconstruction. Office of Scientific and Technical Information (OSTI), June 2004. http://dx.doi.org/10.2172/15014303.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Davoren, Jennifer M. Modal Logics for Continuous Dynamics. Fort Belvoir, VA: Defense Technical Information Center, November 1997. http://dx.doi.org/10.21236/ada344316.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Modal' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography