Articles de revues sur le sujet « HLS type system »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « HLS type system ».
À 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.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Cao, Linfen, et 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.
Texte intégralWang, Nan, Qi Zhang, Weihua Han, Chengxin Bai, Boyang Hou, Yue Liu et 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 (15 septembre 2022) : 2199. http://dx.doi.org/10.3390/agronomy12092199.
Texte intégralLavrentiev, Mikhail, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov et Mikhail Shadrin. « Algorithmic Design of an FPGA-Based Calculator for Fast Evaluation of Tsunami Wave Danger ». Algorithms 14, no 12 (26 novembre 2021) : 343. http://dx.doi.org/10.3390/a14120343.
Texte intégralMelin, Patricia, et 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 (13 juillet 2021) : 15–32. http://dx.doi.org/10.3233/his-210004.
Texte intégralWACK, BENJAMIN, et CLÉMENT HOUTMANN. « Strong normalisation in two Pure Pattern Type Systems ». Mathematical Structures in Computer Science 18, no 3 (juin 2008) : 431–65. http://dx.doi.org/10.1017/s0960129508006749.
Texte intégralJones, Mark P. « A system of constructor classes : overloading and implicit higher-order polymorphism ». Journal of Functional Programming 5, no 1 (janvier 1995) : 1–35. http://dx.doi.org/10.1017/s0956796800001210.
Texte intégralSILES, VINCENT, et HUGO HERBELIN. « Pure Type System conversion is always typable ». Journal of Functional Programming 22, no 2 (mars 2012) : 153–80. http://dx.doi.org/10.1017/s0956796812000044.
Texte intégralDUNFIELD, JOSHUA. « Elaborating intersection and union types ». Journal of Functional Programming 24, no 2-3 (20 janvier 2014) : 133–65. http://dx.doi.org/10.1017/s0956796813000270.
Texte intégralMehar, Pramod Kumar, et Mrs Madhu Upadhyay. « Power System Stability Study on Multi Machine Systems having DFIG Based Wind Generation System ». SMART MOVES JOURNAL IJOSCIENCE 6, no 3 (10 mars 2020) : 27–30. http://dx.doi.org/10.24113/ijoscience.v6i3.279.
Texte intégralGiorgi, Roberto, Farnam Khalili et 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 novembre 2019) : 1–18. http://dx.doi.org/10.1155/2019/2624938.
Texte intégralBohno, Takaaki, Akira Tomioka, Shinichi Nose, Masayuki Konno, Toshio Uede, Tadakazu Imayoshi, Hidemi Hayashi, Katsuya Tsutsumi et 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.
Texte intégralLäufer, Konstantin. « Type classes with existential types ». Journal of Functional Programming 6, no 3 (mai 1996) : 485–518. http://dx.doi.org/10.1017/s0956796800001817.
Texte intégralKazerounian, Milod, Jeffrey S. Foster et Bonan Min. « SimTyper : sound type inference for Ruby using type equality prediction ». Proceedings of the ACM on Programming Languages 5, OOPSLA (20 octobre 2021) : 1–27. http://dx.doi.org/10.1145/3485483.
Texte intégralTokano, Takashi, Yasuro Nakata, Masayuki Yasuda, Yoshihisa Matsumoto, Yasuhiko Ohno, Teruhiko Hisaoka, Masataka Sumiyoshi, Shunsuke Ogura, Yuji Nakazato et 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.
Texte intégralPatel, Himanshukumar, et 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 (22 août 2019) : 143–53. http://dx.doi.org/10.3233/his-190267.
Texte intégralChuang, Sheuwen, Peter P. Howley et 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 (25 août 2018) : 371–77. http://dx.doi.org/10.1093/intqhc/mzy189.
Texte intégralGuidi, Ferruccio. « A Formal System for the Universal Quantification of Schematic Variables ». ACM Transactions on Computational Logic 23, no 1 (31 janvier 2022) : 1–37. http://dx.doi.org/10.1145/3470646.
Texte intégralA., Parkavi, Pushpalatha M.N., Sini Anna Alex et Premkumar M.K. « Decision Support System Using CNN for Detecting the Type of Disease in Fruits and Vegetables ». Webology 19, no 1 (20 janvier 2022) : 1315–34. http://dx.doi.org/10.14704/web/v19i1/web19088.
Texte intégralBarthe, Gilles, Peter Dybjer et Peter Thiemann. « Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS ». Journal of Functional Programming 11, no 4 (juillet 2001) : 437. http://dx.doi.org/10.1017/s0956796801004105.
Texte intégralGiannini, Paola, Furio Honsell et Simona Ronchi Della Rocca. « Type Inference : Some Results, Some Problems1 ». Fundamenta Informaticae 19, no 1-2 (1 juillet 1993) : 87–125. http://dx.doi.org/10.3233/fi-1993-191-205.
Texte intégralGajica, Gordana, Aleksandra Sajnovic, Ksenija Stojanovic, Milan Antonijevic, Nikoleta Aleksic et 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.
Texte intégralJONES, SIMON PEYTON, DIMITRIOS VYTINIOTIS, STEPHANIE WEIRICH et MARK SHIELDS. « Practical type inference for arbitrary-rank types ». Journal of Functional Programming 17, no 1 (janvier 2007) : 1–82. http://dx.doi.org/10.1017/s0956796806006034.
Texte intégralWASTLING, J. M., S. D. ARMSTRONG, R. KRISHNA et D. XIA. « Parasites, proteomes and systems : has Descartes’ clock run out of time ? » Parasitology 139, no 9 (25 juillet 2012) : 1103–18. http://dx.doi.org/10.1017/s0031182012000716.
Texte intégralTsamparli, A., et K. Kounenou. « The Greek family system when a child has diabetes mellitus type 1 ». Acta Paediatrica 93, no 12 (2 janvier 2007) : 1646–53. http://dx.doi.org/10.1111/j.1651-2227.2004.tb00857.x.
Texte intégralKamareddine, Fairouz, Twan Laan et Rob Nederpelt. « Types in Logic and Mathematics Before 1940 ». Bulletin of Symbolic Logic 8, no 2 (juin 2002) : 185–245. http://dx.doi.org/10.2178/bsl/1182353871.
Texte intégralSalehi, Leili, et 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 (1 octobre 2020) : 382–97. http://dx.doi.org/10.32598/hms.26.4.3251.1.
Texte intégralLebediuk, Witalij. « Плинність партійних систему посткомуністичних країнах (1992−2019) ». Rocznik Instytutu Europy Środkowo-Wschodniej 17, no 1 (décembre 2019) : 79–95. http://dx.doi.org/10.36874/riesw.2019.1.3.
Texte intégralStolyar, A. L. « Large-scale heterogeneous service systems with general packing constraints ». Advances in Applied Probability 49, no 1 (mars 2017) : 61–83. http://dx.doi.org/10.1017/apr.2016.79.
Texte intégralDing, Yuzhang, Haocheng Ji, Rui Liu, Yuwei Jiang et Minxiang Wei. « Study of the thermal behavior of a battery pack with a serpentine channel ». AIP Advances 12, no 5 (1 mai 2022) : 055028. http://dx.doi.org/10.1063/5.0089378.
Texte intégralHan, Soyoung, Cermetrius Lynell Bohannon et Yoonku Kwon. « How Has the COVID-19 Pandemic Affected the Perceptions of Public Space Employees ? » Land 10, no 12 (3 décembre 2021) : 1332. http://dx.doi.org/10.3390/land10121332.
Texte intégralChabas, Hélène, Viktor Müller, Sebastian Bonhoeffer et Roland R. Regoes. « Epidemiological and evolutionary consequences of different types of CRISPR-Cas systems ». PLOS Computational Biology 18, no 7 (26 juillet 2022) : e1010329. http://dx.doi.org/10.1371/journal.pcbi.1010329.
Texte intégralDRAGOVIĆ, VLADIMIR, BORISLAV GAJIĆ et BOŽIDAR JOVANOVIĆ. « SYSTEMS OF HESS–APPEL'ROT TYPE AND ZHUKOVSKII PROPERTY ». International Journal of Geometric Methods in Modern Physics 06, no 08 (décembre 2009) : 1253–304. http://dx.doi.org/10.1142/s0219887809004211.
Texte intégralMerino Flecha, Eva. « Familia y parentesco en el Valle de Naviego ». Estudios humanísticos. Geografía, historia y arte, no 17 (5 février 2021) : 423. http://dx.doi.org/10.18002/ehgha.v0i17.6710.
Texte intégralMinner, S., J. Schreiner et W. Saeger. « Adrenal cancer : relevance of different grading systems and subtypes ». Clinical and Translational Oncology 23, no 7 (5 avril 2021) : 1350–57. http://dx.doi.org/10.1007/s12094-020-02524-2.
Texte intégralZheng, Hong Yu, Chang Fu Zong, Wei Qiang Zhao et Liang Chen. « HILS Test Bench Based on Open and close Loop Test for Air ABS System ». Advanced Materials Research 694-697 (mai 2013) : 1484–87. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.1484.
Texte intégralBARBANERA, FRANCO. « COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS ». International Journal of Foundations of Computer Science 01, no 03 (septembre 1990) : 165–84. http://dx.doi.org/10.1142/s0129054190000138.
Texte intégralXu, Changgui, Xiaofeng Du, Hongtao Zhu, Donghui Jia, Wei Xu et 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 (30 novembre 2017) : ST35—ST51. http://dx.doi.org/10.1190/int-2017-0024.1.
Texte intégralTakahashi, Masaki, Mahito Fujii, Masahiro Shibata, Nobuyuki Yagi et 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 (janvier 2010) : 12–36. http://dx.doi.org/10.4018/jmdem.2010111202.
Texte intégralBOIKO, Juliy, Andriy MOKRYTSKY et Ilya PYATIN. « RESEARCH OF SYNCHRONIZATION CIRCUITS FOR DIGITAL COMMUNICATION SYSTEMS ». Herald of Khmelnytskyi National University. Technical sciences 313, no 5 (27 octobre 2022) : 113–21. http://dx.doi.org/10.31891/2307-5732-2022-313-5-113-121.
Texte intégralStefanović, Aleksandar, Emina Čolak, Gordana Stanojević et 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.
Texte intégralLelis, 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 (20 août 2021) : 123–32. http://dx.doi.org/10.1609/socs.v4i1.18281.
Texte intégralDas, Ankush, Di Wang et Jan Hoffmann. « Probabilistic Resource-Aware Session Types ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 1925–56. http://dx.doi.org/10.1145/3571259.
Texte intégralLin, Jinzhong, Anders Fuglsang, Anders Lynge Kjeldsen, Kaiyan Sun, Yuvaraj Bhoobalan-Chitty et Xu Peng. « DNA targeting by subtype I-D CRISPR–Cas shows type I and type III features ». Nucleic Acids Research 48, no 18 (22 septembre 2020) : 10470–78. http://dx.doi.org/10.1093/nar/gkaa749.
Texte intégralNyrkov, Anatoliy, Sergei Sokolov, Anna Karpina, Alex Chernyakov et Vagiz Gaskarov. « Cluster-type models in the logistics industry ». International Journal of Engineering & ; Technology 7, no 1 (1 janvier 2018) : 39. http://dx.doi.org/10.14419/ijet.v7i1.8788.
Texte intégralSCULTHORPE, NEIL, NICOLAS FRISBY et ANDY GILL. « The Kansas University rewrite engine ». Journal of Functional Programming 24, no 4 (juillet 2014) : 434–73. http://dx.doi.org/10.1017/s0956796814000185.
Texte intégralSzewczuk-Krypa, Natalia, Marta Drosińska-Komor, Jerzy Głuch et Ł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 mai 2018) : 204–10. http://dx.doi.org/10.2478/pomr-2018-0043.
Texte intégralVankerckhoven, Ann, Thaïs Baert, Matteo Riva, Christine De Bruyn, Gitte Thirion, Katja Vandenbrande, Jolien Ceusters, Ignace Vergote et An Coosemans. « Type of chemotherapy has substantial effects on the immune system in ovarian cancer ». Translational Oncology 14, no 6 (juin 2021) : 101076. http://dx.doi.org/10.1016/j.tranon.2021.101076.
Texte intégralBrown, Phillip, Sangmi Lee, Driss Elhanafi, Wilhelm Tham, Marie-Louise Danielsson-Tham, Gloria Lopez-Valladares, Yi Chen, Mirena Ivanova, Pimlapas Leekitcharoenphon et 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 (8 mars 2023) : 699. http://dx.doi.org/10.3390/microorganisms11030699.
Texte intégralKosaraju, Naren Kumar, et Vineela Kanakamedala. « FRIEND RECOMMENDATION USING GRAPH MINING ON SOCIAL MEDIA ». International Journal of Engineering Technology and Management Sciences 4, no 5 (28 septembre 2020) : 57–65. http://dx.doi.org/10.46647/ijetms.2020.v04i05.011.
Texte intégralUmoh, Uduak, Imo Eyoh, Vadivel S. Murugesan, Abdultaofeek Abayomi et Samuel Udoh. « Hybrid intelligent telemedical monitoring and predictive systems ». International Journal of Hybrid Intelligent Systems 17, no 1-2 (13 juillet 2021) : 43–57. http://dx.doi.org/10.3233/his-210005.
Texte intégral