Статті в журналах з теми "HLS type system"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "HLS type system".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Cao, Linfen, and 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.
Повний текст джерелаWang, Nan, Qi Zhang, Weihua Han, Chengxin Bai, Boyang Hou, Yue Liu, and Shuai Wang. "Chemical Characteristics of Dark-Brown Humic-Like Substances Formed from the Abiotic Condensation of Maillard Precursors with Different Glycine Concentrations." Agronomy 12, no. 9 (September 15, 2022): 2199. http://dx.doi.org/10.3390/agronomy12092199.
Повний текст джерелаLavrentiev, Mikhail, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov, and Mikhail Shadrin. "Algorithmic Design of an FPGA-Based Calculator for Fast Evaluation of Tsunami Wave Danger." Algorithms 14, no. 12 (November 26, 2021): 343. http://dx.doi.org/10.3390/a14120343.
Повний текст джерелаMelin, Patricia, and Daniela Sánchez. "Optimal design of type-2 fuzzy systems for diabetes classification based on genetic algorithms." International Journal of Hybrid Intelligent Systems 17, no. 1-2 (July 13, 2021): 15–32. http://dx.doi.org/10.3233/his-210004.
Повний текст джерелаWACK, BENJAMIN, and CLÉMENT HOUTMANN. "Strong normalisation in two Pure Pattern Type Systems." Mathematical Structures in Computer Science 18, no. 3 (June 2008): 431–65. http://dx.doi.org/10.1017/s0960129508006749.
Повний текст джерелаJones, Mark P. "A system of constructor classes: overloading and implicit higher-order polymorphism." Journal of Functional Programming 5, no. 1 (January 1995): 1–35. http://dx.doi.org/10.1017/s0956796800001210.
Повний текст джерелаSILES, VINCENT, and HUGO HERBELIN. "Pure Type System conversion is always typable." Journal of Functional Programming 22, no. 2 (March 2012): 153–80. http://dx.doi.org/10.1017/s0956796812000044.
Повний текст джерелаDUNFIELD, JOSHUA. "Elaborating intersection and union types." Journal of Functional Programming 24, no. 2-3 (January 20, 2014): 133–65. http://dx.doi.org/10.1017/s0956796813000270.
Повний текст джерелаMehar, Pramod Kumar, and Mrs Madhu Upadhyay. "Power System Stability Study on Multi Machine Systems having DFIG Based Wind Generation System." SMART MOVES JOURNAL IJOSCIENCE 6, no. 3 (March 10, 2020): 27–30. http://dx.doi.org/10.24113/ijoscience.v6i3.279.
Повний текст джерелаGiorgi, Roberto, Farnam Khalili, and 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 (November 3, 2019): 1–18. http://dx.doi.org/10.1155/2019/2624938.
Повний текст джерелаBohno, Takaaki, Akira Tomioka, Shinichi Nose, Masayuki Konno, Toshio Uede, Tadakazu Imayoshi, Hidemi Hayashi, Katsuya Tsutsumi, and Fujio Irie. "Development of HTS (High-Temperature-Superconductor) Current Leads for 1MW/lkWh Module Type SMES System." IEEJ Transactions on Power and Energy 116, no. 7 (1996): 853–59. http://dx.doi.org/10.1541/ieejpes1990.116.7_853.
Повний текст джерелаLäufer, Konstantin. "Type classes with existential types." Journal of Functional Programming 6, no. 3 (May 1996): 485–518. http://dx.doi.org/10.1017/s0956796800001817.
Повний текст джерелаKazerounian, Milod, Jeffrey S. Foster, and Bonan Min. "SimTyper: sound type inference for Ruby using type equality prediction." Proceedings of the ACM on Programming Languages 5, OOPSLA (October 20, 2021): 1–27. http://dx.doi.org/10.1145/3485483.
Повний текст джерелаTokano, Takashi, Yasuro Nakata, Masayuki Yasuda, Yoshihisa Matsumoto, Yasuhiko Ohno, Teruhiko Hisaoka, Masataka Sumiyoshi, Shunsuke Ogura, Yuji Nakazato, and Hiroshi Yamaguchi. "Wenckebach Type Second Degree Atrioventricular Block in the His-Purkinje System." Japanese Journal of Electrocardiology 16, no. 1 (1996): 1–14. http://dx.doi.org/10.5105/jse.16.1.
Повний текст джерелаPatel, Himanshukumar, and 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, no. 3 (August 22, 2019): 143–53. http://dx.doi.org/10.3233/his-190267.
Повний текст джерелаChuang, Sheuwen, Peter P. Howley, and Shawon S. Gonzales. "An international systems-theoretic comparison of hospital accreditation: developing an implementation typology." International Journal for Quality in Health Care 31, no. 5 (August 25, 2018): 371–77. http://dx.doi.org/10.1093/intqhc/mzy189.
Повний текст джерелаGuidi, Ferruccio. "A Formal System for the Universal Quantification of Schematic Variables." ACM Transactions on Computational Logic 23, no. 1 (January 31, 2022): 1–37. http://dx.doi.org/10.1145/3470646.
Повний текст джерелаA., Parkavi, Pushpalatha M.N., Sini Anna Alex, and Premkumar M.K. "Decision Support System Using CNN for Detecting the Type of Disease in Fruits and Vegetables." Webology 19, no. 1 (January 20, 2022): 1315–34. http://dx.doi.org/10.14704/web/v19i1/web19088.
Повний текст джерелаBarthe, Gilles, Peter Dybjer, and Peter Thiemann. "Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS." Journal of Functional Programming 11, no. 4 (July 2001): 437. http://dx.doi.org/10.1017/s0956796801004105.
Повний текст джерелаGiannini, Paola, Furio Honsell, and Simona Ronchi Della Rocca. "Type Inference: Some Results, Some Problems1." Fundamenta Informaticae 19, no. 1-2 (July 1, 1993): 87–125. http://dx.doi.org/10.3233/fi-1993-191-205.
Повний текст джерелаGajica, Gordana, Aleksandra Sajnovic, Ksenija Stojanovic, Milan Antonijevic, Nikoleta Aleksic, and 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, no. 12 (2017): 1461–77. http://dx.doi.org/10.2298/jsc170421064g.
Повний текст джерелаJONES, SIMON PEYTON, DIMITRIOS VYTINIOTIS, STEPHANIE WEIRICH, and MARK SHIELDS. "Practical type inference for arbitrary-rank types." Journal of Functional Programming 17, no. 1 (January 2007): 1–82. http://dx.doi.org/10.1017/s0956796806006034.
Повний текст джерелаWASTLING, J. M., S. D. ARMSTRONG, R. KRISHNA, and D. XIA. "Parasites, proteomes and systems: has Descartes’ clock run out of time?" Parasitology 139, no. 9 (July 25, 2012): 1103–18. http://dx.doi.org/10.1017/s0031182012000716.
Повний текст джерелаTsamparli, A., and K. Kounenou. "The Greek family system when a child has diabetes mellitus type 1." Acta Paediatrica 93, no. 12 (January 2, 2007): 1646–53. http://dx.doi.org/10.1111/j.1651-2227.2004.tb00857.x.
Повний текст джерелаKamareddine, Fairouz, Twan Laan, and Rob Nederpelt. "Types in Logic and Mathematics Before 1940." Bulletin of Symbolic Logic 8, no. 2 (June 2002): 185–245. http://dx.doi.org/10.2178/bsl/1182353871.
Повний текст джерелаSalehi, Leili, and 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, no. 4 (October 1, 2020): 382–97. http://dx.doi.org/10.32598/hms.26.4.3251.1.
Повний текст джерелаLebediuk, Witalij. "Плинність партійних систему посткомуністичних країнах (1992−2019)". Rocznik Instytutu Europy Środkowo-Wschodniej 17, № 1 (грудень 2019): 79–95. http://dx.doi.org/10.36874/riesw.2019.1.3.
Повний текст джерелаStolyar, A. L. "Large-scale heterogeneous service systems with general packing constraints." Advances in Applied Probability 49, no. 1 (March 2017): 61–83. http://dx.doi.org/10.1017/apr.2016.79.
Повний текст джерелаDing, Yuzhang, Haocheng Ji, Rui Liu, Yuwei Jiang, and Minxiang Wei. "Study of the thermal behavior of a battery pack with a serpentine channel." AIP Advances 12, no. 5 (May 1, 2022): 055028. http://dx.doi.org/10.1063/5.0089378.
Повний текст джерелаHan, Soyoung, Cermetrius Lynell Bohannon, and Yoonku Kwon. "How Has the COVID-19 Pandemic Affected the Perceptions of Public Space Employees?" Land 10, no. 12 (December 3, 2021): 1332. http://dx.doi.org/10.3390/land10121332.
Повний текст джерелаChabas, Hélène, Viktor Müller, Sebastian Bonhoeffer, and Roland R. Regoes. "Epidemiological and evolutionary consequences of different types of CRISPR-Cas systems." PLOS Computational Biology 18, no. 7 (July 26, 2022): e1010329. http://dx.doi.org/10.1371/journal.pcbi.1010329.
Повний текст джерелаDRAGOVIĆ, VLADIMIR, BORISLAV GAJIĆ, and BOŽIDAR JOVANOVIĆ. "SYSTEMS OF HESS–APPEL'ROT TYPE AND ZHUKOVSKII PROPERTY." International Journal of Geometric Methods in Modern Physics 06, no. 08 (December 2009): 1253–304. http://dx.doi.org/10.1142/s0219887809004211.
Повний текст джерелаMerino Flecha, Eva. "Familia y parentesco en el Valle de Naviego." Estudios humanísticos. Geografía, historia y arte, no. 17 (February 5, 2021): 423. http://dx.doi.org/10.18002/ehgha.v0i17.6710.
Повний текст джерелаMinner, S., J. Schreiner, and W. Saeger. "Adrenal cancer: relevance of different grading systems and subtypes." Clinical and Translational Oncology 23, no. 7 (April 5, 2021): 1350–57. http://dx.doi.org/10.1007/s12094-020-02524-2.
Повний текст джерелаZheng, Hong Yu, Chang Fu Zong, Wei Qiang Zhao, and Liang Chen. "HILS Test Bench Based on Open and close Loop Test for Air ABS System." Advanced Materials Research 694-697 (May 2013): 1484–87. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.1484.
Повний текст джерелаBARBANERA, FRANCO. "COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS." International Journal of Foundations of Computer Science 01, no. 03 (September 1990): 165–84. http://dx.doi.org/10.1142/s0129054190000138.
Повний текст джерелаXu, Changgui, Xiaofeng Du, Hongtao Zhu, Donghui Jia, Wei Xu, and 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, no. 4 (November 30, 2017): ST35—ST51. http://dx.doi.org/10.1190/int-2017-0024.1.
Повний текст джерелаTakahashi, Masaki, Mahito Fujii, Masahiro Shibata, Nobuyuki Yagi, and 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, no. 1 (January 2010): 12–36. http://dx.doi.org/10.4018/jmdem.2010111202.
Повний текст джерелаBOIKO, Juliy, Andriy MOKRYTSKY, and Ilya PYATIN. "RESEARCH OF SYNCHRONIZATION CIRCUITS FOR DIGITAL COMMUNICATION SYSTEMS." Herald of Khmelnytskyi National University. Technical sciences 313, no. 5 (October 27, 2022): 113–21. http://dx.doi.org/10.31891/2307-5732-2022-313-5-113-121.
Повний текст джерелаStefanović, Aleksandar, Emina Čolak, Gordana Stanojević, and Ljubinka Nikolić. "Effects of introducing Type&Screen system on rational use of transfusions." Hospital Pharmacology - International Multidisciplinary Journal 8, no. 2 (2021): 1051–57. http://dx.doi.org/10.5937/hpimj2102051s.
Повний текст джерелаLelis, 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, no. 1 (August 20, 2021): 123–32. http://dx.doi.org/10.1609/socs.v4i1.18281.
Повний текст джерелаDas, Ankush, Di Wang, and Jan Hoffmann. "Probabilistic Resource-Aware Session Types." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 1925–56. http://dx.doi.org/10.1145/3571259.
Повний текст джерелаLin, Jinzhong, Anders Fuglsang, Anders Lynge Kjeldsen, Kaiyan Sun, Yuvaraj Bhoobalan-Chitty, and Xu Peng. "DNA targeting by subtype I-D CRISPR–Cas shows type I and type III features." Nucleic Acids Research 48, no. 18 (September 22, 2020): 10470–78. http://dx.doi.org/10.1093/nar/gkaa749.
Повний текст джерелаNyrkov, Anatoliy, Sergei Sokolov, Anna Karpina, Alex Chernyakov, and Vagiz Gaskarov. "Cluster-type models in the logistics industry." International Journal of Engineering & Technology 7, no. 1 (January 1, 2018): 39. http://dx.doi.org/10.14419/ijet.v7i1.8788.
Повний текст джерелаSCULTHORPE, NEIL, NICOLAS FRISBY, and ANDY GILL. "The Kansas University rewrite engine." Journal of Functional Programming 24, no. 4 (July 2014): 434–73. http://dx.doi.org/10.1017/s0956796814000185.
Повний текст джерелаSzewczuk-Krypa, Natalia, Marta Drosińska-Komor, Jerzy Głuch, and Łukasz Breńkacz. "Comparison Analysis of Selected Nuclear Power Plants Supplied With Helium from High-Temperature Gas-Cooled Reactor." Polish Maritime Research 25, s1 (May 1, 2018): 204–10. http://dx.doi.org/10.2478/pomr-2018-0043.
Повний текст джерелаVankerckhoven, Ann, Thaïs Baert, Matteo Riva, Christine De Bruyn, Gitte Thirion, Katja Vandenbrande, Jolien Ceusters, Ignace Vergote, and An Coosemans. "Type of chemotherapy has substantial effects on the immune system in ovarian cancer." Translational Oncology 14, no. 6 (June 2021): 101076. http://dx.doi.org/10.1016/j.tranon.2021.101076.
Повний текст джерелаBrown, Phillip, Sangmi Lee, Driss Elhanafi, Wilhelm Tham, Marie-Louise Danielsson-Tham, Gloria Lopez-Valladares, Yi Chen, Mirena Ivanova, Pimlapas Leekitcharoenphon, and Sophia Kathariou. "Investigation of a Listeria monocytogenes Chromosomal Immigration Control Region Reveals Diverse Restriction Modification Systems with Complete Sequence Type Conservation." Microorganisms 11, no. 3 (March 8, 2023): 699. http://dx.doi.org/10.3390/microorganisms11030699.
Повний текст джерелаKosaraju, Naren Kumar, and Vineela Kanakamedala. "FRIEND RECOMMENDATION USING GRAPH MINING ON SOCIAL MEDIA." International Journal of Engineering Technology and Management Sciences 4, no. 5 (September 28, 2020): 57–65. http://dx.doi.org/10.46647/ijetms.2020.v04i05.011.
Повний текст джерелаUmoh, Uduak, Imo Eyoh, Vadivel S. Murugesan, Abdultaofeek Abayomi, and Samuel Udoh. "Hybrid intelligent telemedical monitoring and predictive systems." International Journal of Hybrid Intelligent Systems 17, no. 1-2 (July 13, 2021): 43–57. http://dx.doi.org/10.3233/his-210005.
Повний текст джерела