Literatura académica sobre el tema "Higher-order term"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Higher-order term".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Higher-order term"
Pientka, Brigitte. "Higher-order term indexing using substitution trees". ACM Transactions on Computational Logic 11, n.º 1 (octubre de 2009): 1–40. http://dx.doi.org/10.1145/1614431.1614437.
Texto completoBurshtein, D. "Long-term attraction in higher order neural networks". IEEE Transactions on Neural Networks 9, n.º 1 (1998): 42–50. http://dx.doi.org/10.1109/72.655028.
Texto completoIto, Akihiro. "Derivation of Skyrme Lagrangian and higher-order term". Physical Review D 41, n.º 9 (1 de mayo de 1990): 2930–32. http://dx.doi.org/10.1103/physrevd.41.2930.
Texto completoD’Abbicco, Marcello y Enrico Jannelli. "A damping term for higher-order hyperbolic equations". Annali di Matematica Pura ed Applicata (1923 -) 195, n.º 2 (29 de enero de 2015): 557–70. http://dx.doi.org/10.1007/s10231-015-0477-z.
Texto completoAstesiano, Egidio y Maura Cerioli. "Partial Higher-Order Specifications1". Fundamenta Informaticae 16, n.º 2 (1 de marzo de 1992): 101–26. http://dx.doi.org/10.3233/fi-1992-16203.
Texto completoBALDAN, PAOLO, CLARA BERTOLISSI, HORATIU CIRSTEA y CLAUDE KIRCHNER. "A rewriting calculus for cyclic higher-order term graphs". Mathematical Structures in Computer Science 17, n.º 3 (junio de 2007): 363–406. http://dx.doi.org/10.1017/s0960129507006093.
Texto completoBertolissi, C., P. Baldan, H. Cirstea y C. Kirchner. "A Rewriting Calculus for Cyclic Higher-order Term Graphs". Electronic Notes in Theoretical Computer Science 127, n.º 5 (mayo de 2005): 21–41. http://dx.doi.org/10.1016/j.entcs.2005.01.034.
Texto completoBartušek, Miroslav, Zuzana Došlá y Mauro Marini. "Oscillation for higher order differential equations with a middle term". Boundary Value Problems 2014, n.º 1 (2014): 48. http://dx.doi.org/10.1186/1687-2770-2014-48.
Texto completoYang, Chunxiao, Feiyu Ji y Qingyan Yin. "Fujita phenomenon in higher-order parabolic equation with nonlocal term". Applicable Analysis 97, n.º 6 (6 de marzo de 2017): 1042–48. http://dx.doi.org/10.1080/00036811.2017.1298744.
Texto completoBartušek, M., M. Cecchi, Z. Došlá y M. Marini. "Asymptotics for higher order differential equations with a middle term". Journal of Mathematical Analysis and Applications 388, n.º 2 (abril de 2012): 1130–40. http://dx.doi.org/10.1016/j.jmaa.2011.10.059.
Texto completoTesis sobre el tema "Higher-order term"
KUSAKARI, Keiichirou. "Higher-Order Path Orders Based on Computability". Institute of Electronics, Information and Communication Engineers, 2004. http://hdl.handle.net/2237/14973.
Texto completoGyftodimos, Elias. "A probabilistic graphical model framework for higher-order term-based representations". Thesis, University of Bristol, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425088.
Texto completoBroadway, Jr James M. "Running memory/working memory span tasks and their prediction of higher-order cognition /". Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22629.
Texto completoCHIBA, Yuki y Keiichirou KUSAKARI. "A Higher-Order Knuth-Bendix Procedure and Its Applications". Institute of Electronics, Information and Communication Engineers, 2007. http://hdl.handle.net/2237/14974.
Texto completoBroadway, James M. Jr. "Running memory/working memory: span tasks and their prediction of higher-order cognition". Thesis, Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22629.
Texto completoIWAMI, Munehiro, Masahiko SAKAI y Yoshihito TOYAMA. "An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems". IEICE, 1998. http://hdl.handle.net/2237/9576.
Texto completoRaghunandan, Jayshan. "Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting". Thesis, Imperial College London, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781.
Texto completoKUSAKARI, Keiichirou, Masahiko SAKAI y Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting". IEICE, 2005. http://hdl.handle.net/2237/9580.
Texto completoGioev, Dimitri. "Generalizations of Szego Limit Theorem : Higher Order Terms and Discontinuous Symbols". Doctoral thesis, KTH, Mathematics, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3123.
Texto completoGioev, Dimitri. "Generalizations of Szegö limit theorem : higher order terms and discontinuous symbols /". Stockholm : Tekniska högsk, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3123.
Texto completoLibros sobre el tema "Higher-order term"
Heering, Jan, Karl Meinke, Bernhard Möller y Tobias Nipkow, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Texto completoDowek, Gilles, Jan Heering, Karl Meinke y Bernhard Möller, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Texto completoGilles, Dowek y International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany), eds. Higher-order algebra, logic, and term rewriting: Second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers. Berlin: Springer, 1996.
Buscar texto completoJ, Heering y International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), eds. Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers. Berlin: Springer-Verlag, 1994.
Buscar texto completoMironov, Rinat, Sergey Zubarev y Marsel' Valeev. Law enforcement and judicial authorities. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Texto completoTyulin, Andrey y Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Texto completoHeering, Jan, Karl Meinke y Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Buscar texto completoHeering, Jan, Karl Meinke y Bernhard Möller. Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. Springer, 2014.
Buscar texto completoHigher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science). Springer, 1994.
Buscar texto completoLogic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science). Springer-Verlag, 1996.
Buscar texto completoCapítulos de libros sobre el tema "Higher-order term"
Klop, Jan Willem. "Term graph rewriting". En Higher-Order Algebra, Logic, and Term Rewriting, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_16.
Texto completoFang, Wenchang y Jung-Hong Kao. "Set-of-support strategy for higher-order logic". En Conditional Term Rewriting Systems, 498–501. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56393-8_40.
Texto completoSteggles, L. J. "Higher-order algebra with transfinite types". En Higher-Order Algebra, Logic, and Term Rewriting, 238–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_29.
Texto completoPol, Jaco. "Termination proofs for higher-order rewrite systems". En Higher-Order Algebra, Logic, and Term Rewriting, 305–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_14.
Texto completoBerghammer, Rudolf, Thomas F. Gritzner y Gunther Schmidt. "Prototyping relational specifications using higher-order objects". En Higher-Order Algebra, Logic, and Term Rewriting, 56–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_4.
Texto completoDeursen, Arie y T. B. Dinesh. "Origin tracking for higher-order term rewriting systems". En Higher-Order Algebra, Logic, and Term Rewriting, 76–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_5.
Texto completovan Klink, J. M. M., M. S. Spruijt y Enrico Lopriore. "Cerebral Palsy and Long-Term Neurodevelopmental Impairment in Complicated Monochorionic Twin Pregnancy". En Twin and Higher-order Pregnancies, 391–408. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-47652-6_27.
Texto completoMöller, Bernhard. "Ordered and continuous models of higher-order specifications". En Higher-Order Algebra, Logic, and Term Rewriting, 223–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_11.
Texto completoBlom, Stefan. "A complete proof system for Nested Term Graphs". En Higher-Order Algebra, Logic, and Term Rewriting, 74–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_20.
Texto completoSpringintveld, Jan. "Third-order matching in the polymorphic lambda calculus". En Higher-Order Algebra, Logic, and Term Rewriting, 221–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_28.
Texto completoActas de conferencias sobre el tema "Higher-order term"
Manna, Sukanya, Zoltan Petres y Tom Gedeon. "Significant term extraction by Higher Order SVD". En 2009 7th International Symposium on Applied Machine Intelligence and Informatics (SAMI 2009). IEEE, 2009. http://dx.doi.org/10.1109/sami.2009.4956610.
Texto completoBendersky, Michael y W. Bruce Croft. "Modeling higher-order term dependencies in information retrieval using query hypergraphs". En the 35th international ACM SIGIR conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2348283.2348408.
Texto completoJiang, Jiangfeng, Gengfeng Li, Zhaohong Bie y Huan Xu. "Short-term load forecasting based on higher order partial least squares (HOPLS)". En 2017 IEEE Electrical Power and Energy Conference (EPEC). IEEE, 2017. http://dx.doi.org/10.1109/epec.2017.8286222.
Texto completoCheng, Yih-Shyang. "Higher-order analysis of the interference patterns in cross-grating interferometers". En OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.thaa4.
Texto completoSangeetha, S., S. K. Thamilvanan y Ethiraju Thandapani. "The oscillation measures for higher order difference equation having a superlinear neutral term". En 2ND INTERNATIONAL CONFERENCE ON MATHEMATICAL TECHNIQUES AND APPLICATIONS: ICMTA2021. AIP Publishing, 2022. http://dx.doi.org/10.1063/5.0108646.
Texto completoPadhy, Saraju Prasad, Madhusmita Panda, Srinivas Sethi y Aruna Tripathy. "Impact of Higher Order Horizontal Sectorisation on a Real 4G Long Term Evolution Network". En 2020 International Conference on Electronics and Sustainable Communication Systems (ICESC). IEEE, 2020. http://dx.doi.org/10.1109/icesc48915.2020.9155608.
Texto completoFronk, Matthew y Michael J. Leamy. "Waveform Invariance in Nonlinear Periodic Systems Using Higher-Order Multiple Scales". En ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-59547.
Texto completoHaider, Syed Tabish y Tadeusz W. Patzek. "Higher-Order Derivatives of Production Rate and Convolutional Neural Network for Production Forecasts". En International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-22486-ms.
Texto completoHorner, Joseph L. y Bahram Javidi. "Theory of the binary phase-only filters for optical pattern recognition". En OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.thk3.
Texto completoBaralon, Stephane, Lars-Erik Eriksson y Ulf Håll. "Evaluation of Higher-Order Terms in the Throughflow Approximation Using 3D Navier-Stokes Computations of a Transonic Compressor Rotor". En ASME 1999 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/99-gt-074.
Texto completoInformes sobre el tema "Higher-order term"
Busso, Matías y Juan Pablo Chauvin. Long-term Effects of Weather-induced Migration on Urban Labor and Housing Markets. Inter-American Development Bank, enero de 2023. http://dx.doi.org/10.18235/0004714.
Texto completoQian, Yi, Hui Xie y Anthony Koschmann. Should Copula Endogeneity Correction Include Generated Regressors for Higher-order Terms? No, It Hurts. Cambridge, MA: National Bureau of Economic Research, abril de 2022. http://dx.doi.org/10.3386/w29978.
Texto completoSela, Shlomo y Michael McClelland. Desiccation Tolerance in Salmonella and its Implications. United States Department of Agriculture, mayo de 2013. http://dx.doi.org/10.32747/2013.7594389.bard.
Texto completoVanderGheynst, Jean, Michael Raviv, Jim Stapleton y Dror Minz. Effect of Combined Solarization and in Solum Compost Decomposition on Soil Health. United States Department of Agriculture, octubre de 2013. http://dx.doi.org/10.32747/2013.7594388.bard.
Texto completoWillis, Craig. Why Scottish and Welsh Speakers Will Miss European Structural Funds. European Centre for Minority Issues, agosto de 2021. http://dx.doi.org/10.53779/jkwo3330.
Texto completoPerera, Duminda, Ousmane Seidou, Jetal Agnihotri, Mohamed Rasmy, Vladimir Smakhtin, Paulin Coulibaly y Hamid Mehmood. Flood Early Warning Systems: A Review Of Benefits, Challenges And Prospects. United Nations University Institute for Water, Environment and Health, agosto de 2019. http://dx.doi.org/10.53328/mjfq3791.
Texto completoShani, Uri, Lynn Dudley, Alon Ben-Gal, Menachem Moshelion y Yajun Wu. Root Conductance, Root-soil Interface Water Potential, Water and Ion Channel Function, and Tissue Expression Profile as Affected by Environmental Conditions. United States Department of Agriculture, octubre de 2007. http://dx.doi.org/10.32747/2007.7592119.bard.
Texto completoShenker, Moshe, Paul R. Bloom, Abraham Shaviv, Adina Paytan, Barbara J. Cade-Menun, Yona Chen y Jorge Tarchitzky. Fate of Phosphorus Originated from Treated Wastewater and Biosolids in Soils: Speciation, Transport, and Accumulation. United States Department of Agriculture, junio de 2011. http://dx.doi.org/10.32747/2011.7697103.bard.
Texto completoHaddock, John E., Reyhaneh Rahbar-Rastegar, M. Reza Pouranian, Miguel Montoya y Harsh Patel. Implementing the Superpave 5 Asphalt Mixture Design Method in Indiana. Purdue University, 2020. http://dx.doi.org/10.5703/1288284317127.
Texto completoOlsson, Olle. Industrial decarbonization done right: identifying success factors for well-functioning permitting processes. Stockholm Environment Institute, noviembre de 2021. http://dx.doi.org/10.51414/sei2021.034.
Texto completo