Relevant bibliographies by topics / Modal type theory

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Modal type theory'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

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

Select a source type:

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

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 type theory"

1

Nanevski, Aleksandar, Frank Pfenning, and Brigitte Pientka. "Contextual modal type theory." ACM Transactions on Computational Logic 9, no. 3 (2008): 1–49. http://dx.doi.org/10.1145/1352582.1352591.

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

de Paiva, Valeria, and Eike Ritter. "Fibrational Modal Type Theory." Electronic Notes in Theoretical Computer Science 323 (July 2016): 143–61. http://dx.doi.org/10.1016/j.entcs.2016.06.010.

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

Gratzer, Daniel, Jonathan Sterling, and Lars Birkedal. "Implementing a modal dependent type theory." Proceedings of the ACM on Programming Languages 3, ICFP (2019): 1–29. http://dx.doi.org/10.1145/3341711.

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

Birkedal, Lars, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, and Bas Spitters. "Modal dependent type theory and dependent right adjoints." Mathematical Structures in Computer Science 30, no. 2 (2019): 118–38. http://dx.doi.org/10.1017/s0960129519000197.

Full text
Abstract:
AbstractIn recent years, we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory and spatial and cohesive type theory. In this paper, we study modal dependent type theory: dependent type theory with an operator satisfying (a dependent version of) the K axiom of modal logic. We investigate both semantics and syntax. For the semantics, we introduce categories with families with a dependent right adjoint (CwDRA) and show that the examples above can be presented as such. Indeed, we
APA, Harvard, Vancouver, ISO, and other styles
5

Primiero, Giuseppe, and Mariarosaria Taddeo. "A modal type theory for formalizing trusted communications." Journal of Applied Logic 10, no. 1 (2012): 92–114. http://dx.doi.org/10.1016/j.jal.2011.12.002.

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

Umdiana, Nana, and Shifa Tivana. "Determinan Struktur Modal Dalam Perspektif Pecking Order Theory Dan Agency Theory." Akuntabilitas 13, no. 2 (2020): 191–204. http://dx.doi.org/10.15408/akt.v13i2.17337.

Full text
Abstract:
The capital structure seen from the perspective of pecking order theory explains that companies are more likely to prefer internal funding than external companies. Pecking Order Theory explains why highly profitable companies generally have less debt. This study aims to discuss Liquidity, Asset Structure, Business Risk, Growth Opportunity, Managerial Ownership of Capital Structures on Manufacturing Companies of the basic Consumer Good Industry Sector listed on the Indonesia Stock Exchange period 2016- 2019.This type of research is an associative causal research with the type of time series. Th
APA, Harvard, Vancouver, ISO, and other styles
7

Zyuzin, Nikita, and Aleksandar Nanevski. "Contextual modal types for algebraic effects and handlers." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–29. http://dx.doi.org/10.1145/3473580.

Full text
Abstract:
Programming languages with algebraic effects often track the computations’ effects using type-and-effect systems. In this paper, we propose to view an algebraic effect theory of a computation as a variable context; consequently, we propose to track algebraic effects of a computation with contextual modal types . We develop ECMTT, a novel calculus which tracks algebraic effects by a contextualized variant of the modal □ (necessity) operator, that it inherits from Contextual Modal Type Theory (CMTT). Whereas type-and-effect systems add effect annotations on top of a prior programming language, t
APA, Harvard, Vancouver, ISO, and other styles
8

Gratzer, Daniel. "A Modal Deconstruction of Löb Induction." Proceedings of the ACM on Programming Languages 9, POPL (2025): 864–92. https://doi.org/10.1145/3704866.

Full text
Abstract:
We present a novel analysis of the fundamental Löb induction principle from guarded recursion. Taking advantage of recent work in modal type theory and univalent foundations, we derive Löb induction from a simpler and more conceptual set of primitives. We then capitalize on these insights to present Gatsby, the first guarded type theory capturing the rich modal structure of the topos of trees alongside Löb induction without immediately precluding canonicity or normalization. We show that Gatsby can recover many prior approaches to guarded recursion and use its additional power to improve on pr
APA, Harvard, Vancouver, ISO, and other styles
9

