Добірка наукової літератури з теми "Theorem on Partial"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Theorem on Partial".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Theorem on Partial"
ABBAS, MUJAHID, BASIT ALI, and 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.
Повний текст джерелаKarapınar, Erdal, Nabi Shobkolaei, Shaban Sedghi, and 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.
Повний текст джерелаPogromsky, Alexander Yu. "A partial synchronization theorem." Chaos: An Interdisciplinary Journal of Nonlinear Science 18, no. 3 (September 2008): 037107. http://dx.doi.org/10.1063/1.2959145.
Повний текст джерелаLipasov, Pavel P., and 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 (September 20, 2018): 344–51. http://dx.doi.org/10.15507/0236-2910.028.201803.344-351.
Повний текст джерелаHannabou, Mohamed, Khalid Hilal, and Ahmed Kajouni. "Existence and Uniqueness of Mild Solutions to Impulsive Nonlocal Cauchy Problems." Journal of Mathematics 2020 (November 12, 2020): 1–9. http://dx.doi.org/10.1155/2020/5729128.
Повний текст джерелаAl-hawasy, Jamil Amir, and 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 (August 15, 2019): 143. http://dx.doi.org/10.23851/mjs.v30i1.464.
Повний текст джерелаGe, Zheng-Ming, and 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 (December 2000): 179–87. http://dx.doi.org/10.1017/s1727719100001842.
Повний текст джерелаTarasenko, Stepan. "Sperner's Theorem." Modeling Control and Information Technologies, no. 5 (November 21, 2021): 87–89. http://dx.doi.org/10.31713/mcit.2021.27.
Повний текст джерелаGuo, Shuangjian, Xiaohui Zhang, Yuanyuan Ke, and 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.
Повний текст джерелаGóźdź, A., and M. Góźdź. "Spectral theorem and partial symmetries." Physics of Atomic Nuclei 75, no. 10 (October 2012): 1195–202. http://dx.doi.org/10.1134/s1063778812100055.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаKreuger, 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.
Повний текст джерелаAlso 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.
Повний текст джерелаHan, 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.
Повний текст джерелаLeahy, James-Michael. "On parabolic stochastic integro-differential equations : existence, regularity and numerics." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/10569.
Повний текст джерелаMelo, 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.
Повний текст джерелаMade 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.
Повний текст джерелаBarles, 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.
Повний текст джерелаSantos, 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.
Повний текст джерелаCoordenaçã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.
Повний текст джерелаThe 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)
Книги з теми "Theorem on Partial"
1963-, Zhang Tusheng, and Zhao Huaizhong 1964-, eds. The stable manifold theorem for semilinear stochastic evolution equations and stochastic partial differential equations. Providence, R.I: American Mathematical Society, 2008.
Знайти повний текст джерелаZwiers, J. Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship. Berlin: Springer-Verlag, 1989.
Знайти повний текст джерелаJean-Yves, Chemin, Danchin Raphaël, and SpringerLink (Online service), eds. Fourier Analysis and Nonlinear Partial Differential Equations. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.
Знайти повний текст джерелаGhandehari, Mostafa. Ray optics on surfaces. Arlington: Dept. of Mathematics, University of Texas at Arlington, 1997.
Знайти повний текст джерелаKrantz, Steven G. The Implicit Function Theorem: History, Theory, and Applications. New York, NY: Springer New York, 2013.
Знайти повний текст джерелаCompositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship. Berlin: Springer-Verlag, 1989.
Знайти повний текст джерелаA 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.
Знайти повний текст джерелаHoehnke, Hans-Jürgen. Partial algebras and their theories. New York: Springer, 2005.
Знайти повний текст джерелаVasilʹevich, Fedori︠u︡k Mikhail, ed. Partial differential equations. Berlin: Springer, 1999.
Знайти повний текст джерелаPartial stability and control. Boston: Birkhauser, 1998.
Знайти повний текст джерелаЧастини книг з теми "Theorem on Partial"
Arnold, Vladimir I. "Spherical Functions. Maxwell’s Theorem. The Removable Singularities Theorem." In 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.
Повний текст джерелаEbert, Marcelo R., and Michael Reissig. "Holmgren’s Uniqueness Theorem." In Methods for Partial Differential Equations, 49–55. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66456-9_5.
Повний текст джерелаGeorgiev, Svetlin G., and Khaled Zennir. "The Cauchy–Kovalevskaya Theorem." In Multiplicative Partial Differential Equations, 242–56. Boca Raton: Chapman and Hall/CRC, 2023. http://dx.doi.org/10.1201/9781003440116-7.
Повний текст джерелаEbert, Marcelo R., and Michael Reissig. "The Cauchy-Kovalevskaja Theorem." In Methods for Partial Differential Equations, 37–48. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66456-9_4.
Повний текст джерелаFerguson, Thomas S. "Partial Converses to Theorem 1." In 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.
Повний текст джерелаDiBenedetto, Emmanuele. "Quasi-Linear Equations and the Cauchy—Kowalewski Theorem." In Partial Differential Equations, 29–50. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4899-2840-5_2.
Повний текст джерелаDiBenedetto, Emmanuele. "Quasi-Linear Equations and the Cauchy–Kowalewski Theorem." In Partial Differential Equations, 17–35. Boston: Birkhäuser Boston, 2009. http://dx.doi.org/10.1007/978-0-8176-4552-6_2.
Повний текст джерелаCosta, Peter J. "The Hartman–Grobman Theorem." In 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.
Повний текст джерелаTalenti, Giorgio. "An Embedding Theorem." In 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.
Повний текст джерелаTalenti, Giorgio. "An Embedding Theorem." In 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.
Повний текст джерелаТези доповідей конференцій з теми "Theorem on Partial"
Falkensteiner, Sebastian, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, and François Boulier. "The fundamental theorem of tropical partial differential algebraic geometry." In ISSAC '20: International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3373207.3404040.
Повний текст джерелаJianyi Jing, Lequan Min, and Geng Zhao. "Partial generalized synchronization theorem of discrete systems with applications in encryption scheme." In 2007 5th International Conference on Communications, Circuits and Systems. IEEE, 2007. http://dx.doi.org/10.1109/icccas.2007.6247594.
Повний текст джерелаBen-David, Shalev, and Eric Blais. "A Tight Composition Theorem for the Randomized Query Complexity of Partial Functions: Extended Abstract." In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). IEEE, 2020. http://dx.doi.org/10.1109/focs46700.2020.00031.
Повний текст джерелаŠevček, Tomáš. "The Consumer Surplus Line Integral Revisited." In 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.
Повний текст джерелаNguyen, Thanh H., Arunesh Sinha, and He He. "Partial Adversarial Behavior Deception in Security Games." In 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.
Повний текст джерелаLian, Ren-Zun, and Long Li. "Partial-Structure-Oriented Work-Energy Theorem (PS-WET) Governing Multi-Coil Wireless Power Transfer (WPT) Phenomenon." In 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.
Повний текст джерелаLian, Ren-Zun, and Long Li. "Characteristic Mode Analysis for Metallic Yagi–Uda Transmitting Antennas Based on Partial-Structure-Oriented Work-Energy Theorem." In 2022 IEEE 8th International Conference on Computer and Communications (ICCC). IEEE, 2022. http://dx.doi.org/10.1109/iccc56324.2022.10065888.
Повний текст джерелаNakhaie Jazar, G., M. Mahinfalah, J. Christopherson, A. Khazaei, and G. Nazari. "Periodicity Conditions for Third-Order Nonlinear With Application to Wave Propagation in Relaxing Media." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-35090.
Повний текст джерелаXu, Shugen, Weiqiang Wang, and Yan Liu. "A New Approach to Elastodynamic Response of Cylindrical Shell Based on Generalized Solution Structure Theorem for Wave Equation." In ASME 2010 Pressure Vessels and Piping Division/K-PVP Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/pvp2010-25233.
Повний текст джерелаMarsden, Gary C., F. Kiamilev, S. Esener, and Sing H. Lee. "Optical Matrix Encoding for Constraint Satisfaction." In Optical Computing. Washington, D.C.: Optica Publishing Group, 1989. http://dx.doi.org/10.1364/optcomp.1989.mc2.
Повний текст джерелаЗвіти організацій з теми "Theorem on Partial"
Bao, Gang, and William W. Symes. A Trace Theorem for Solutions of Linear Partial Differential Equations. Fort Belvoir, VA: Defense Technical Information Center, September 1989. http://dx.doi.org/10.21236/ada455263.
Повний текст джерелаKatz, Lawrence. Efficiency Wage Theories: A Partial Evaluation. Cambridge, MA: National Bureau of Economic Research, April 1986. http://dx.doi.org/10.3386/w1906.
Повний текст джерелаMolinari, Francesca, Arie Beresteanu, and Ilya Molchanov. Partial identification using random set theory. Institute for Fiscal Studies, December 2010. http://dx.doi.org/10.1920/wp.cem.2010.4010.
Повний текст джерелаHatfield, John William, and Gerard Padró Miquel. A Political Economy Theory of Partial Decentralization. Cambridge, MA: National Bureau of Economic Research, December 2008. http://dx.doi.org/10.3386/w14628.
Повний текст джерелаChung, Sung G., and Thomas F. George. Generalization of Levinson's Theorem to Particle-Matter Interactions. Fort Belvoir, VA: Defense Technical Information Center, January 1987. http://dx.doi.org/10.21236/ada176501.
Повний текст джерелаShafi, Qaisar, Steven Barr, Thomas Gaisser, and Todor Stanev. Particle Theory & Cosmology. Office of Scientific and Technical Information (OSTI), March 2015. http://dx.doi.org/10.2172/1213669.
Повний текст джерелаSage, M. (Problems in particle theory). Office of Scientific and Technical Information (OSTI), January 1990. http://dx.doi.org/10.2172/6366633.
Повний текст джерелаMansouri, F., P. Suranyi, and L. C. R. Wijewardhana. Research in particle theory. Office of Scientific and Technical Information (OSTI), October 1991. http://dx.doi.org/10.2172/6095761.
Повний текст джерелаMansouri, F., P. Suranyi, and L. C. R. Wijewardhana. Research in particle theory. Office of Scientific and Technical Information (OSTI), October 1992. http://dx.doi.org/10.2172/7073633.
Повний текст джерелаMansouri, F., P. Suranyi, L. Wijewardhana, and L. Witten. Research in particle theory. Office of Scientific and Technical Information (OSTI), December 1989. http://dx.doi.org/10.2172/5149404.
Повний текст джерела