Littérature scientifique sur le sujet « Modal fibration »

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 fibration ».

À 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 fibration"

1

ANDREAS, BJÖRN, GOTTFRIED CURIO, and ALBRECHT KLEMM. "TOWARDS THE STANDARD MODEL SPECTRUM FROM ELLIPTIC CALABI–YAU MANIFOLDS." International Journal of Modern Physics A 19, no. 12 (2004): 1987–2014. http://dx.doi.org/10.1142/s0217751x04018087.

Texte intégral
Résumé :
We show that it is possible to construct supersymmetric three-generation models with the Standard Model gauge group in the framework of non-simply-connected elliptically fibered Calabi–Yau threefolds, without section but with a bi-section. The fibrations on a cover Calabi–Yau threefold, where the model has six generations of SU(5) and the bundle is given via the spectral cover description, use a different description of the elliptic fiber which leads to more than one global section. We present two examples of a possible cover Calabi–Yau threefold with a free involution: one is a fiber product
Styles APA, Harvard, Vancouver, ISO, etc.
2

BERGLUND, P., J. ELLIS, A. E. FARAGGI, D. V. NANOPOULOS, and Z. QIU. "ON ELEVATING FREE-FERMION Z2×Z2 ORBIFOLDS MODELS TO COMPACTIFICATIONS OF F THEORY." International Journal of Modern Physics A 15, no. 09 (2000): 1345–62. http://dx.doi.org/10.1142/s0217751x00000598.

Texte intégral
Résumé :
We study the elliptic fibrations of some Calabi–Yau threefolds, including the Z2×Z2 orbifold with (h1,1,h2,1)=(27, 3), which is equivalent to the common framework of realistic free-fermion models, as well as related orbifold models with (h1,1,h2,1)=(51, 3) and (31, 7). However, two related puzzles arise when one considers the (h1,1,h2,1)=(27, 3) model as an F theory compactification to six dimensions. The condition for the vanishing of the gravitational anomaly is not satisfied, suggesting that the F theory compactification does not make sense, and the elliptic fibration is well defined everyw
Styles APA, Harvard, Vancouver, ISO, etc.
3

DUBOULOZ, ADRIEN, and TAKASHI KISHIMOTO. "FAMILIES OF AFFINE RULED SURFACES: EXISTENCE OF CYLINDERS." Nagoya Mathematical Journal 223, no. 1 (2016): 1–20. http://dx.doi.org/10.1017/nmj.2016.22.

Texte intégral
Résumé :
We show that the generic fiber of a family $f:X\rightarrow S$ of smooth $\mathbb{A}^{1}$-ruled affine surfaces always carries an $\mathbb{A}^{1}$-fibration, possibly after a finite extension of the base $S$. In the particular case where the general fibers of the family are irrational surfaces, we establish that up to shrinking $S$, such a family actually factors through an $\mathbb{A}^{1}$-fibration $\unicode[STIX]{x1D70C}:X\rightarrow Y$ over a certain $S$-scheme $Y\rightarrow S$ induced by the MRC-fibration of a relative smooth projective model of $X$ over $S$. For affine threefolds $X$ equi
Styles APA, Harvard, Vancouver, ISO, etc.
4

Berikashvili, N., and M. Mikiashvili. "The Predifferential of a Path Fibration." gmj 11, no. 3 (2004): 415–24. http://dx.doi.org/10.1515/gmj.2004.415.

Texte intégral
Résumé :
Abstract For a simply connected space 𝐵 the Hirsch model of path fibration is constructed in terms of 𝐵. In particular this means the calculation of loop space cohomology. As an application, the Hirsch model of the fiber of any fibration over 𝐵 is given.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Berikashvili, N. "An Algebraic Model of Fibration with the Fiber K(π, n)-Space". gmj 3, № 1 (1996): 27–48. http://dx.doi.org/10.1515/gmj.1996.27.

