Auswahl der wissenschaftlichen Literatur zum Thema „Complete equational theories“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Complete equational theories" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Complete equational theories"
Hölldobler, Steffen. „Conditional equational theories and complete sets of transformations“. Theoretical Computer Science 75, Nr. 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Der volle Inhalt der QuelleCerna, David M., und Temur Kutsia. „Higher-order pattern generalization modulo equational theories“. Mathematical Structures in Computer Science 30, Nr. 6 (20.05.2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Der volle Inhalt der QuelleFages, François, und Gérard Huet. „Complete sets of unifiers and matchers in equational theories“. Theoretical Computer Science 43 (1986): 189–200. http://dx.doi.org/10.1016/0304-3975(86)90175-1.
Der volle Inhalt der QuelleÉSIK, Z. „THE POWER OF THE GROUP-IDENTITIES FOR ITERATION“. International Journal of Algebra and Computation 10, Nr. 03 (Juni 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Der volle Inhalt der QuelleÉsik, Z. „Equational properties of fixed-point operations in cartesian categories: An overview“. Mathematical Structures in Computer Science 29, Nr. 06 (24.05.2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Der volle Inhalt der QuelleAmy, Matthew. „Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes“. Electronic Proceedings in Theoretical Computer Science 384 (23.08.2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Der volle Inhalt der QuelleMordido, Andreia, und Carlos Caleiro. „Probabilistic logic over equations and domain restrictions“. Mathematical Structures in Computer Science 29, Nr. 06 (08.03.2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Der volle Inhalt der QuelleÉSIK, ZOLTÁN. „Equational axioms associated with finite automata for fixed point operations in cartesian categories“. Mathematical Structures in Computer Science 27, Nr. 1 (08.04.2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Der volle Inhalt der QuelleAguirre, Alejandro, und Lars Birkedal. „Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice“. Proceedings of the ACM on Programming Languages 7, POPL (09.01.2023): 33–60. http://dx.doi.org/10.1145/3571195.
Der volle Inhalt der QuelleCarette, Titouan, Emmanuel Jeandel, Simon Perdrix und Renaud Vilmart. „Completeness of Graphical Languages for Mixed State Quantum Mechanics“. ACM Transactions on Quantum Computing 2, Nr. 4 (31.12.2021): 1–28. http://dx.doi.org/10.1145/3464693.
Der volle Inhalt der QuelleDissertationen zum Thema "Complete equational theories"
Clément, Alexandre. „Langages graphiques pour le contrôle quantique et l'optique linéaire“. Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0093.
Der volle Inhalt der QuelleIn the models of quantum computing usually considered, some quantum data is manipulated by means of operations which are controlled in an essentially classical way. Controlling these operations in a quantum way is actually possible, but has been much less studied. In particular, quantum control misses a formalism in which one could represent it in a simple way in order to efficiently reason on processes involving it. The first contribution of this thesis is to lay the foundations of a formal framework dedicated to quantum control, in the form of a graphical language. Our main result about this language is the introduction of a complete equational theory, that is, a set of equations that makes it possible, by successive local rewriting, to transform a given diagram into any other diagram representing the same program or physical process. A second contribution is to apply this formalism, on the one hand, to the problem of resource optimisation of processes involving quantum control, and on the other hand, to the characterisation of the observational equivalence of quantum communication channels. A third contribution of this thesis is to introduce a language for linear optical circuits. We equip this language with a complete equational theory, together with a simple normal form, reachable via a strongly normalising and confluent rewriting system. The last contribution of this thesis, maybe the most significant one, is to introduce a complete equational theory for the language of quantum circuits. We obtain this result by exploiting a correspondence between quantum circuits and optical circuits, which allows us to transfer the equational theory already obtained for optical circuits
DE, LEO ROBERTO. „On some geometrical and analytical problems arising from the theory of Isometric Immersion“. Doctoral thesis, Università degli Studi di Cagliari, 2011. http://hdl.handle.net/11584/266285.
Der volle Inhalt der QuelleBensedik, Ahmed. „Sur quelques problèmes elliptiques de type Kirchhoff et dynamique des fluides“. Phd thesis, Université Jean Monnet - Saint-Etienne, 2012. http://tel.archives-ouvertes.fr/tel-00971279.
Der volle Inhalt der QuelleBardestani, Mohammad. „On some Density Theorems in Number Theory and Group Theory“. Thèse, 2012. http://hdl.handle.net/1866/8936.
Der volle Inhalt der QuelleGowers in his paper on quasirandom groups studies a question of Babai and Sos asking whether there exists a constant $c > 0$ such that every finite group $G$ has a product-free subset of size at least $c|G|$. Answering the question negatively, he proves that for sufficiently large prime $p$, the group $\mathrm{PSL}_2(\mathbb{F}_p)$ has no product-free subset of size $\geq cn^{8/9}$, where $n$ is the order of $\mathrm{PSL}_2(\mathbb{F}_p)$. We will consider the problem for compact groups and in particular for the profinite groups $\SL_k(\mathh{Z}_p)$ and $\Sp_{2k}(\mathbb{Z}_p)$. In Part I of this thesis, we obtain lower and upper exponential bounds for the supremal measure of the product-free sets. The proof involves establishing a lower bound for the dimension of non-trivial representations of the finite groups $\SL_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\Sp_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Indeed, our theorem extends and simplifies previous work of Landazuri and Seitz, where they consider the minimal degree of representations for Chevalley groups over a finite field. In Part II of this thesis, we move to algebraic number theory. A monogenic polynomial $f$ is a monic irreducible polynomial with integer coefficients which produces a monogenic number field. For a given prime $q$, using the Chebotarev density theorem, we will show the density of primes $p$, such that $t^q-p$ is monogenic, is greater than or equal to $(q-1)/q$. We will also prove that, when $q=3$, the density of primes $p$, which $\mathbb{Q}(\sqrt[3]{p})$ is non-monogenic, is at least $1/9$.
Bücher zum Thema "Complete equational theories"
Schapira, Pierre. Index theorem for elliptic pairs. Paris: Société mathématique de France, 1994.
Den vollen Inhalt der Quelle findenPipkin, A. C. A course on integral equations. New York: Springer-Verlag, 1991.
Den vollen Inhalt der Quelle findenPipkin, A. C. A course on integral equations. New York: Springer-Verlag, 1991.
Den vollen Inhalt der Quelle findenBiase, Fausto. Fatou Type Theorems: Maximal Functions and Approach Regions. Boston, MA: Birkhäuser Boston, 1997.
Den vollen Inhalt der Quelle findenAlekseev, V. B. Abel's theorem in problems and solutions based on the lectures of professor V.I. Arnold. Dordrecht: Kluwer Academic, 2003.
Den vollen Inhalt der Quelle findenAlekseev, V. B. Abel's theorem in problems and solutions based on the lectures of professor V.I. Arnold. Boston: Kluwer Academic Publishers, 2004.
Den vollen Inhalt der Quelle findenSottile, Frank. Real solutions to equations from geometry. Providence, R.I: American Mathematical Society, 2011.
Den vollen Inhalt der Quelle findenFurstenberg, Harry. Ergodic theory and fractal geometry. Providence, Rhode Island: Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, 2014.
Den vollen Inhalt der Quelle findenSoutheast Geometry Seminar (15th 2009 University of Alabama at Birmingham). Geometric analysis, mathematical relativity, and nonlinear partial differential equations: Southeast Geometry Seminars Emory University, Georgia Institute of Technology, University of Alabama, Birmingham, and the University of Tennessee, 2009-2011. Herausgegeben von Ghomi Mohammad 1969-. Providence, Rhode Island: American Mathematical Society, 2013.
Den vollen Inhalt der Quelle findenWood, John C. Harmonic maps and differential geometry: A harmonic map fest in honour of John C. Wood's 60th birthday, September 7-10, 2009, Cagliari, Italy. Providence, R.I: American Mathematical Society, 2011.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Complete equational theories"
Kim, Dohan, und Christopher Lynch. „Equational Theorem Proving Modulo“. In Automated Deduction – CADE 28, 166–82. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_10.
Der volle Inhalt der QuelleFiore, Marcelo, und Philip Saville. „Relative Full Completeness for Bicategorical Cartesian Closed Structure“. In Lecture Notes in Computer Science, 277–98. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_15.
Der volle Inhalt der QuelleBulmer, Michael. „Inductive theories from equational systems“. In Learning and Reasoning with Complex Representations, 78–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-64413-x_29.
Der volle Inhalt der QuelleXu, Liu-Jun, und Ji-Ping Huang. „Theory for Thermal Wave Control: Transformation Complex Thermotics“. In Transformation Thermotics and Extended Theories, 19–33. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-5908-0_3.
Der volle Inhalt der QuelleNarasimhan, Raghavan, und Yves Nievergelt. „The Inhomogeneous Cauchy-Riemann Equation and Runge’s Theorem“. In Complex Analysis in One Variable, 315–30. Boston, MA: Birkhäuser Boston, 2001. http://dx.doi.org/10.1007/978-1-4612-0175-5_18.
Der volle Inhalt der QuelleNarasimhan, Raghavan, und Yves Nievergelt. „The Inhomogeneous Cauchy-Riemann Equation and Runge’s Theorem“. In Complex Analysis in One Variable, 97–114. Boston, MA: Birkhäuser Boston, 2001. http://dx.doi.org/10.1007/978-1-4612-0175-5_5.
Der volle Inhalt der QuelleNarasimhan, Raghavan. „The Inhomogeneous Cauchy-Riemann Equation and Runge’s Theorem“. In Complex Analysis in one Variable, 100–118. Boston, MA: Birkhäuser Boston, 1985. http://dx.doi.org/10.1007/978-1-4757-1106-6_5.
Der volle Inhalt der QuelleLiao, Liangwen, und Chung-Chun Yang. „Malmquist-Yosida Type Theorems for Algebraic Differential Equations“. In Finite or Infinite Dimensional Complex Analysis and Applications, 181–91. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4613-0221-6_12.
Der volle Inhalt der QuelleWen, Chih-Yung, Yazhong Jiang und Lisong Shi. „Introduction“. In Engineering Applications of Computational Methods, 1–5. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-0876-9_1.
Der volle Inhalt der QuelleBłocki, Zbigniew. „The Calabi–Yau Theorem“. In Complex Monge–Ampère Equations and Geodesics in the Space of Kähler Metrics, 201–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23669-3_5.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Complete equational theories"
Ruth, D. Alan, und J. Michael McCarthy. „SphinxPC: An Implementation of Four Position Synthesis for Planar and Spherical 4R Linkages“. In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/dac-3860.
Der volle Inhalt der QuelleLeishear, Robert A. „Derivations for Hoop Stresses Due to Shock Waves in a Tube“. In ASME 2007 Pressure Vessels and Piping Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/pvp2007-26722.
Der volle Inhalt der QuellePomytkin, S. P., und K. А. Gukasjan. „MODELING OF THE COOL CREEPIN THE FRAMEWORK OF THE HARDENING THEORIES ON THE STEPWISE LOADING“. In MODELING AND SITUATIONAL MANAGEMENT THE QUALITY OF COMPLEX SYSTEMS. Saint Petersburg State University of Aerospace Instrumentation, 2021. http://dx.doi.org/10.31799/978-5-8088-1558-2-2021-2-8-15.
Der volle Inhalt der QuelleWatteaux, R., N. Mureithi und D. Pelletier. „Determination of Coupling Force Derivatives in Tube Bundles Using the Shape Sensitivity Equation Method“. In ASME 2007 Pressure Vessels and Piping Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/pvp2007-26061.
Der volle Inhalt der QuelleMiyazaki, T., und N. Hirayama. „A Theoretical Solution of Three-Dimensional Flows in Subsonic, Transonic and Supersonic Turbomachines: An Exact Solution and its Numerical Method“. In ASME 1986 International Gas Turbine Conference and Exhibit. American Society of Mechanical Engineers, 1986. http://dx.doi.org/10.1115/86-gt-111.
Der volle Inhalt der QuelleNabelek, Patrik, und Solomon C. Yim. „Riemann-Hilbert Formulation and Solution of Nonlinear Shallow-Water Wave Equations: Nonlocal Dbar Problem as a Unified Approach to Computing Exact Solutions in the Time Domain“. In ASME 2023 42nd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2023. http://dx.doi.org/10.1115/omae2023-108051.
Der volle Inhalt der QuelleHarris, C. B., J. K. Brown, M. E. Paige, D. E. Smith und D. J. Russell. „Ultrafast Studies Designed to Test the Fundamental Statistical Assumptions Underlying Chemical Reactivity in Liquids“. In International Conference on Ultrafast Phenomena. Washington, D.C.: Optica Publishing Group, 1986. http://dx.doi.org/10.1364/up.1986.tha2.
Der volle Inhalt der QuelleHenry, Charles H. „Phase Noise in Semiconductor Lasers and its Reduction by Optical Feedback“. In Semiconductor Lasers. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/sla.1987.tub1.
Der volle Inhalt der QuelleAzzam, R. M. A. „Extrema of the magnitude and phase of a complex function of a real variable“. In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/oam.1987.thf5.
Der volle Inhalt der QuelleUrso, André C. „An Accurate Approximation of the Orowan Rolling Force Equation for Homogeneous Compression of Metals in Cold Rolling“. In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0652.
Der volle Inhalt der Quelle