Bibliographies thématiques / Modal type theory

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Modal type theory »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Modal type theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Modal type theory"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Modal type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Modal type theory"

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Turner, Raymond. Computable models. Springer, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Modal type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Modal type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Modal type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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),

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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 (

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!