Artículos de revistas sobre el tema "HLS type system"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "HLS type system".
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.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Cao, Linfen y Zhaohui Dai. "Symmetry and Nonexistence of Positive Solutions for Weighted HLS System of Integral Equations on a Half Space". Abstract and Applied Analysis 2014 (2014): 1–7. http://dx.doi.org/10.1155/2014/593210.
Texto completoWang, Nan, Qi Zhang, Weihua Han, Chengxin Bai, Boyang Hou, Yue Liu y Shuai Wang. "Chemical Characteristics of Dark-Brown Humic-Like Substances Formed from the Abiotic Condensation of Maillard Precursors with Different Glycine Concentrations". Agronomy 12, n.º 9 (15 de septiembre de 2022): 2199. http://dx.doi.org/10.3390/agronomy12092199.
Texto completoLavrentiev, Mikhail, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov y Mikhail Shadrin. "Algorithmic Design of an FPGA-Based Calculator for Fast Evaluation of Tsunami Wave Danger". Algorithms 14, n.º 12 (26 de noviembre de 2021): 343. http://dx.doi.org/10.3390/a14120343.
Texto completoMelin, Patricia y Daniela Sánchez. "Optimal design of type-2 fuzzy systems for diabetes classification based on genetic algorithms". International Journal of Hybrid Intelligent Systems 17, n.º 1-2 (13 de julio de 2021): 15–32. http://dx.doi.org/10.3233/his-210004.
Texto completoWACK, BENJAMIN y CLÉMENT HOUTMANN. "Strong normalisation in two Pure Pattern Type Systems". Mathematical Structures in Computer Science 18, n.º 3 (junio de 2008): 431–65. http://dx.doi.org/10.1017/s0960129508006749.
Texto completoJones, Mark P. "A system of constructor classes: overloading and implicit higher-order polymorphism". Journal of Functional Programming 5, n.º 1 (enero de 1995): 1–35. http://dx.doi.org/10.1017/s0956796800001210.
Texto completoSILES, VINCENT y HUGO HERBELIN. "Pure Type System conversion is always typable". Journal of Functional Programming 22, n.º 2 (marzo de 2012): 153–80. http://dx.doi.org/10.1017/s0956796812000044.
Texto completoDUNFIELD, JOSHUA. "Elaborating intersection and union types". Journal of Functional Programming 24, n.º 2-3 (20 de enero de 2014): 133–65. http://dx.doi.org/10.1017/s0956796813000270.
Texto completoMehar, Pramod Kumar y Mrs Madhu Upadhyay. "Power System Stability Study on Multi Machine Systems having DFIG Based Wind Generation System". SMART MOVES JOURNAL IJOSCIENCE 6, n.º 3 (10 de marzo de 2020): 27–30. http://dx.doi.org/10.24113/ijoscience.v6i3.279.
Texto completoGiorgi, Roberto, Farnam Khalili y Marco Procaccini. "Translating Timing into an Architecture: The Synergy of COTSon and HLS (Domain Expertise—Designing a Computer Architecture via HLS)". International Journal of Reconfigurable Computing 2019 (3 de noviembre de 2019): 1–18. http://dx.doi.org/10.1155/2019/2624938.
Texto completoBohno, Takaaki, Akira Tomioka, Shinichi Nose, Masayuki Konno, Toshio Uede, Tadakazu Imayoshi, Hidemi Hayashi, Katsuya Tsutsumi y Fujio Irie. "Development of HTS (High-Temperature-Superconductor) Current Leads for 1MW/lkWh Module Type SMES System". IEEJ Transactions on Power and Energy 116, n.º 7 (1996): 853–59. http://dx.doi.org/10.1541/ieejpes1990.116.7_853.
Texto completoLäufer, Konstantin. "Type classes with existential types". Journal of Functional Programming 6, n.º 3 (mayo de 1996): 485–518. http://dx.doi.org/10.1017/s0956796800001817.
Texto completoKazerounian, Milod, Jeffrey S. Foster y Bonan Min. "SimTyper: sound type inference for Ruby using type equality prediction". Proceedings of the ACM on Programming Languages 5, OOPSLA (20 de octubre de 2021): 1–27. http://dx.doi.org/10.1145/3485483.
Texto completoTokano, Takashi, Yasuro Nakata, Masayuki Yasuda, Yoshihisa Matsumoto, Yasuhiko Ohno, Teruhiko Hisaoka, Masataka Sumiyoshi, Shunsuke Ogura, Yuji Nakazato y Hiroshi Yamaguchi. "Wenckebach Type Second Degree Atrioventricular Block in the His-Purkinje System." Japanese Journal of Electrocardiology 16, n.º 1 (1996): 1–14. http://dx.doi.org/10.5105/jse.16.1.
Texto completoPatel, Himanshukumar y Vipul Shah. "Actuator and system component fault tolerant control using interval type-2 Takagi-Sugeno fuzzy controller for hybrid nonlinear process". International Journal of Hybrid Intelligent Systems 15, n.º 3 (22 de agosto de 2019): 143–53. http://dx.doi.org/10.3233/his-190267.
Texto completoChuang, Sheuwen, Peter P. Howley y Shawon S. Gonzales. "An international systems-theoretic comparison of hospital accreditation: developing an implementation typology". International Journal for Quality in Health Care 31, n.º 5 (25 de agosto de 2018): 371–77. http://dx.doi.org/10.1093/intqhc/mzy189.
Texto completoGuidi, Ferruccio. "A Formal System for the Universal Quantification of Schematic Variables". ACM Transactions on Computational Logic 23, n.º 1 (31 de enero de 2022): 1–37. http://dx.doi.org/10.1145/3470646.
Texto completoA., Parkavi, Pushpalatha M.N., Sini Anna Alex y Premkumar M.K. "Decision Support System Using CNN for Detecting the Type of Disease in Fruits and Vegetables". Webology 19, n.º 1 (20 de enero de 2022): 1315–34. http://dx.doi.org/10.14704/web/v19i1/web19088.
Texto completoBarthe, Gilles, Peter Dybjer y Peter Thiemann. "Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS". Journal of Functional Programming 11, n.º 4 (julio de 2001): 437. http://dx.doi.org/10.1017/s0956796801004105.
Texto completoGiannini, Paola, Furio Honsell y Simona Ronchi Della Rocca. "Type Inference: Some Results, Some Problems1". Fundamenta Informaticae 19, n.º 1-2 (1 de julio de 1993): 87–125. http://dx.doi.org/10.3233/fi-1993-191-205.
Texto completoGajica, Gordana, Aleksandra Sajnovic, Ksenija Stojanovic, Milan Antonijevic, Nikoleta Aleksic y Branimir Jovancicevic. "The influence of pyrolysis type on shale oil generation and its composition (upper layer of Aleksinac oil shale, Serbia)". Journal of the Serbian Chemical Society 82, n.º 12 (2017): 1461–77. http://dx.doi.org/10.2298/jsc170421064g.
Texto completoJONES, SIMON PEYTON, DIMITRIOS VYTINIOTIS, STEPHANIE WEIRICH y MARK SHIELDS. "Practical type inference for arbitrary-rank types". Journal of Functional Programming 17, n.º 1 (enero de 2007): 1–82. http://dx.doi.org/10.1017/s0956796806006034.
Texto completoWASTLING, J. M., S. D. ARMSTRONG, R. KRISHNA y D. XIA. "Parasites, proteomes and systems: has Descartes’ clock run out of time?" Parasitology 139, n.º 9 (25 de julio de 2012): 1103–18. http://dx.doi.org/10.1017/s0031182012000716.
Texto completoTsamparli, A. y K. Kounenou. "The Greek family system when a child has diabetes mellitus type 1". Acta Paediatrica 93, n.º 12 (2 de enero de 2007): 1646–53. http://dx.doi.org/10.1111/j.1651-2227.2004.tb00857.x.
Texto completoKamareddine, Fairouz, Twan Laan y Rob Nederpelt. "Types in Logic and Mathematics Before 1940". Bulletin of Symbolic Logic 8, n.º 2 (junio de 2002): 185–245. http://dx.doi.org/10.2178/bsl/1182353871.
Texto completoSalehi, Leili y Leila Keikavoosi-Arani. "Using the Backman Model in Determining the Dimensions of Self-Care and Its Factors Affecting the Elderly in Tehran City, Iran". Quarterly of the Horizon of Medical Sciences 26, n.º 4 (1 de octubre de 2020): 382–97. http://dx.doi.org/10.32598/hms.26.4.3251.1.
Texto completoLebediuk, Witalij. "Плинність партійних систему посткомуністичних країнах (1992−2019)". Rocznik Instytutu Europy Środkowo-Wschodniej 17, n.º 1 (diciembre de 2019): 79–95. http://dx.doi.org/10.36874/riesw.2019.1.3.
Texto completoStolyar, A. L. "Large-scale heterogeneous service systems with general packing constraints". Advances in Applied Probability 49, n.º 1 (marzo de 2017): 61–83. http://dx.doi.org/10.1017/apr.2016.79.
Texto completoDing, Yuzhang, Haocheng Ji, Rui Liu, Yuwei Jiang y Minxiang Wei. "Study of the thermal behavior of a battery pack with a serpentine channel". AIP Advances 12, n.º 5 (1 de mayo de 2022): 055028. http://dx.doi.org/10.1063/5.0089378.
Texto completoHan, Soyoung, Cermetrius Lynell Bohannon y Yoonku Kwon. "How Has the COVID-19 Pandemic Affected the Perceptions of Public Space Employees?" Land 10, n.º 12 (3 de diciembre de 2021): 1332. http://dx.doi.org/10.3390/land10121332.
Texto completoChabas, Hélène, Viktor Müller, Sebastian Bonhoeffer y Roland R. Regoes. "Epidemiological and evolutionary consequences of different types of CRISPR-Cas systems". PLOS Computational Biology 18, n.º 7 (26 de julio de 2022): e1010329. http://dx.doi.org/10.1371/journal.pcbi.1010329.
Texto completoDRAGOVIĆ, VLADIMIR, BORISLAV GAJIĆ y BOŽIDAR JOVANOVIĆ. "SYSTEMS OF HESS–APPEL'ROT TYPE AND ZHUKOVSKII PROPERTY". International Journal of Geometric Methods in Modern Physics 06, n.º 08 (diciembre de 2009): 1253–304. http://dx.doi.org/10.1142/s0219887809004211.
Texto completoMerino Flecha, Eva. "Familia y parentesco en el Valle de Naviego". Estudios humanísticos. Geografía, historia y arte, n.º 17 (5 de febrero de 2021): 423. http://dx.doi.org/10.18002/ehgha.v0i17.6710.
Texto completoMinner, S., J. Schreiner y W. Saeger. "Adrenal cancer: relevance of different grading systems and subtypes". Clinical and Translational Oncology 23, n.º 7 (5 de abril de 2021): 1350–57. http://dx.doi.org/10.1007/s12094-020-02524-2.
Texto completoZheng, Hong Yu, Chang Fu Zong, Wei Qiang Zhao y Liang Chen. "HILS Test Bench Based on Open and close Loop Test for Air ABS System". Advanced Materials Research 694-697 (mayo de 2013): 1484–87. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.1484.
Texto completoBARBANERA, FRANCO. "COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS". International Journal of Foundations of Computer Science 01, n.º 03 (septiembre de 1990): 165–84. http://dx.doi.org/10.1142/s0129054190000138.
Texto completoXu, Changgui, Xiaofeng Du, Hongtao Zhu, Donghui Jia, Wei Xu y Huan Lu. "Source-to-sink system and its sedimentary records in the continental rift basins: An example from the Paleogene in the Bohai Sea Area, China". Interpretation 5, n.º 4 (30 de noviembre de 2017): ST35—ST51. http://dx.doi.org/10.1190/int-2017-0024.1.
Texto completoTakahashi, Masaki, Mahito Fujii, Masahiro Shibata, Nobuyuki Yagi y Shin’ichi Satoh. "Automatic Pitch Type Recognition System from Single-View Video Sequences of Baseball Broadcast Videos". International Journal of Multimedia Data Engineering and Management 1, n.º 1 (enero de 2010): 12–36. http://dx.doi.org/10.4018/jmdem.2010111202.
Texto completoBOIKO, Juliy, Andriy MOKRYTSKY y Ilya PYATIN. "RESEARCH OF SYNCHRONIZATION CIRCUITS FOR DIGITAL COMMUNICATION SYSTEMS". Herald of Khmelnytskyi National University. Technical sciences 313, n.º 5 (27 de octubre de 2022): 113–21. http://dx.doi.org/10.31891/2307-5732-2022-313-5-113-121.
Texto completoStefanović, Aleksandar, Emina Čolak, Gordana Stanojević y Ljubinka Nikolić. "Effects of introducing Type&Screen system on rational use of transfusions". Hospital Pharmacology - International Multidisciplinary Journal 8, n.º 2 (2021): 1051–57. http://dx.doi.org/10.5937/hpimj2102051s.
Texto completoLelis, Levi. "Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics". Proceedings of the International Symposium on Combinatorial Search 4, n.º 1 (20 de agosto de 2021): 123–32. http://dx.doi.org/10.1609/socs.v4i1.18281.
Texto completoDas, Ankush, Di Wang y Jan Hoffmann. "Probabilistic Resource-Aware Session Types". Proceedings of the ACM on Programming Languages 7, POPL (9 de enero de 2023): 1925–56. http://dx.doi.org/10.1145/3571259.
Texto completoLin, Jinzhong, Anders Fuglsang, Anders Lynge Kjeldsen, Kaiyan Sun, Yuvaraj Bhoobalan-Chitty y Xu Peng. "DNA targeting by subtype I-D CRISPR–Cas shows type I and type III features". Nucleic Acids Research 48, n.º 18 (22 de septiembre de 2020): 10470–78. http://dx.doi.org/10.1093/nar/gkaa749.
Texto completoNyrkov, Anatoliy, Sergei Sokolov, Anna Karpina, Alex Chernyakov y Vagiz Gaskarov. "Cluster-type models in the logistics industry". International Journal of Engineering & Technology 7, n.º 1 (1 de enero de 2018): 39. http://dx.doi.org/10.14419/ijet.v7i1.8788.
Texto completoSCULTHORPE, NEIL, NICOLAS FRISBY y ANDY GILL. "The Kansas University rewrite engine". Journal of Functional Programming 24, n.º 4 (julio de 2014): 434–73. http://dx.doi.org/10.1017/s0956796814000185.
Texto completoSzewczuk-Krypa, Natalia, Marta Drosińska-Komor, Jerzy Głuch y Łukasz Breńkacz. "Comparison Analysis of Selected Nuclear Power Plants Supplied With Helium from High-Temperature Gas-Cooled Reactor". Polish Maritime Research 25, s1 (1 de mayo de 2018): 204–10. http://dx.doi.org/10.2478/pomr-2018-0043.
Texto completoVankerckhoven, Ann, Thaïs Baert, Matteo Riva, Christine De Bruyn, Gitte Thirion, Katja Vandenbrande, Jolien Ceusters, Ignace Vergote y An Coosemans. "Type of chemotherapy has substantial effects on the immune system in ovarian cancer". Translational Oncology 14, n.º 6 (junio de 2021): 101076. http://dx.doi.org/10.1016/j.tranon.2021.101076.
Texto completoBrown, Phillip, Sangmi Lee, Driss Elhanafi, Wilhelm Tham, Marie-Louise Danielsson-Tham, Gloria Lopez-Valladares, Yi Chen, Mirena Ivanova, Pimlapas Leekitcharoenphon y Sophia Kathariou. "Investigation of a Listeria monocytogenes Chromosomal Immigration Control Region Reveals Diverse Restriction Modification Systems with Complete Sequence Type Conservation". Microorganisms 11, n.º 3 (8 de marzo de 2023): 699. http://dx.doi.org/10.3390/microorganisms11030699.
Texto completoKosaraju, Naren Kumar y Vineela Kanakamedala. "FRIEND RECOMMENDATION USING GRAPH MINING ON SOCIAL MEDIA". International Journal of Engineering Technology and Management Sciences 4, n.º 5 (28 de septiembre de 2020): 57–65. http://dx.doi.org/10.46647/ijetms.2020.v04i05.011.
Texto completoUmoh, Uduak, Imo Eyoh, Vadivel S. Murugesan, Abdultaofeek Abayomi y Samuel Udoh. "Hybrid intelligent telemedical monitoring and predictive systems". International Journal of Hybrid Intelligent Systems 17, n.º 1-2 (13 de julio de 2021): 43–57. http://dx.doi.org/10.3233/his-210005.
Texto completo