Literatura científica selecionada sobre o tema "Embedding formalism"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Embedding formalism".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Embedding formalism"
ABREU, E. M. C., A. C. R. MENDES, C. NEVES, W. OLIVEIRA e F. I. TAKAKURA. "DUALITY THROUGH THE SYMPLECTIC EMBEDDING FORMALISM". International Journal of Modern Physics A 22, n.º 21 (20 de agosto de 2007): 3605–20. http://dx.doi.org/10.1142/s0217751x07036932.
Texto completo da fonteMikura, Yusuke, e Yuichiro Tada. "On UV-completion of Palatini-Higgs inflation". Journal of Cosmology and Astroparticle Physics 2022, n.º 05 (1 de maio de 2022): 035. http://dx.doi.org/10.1088/1475-7516/2022/05/035.
Texto completo da fonteAbreu, E. M. C., J. Ananias Neto, A. C. R. Mendes, C. Neves e W. Oliveira. "Obtaining gauge invariant actions via symplectic embedding formalism". Annalen der Physik 524, n.º 8 (18 de junho de 2012): 434–55. http://dx.doi.org/10.1002/andp.201100199.
Texto completo da fonteHONG, SOON-TAE, e YOUNG-JAI PARK. "BFT HAMILTONIAN EMBEDDING FOR SU(3) SKYRMION". Modern Physics Letters A 15, n.º 14 (10 de maio de 2000): 913–23. http://dx.doi.org/10.1142/s0217732300000918.
Texto completo da fonteBanerjee, R., e J. Barcelos-Neto. "Reducible Systems and Embedding Procedures in the Canonical Formalism". Annals of Physics 265, n.º 2 (maio de 1998): 134–54. http://dx.doi.org/10.1006/aphy.1997.9998.
Texto completo da fontePernal, Katarzyna. "Reduced density matrix embedding. General formalism and inter-domain correlation functional". Physical Chemistry Chemical Physics 18, n.º 31 (2016): 21111–21. http://dx.doi.org/10.1039/c6cp00524a.
Texto completo da fonteMONEMZADEH, M., e M. TAKI. "HAMILTONIAN EMBEDDING OF NONCOMMUTATIVE D-BRANE SYSTEM". International Journal of Modern Physics A 26, n.º 06 (10 de março de 2011): 1035–43. http://dx.doi.org/10.1142/s0217751x11051597.
Texto completo da fontePavanello, Michele, e Johannes Neugebauer. "Modelling charge transfer reactions with the frozen density embedding formalism". Journal of Chemical Physics 135, n.º 23 (21 de dezembro de 2011): 234103. http://dx.doi.org/10.1063/1.3666005.
Texto completo da fonteKopeikin, Sergei. "Beyond the standard IAU framework". Proceedings of the International Astronomical Union 5, S261 (abril de 2009): 7–15. http://dx.doi.org/10.1017/s1743921309990081.
Texto completo da fonteMONEMZADEH, M., e AGHILEH S. EBRAHIMI. "EMBEDDING OF NONCOMMUTATIVE MASSIVE QED". Modern Physics Letters A 27, n.º 14 (5 de maio de 2012): 1250081. http://dx.doi.org/10.1142/s0217732312500812.
Texto completo da fonteTeses / dissertações sobre o assunto "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.
Texto completo da fonteThe 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
Livros sobre o assunto "Embedding formalism"
Formalin-fixed paraffin-embedded tissues: Methods and protocols. New York: Humana Press, 2011.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Embedding formalism"
Möller, Bernhard, Peter O’Hearn e 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.
Texto completo da fonteKrause, Franz, Kabul Kurniawan, Elmar Kiesling, Jorge Martinez-Gil, Thomas Hoch, Mario Pichler, Bernhard Heinzl e 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.
Texto completo da fonteReetz, Ralf, e 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.
Texto completo da fonteReynolds, 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.
Texto completo da fonteAngelo, Catia M., Luc Claesen e 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.
Texto completo da fonteBílková, Marta, Sabine Frittella e 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.
Texto completo da fonteMurase, Yuito, Yuichi Nishiwaki e 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.
Texto completo da fonteBaggott, 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.
Texto completo da fonteCapra, Lorenzo, e 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.
Texto completo da fonteDulak, M., e 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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Embedding formalism"
Saraiva, J., e 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.
Texto completo da fonteBustos-Brinez, Oscar, Joseph Gallego e 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.
Texto completo da fonteBenger, 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.
Texto completo da fonteGuo, Guibing, Shichang Ouyang, Fajie Yuan e 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.
Texto completo da fonteTian, Yijun, Chuxu Zhang, Zhichun Guo, Yihong Ma, Ronald Metoyer e 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.
Texto completo da fonteYi, Xiaoyuan, Zhenghao Liu, Wenhao Li e 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.
Texto completo da fonteThiesen, Ana Paula, Bruna Mielczarski e 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.
Texto completo da fonte