Texte intégral
Résumé :
Abstract For a fibration with the fiber K(π, n)-space, the algebraic model as a twisted tensor product of chains of the base with standard chains of K(π, n)-complex is given which preserves multiplicative structure as well. In terms of this model the action of the n-cohomology of the base with coefficients in π on the homology of fibration is described.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Thompson, Alan. "Explicit Models for Threefolds Fibred by K3 Surfaces of Degree Two." Canadian Journal of Mathematics 65, no. 4 (2013): 905–26. http://dx.doi.org/10.4153/cjm-2012-037-2.

Texte intégral
Résumé :
AbstractWe consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarization of degree two on the general fibre. Under certain assumptions on the threefold we show that its relative log canonical model exists and can be explicitly reconstructed from a small set of data determined by the original fibration. Finally, we prove a converse to this statement: under certain assumptions, any such set of data determines a threefold that arises as the relative log canonical model of a threefold admitting a fibration by K3 sur
Styles APA, Harvard, Vancouver, ISO, etc.
7

Kadeishvili, Tornike, and Samson Saneblidze. "A cubical model for a fibration." Journal of Pure and Applied Algebra 196, no. 2-3 (2005): 203–28. http://dx.doi.org/10.1016/j.jpaa.2004.08.017.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Banach, Richard, Farhad Arbab, George Papadopoulos, and John R. W. Glauert. "A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model." JUCS - Journal of Universal Computer Science 9, no. (1) (2003): 2–33. https://doi.org/10.3217/jucs-009-01-0002.

Texte intégral
Résumé :
The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols into standalone entities, permitting separate development, verification, maintenance, and reuse. The IWIM coordination model is described, and a formal automata theoretic version of the model is developed, capturing the essentials of the framework in a fibration based approach. Specifically, families of worker automata have their communication governed by a state of a manag
Styles APA, Harvard, Vancouver, ISO, etc.
9

Myers, David Jaz. "Good Fibrations through the Modal Prism." Higher Structures 6, no. 1 (2022): 212–55. http://dx.doi.org/10.21136/hs.2022.04.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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.
Plus de sources

Thèses sur le sujet "Modal fibration"

1

Balzin, Eduard. "Les fibrations de Grothendieck et l’algèbre homotopique." Thesis, Nice, 2016. http://www.theses.fr/2016NICE4032/document.

Texte intégral
Résumé :
Cette thèse est consacrée à l'étude des familles de catégories munies d'une structure homotopique. Les résultats principaux compris dans cette oeuvre sont : i. Une généralisation de la structure de modèles de Reedy, qui dans ce travail est construite pour les sections d'une famille convenable des catégories de modèles sur une catégorie de Reedy. À la différence des considérations précédentes, par exemple celles de Hirschowitz-Simpson, nous exigeons aussi peu de propriétés de la famille que possible, pour que notre résultat puisse être appliqué dans les situations où les foncteurs de transition
Styles APA, Harvard, Vancouver, ISO, etc.
2

Crespo, Cutillas Francisco. "Reducción de tipo Hopf de un modelo cuártico : aplicaciones en dinámica rotacional y orbital= Hopf fibration reduction of a quartic model: applications to rotational and orbital dynamics." Doctoral thesis, Universidad de Murcia, 2015. http://hdl.handle.net/10803/286508.

Texte intégral
Résumé :
Esta tesis aborda los sistemas más conocidos de la mecánica clásica de forma unificada. Nuestro objetivo principal es desarrollar un marco de trabajo común para el estudio de perturbaciones, dicha tarea se realiza desde un punto de vista geométrico. Hemos estructurado esta memoria en tres partes: Parte I. Preliminares en Mecánica Clásica y Geometría: En esta primera parte recogemos herramientas que serán usadas a lo largo de nuestro estudio. En el primer capítulo fijamos la notación y se presentan algunos resultados básicos. En el segundo estudiamos el Sistema Extendido de Euler, como un probl
Styles APA, Harvard, Vancouver, ISO, etc.
3

Wang, Juanyong. "Positivity of direct images and projective varieties with nonnegative curvature." Thesis, Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAX048.