Gabbay, Murdoch J., and Aleksandar Nanevski. "Denotation of contextual modal type theory (CMTT): Syntax and meta-programming." Journal of Applied Logic 11, no. 1 (2013): 1–29. http://dx.doi.org/10.1016/j.jal.2012.07.002.

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

Venema, Yde. "Cylindric modal logic." Journal of Symbolic Logic 60, no. 2 (1995): 591–623. http://dx.doi.org/10.2307/2275853.

Full text
Abstract:
AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes.The main contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Modal type theory"

1

Fritz, Peter. "Intensional type theory for higher-order contingentism." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd.

Full text
Abstract:
Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and con
APA, Harvard, Vancouver, ISO, and other styles
2

Wellen, Felix [Verfasser], and F. [Akademischer Betreuer] Herrlich. "Formalizing Cartan Geometry in Modal Homotopy Type Theory / Felix Wellen ; Betreuer: F. Herrlich." Karlsruhe : KIT-Bibliothek, 2017. http://d-nb.info/1138708615/34.

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

Boulier, Simon Pierre. "Extending type theory with syntactic models." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0110/document.

Full text
Abstract:
Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types de Martin-Löf ou du Calcul des Constructions, et nous nous intéressons à la cohérence de ces systèmes ou encore à l'indépendance d'axiomes par rapport à ces systèmes. Le fil rouge de cette thèse est la construction de modèles syntaxiques, qui sont des modèles qui réutilisent la théorie des types pour interpréter la théorie des types. Dans une première partie, nous introduisons la théorie des types à l'aide d'un système minimal et de plusi
APA, Harvard, Vancouver, ISO, and other styles
4

Bokšteflová, Barbora. "Motion-picture spatial-differentiation model." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-124646.

Full text
Abstract:
The thesis presents a game theoretic model of two directors on a single market. It introduces a variable film type which attains a value from the interval [0,1], where the boundaries expresses the art and the mainstream film, respectively. Each director has opposite preferences over a film type and chooses which type of film to shoot. The director's decision influences the profit function of the other director. The objective of each director is to maximize his profit function. The profit function is the difference of the quadratic audience function and of the cost function. The cost function i
APA, Harvard, Vancouver, ISO, and other styles
5

Jurke, Benjamin. "Nonperturbative Type IIB Model Building in the F-Theory Framework." Diss., lmu, 2011. http://nbn-resolving.de/urn:nbn:de:bvb:19-127722.

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

Ghalamchi, Parastoo. "A tri-modal theory of agency." Thesis, Brunel University, 2016. http://bura.brunel.ac.uk/handle/2438/13550.

Full text
Abstract:
This study aims to determine the relationship between agency and freedom and it has developed a Tri-Modal Theory of Agency that explains an agent’s decisions with a focus on freedom. Here, based on Berlin’s (1958) ideas we have conceptualised positive and negative sides of freedom with a focus on agency. Meanwhile, agency is defined and measured in three following modes: (A) the conative mode is developed based on Sen’s (2007) capability approach, (B) the cognitive mode is conceptualised based on Weber’s (1993) rationality types and Bakhtin’s (1935) dialogism, and (C) the affective mode is dev
APA, Harvard, Vancouver, ISO, and other styles
7

Richardson, Giles William. "Vortex motion in type II superconductors." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320582.

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

Aslanyan, Vahagn. "Ax-Schanuel type inequalities in differentially closed fields." Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d.

