Auswahl der wissenschaftlichen Literatur zum Thema „Embedding formalism“
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 "Embedding formalism" 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 "Embedding formalism"
ABREU, E. M. C., A. C. R. MENDES, C. NEVES, W. OLIVEIRA und 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.
Der volle Inhalt der QuelleMikura, Yusuke, und Yuichiro Tada. „On UV-completion of Palatini-Higgs inflation“. Journal of Cosmology and Astroparticle Physics 2022, Nr. 05 (01.05.2022): 035. http://dx.doi.org/10.1088/1475-7516/2022/05/035.
Der volle Inhalt der QuelleAbreu, E. M. C., J. Ananias Neto, A. C. R. Mendes, C. Neves und 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.
Der volle Inhalt der QuelleHONG, SOON-TAE, und 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.
Der volle Inhalt der QuelleBanerjee, R., und J. Barcelos-Neto. „Reducible Systems and Embedding Procedures in the Canonical Formalism“. Annals of Physics 265, Nr. 2 (Mai 1998): 134–54. http://dx.doi.org/10.1006/aphy.1997.9998.
Der volle Inhalt der QuellePernal, 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.
Der volle Inhalt der QuelleMONEMZADEH, M., und 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.
Der volle Inhalt der QuellePavanello, Michele, und 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.
Der volle Inhalt der QuelleKopeikin, Sergei. „Beyond the standard IAU framework“. Proceedings of the International Astronomical Union 5, S261 (April 2009): 7–15. http://dx.doi.org/10.1017/s1743921309990081.
Der volle Inhalt der QuelleMONEMZADEH, M., und AGHILEH S. EBRAHIMI. „EMBEDDING OF NONCOMMUTATIVE MASSIVE QED“. Modern Physics Letters A 27, Nr. 14 (05.05.2012): 1250081. http://dx.doi.org/10.1142/s0217732312500812.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleThe 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
Bücher zum Thema "Embedding formalism"
Formalin-fixed paraffin-embedded tissues: Methods and protocols. New York: Humana Press, 2011.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Embedding formalism"
Möller, Bernhard, Peter O’Hearn und Tony Hoare. „On Algebra of Program Correctness and Incorrectness“. In 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.
Der volle Inhalt der QuelleKrause, Franz, Kabul Kurniawan, Elmar Kiesling, Jorge Martinez-Gil, Thomas Hoch, Mario Pichler, Bernhard Heinzl und Bernhard Moser. „Leveraging Semantic Representations via Knowledge Graph Embeddings“. In Artificial Intelligence in Manufacturing, 71–85. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-46452-2_5.
Der volle Inhalt der QuelleReetz, Ralf, und Thomas Kropf. „Simplifying deep embedding: A formalised code generator“. In 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.
Der volle Inhalt der QuelleReynolds, Conor. „Formalizing the Institution for Event-B in the Coq Proof Assistant“. In Rigorous State-Based Methods, 162–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77543-8_17.
Der volle Inhalt der QuelleAngelo, Catia M., Luc Claesen und Hugo Man. „Degrees of formality in shallow embedding hardware description languages in HOL“. In 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.
Der volle Inhalt der QuelleBílková, Marta, Sabine Frittella und Daniil Kozhemiachenko. „Paraconsistent Gödel Modal Logic“. In Automated Reasoning, 429–48. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Der volle Inhalt der QuelleMurase, Yuito, Yuichi Nishiwaki und Atsushi Igarashi. „Contextual Modal Type Theory with Polymorphic Contexts“. In Programming Languages and Systems, 281–308. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.
Der volle Inhalt der QuelleBaggott, Jim. „Dirac, Von Neumann, and the Derivation of the Quantum Formalism“. In The Quantum Cookbook, 203–18. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198827856.003.0011.
Der volle Inhalt der QuelleCapra, Lorenzo, und Walter Cazzola. „An Introduction to Reflective Petri Nets“. In 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.
Der volle Inhalt der QuelleDulak, M., und T. A. Wesolowski. „Adaptive grid technique for computer simulations of condensed matter using orbital-free embedding formalism.“ In In the Frontiers of Computational Science, 282–88. CRC Press, 2005. http://dx.doi.org/10.1201/b12167-28.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Embedding formalism"
Saraiva, J., und S. Schneider. „Embedding domain specific languages in the attribute grammar formalism“. In 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the. IEEE, 2003. http://dx.doi.org/10.1109/hicss.2003.1174889.
Der volle Inhalt der QuelleBustos-Brinez, Oscar, Joseph Gallego und Fabio Gonzalez. „Anomaly Detection through Density Matrices and Kernel Density Estimation (AD-DMKDE)“. In LatinX in AI at Neural Information Processing Systems Conference 2022. Journal of LatinX in AI Research, 2022. http://dx.doi.org/10.52591/lxai2022112810.
Der volle Inhalt der QuelleBenger, Werner. „Illustrating Geometric Algebra and Differential Geometry in 5D Color Space“. In 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.
Der volle Inhalt der QuelleGuo, Guibing, Shichang Ouyang, Fajie Yuan und Xingwei Wang. „Approximating Word Ranking and Negative Sampling for Word Embedding“. In 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.
Der volle Inhalt der QuelleTian, Yijun, Chuxu Zhang, Zhichun Guo, Yihong Ma, Ronald Metoyer und Nitesh V. Chawla. „Recipe2Vec: Multi-modal Recipe Representation Learning with Graph Neural Networks“. In 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.
Der volle Inhalt der QuelleYi, Xiaoyuan, Zhenghao Liu, Wenhao Li und Maosong Sun. „Text Style Transfer via Learning Style Instance Supported Latent Space“. 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/526.
Der volle Inhalt der QuelleThiesen, Ana Paula, Bruna Mielczarski und Ricardo Francalacci Savaris. „DEEP LEARNING NEURAL NETWORK IMAGE ANALYSIS OF IMMUNOHISTOCHEMICAL PROTEIN EXPRESSION REVEALS A SIGNIFICANTLY REDUCED EXPRESSION OF BIGLYCAN IN BREAST CANCER“. In Brazilian Breast Cancer Symposium 2022. Mastology, 2022. http://dx.doi.org/10.29289/259453942022v32s2014.
Der volle Inhalt der Quelle