Texte intégral
Résumé :
La classification birationnelle des variétés algébrique est un problématique central en géométrie algébrique. Récemment grand progrès a été fait vers l'établissement du MMP et l'abondance, et par ces travaux, les variété projectives lisse (ou légèrement singulières) sont birationnellement divisées en deux catégories: 1. les variétés à diviseur canonique pseudo-effectif, qui sont montré d'aboutir à un modèle minimal par le MMP; 2. les variétés uniréglées, qui sont recouvertes par des courbes rationnelles. Dans cette thèse, des étude raffinées de ces deux catégories de variétés est sont effectué
Styles APA, Harvard, Vancouver, ISO, etc.
4

Cagne, Pierre. "Towards a homotopical algebra of dependent types." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC063/document.

Texte intégral
Résumé :
Cette thèse est consacrée à l'étude des interactions entre les structures homotopiques en théorie des catégories et les modèles catégoriques de la théorie des types de Martin-Löf. Le mémoire s'articule selon trois axes: les bifibrationos de Quillen, les catégories homotopiques des bifibrations de Quillen, et les tribus généralisées. Le premier axe définit une nouvelle notion de bifibration classifiant les pseudo foncteurs avec de bonnes propriétés depuis un catégorie de modèles et à valeurs dans la 2-catégorie des catégories de modèles et adjonctions de Quillen entre elles. En particulier on m
Styles APA, Harvard, Vancouver, ISO, etc.
5

De, Notariis Kevin. "Light hyperweak new gauge bosons from kinetic mixing in string models." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19491/.