Full text
Abstract:
In this thesis we study Ax-Schanuel type inequalities for abstract differential equations. A motivating example is the exponential differential equation. The Ax-Schanuel theorem states positivity of a predimension defined on its solutions. The notion of a predimension was introduced by Hrushovski in his work from the 1990s where he uses an amalgamation-with-predimension technique to refute Zilber's Trichotomy Conjecture. In the differential setting one can carry out a similar construction with the predimension given by Ax-Schanuel. In this way one constructs a limit structure whose theory turn
APA, Harvard, Vancouver, ISO, and other styles
9

Mascarenhas, Helena. "Convolution type operators on cones and asymptotic spectral theory." Doctoral thesis, [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=970638809.

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

Krippendorf, Sven-Ludwig. "D-brane model building and moduli stabilisation in type IIB string theory." Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609632.

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

Books on the topic "Modal type theory"

1

Date, C. J. Foundation for future database systems: The third manifesto : a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type inheritance. 2nd ed. Addison-Wesley Professional, 2000.

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

Privalov, Nikolay. Household economics. Moral Economics. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1978025.

Full text
Abstract:
The textbook on economics of a new type systematically combines the best traditions of "Household", classical political economy, other economic (German historical school, institutionalism) and non-economic disciplines (history, political science, sociology, cybernetics, biology, psychology, mathematics, law, etc.). The main methodological principle of interdisciplinary connections is consistency and focus on achieving balance at the level of an individual household. The main well—known models of household economics, family economics and human economic models are analyzed in the light of their
APA, Harvard, Vancouver, ISO, and other styles
3

Shigurov, Viktor. Theory of transpositional grammar of the Russian language:. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2198970.

Full text
Abstract:
The monograph provides a comprehensive systematic study of the transpositional mechanism of modalation in the Russian language, the principles and patterns of its operation. The causes, prerequisites, signs, stages (stages) and the limit of transposition of linguistic units from verbs in predicative, semi-predicative and substantive forms; adjectives in full/short form and adverbs, including in the function of predicatives; prepositional and prepositional forms of nouns and pronouns into the interparticle semantic and syntactic category of introductory modal words and expressions. Using the me
APA, Harvard, Vancouver, ISO, and other styles
4

Date, C. J. Foundation for object/relational databases: The third manifesto : a detailed study of the impact of objects and type theory on the relational model of data including a comprehensive proposal for type inheritance. Addison-Wesley, 1998.

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

Turner, Raymond. Computable models. Springer, 2009.

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

Popadyuk, Tat'yana, Irina Smirnova, Nataliya Linder, et al. Innovations and modern business models. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1876532.

Full text
Abstract:
The textbook gives a general idea of innovations and modern business models. The concept and role of innovations in the modern world are considered, including the theory of innovations and their classification, the structure and dynamics of the innovation process; the concept of a business model, types of business models, as well as the development of business modeling in the digital economy are highlighted.
 Meets the requirements of the federal state educational standards of higher education of the latest generation.
 For students of higher educational institutions studying in the
APA, Harvard, Vancouver, ISO, and other styles
7

Blaha, Stephen. The origin of the standard model: The genesis of four quark and lepton species, parity violation, the electro weak sector, color SU(3), three visible generations of fermions, and one generation of dark matter with dark energy ; Quantum theory of the third kind : a new type of divergence-free quantum field theory supporting a unified standard model of elementary particles and quantum gravity based on a new method in the calculus of variations. Pingree-Hill Publishing, 2006.

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

Corfield, David. Modal Homotopy Type Theory. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198853404.001.0001.

Full text
Abstract:
In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by introducing there the ‘new logic’ of Frege and Peano: “The old logic put thought in fetters, while the new logic gives it wings.” A century later, this book proposes a comparable revolution with a newly emerging logic, modal homotopy type theory. Russell’s prediction turned out to be accurate. Frege’s first-order logic, along with its extension to modal logic, is to be found throughout anglophone analytic philosophy. This book provides a considerable array of eviden
APA, Harvard, Vancouver, ISO, and other styles
9

Corfield, David. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy. Oxford University Press, 2020.

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

Bybee, Joan L. Usage-based Theory and Exemplar Representations of Constructions. Edited by Thomas Hoffmann and Graeme Trousdale. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780195396683.013.0004.

Full text
Abstract:
This chapter outlines a view of Construction Grammar in which the mental grammar of speakers is shaped by the repeated exposure to specific utterances, and in which domain-general cognitive processes such as categorization and cross-modal association play a crucial role in the entrenchment of constructions. Under this view, all linguistic knowledge is viewed as emergent and constantly changing. The chapter emphasizes that the process of chunking along with categorization leads to the creation of constructions. It also provides semantic/pragmatic and phonetic arguments for exemplar representati
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Modal type theory"

1

Hu, Jason Z. S., and Brigitte Pientka. "Layered Modal Type Theory." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57262-3_3.

Full text
Abstract:
AbstractWe introduce layering to modal type theory to combine type theory with intensional analysis. In particular, we demonstrate this idea by developing a 2-layered modal type theory. At the core of this type theory (layer 0) is a simply typed $$\lambda $$ λ -calculus with no modality. Layer 1 is obtained by extending the core language with one layer of contextual $$\square $$ □ types to support pattern matching on potentially open code from layer 0 while retaining normalization. Although both layers fundamentally share the same language and the same typing judgment, we only allow computatio
APA, Harvard, Vancouver, ISO, and other styles
2

Moon, Benjamin, Harley Eades III, and Dominic Orchard. "Graded Modal Dependent Type Theory." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_17.

Full text
Abstract:
AbstractGraded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many such theories in recent years which equip a type theory with quantitative dataflow tracking, usually via a semiring-like structure which provides analysis on variables (often called ‘quantitative’ or ‘coeffect’ theories). We present Graded Modal Dependent Type Theory (Grtt for short), which equips a dependent type theory with a general, parameterizable analysis of the flow of data, both in and between computati
APA, Harvard, Vancouver, ISO, and other styles
3

Murase, Yuito, Yuichi Nishiwaki, and Atsushi Igarashi. "Contextual Modal Type Theory with Polymorphic Contexts." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.

Full text
Abstract:
AbstractModal types—types that are derived from proof systems of modal logic—have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, which has modal types with fine-grained information on free variables: modal types are explicitly indexed by contexts—the types of all free variables in code values.This paper presents $$\lambda _{\fo
APA, Harvard, Vancouver, ISO, and other styles
4

Borghuis, Tijn. "Interpreting Modal Natural Deduction in Type Theory." In Diamonds and Defaults. Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-015-8242-1_3.

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

Rogozin, Daniel. "Modal Type Theory Based on the Intuitionistic Modal Logic $$\mathbf{IEL}^{-}$$." In Logical Foundations of Computer Science. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-36755-8_15.

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

Pientka, Brigitte, and Ulrich Schöpp. "Semantical Analysis of Contextual Types." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_26.

Full text
Abstract:
AbstractWe describe a category-theoretic semantics for a simply typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-order abstract syntax (HOAS) trees and the strong function space that describes (recursive) computations about them. What makes Cocon different from standard type theories is the presence of first-class contexts and contextual objects to describe syntax trees that are closed with respect to a given context of assumptions. Following M. Hofmann’s work, we use a presheaf model to char
APA, Harvard, Vancouver, ISO, and other styles
7

Hughes, Jack, and Dominic Orchard. "Resourceful Program Synthesis from Graded Linear Types." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68446-4_8.

Full text
Abstract:
AbstractLinear types provide a way to constrain programs by specifying that some values must be used exactly once. Recent work on graded modal types augments and refines this notion, enabling fine-grained, quantitative specification of data use in programs. The information provided by graded modal types appears to be useful for type-directed program synthesis, where these additional constraints can be used to prune the search space of candidate programs. We explore one of the major implementation challenges of a synthesis algorithm in this setting: how does the synthesis algorithm efficiently
APA, Harvard, Vancouver, ISO, and other styles
8

Pucheta, Martín, and Alejandro Gallardo. "Modal Analysis of a 2R Flexible Platform Using Screw Theory." In Proceedings of the XV Ibero-American Congress of Mechanical Engineering. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-38563-6_8.

Full text
Abstract:
AbstractCompliant mechanisms perform precision movements generated by the elastic deformation of their flexible elements. For most applications, resonance frequencies must be bounded by a defined range of values. Therefore, a modal analysis of the mechanisms is required at the initial stage of design. In this work, a novel flexible platform with 2 degrees of rotational freedom restricted by beam-type flexure elements is analyzed. The Screw Theory description of the movement of the mechanism is used for the rigid and the flexible elements. Using this formalism, the stiffness and mass matrices f
APA, Harvard, Vancouver, ISO, and other styles
9

Nora, Pedro, Jurriaan Rot, Lutz Schröder, and Paul Wild. "Relational Connectors and Heterogeneous Simulations." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90897-2_6.

Full text
Abstract:
Abstract While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different types is currently missing. We provide such a treatment in the framework of universal coalgebra, in which the type of a system (nondeterministic, probabilistic, weighted, game-based etc.) is abstracted as a set functor: We introduce relational connectors among set functors, which induce notions of heterogeneous (bi)simulation among coalgebras of the respective type
APA, Harvard, Vancouver, ISO, and other styles
10

Symeonidis, Vassilis, and Nikolaos Lavidas. "Linguistic complexity and theories of language in diachrony." In Simplicité et complexité des langues dans l’histoire des théories linguistiques. Société d’histoire et d’épistémologie des sciences du langage, 2023. https://doi.org/10.4000/132lk.

Full text
Abstract:
Linguistic theories have approached change in linguistic complexity from different perspectives. Some studies have proposed, for instance, that complexity should be measured in absolute, language-internal terms, while other studies have favored a definition of complexity that is based on evidence provided by language-external parameters, such as frequency and processing difficulty. We propose a solution to this puzzle by introducing two distinct types of complexity: structural and dynamic complexity. We test our hypothesis on three semi-modal constructions of present-day English that are curre
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Modal type theory"

1

Goldfine, Neil, and N. Andrew Greig. "Using Electromagnetic Sensors(Magnetometers and Dielectrometers) to Detect Corrosion beneath and Moisture within Paint Coatings on Aircraft." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94353.

Full text
Abstract:
Abstract Current nondestructive inspection (NDI) techniques, such as visual inspection, ultrasonic testing, and eddy current testing, do not adequately detect the early stages of hidden corrosion under paint in critical structures such as airframes. This paper proposes a sensor system that uses meandering winding magnetometers (MWMs) and interdigital electrode dielectrometers (IDEDs) to detect hidden corrosion under paint and to measure the depth of moisture within barrier paint coatings. The MWM uses magnetic fields and inductive coupling to measure profiles of the properties of conducting me
APA, Harvard, Vancouver, ISO, and other styles
2

Cafiso, Marco, and Paolo Paradisi. "Temporal Complexity of a Hopfield-Type Neural Model in Random and Scale-Free Graphs." In 16th International Conference on Neural Computation Theory and Applications. SCITEPRESS - Science and Technology Publications, 2024. http://dx.doi.org/10.5220/0013007600003837.

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

Messer, B., B. Tarleton, M. Beaton, and T. Phillips. "New Theory for Naphthenic Acid Corrosivity of Athabasca Oilsands Crudes." In CORROSION 2004. NACE International, 2004. https://doi.org/10.5006/c2004-04634.

Full text
Abstract:
Abstract Canadian Athabasca oilsand bitumen crudes, characterized as corrosive by the classical naphthenic model, are producing negligible naphthenic acid corrosion in crude and vacuum units after more than 50 years of cumulative operation. A new theory proposes that the corrosivity of naphthenic acids in Athabasca oilsand bitumen crudes is a function of its molecular weight, molecular structure, true boiling point, reactive sulfidic species, and local environment. The concept of α (bad type) and β (good type) naphthenic acids is introduced. The α naphthenic acids are characterized as corrosiv
APA, Harvard, Vancouver, ISO, and other styles
4

Neviere, M. "Electromagnetic theory of X-ray gratings." In Diffractive Optics and Micro-Optics. Optica Publishing Group, 1996. http://dx.doi.org/10.1364/domo.1996.dma.1.

Full text
Abstract:
Diffracting and focusing elements become more and more popular in soft and hard X-ray spectral domain in view of achieving studies of spectroscopy, luminescence, photoemission, microscopy, etc … Concerning diffraction elements, i.e. gratings, two main types have to be distinguished. The first type consists of bare metallic gratings, usually gold or platinum coated, which cover a wide range of wavelength, from 6 A° to 1000 A°, and are classical gratings used under grazing incidence. As "classical gratings" with finite conductivity, their theory was already published [1, 2] at the beginning of t
APA, Harvard, Vancouver, ISO, and other styles
5

Hamidzadeh, Hamid R., and Ehsan Sarfaraz. "Influence of Material Damping on In-Plane Modal Parameters for Rotating Disks." In ASME 2012 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/imece2012-86479.

Full text
Abstract:
The linear in-plane free vibration of a thin, homogeneous, viscoelastic, rotating annular disk is investigated. In the development of an analytical solution, two dimensional elastodynamic theory is employed and the viscoelastic material for the medium is allowed by assuming complex elastic moduli. The general governing equations of motion are derived by implementing plane stress theory. Natural frequencies are computed for several modes at specific radius ratios with fixed-free boundary conditions and modal loss factors for different damping ratios are determined. The computed results were com
APA, Harvard, Vancouver, ISO, and other styles
6

Schedlinski, Carsten, and Michael Link. "Identification of Frequency Response Functions and Modal Data From Base Excitation Tests Using Measured Interface Forces." In ASME 1995 Design Engineering Technical Conferences collocated with the ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/detc1995-0521.

Full text
Abstract:
Abstract Base excitation testing is used in industry in order to qualify mechanical systems with respect to specified base acceleration levels. This type of excitation only allows to identify eigenfrequencies, mode shapes and modal damping values of the fixed/free system. Modal masses, mass participation factors and effective masses of the fixed/free system as well as the modal data of the free/free system cannot be identified because the excitation forces are unknown. This paper introduces an approach to identify these modal data as well. For this purpose the reaction forces at the table/stru
APA, Harvard, Vancouver, ISO, and other styles
7

Gagnol, Vincent, Belhassen C. Bouzgarrou, Pascal Ray, and Christian Barra. "Modelling Approach for a High Speed Machine Tool Spindle-Bearing System." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-84681.

Full text
Abstract:
This paper presents a modelling approach of a high-speed spindle-bearing system based on a finite-element model analysis coupled to an experimental modal identification. Dynamic equations of the rotating entity are obtained using Lagrangian formulation associated with a numerical finite element method based on Timoshenko beam theory. Element kinematics is formulated in a co-rotational coordinate frame. A method for the experimental characterization of the dynamic behavior of a High Speed Machining (HSM) spindle is proposed. The goal of this method is to understand the influence of spindle stru
APA, Harvard, Vancouver, ISO, and other styles
8

Mikota, Gudrun, Rudolf Scheidl, and Rainer Haas. "Sensor Placement in a Hydraulic Drive System." In BATH/ASME 2022 Symposium on Fluid Power and Motion Control. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/fpmc2022-89855.

Full text
Abstract:
Abstract Hydraulic drive systems consist of hydraulic and mechanical components, whose dynamic behavior is coupled by fluid-structure interaction. The validation of hydraulic drive models relies on an appropriate placement of pressure and vibration sensors. Based on a vibroacoustical approximation of the model, this question can be treated by potential and kinetic energy related modal assurance criteria (POTMAC and KINMAC). In this paper, the KINMAC criterion is applied for the sensor placement problem in a hydraulic drive system. The system consists of a valve block, a pipeline with fluid-str
APA, Harvard, Vancouver, ISO, and other styles
9

Happawan, G. S., A. K. Bajaj, and O. D. I. Nwokah. "Modal Analysis and Forced Response of Coupled Mistuned Cyclic Systems: A Singular Perturbation Approach." In ASME 1993 International Gas Turbine and Aeroengine Congress and Exposition. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/93-gt-266.

Full text
Abstract:
The effect of small deterministic parameter perturbations on the forced response of nearly periodic structures with cyclic symmetry has been investigated. The general theory developed herein is applicable to any nth order strongly coupled cyclic system with two arbitrary and independent variations in system parameters that destroy the cyclic symmetry. The specific system studied may be regarded as a simplified model of a strongly coupled bladed-disk assembly. Singular perturbation methods along with modal expansion analysis are applied to gain a physical insight into the effects of perturbatio
APA, Harvard, Vancouver, ISO, and other styles
10

Fontaine, Marie, Velko P. Tzolov, Nicolas Godbout, and Suzanne Lacroix. "Limits of the Perturbative Scalar Calculation of Self-Phase Modulation Effects." In Nonlinear Guided Waves and Their Applications. Optica Publishing Group, 1995. http://dx.doi.org/10.1364/nlgw.1995.nsab7.

Full text
Abstract:
Kerr-type nonlinear optical devices working in a self-phase modulation (SPM) regime, such as tapered nonlinear fibers, appear to be very promising for the design of all-fiber optical switches [1]. Crucially important for devices based on nonlinear tapered fibers is the waist diameter to maximize the magnitude of the nonlinear Kerr effect. To determine the optimal diameter, we computed the nonlinear propagation constant β NL as a function of the guided power P. In the range of diameters of interest for nonlinear applications, the field is guided by the air-cladding interface. Due to the strongl
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modal type theory"

1

Mojidra, Rushil, and Keri Ryan. Influence of Vertical Ground Motion on Bridges Isolated with Spherical Sliding Bearings. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2019. http://dx.doi.org/10.55461/rynq3624.

Full text
Abstract:
The motivation for this project developed from testing of a full scale building isolated with triple friction pendulum bearings on the E-defense shake table in Japan. The test demonstrated experimentally that the vertical component of ground motion can amplify both the base shear and the story acceleration in the isolated building. Vertical shaking introduced high-frequency variation in the axial force of the bearings, and, consequently, a high-frequency component in the bearing lateral force, which excited higher structural modes in the building. Since vertical bridges are flexible in the ver
APA, Harvard, Vancouver, ISO, and other styles
2

Amengual, Dante, Xinyue Bei, Marine Carrasco, and Enrique Sentana. Score-type tests for normal mixtures. CIRANO, 2023. http://dx.doi.org/10.54932/uxsg1990.

Full text
Abstract:
Testing normality against discrete normal mixtures is complex because some parameters turn increasingly underidentified along alternative ways of approaching the null, others are inequality constrained, and several higher-order derivatives become identically 0. These problems make the maximum of the alternative model log-likelihood function numerically unreliable. We propose score-type tests asymptotically equivalent to the likelihood ratio as the largest of two simple intuitive statistics that only require estimation under the null. One novelty of our approach is that we treat symmetrically b
APA, Harvard, Vancouver, ISO, and other styles
3

Parkins. L51623 Environment Sensitive Cracking (Low pH Stress-Corrosion Cracking) of High Pressure Pipelines. Pipeline Research Council International, Inc. (PRCI), 1990. http://dx.doi.org/10.55274/r0010308.

Full text
Abstract:
This is a review of the current situation relating to transgranular environment sensitive cracking of the type experienced on an in-service pipeline, by comparison with the commoner intergranular cracking experienced on many systems. It is probable that the cracking is not unique. Quite apart from the crack paths, there are other significant differences between the conditions in which the two types of cracking occur, particularly in relation to the environments involved, and sufficiently so to indicate that the mechanisms of cracking are different. The circumstances in which the two types of e
APA, Harvard, Vancouver, ISO, and other styles
4

Baader, Franz, Silvio Ghilardi, and Cesare Tinelli. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.130.

Full text
Abstract:
Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics - which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equational theories. In this paper, we present a new approach for combining decision procedures for the word problem in the non-disjoint case that applies to equational theories induced by modal logics, bu
APA, Harvard, Vancouver, ISO, and other styles
5

Elbaum, Michael, and Peter J. Christie. Type IV Secretion System of Agrobacterium tumefaciens: Components and Structures. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7699848.bard.

Full text
Abstract:
Objectives: The overall goal of the project was to build an ultrastructural model of the Agrobacterium tumefaciens type IV secretion system (T4SS) based on electron microscopy, genetics, and immunolocalization of its components. There were four original aims: Aim 1: Define the contributions of contact-dependent and -independent plant signals to formation of novel morphological changes at the A. tumefaciens polar membrane. Aim 2: Genetic basis for morphological changes at the A. tumefaciens polar membrane. Aim 3: Immuno-localization of VirB proteins Aim 4: Structural definition of the substrate
APA, Harvard, Vancouver, ISO, and other styles
6

Pirohov, Vladyslav M., Anna M. Horlo, and Iryna S. Mintii. Software development of the algorithm of adaptating of the website design for people with color-blindness. [б. в.], 2018. http://dx.doi.org/10.31812/123456789/2888.

Full text
Abstract:
The purpose of the study is the program implementation of the basic algorithms of the website design adaptation for people with color perception. This article examines the implementation of the following algorithms: the conversion algorithm from the rgb color model to the lms model (there is a special algorithm precisely in the color model lms for modeling various types of color perception violations), simulation of different color blindness types in the lms-model (this is the transformation of normal values in the color model lms to values with different types of color perception violations),
APA, Harvard, Vancouver, ISO, and other styles
7

Lasko, Kristofer, and Elena Sava. Semi-automated land cover mapping using an ensemble of support vector machines with moderate resolution imagery integrated into a custom decision support tool. Engineer Research and Development Center (U.S.), 2021. http://dx.doi.org/10.21079/11681/42402.

Full text
Abstract:
Land cover type is a fundamental remote sensing-derived variable for terrain analysis and environmental mapping applications. The currently available products are produced only for a single season or a specific year. Some of these products have a coarse resolution and quickly become outdated, as land cover type can undergo significant change over a short time period. In order to enable on-demand generation of timely and accurate land cover type products, we developed a sensor-agnostic framework leveraging pre-trained machine learning models. We also generated land cover models for Sentinel-2 (
APA, Harvard, Vancouver, ISO, and other styles
8

Boudreau, Bernard P. Inclusion of Multiple Functional Types in an Automaton Model of Bioturbation and their Effects on Sediments Properties. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada522314.

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

Boudreau, Bernard P. Inclusion of Multiple Functional Types in an Automaton Model of Bioturbation and Their Effects on Sediments Properties. Defense Technical Information Center, 2007. http://dx.doi.org/10.21236/ada570926.

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

Ukkusuri, Satish, Lu Ling, Tho V. Le, and Wenbo Zhang. Performance of Right-Turn Lane Designs at Intersections. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317277.

Full text
Abstract:
Right-turn lane (RTL) crashes are among the most key contributors to intersection crashes in the US. Different right turn lanes based on their design, traffic volume, and location have varying levels of crash risk. Therefore, engineers and researchers have been looking for alternative ways to improve the safety and operations for right-turn traffic. This study investigates the traffic safety performance of the RTL in Indiana state based on multi-sources, including official crash reports, official database, and field study. To understand the RTL crashes' influencing factors, we introduce a rand
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Modal type theory' 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