Littérature scientifique sur le sujet « Embedding formalism »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « Embedding formalism ».
À 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 "Embedding formalism"
ABREU, E. M. C., A. C. R. MENDES, C. NEVES, W. OLIVEIRA et F. I. TAKAKURA. « DUALITY THROUGH THE SYMPLECTIC EMBEDDING FORMALISM ». International Journal of Modern Physics A 22, no 21 (20 août 2007) : 3605–20. http://dx.doi.org/10.1142/s0217751x07036932.
Texte intégralMikura, Yusuke, et Yuichiro Tada. « On UV-completion of Palatini-Higgs inflation ». Journal of Cosmology and Astroparticle Physics 2022, no 05 (1 mai 2022) : 035. http://dx.doi.org/10.1088/1475-7516/2022/05/035.
Texte intégralAbreu, E. M. C., J. Ananias Neto, A. C. R. Mendes, C. Neves et W. Oliveira. « Obtaining gauge invariant actions via symplectic embedding formalism ». Annalen der Physik 524, no 8 (18 juin 2012) : 434–55. http://dx.doi.org/10.1002/andp.201100199.
Texte intégralHONG, SOON-TAE, et YOUNG-JAI PARK. « BFT HAMILTONIAN EMBEDDING FOR SU(3) SKYRMION ». Modern Physics Letters A 15, no 14 (10 mai 2000) : 913–23. http://dx.doi.org/10.1142/s0217732300000918.
Texte intégralBanerjee, R., et J. Barcelos-Neto. « Reducible Systems and Embedding Procedures in the Canonical Formalism ». Annals of Physics 265, no 2 (mai 1998) : 134–54. http://dx.doi.org/10.1006/aphy.1997.9998.
Texte intégralPernal, Katarzyna. « Reduced density matrix embedding. General formalism and inter-domain correlation functional ». Physical Chemistry Chemical Physics 18, no 31 (2016) : 21111–21. http://dx.doi.org/10.1039/c6cp00524a.
Texte intégralMONEMZADEH, M., et M. TAKI. « HAMILTONIAN EMBEDDING OF NONCOMMUTATIVE D-BRANE SYSTEM ». International Journal of Modern Physics A 26, no 06 (10 mars 2011) : 1035–43. http://dx.doi.org/10.1142/s0217751x11051597.
Texte intégralPavanello, Michele, et Johannes Neugebauer. « Modelling charge transfer reactions with the frozen density embedding formalism ». Journal of Chemical Physics 135, no 23 (21 décembre 2011) : 234103. http://dx.doi.org/10.1063/1.3666005.
Texte intégralKopeikin, Sergei. « Beyond the standard IAU framework ». Proceedings of the International Astronomical Union 5, S261 (avril 2009) : 7–15. http://dx.doi.org/10.1017/s1743921309990081.
Texte intégralMONEMZADEH, M., et AGHILEH S. EBRAHIMI. « EMBEDDING OF NONCOMMUTATIVE MASSIVE QED ». Modern Physics Letters A 27, no 14 (5 mai 2012) : 1250081. http://dx.doi.org/10.1142/s0217732312500812.
Texte intégralThèses sur le sujet "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.
Texte intégralThe 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
Livres sur le sujet "Embedding formalism"
Formalin-fixed paraffin-embedded tissues : Methods and protocols. New York : Humana Press, 2011.
Trouver le texte intégralChapitres de livres sur le sujet "Embedding formalism"
Möller, Bernhard, Peter O’Hearn et Tony Hoare. « On Algebra of Program Correctness and Incorrectness ». Dans 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.
Texte intégralKrause, Franz, Kabul Kurniawan, Elmar Kiesling, Jorge Martinez-Gil, Thomas Hoch, Mario Pichler, Bernhard Heinzl et Bernhard Moser. « Leveraging Semantic Representations via Knowledge Graph Embeddings ». Dans Artificial Intelligence in Manufacturing, 71–85. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-46452-2_5.
Texte intégralReetz, Ralf, et Thomas Kropf. « Simplifying deep embedding : A formalised code generator ». Dans 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.
Texte intégralReynolds, Conor. « Formalizing the Institution for Event-B in the Coq Proof Assistant ». Dans Rigorous State-Based Methods, 162–66. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77543-8_17.
Texte intégralAngelo, Catia M., Luc Claesen et Hugo Man. « Degrees of formality in shallow embedding hardware description languages in HOL ». Dans 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.
Texte intégralBílková, Marta, Sabine Frittella et Daniil Kozhemiachenko. « Paraconsistent Gödel Modal Logic ». Dans Automated Reasoning, 429–48. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Texte intégralMurase, Yuito, Yuichi Nishiwaki et Atsushi Igarashi. « Contextual Modal Type Theory with Polymorphic Contexts ». Dans Programming Languages and Systems, 281–308. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.
Texte intégralBaggott, Jim. « Dirac, Von Neumann, and the Derivation of the Quantum Formalism ». Dans The Quantum Cookbook, 203–18. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198827856.003.0011.
Texte intégralCapra, Lorenzo, et Walter Cazzola. « An Introduction to Reflective Petri Nets ». Dans 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.
Texte intégralDulak, M., et T. A. Wesolowski. « Adaptive grid technique for computer simulations of condensed matter using orbital-free embedding formalism. » Dans In the Frontiers of Computational Science, 282–88. CRC Press, 2005. http://dx.doi.org/10.1201/b12167-28.
Texte intégralActes de conférences sur le sujet "Embedding formalism"
Saraiva, J., et S. Schneider. « Embedding domain specific languages in the attribute grammar formalism ». Dans 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the. IEEE, 2003. http://dx.doi.org/10.1109/hicss.2003.1174889.
Texte intégralBustos-Brinez, Oscar, Joseph Gallego et Fabio Gonzalez. « Anomaly Detection through Density Matrices and Kernel Density Estimation (AD-DMKDE) ». Dans LatinX in AI at Neural Information Processing Systems Conference 2022. Journal of LatinX in AI Research, 2022. http://dx.doi.org/10.52591/lxai2022112810.
Texte intégralBenger, Werner. « Illustrating Geometric Algebra and Differential Geometry in 5D Color Space ». Dans 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.
Texte intégralGuo, Guibing, Shichang Ouyang, Fajie Yuan et Xingwei Wang. « Approximating Word Ranking and Negative Sampling for Word Embedding ». Dans 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.
Texte intégralTian, Yijun, Chuxu Zhang, Zhichun Guo, Yihong Ma, Ronald Metoyer et Nitesh V. Chawla. « Recipe2Vec : Multi-modal Recipe Representation Learning with Graph Neural Networks ». Dans 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.
Texte intégralYi, Xiaoyuan, Zhenghao Liu, Wenhao Li et Maosong Sun. « Text Style Transfer via Learning Style Instance Supported Latent Space ». 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/526.
Texte intégralThiesen, Ana Paula, Bruna Mielczarski et Ricardo Francalacci Savaris. « DEEP LEARNING NEURAL NETWORK IMAGE ANALYSIS OF IMMUNOHISTOCHEMICAL PROTEIN EXPRESSION REVEALS A SIGNIFICANTLY REDUCED EXPRESSION OF BIGLYCAN IN BREAST CANCER ». Dans Brazilian Breast Cancer Symposium 2022. Mastology, 2022. http://dx.doi.org/10.29289/259453942022v32s2014.
Texte intégral