Littérature scientifique sur le sujet « Theorem on Partial »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
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 « Theorem on Partial ».
À 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 "Theorem on Partial"
ABBAS, MUJAHID, BASIT ALI et GABRIELA PETRUSEL. « Fixed points of set-valued contractions in partial metric spaces endowed with a graph ». Carpathian Journal of Mathematics 30, no 2 (2014) : 129–37. http://dx.doi.org/10.37193/cjm.2014.02.15.
Texte intégralKarapınar, Erdal, Nabi Shobkolaei, Shaban Sedghi et Mansour Vaezpour. « A common fixed point theorem for cyclic operators on partial metric spaces ». Filomat 26, no 2 (2012) : 407–14. http://dx.doi.org/10.2298/fil1202407k.
Texte intégralPogromsky, Alexander Yu. « A partial synchronization theorem ». Chaos : An Interdisciplinary Journal of Nonlinear Science 18, no 3 (septembre 2008) : 037107. http://dx.doi.org/10.1063/1.2959145.
Texte intégralLipasov, Pavel P., et Vladimir N. Shchennikov. « Stability with Respect to a Part of Variables under Constant Perturbations of the Partial Equilibrium Position of Differential Equation Nonlinear Systems ». Mordovia University Bulletin 28, no 3 (20 septembre 2018) : 344–51. http://dx.doi.org/10.15507/0236-2910.028.201803.344-351.
Texte intégralHannabou, Mohamed, Khalid Hilal et Ahmed Kajouni. « Existence and Uniqueness of Mild Solutions to Impulsive Nonlocal Cauchy Problems ». Journal of Mathematics 2020 (12 novembre 2020) : 1–9. http://dx.doi.org/10.1155/2020/5729128.
Texte intégralAl-hawasy, Jamil Amir, et Safaa J. Mohammed Al-Qaisi. « The Continuous Classical Boundary Optimal Control of a Couple Nonlinear Elliptic Partial Differential Equations with State Constraints ». Al-Mustansiriyah Journal of Science 30, no 1 (15 août 2019) : 143. http://dx.doi.org/10.23851/mjs.v30i1.464.
Texte intégralGe, Zheng-Ming, et Jung-Kui Yu. « Pragmatical Asymptotical Stability Theorems on Partial Region and for Partial Variables with Applications to Gyroscopic Systems ». Journal of Mechanics 16, no 4 (décembre 2000) : 179–87. http://dx.doi.org/10.1017/s1727719100001842.
Texte intégralTarasenko, Stepan. « Sperner's Theorem ». Modeling Control and Information Technologies, no 5 (21 novembre 2021) : 87–89. http://dx.doi.org/10.31713/mcit.2021.27.
Texte intégralGuo, Shuangjian, Xiaohui Zhang, Yuanyuan Ke et Yizheng Li. « Enveloping actions and duality theorems for partial twisted smash products ». Filomat 34, no 10 (2020) : 3217–27. http://dx.doi.org/10.2298/fil2010217g.
Texte intégralGóźdź, A., et M. Góźdź. « Spectral theorem and partial symmetries ». Physics of Atomic Nuclei 75, no 10 (octobre 2012) : 1195–202. http://dx.doi.org/10.1134/s1063778812100055.
Texte intégralThèses sur le sujet "Theorem on Partial"
Sarkar, Koushik. « Topology of different metric spaces and fixed point theories ». Thesis, University of North Bengal, 2021. http://ir.nbu.ac.in/handle/123456789/4380.
Texte intégralKreuger, Per. « Computational Issues in Calculi of Partial Inductive Definitions ». Doctoral thesis, Decisions, Networks and Analytics lab, 1995. http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21196.
Texte intégralAlso published as SICS Dissertation no. SICS-D-19
Aziz, Waleed. « Analytic and algebraic aspects of integrability for first order partial differential equations ». Thesis, University of Plymouth, 2013. http://hdl.handle.net/10026.1/1468.
Texte intégralHan, Zhi. « Applications of stochastic control and statistical inference in macroeconomics and high-dimensional data ». Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/54401.
Texte intégralLeahy, James-Michael. « On parabolic stochastic integro-differential equations : existence, regularity and numerics ». Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/10569.
Texte intégralMelo, Gustavo Cavalcanti. « Funções parciais recursivas e funções parcialmente Turing-computáveis : uma prova de equivalência ». Universidade Federal da Paraíba, 2016. http://tede.biblioteca.ufpb.br:8080/handle/tede/9586.
Texte intégralMade available in DSpace on 2017-09-20T12:52:54Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) Previous issue date: 2016-10-24
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
In the thirties of the last century, several formal versions for the intuitive notion of algorithmic function were offered. Among them, the version of the recursive functions and the version of the Turing-computable functions. Posteriorly, such versions were extended in order to also include the partial algorithmic functions, giving rise, in this way, to the version of the partial recursive functions and to the version of the partially Turing-computable functions. In this context, this research, located into Computability Theory domain and built in the light of theoretical assumptions of Davis (1982), Mendelson (2009), Dias & Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others, is intended to rebuild the proof that the given formal versions referred to the intuitive notion of partial algorithmic function, despite being conceptually distinct, they are extensionally equivalents in the sense that they determine the same set of theoretical-numerical functions. As a part of this rebuilding, we shall prove, in na unprecedented way, using quintuples, that every partial recursive function is partially Turing-computable. In the literature, this theorem is proved by means of a set of quadruples. However, defining a lower cardinality set constructed by quintuples, it is possible to prove it in a smaller time interval, which representes a gain from the computational point of view. Besides presenting this alternative proof, posed by the Church-Turing thesis that the set of partial recursive functions includes all the partial algorithmic functions, we shall investigate if this set itself and its infinite subsets are or are not algorithmic. In this survey, we shall demonstrate, in arithmetical terms, with the aid of Rice‟s theorem, that although the set of partial recursive functions is algorithmic, all its subsets which are different from the empty set are not, among which are the set of recursive functions and the set of primitive recursive functions.
Na década de 30 do século passado, foram oferecidas várias versões formais para a noção intuitiva de função algorítmica. Dentre elas, a versão das funções recursivas e a versão das funções Turing-computáveis. Posteriormente, tais versões foram estendidas a fim de abranger também as funções parciais algorítmicas, dando origem, deste modo, à versão das funções parciais recursivas e à versão das funções parcialmente Turing-computáveis. Nesse contexto, esta pesquisa, situada dentro do domínio da Teoria da Computabilidade e construída à luz dos pressupostos teóricos de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros, destina-se a reconstruir a prova de que as referidas versões formais dadas para a noção intuitiva de função parcial algorítmica, apesar de conceitualmente distintas, são extensionalmente equivalentes no sentido de que elas determinam o mesmo conjunto de funções numéricas. Como parte desta reconstrução, provaremos, de modo inédito, mediante o uso de quíntuplas, que toda função parcial recursiva é parcialmente Turing-computável. Na literatura especializada, esse teorema é provado por meio de um conjunto de quádruplas. Porém, definindo um conjunto de menor cardinalidade constituído por quíntuplas, é possível prová-lo em um intervalo menor de tempo, o que representa um ganho do ponto de vista computacional. Além de apresentar essa prova alternativa, posto pela Tese de Church-Turing que o conjunto das funções parciais recursivas contém todas as funções parciais algorítmicas, investigaremos se ele próprio e os seus infinitos subconjuntos são ou não algorítmicos. Nesta investigação, demonstraremos, em termos aritméticos, com o auxílio do Teorema de Rice, que embora o conjunto das funções parciais recursivas seja algorítmico, todos os seus subconjuntos diferentes do conjunto vazio não o são, dentre os quais estão o conjunto das funções recursivas e o conjunto das funções recursivas primitivas.
Yue, Wen. « Absolute continuity of the laws, existence and uniqueness of solutions of some SDEs and SPDEs ». Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/absolute-continuity-of-the-laws-existence-and-uniqueness-of-solutions-of-some-sdes-and-spdes(2bc80de8-7c36-453f-a7c2-69fa4ee0e705).html.
Texte intégralBarles, Guy. « Contribution à la théorie des solutions de viscosité des équations de Hamilton-Jacobi du premier ordre et applications à des problèmes de contrôle optimal et de perturbations singulières ». Paris 9, 1988. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1988PA090004.
Texte intégralSantos, Renato Augusto Nascimento. « Existência de soluções para uma classe de problemas elípticos não quadráticos no infinito ». Universidade Federal da Paraíba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/7414.
Texte intégralCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
We study the deformation theorem using the condition introduced by Cerami [8]. Furthermore, we study the following Dirichlet problem: ( u = f(x; u); x 2 u = 0; x 2 @ where is a smooth and bounded domain in RN and f : R ! R is a Caratheodory function with subcritical growth. In the above problem, we use the condition of Cerami [8] again, to ensure the existence of non-trivial solution. For this purpose, we use General Minimax Theorem proved by Bartolo in [12].
Neste trabalho, estudamos o Teorema de Deformação usando a condição introduzida por Cerami [8]. Além disso, estudamos o seguinte problema de Dirichlet: ( u = f(x; u); x 2 u = 0; x 2 @ onde e um domínio suave e limitado em RN e f : R ! R é uma função de Caratheodory com crescimento subcrítico. No problema acima, utilizamos novamente a condição de Cerami [8], para garantir a existência de solução não-trivial, para este propósito, usaremos Teorema Geral de Minimax provado pelo Bartolo em [12].
Safi, Mohammed. « Stabilité de Lyapunov de systèmes couplés impliquant une équation de transport ». Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0022/document.
Texte intégralThe purpose of this thesis is the study of stability and control properties for linear systems described by partial differential equations (PDE) or delay differential equations. We wish to use in this thesis the relationship between these two classes of infinite-dimensional systems in view of developing a new paradigm for their analysis. Indeed, in many applications, it is possible to choose one or the other of these two classes of systems to model the dynamics of the system under consideration. For example, traffic flow can be modeled using PDE type of transportation [JKC], but also by a distributed delay model [SMP] or discrete delay [SN]. We may also refer to the work of Krstic [K] on the formulation of a delay system as an PDE system. These two classes of systems are special cases of infinite dimensional systems, unlike the case of finite-dimensional systems, we better called state functions rather than the state vector. This implies that the analysis is more delicate and refers to the use of dedicated tools. As part of the thesis, the student will focus on approaches based on an extension of Lyapunov theorem for infinite dimensional systems using specific functional. As for the modeling process, the stability analysis of delayed or PDE type systems can be conducted using very similar Lyapunov functionals. We hope that this thesis builds on existing work in the two communities on delay systems and PDE to develop an innovative and unified approach to the analysis and control of infinite dimensional systems. To do so, the candidate will build on its skills in automatic and mathematics as well as the on from expertise of both supervisors. Several contributions are expected during the thesis . Initially, we aim at extedning recent results [SG13,14] developed in the context of the stability analysis of delay systems to the case of systems governed by PDE. These first results will provide the basis for the design of robust control laws for various applications including traffic control, vibration control, etc ... Cette thèse portera sur l’étude des propriétés de stabilité et de contrôle des systèmes linéaires de dimension infinie, plus particulièrement écrits à l’aide d’EDP ou d’équations à retard. L’intérêt naturel pour l’étude de cette classe de systèmes à la frontière entre mathématiques appliquées et automatique connaît un succès grandissant de part la large gamme d’applications en contrôle pouvant être décrites par ces modèles : en ingénierie, biologie, informatique… L’émulation scientifique entre systèmes à retard et systèmes de type EDP permettra en outre à cette thèse de tirer parti des méthodes et outils propres à chacun des ces domaines. This PhD proposal in automatic control requires several skills including knowledge on Lyapunov theory for systems with or without delay , on linear matrix inequalities while relying on mathematical tools applied in the study of partial differential equations ( linear algebra functional analysis , Hilbert spaces , Sobolev)
Livres sur le sujet "Theorem on Partial"
1963-, Zhang Tusheng, et Zhao Huaizhong 1964-, dir. The stable manifold theorem for semilinear stochastic evolution equations and stochastic partial differential equations. Providence, R.I : American Mathematical Society, 2008.
Trouver le texte intégralZwiers, J. Compositionality, concurrency, and partial correctness : Proof theories for networks of processes and their relationship. Berlin : Springer-Verlag, 1989.
Trouver le texte intégralJean-Yves, Chemin, Danchin Raphaël et SpringerLink (Online service), dir. Fourier Analysis and Nonlinear Partial Differential Equations. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Trouver le texte intégralGhandehari, Mostafa. Ray optics on surfaces. Arlington : Dept. of Mathematics, University of Texas at Arlington, 1997.
Trouver le texte intégralKrantz, Steven G. The Implicit Function Theorem : History, Theory, and Applications. New York, NY : Springer New York, 2013.
Trouver le texte intégralCompositionality, concurrency, and partial correctness : Proof theories for networks of processes and their relationship. Berlin : Springer-Verlag, 1989.
Trouver le texte intégralA new approach to the local embedding theorem of CR-structures for n [greater than or equal to] 4 (the local solvability for the operator [overbarred partial] B in the abstract sense). Providence, R.I : American Mathematical Society, 1987.
Trouver le texte intégralHoehnke, Hans-Jürgen. Partial algebras and their theories. New York : Springer, 2005.
Trouver le texte intégralVasilʹevich, Fedori︠u︡k Mikhail, dir. Partial differential equations. Berlin : Springer, 1999.
Trouver le texte intégralPartial stability and control. Boston : Birkhauser, 1998.
Trouver le texte intégralChapitres de livres sur le sujet "Theorem on Partial"
Arnold, Vladimir I. « Spherical Functions. Maxwell’s Theorem. The Removable Singularities Theorem ». Dans Lectures on Partial Differential Equations, 105–19. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-05441-3_11.
Texte intégralEbert, Marcelo R., et Michael Reissig. « Holmgren’s Uniqueness Theorem ». Dans Methods for Partial Differential Equations, 49–55. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66456-9_5.
Texte intégralGeorgiev, Svetlin G., et Khaled Zennir. « The Cauchy–Kovalevskaya Theorem ». Dans Multiplicative Partial Differential Equations, 242–56. Boca Raton : Chapman and Hall/CRC, 2023. http://dx.doi.org/10.1201/9781003440116-7.
Texte intégralEbert, Marcelo R., et Michael Reissig. « The Cauchy-Kovalevskaja Theorem ». Dans Methods for Partial Differential Equations, 37–48. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66456-9_4.
Texte intégralFerguson, Thomas S. « Partial Converses to Theorem 1 ». Dans A Course in Large Sample Theory, 8–12. Boston, MA : Springer US, 1996. http://dx.doi.org/10.1007/978-1-4899-4549-5_2.
Texte intégralDiBenedetto, Emmanuele. « Quasi-Linear Equations and the Cauchy—Kowalewski Theorem ». Dans Partial Differential Equations, 29–50. Boston, MA : Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4899-2840-5_2.
Texte intégralDiBenedetto, Emmanuele. « Quasi-Linear Equations and the Cauchy–Kowalewski Theorem ». Dans Partial Differential Equations, 17–35. Boston : Birkhäuser Boston, 2009. http://dx.doi.org/10.1007/978-0-8176-4552-6_2.
Texte intégralCosta, Peter J. « The Hartman–Grobman Theorem ». Dans Select Ideas in Partial Differential Equations, 173–98. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-031-02434-4_9.
Texte intégralTalenti, Giorgio. « An Embedding Theorem ». Dans Partial Differential Equations and the Calculus of Variations, 919–24. Boston, MA : Birkhäuser Boston, 1989. http://dx.doi.org/10.1007/978-1-4684-9196-8_39.
Texte intégralTalenti, Giorgio. « An Embedding Theorem ». Dans Partial Differential Equations and the Calculus of Variations, 919–24. Boston, MA : Birkhäuser Boston, 1989. http://dx.doi.org/10.1007/978-1-4615-9831-2_18.
Texte intégralActes de conférences sur le sujet "Theorem on Partial"
Falkensteiner, Sebastian, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani et François Boulier. « The fundamental theorem of tropical partial differential algebraic geometry ». Dans ISSAC '20 : International Symposium on Symbolic and Algebraic Computation. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3373207.3404040.
Texte intégralJianyi Jing, Lequan Min et Geng Zhao. « Partial generalized synchronization theorem of discrete systems with applications in encryption scheme ». Dans 2007 5th International Conference on Communications, Circuits and Systems. IEEE, 2007. http://dx.doi.org/10.1109/icccas.2007.6247594.
Texte intégralBen-David, Shalev, et Eric Blais. « A Tight Composition Theorem for the Randomized Query Complexity of Partial Functions : Extended Abstract ». Dans 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). IEEE, 2020. http://dx.doi.org/10.1109/focs46700.2020.00031.
Texte intégralŠevček, Tomáš. « The Consumer Surplus Line Integral Revisited ». Dans EDAMBA 2022 : 25th International Scientific Conference for Doctoral Students and Post-Doctoral Scholars. Bratislava : University of Economics in Bratislava, 2023. http://dx.doi.org/10.53465/edamba.2022.9788022550420.453-461.
Texte intégralNguyen, Thanh H., Arunesh Sinha et He He. « Partial Adversarial Behavior Deception in Security Games ». Dans Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California : International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/40.
Texte intégralLian, Ren-Zun, et Long Li. « Partial-Structure-Oriented Work-Energy Theorem (PS-WET) Governing Multi-Coil Wireless Power Transfer (WPT) Phenomenon ». Dans 2022 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications (IMWS-AMP). IEEE, 2022. http://dx.doi.org/10.1109/imws-amp54652.2022.10106950.
Texte intégralLian, Ren-Zun, et Long Li. « Characteristic Mode Analysis for Metallic Yagi–Uda Transmitting Antennas Based on Partial-Structure-Oriented Work-Energy Theorem ». Dans 2022 IEEE 8th International Conference on Computer and Communications (ICCC). IEEE, 2022. http://dx.doi.org/10.1109/iccc56324.2022.10065888.
Texte intégralNakhaie Jazar, G., M. Mahinfalah, J. Christopherson, A. Khazaei et G. Nazari. « Periodicity Conditions for Third-Order Nonlinear With Application to Wave Propagation in Relaxing Media ». Dans ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-35090.
Texte intégralXu, Shugen, Weiqiang Wang et Yan Liu. « A New Approach to Elastodynamic Response of Cylindrical Shell Based on Generalized Solution Structure Theorem for Wave Equation ». Dans ASME 2010 Pressure Vessels and Piping Division/K-PVP Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/pvp2010-25233.
Texte intégralMarsden, Gary C., F. Kiamilev, S. Esener et Sing H. Lee. « Optical Matrix Encoding for Constraint Satisfaction ». Dans Optical Computing. Washington, D.C. : Optica Publishing Group, 1989. http://dx.doi.org/10.1364/optcomp.1989.mc2.
Texte intégralRapports d'organisations sur le sujet "Theorem on Partial"
Bao, Gang, et William W. Symes. A Trace Theorem for Solutions of Linear Partial Differential Equations. Fort Belvoir, VA : Defense Technical Information Center, septembre 1989. http://dx.doi.org/10.21236/ada455263.
Texte intégralKatz, Lawrence. Efficiency Wage Theories : A Partial Evaluation. Cambridge, MA : National Bureau of Economic Research, avril 1986. http://dx.doi.org/10.3386/w1906.
Texte intégralMolinari, Francesca, Arie Beresteanu et Ilya Molchanov. Partial identification using random set theory. Institute for Fiscal Studies, décembre 2010. http://dx.doi.org/10.1920/wp.cem.2010.4010.
Texte intégralHatfield, John William, et Gerard Padró Miquel. A Political Economy Theory of Partial Decentralization. Cambridge, MA : National Bureau of Economic Research, décembre 2008. http://dx.doi.org/10.3386/w14628.
Texte intégralChung, Sung G., et Thomas F. George. Generalization of Levinson's Theorem to Particle-Matter Interactions. Fort Belvoir, VA : Defense Technical Information Center, janvier 1987. http://dx.doi.org/10.21236/ada176501.
Texte intégralShafi, Qaisar, Steven Barr, Thomas Gaisser et Todor Stanev. Particle Theory & ; Cosmology. Office of Scientific and Technical Information (OSTI), mars 2015. http://dx.doi.org/10.2172/1213669.
Texte intégralSage, M. (Problems in particle theory). Office of Scientific and Technical Information (OSTI), janvier 1990. http://dx.doi.org/10.2172/6366633.
Texte intégralMansouri, F., P. Suranyi et L. C. R. Wijewardhana. Research in particle theory. Office of Scientific and Technical Information (OSTI), octobre 1991. http://dx.doi.org/10.2172/6095761.
Texte intégralMansouri, F., P. Suranyi et L. C. R. Wijewardhana. Research in particle theory. Office of Scientific and Technical Information (OSTI), octobre 1992. http://dx.doi.org/10.2172/7073633.
Texte intégralMansouri, F., P. Suranyi, L. Wijewardhana et L. Witten. Research in particle theory. Office of Scientific and Technical Information (OSTI), décembre 1989. http://dx.doi.org/10.2172/5149404.
Texte intégral