Texte intégral
Résumé :
String theory is at the moment our best candidate for a unified quantum theory of gravity, aiming to reconcile all the known (and unknown) interactions with gravity as well as provide insights for currently mysterious phenomena that the Standard Model and the modern Cosmology are not able to explain. In fact, it is believed that most of the problems associated to the Standard Model can indeed be resolved in string theory. Supersymmetry is supposed to be an elegant solution to the Hierarchy problem (even though more and more stringent bounds in this direction are being placed by the fact that w
Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Modal fibration"

1

Surveys on Recent Developments in Algebraic Geometry. American Mathematical Society, 2017.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Modal fibration"

1

Heuts, Gijs, and Ieke Moerdijk. "Three Model Structures on the Category of Dendroidal Sets." In Simplicial and Dendroidal Homotopy Theory. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10447-3_9.

Texte intégral
Résumé :
AbstractIn this chapter we will construct several model structures on the category of dendroidal sets. For the different model structures, the fibrant objects and fibrations will be the different types of dendroidal Kan complexes and dendroidal fibrations introduced in Chapter 6. For example, we will construct the operadic model structure, for which the fibrant objects will be the ∞-operads and the fibrations between fibrant objects will be the J-fibrations, so that this model structures describes the homotopy theory of ∞-operads.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Heuts, Gijs, and Ieke Moerdijk. "Model Structures on the Category of Simplicial Sets." In Simplicial and Dendroidal Homotopy Theory. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10447-3_8.

Texte intégral
Résumé :
AbstractIn this chapter we will apply the formalism of Quillen model categories discussed in the previous chapter to the category of simplicial sets. In his first exposition of the theory of model categories, Quillen already showed that the category of simplicial sets carries a model structure for which the fibrant objects are the Kan complexes and the fibrations are the Kan fibrations (see Chapter 5 for a discussion of these notions).
Styles APA, Harvard, Vancouver, ISO, etc.
3

Heuts, Gijs, and Ieke Moerdijk. "Model Categories." In Simplicial and Dendroidal Homotopy Theory. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10447-3_7.

Texte intégral
Résumé :
AbstractIn [123] Quillen proposed an axiomatic framework for homotopy theory through the notion of a model structure on a category. Such a structure consists of three distinguished classes of morphisms, calledweak equivalences, fibrations, and cofibrations, required to satisfy several axioms reminiscent of the properties of the corresponding notions in the usual homotopy theory of topological spaces.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Gaboardi, Marco, Shin-ya Katsumata, Dominic Orchard, and Tetsuya Sato. "Graded Hoare Logic and its Categorical Semantics." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_9.

Texte intégral
Résumé :
AbstractDeductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend of increasing the expressive power of such logics by augmenting their rules with additional information to reason about program side-effects. For example, general program logics have been augmented with cost analyses, logics for probabilistic computations have been augmented with estimate measures, and logics for differential privacy with indistinguishability bounds. In this work, we unify these various approa
Styles APA, Harvard, Vancouver, ISO, etc.
5

Heuts, Gijs, and Ieke Moerdijk. "Left Fibrations and the Covariant Model." In Simplicial and Dendroidal Homotopy Theory. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10447-3_13.

Texte intégral
Résumé :
AbstractIn Section 9.5 we introduced the covariant model structure on a slice category dSets/B, for a fixed dendroidal set B. This model category represents the homotopy theory of ‘B-algebras’, as we will see in Section 13.5. The first aim of this chapter is to establish the analogous structure for the category of dendroidal spaces over a fixed dendroidal space B. We will do this in Section 13.1 and demonstrate that the covariant model structure on dSpaces/B is Quillen equivalent to the covariant model structure on dSets/B0 in the case when B is a complete dendroidal Segal space (cf. Propositi
Styles APA, Harvard, Vancouver, ISO, etc.
6

Heuts, Gijs, and Ieke Moerdijk. "Reedy Categories and Diagrams of Spaces." In Simplicial and Dendroidal Homotopy Theory. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10447-3_10.

Texte intégral
Résumé :
AbstractIn later chapters we will develop the homotopy theory of simplicial and dendroidal spaces, i.e., diagrams of simplicial sets indexed on the categories Δop and Ωop. There is a standard way of equipping such diagram categories with a model structure other than the projective one, but with the same weak equivalences, called the Reedy model structure. This structure has the advantage that both the fibrations and cofibrations are easy to control.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Lawvere, F. William. "Tools for the Advancement of Objective Logic: Closed Categories and Toposes." In The Logical Foundations of Cognition. Oxford University PressNew York, NY, 1994. http://dx.doi.org/10.1093/oso/9780195092158.003.0004.

Texte intégral
Résumé :
Abstract The thesis is that the explicit adequate development of the science of knowing will require the use of the mathematical theory of categories. Even within mathematical experience, only that theory has approximated a particular model of the general, sufficient as a foundation for a general account of all particulars. Arising 50 years ago from the needs of geometry, category theory has developed such notions as adjoint func•• tor, topos, fibration, closed category, 2-category, etc., in order to provide: (1) A guide to the complex, but very non-arbitrary constructions of the concepts and
Styles APA, Harvard, Vancouver, ISO, etc.
8

Hess, Kathryn P. "Twisted tensor products of DGA's and the Adams-Hilton model for the total space of a fibration." In Adams Memorial Symposium on Algebraic Topology. Cambridge University Press, 1992. http://dx.doi.org/10.1017/cbo9780511526305.004.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Modal fibration"

1

Ferna´ndez, Arturo, Jiacai Lu, Asghar Esmaeeli, and Gre´tar Tryggvason. "The Effect of Electrostatic Forces on the Distribution of Drops in a Channel." In ASME 2002 Joint U.S.-European Fluids Engineering Division Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/fedsm2002-31237.

Texte intégral
Résumé :
Direct numerical simulations are used to examine the effect of electric fields on the behavior of suspension of drops in dielectric fluids. The effect of electric field is modeled using the “leaky dielectric” model, coupled with the full Navier-Stokes equations. The governing equations are solved using a front-tracking/finite volume technique. The interaction of the drops is strongly dependant on the conductivity and the permittivity ratio, but fibration, where drops line up into long columns, takes place over a wide range of these parameters. The hydrodynamic interaction due to fluid circulat
Styles APA, Harvard, Vancouver, ISO, etc.
2

Ibrahim, Nabaa, and Daher Al Baydli. "Triple structure model of triple serre fibration." In INTERNATIONAL WORKSHOP ON MACHINE LEARNING AND QUANTUM COMPUTING APPLICATIONS IN MEDICINE AND PHYSICS: WMLQ2022. AIP Publishing, 2024. http://dx.doi.org/10.1063/5.0198298.

Texte intégral
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!