Gotowa bibliografia na temat „Embedding formalism”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Embedding formalism”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Embedding formalism"
ABREU, E. M. C., A. C. R. MENDES, C. NEVES, W. OLIVEIRA i F. I. TAKAKURA. "DUALITY THROUGH THE SYMPLECTIC EMBEDDING FORMALISM". International Journal of Modern Physics A 22, nr 21 (20.08.2007): 3605–20. http://dx.doi.org/10.1142/s0217751x07036932.
Pełny tekst źródłaMikura, Yusuke, i Yuichiro Tada. "On UV-completion of Palatini-Higgs inflation". Journal of Cosmology and Astroparticle Physics 2022, nr 05 (1.05.2022): 035. http://dx.doi.org/10.1088/1475-7516/2022/05/035.
Pełny tekst źródłaAbreu, E. M. C., J. Ananias Neto, A. C. R. Mendes, C. Neves i W. Oliveira. "Obtaining gauge invariant actions via symplectic embedding formalism". Annalen der Physik 524, nr 8 (18.06.2012): 434–55. http://dx.doi.org/10.1002/andp.201100199.
Pełny tekst źródłaHONG, SOON-TAE, i YOUNG-JAI PARK. "BFT HAMILTONIAN EMBEDDING FOR SU(3) SKYRMION". Modern Physics Letters A 15, nr 14 (10.05.2000): 913–23. http://dx.doi.org/10.1142/s0217732300000918.
Pełny tekst źródłaBanerjee, R., i J. Barcelos-Neto. "Reducible Systems and Embedding Procedures in the Canonical Formalism". Annals of Physics 265, nr 2 (maj 1998): 134–54. http://dx.doi.org/10.1006/aphy.1997.9998.
Pełny tekst źródłaPernal, Katarzyna. "Reduced density matrix embedding. General formalism and inter-domain correlation functional". Physical Chemistry Chemical Physics 18, nr 31 (2016): 21111–21. http://dx.doi.org/10.1039/c6cp00524a.
Pełny tekst źródłaMONEMZADEH, M., i M. TAKI. "HAMILTONIAN EMBEDDING OF NONCOMMUTATIVE D-BRANE SYSTEM". International Journal of Modern Physics A 26, nr 06 (10.03.2011): 1035–43. http://dx.doi.org/10.1142/s0217751x11051597.
Pełny tekst źródłaPavanello, Michele, i Johannes Neugebauer. "Modelling charge transfer reactions with the frozen density embedding formalism". Journal of Chemical Physics 135, nr 23 (21.12.2011): 234103. http://dx.doi.org/10.1063/1.3666005.
Pełny tekst źródłaKopeikin, Sergei. "Beyond the standard IAU framework". Proceedings of the International Astronomical Union 5, S261 (kwiecień 2009): 7–15. http://dx.doi.org/10.1017/s1743921309990081.
Pełny tekst źródłaMONEMZADEH, M., i AGHILEH S. EBRAHIMI. "EMBEDDING OF NONCOMMUTATIVE MASSIVE QED". Modern Physics Letters A 27, nr 14 (5.05.2012): 1250081. http://dx.doi.org/10.1142/s0217732312500812.
Pełny tekst źródłaRozprawy doktorskie na temat "Embedding formalism"
Hariz, Belgacem Khader. "Higher-order Embedding Formalism, Noether’s Theorem on Time Scales and Eringen’s Nonlocal Elastica". Electronic Thesis or Diss., Pau, 2022. https://theses.hal.science/tel-03981833.
Pełny tekst źródłaThe aim of this thesis is to deal with the connection between continuous and discrete versions of a given object. This connection can be studied in two different directions: one going from a continuous setting to a discrete analogue, and in a symmetric way, from a discrete setting to a continuous one. The first procedure is typically used in numerical analysis in order to construct numerical integrators and the second one is typical of continuous modeling for the study of micro-structured materials.In this manuscript, we focus our attention on three distinct problems. In the first part, we propose a general framework precising different ways to derive a discrete version of a differential equation called discrete embedding formalism.More precisely, we exhibit three main discrete associate: the differential, integral or variational structure in both classical and high-order approximations.The second part focuses on the preservation of symmetries for discrete versions of Lagrangian and Hamiltonian systems, i.e., the discrete analogue of Noether's theorem.Finally, the third part applies these results in mechanics, i.e., the problem studied by N. Challamel, Kocsis and Wang called Eringen's nonlocal elastica equation which can beobtained by the continualization method. Precisely, we construct a discrete version of Eringen's nonlocal elastica then we study the difference with Challamel's proposal
Książki na temat "Embedding formalism"
Formalin-fixed paraffin-embedded tissues: Methods and protocols. New York: Humana Press, 2011.
Znajdź pełny tekst źródłaCzęści książek na temat "Embedding formalism"
Möller, Bernhard, Peter O’Hearn i Tony Hoare. "On Algebra of Program Correctness and Incorrectness". W Relational and Algebraic Methods in Computer Science, 325–43. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88701-8_20.
Pełny tekst źródłaKrause, Franz, Kabul Kurniawan, Elmar Kiesling, Jorge Martinez-Gil, Thomas Hoch, Mario Pichler, Bernhard Heinzl i Bernhard Moser. "Leveraging Semantic Representations via Knowledge Graph Embeddings". W Artificial Intelligence in Manufacturing, 71–85. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-46452-2_5.
Pełny tekst źródłaReetz, Ralf, i Thomas Kropf. "Simplifying deep embedding: A formalised code generator". W Higher Order Logic Theorem Proving and Its Applications, 378–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58450-1_55.
Pełny tekst źródłaReynolds, Conor. "Formalizing the Institution for Event-B in the Coq Proof Assistant". W Rigorous State-Based Methods, 162–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77543-8_17.
Pełny tekst źródłaAngelo, Catia M., Luc Claesen i Hugo Man. "Degrees of formality in shallow embedding hardware description languages in HOL". W Higher Order Logic Theorem Proving and Its Applications, 89–100. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57826-9_127.
Pełny tekst źródłaBílková, Marta, Sabine Frittella i Daniil Kozhemiachenko. "Paraconsistent Gödel Modal Logic". W Automated Reasoning, 429–48. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Pełny tekst źródłaMurase, Yuito, Yuichi Nishiwaki i Atsushi Igarashi. "Contextual Modal Type Theory with Polymorphic Contexts". W Programming Languages and Systems, 281–308. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.
Pełny tekst źródłaBaggott, Jim. "Dirac, Von Neumann, and the Derivation of the Quantum Formalism". W The Quantum Cookbook, 203–18. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198827856.003.0011.
Pełny tekst źródłaCapra, Lorenzo, i Walter Cazzola. "An Introduction to Reflective Petri Nets". W Handbook of Research on Discrete Event Simulation Environments, 191–217. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-774-4.ch009.
Pełny tekst źródłaDulak, M., i T. A. Wesolowski. "Adaptive grid technique for computer simulations of condensed matter using orbital-free embedding formalism." W In the Frontiers of Computational Science, 282–88. CRC Press, 2005. http://dx.doi.org/10.1201/b12167-28.
Pełny tekst źródłaStreszczenia konferencji na temat "Embedding formalism"
Saraiva, J., i S. Schneider. "Embedding domain specific languages in the attribute grammar formalism". W 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the. IEEE, 2003. http://dx.doi.org/10.1109/hicss.2003.1174889.
Pełny tekst źródłaBustos-Brinez, Oscar, Joseph Gallego i Fabio Gonzalez. "Anomaly Detection through Density Matrices and Kernel Density Estimation (AD-DMKDE)". W LatinX in AI at Neural Information Processing Systems Conference 2022. Journal of LatinX in AI Research, 2022. http://dx.doi.org/10.52591/lxai2022112810.
Pełny tekst źródłaBenger, Werner. "Illustrating Geometric Algebra and Differential Geometry in 5D Color Space". W WSCG 2023 – 31. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. University of West Bohemia, Czech Republic, 2023. http://dx.doi.org/10.24132/csrn.3301.1.
Pełny tekst źródłaGuo, Guibing, Shichang Ouyang, Fajie Yuan i Xingwei Wang. "Approximating Word Ranking and Negative Sampling for Word Embedding". W Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/569.
Pełny tekst źródłaTian, Yijun, Chuxu Zhang, Zhichun Guo, Yihong Ma, Ronald Metoyer i Nitesh V. Chawla. "Recipe2Vec: Multi-modal Recipe Representation Learning with Graph Neural Networks". W Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/482.
Pełny tekst źródłaYi, Xiaoyuan, Zhenghao Liu, Wenhao Li i Maosong Sun. "Text Style Transfer via Learning Style Instance Supported Latent Space". W 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/526.
Pełny tekst źródłaThiesen, Ana Paula, Bruna Mielczarski i Ricardo Francalacci Savaris. "DEEP LEARNING NEURAL NETWORK IMAGE ANALYSIS OF IMMUNOHISTOCHEMICAL PROTEIN EXPRESSION REVEALS A SIGNIFICANTLY REDUCED EXPRESSION OF BIGLYCAN IN BREAST CANCER". W Brazilian Breast Cancer Symposium 2022. Mastology, 2022. http://dx.doi.org/10.29289/259453942022v32s2014.
Pełny tekst źródła