Journal articles on the topic 'Counting-set automata'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Counting-set automata.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Turoňová, Lenka, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar. "Regex matching with counting-set automata." Proceedings of the ACM on Programming Languages 4, OOPSLA (November 13, 2020): 1–30. http://dx.doi.org/10.1145/3428286.
Full textSCHEICHER, KLAUS, and JÖRG M. THUSWALDNER. "Canonical number systems, counting automata and fractals." Mathematical Proceedings of the Cambridge Philosophical Society 133, no. 1 (July 2002): 163–82. http://dx.doi.org/10.1017/s0305004102005856.
Full textHOLZER, MARKUS, and SEBASTIAN JAKOBI. "FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS." International Journal of Foundations of Computer Science 24, no. 07 (November 2013): 1083–97. http://dx.doi.org/10.1142/s0129054113400327.
Full textMarchant, Ross, Martin Tetard, Adnya Pratiwi, Michael Adebayo, and Thibault de Garidel-Thoron. "Automated analysis of foraminifera fossil records by image classification using a convolutional neural network." Journal of Micropalaeontology 39, no. 2 (October 15, 2020): 183–202. http://dx.doi.org/10.5194/jm-39-183-2020.
Full textYing, Yu Ming, and Xiao Hong Yang. "Automatic Counting System Based on MCU." Applied Mechanics and Materials 273 (January 2013): 547–50. http://dx.doi.org/10.4028/www.scientific.net/amm.273.547.
Full textFernandez-Gallego, Jose, Ma Buchaillot, Nieves Aparicio Gutiérrez, María Nieto-Taladriz, José Araus, and Shawn Kefauver. "Automatic Wheat Ear Counting Using Thermal Imagery." Remote Sensing 11, no. 7 (March 28, 2019): 751. http://dx.doi.org/10.3390/rs11070751.
Full textGallardo-Caballero, Ramón, Carlos J. García-Orellana, Antonio García-Manso, Horacio M. González-Velasco, Rafael Tormo-Molina, and Miguel Macías-Macías. "Precise Pollen Grain Detection in Bright Field Microscopy Using Deep Learning Techniques." Sensors 19, no. 16 (August 17, 2019): 3583. http://dx.doi.org/10.3390/s19163583.
Full textBecker, D. E. "Algorithms for automated montage synthesis of images from laser-scanning confocal microscopes." Proceedings, annual meeting, Electron Microscopy Society of America 53 (August 13, 1995): 650–51. http://dx.doi.org/10.1017/s0424820100139627.
Full textMarin, Ambroise, Emmanuel Denimal, Stéphane Guyot, Ludovic Journaux, and Paul Molin. "A Robust Generic Method for Grid Detection in White Light Microscopy Malassez Blade Images in the Context of Cell Counting." Microscopy and Microanalysis 21, no. 1 (December 16, 2014): 239–48. http://dx.doi.org/10.1017/s1431927614013671.
Full textKuske, Dietrich, and Markus Lohrey. "First-order and counting theories of ω-automatic structures." Journal of Symbolic Logic 73, no. 1 (March 2008): 129–50. http://dx.doi.org/10.2178/jsl/1208358745.
Full textBélisle, François, Nicolas Saunier, Guillaume-Alexandre Bilodeau, and Sebastien le Digabel. "Optimized Video Tracking for Automated Vehicle Turning Movement Counts." Transportation Research Record: Journal of the Transportation Research Board 2645, no. 1 (January 2017): 104–12. http://dx.doi.org/10.3141/2645-12.
Full textOkunev, Alexey G., Mikhail Yu Mashukov, Anna V. Nartova, and Andrey V. Matveev. "Nanoparticle Recognition on Scanning Probe Microscopy Images Using Computer Vision and Deep Learning." Nanomaterials 10, no. 7 (June 30, 2020): 1285. http://dx.doi.org/10.3390/nano10071285.
Full textFedorenko, V. F., V. V. Kirsanov, and N. P. Mishurov. "Analysis of different options of use of milking robots in dairy livestock." Machinery and Equipment for Rural Area, no. 7 (July 26, 2021): 33–37. http://dx.doi.org/10.33267/2072-9642-2021-7-33-37.
Full textZhou, Wenjing, Xueyan Zhu, Mengmeng Gu, and Fengjun Chen. "Spruce Counting Based on Lightweight Mask R-CNN with UAV Images." International Journal of Circuits, Systems and Signal Processing 15 (July 20, 2021): 634–42. http://dx.doi.org/10.46300/9106.2021.15.70.
Full textRanefall, Petter, Kenneth Wester, Christer Busch, Per-Uno Malmström, and Ewert Bengtsson. "Automatic Quantification of Microvessels Using Unsupervised Image Analysis." Analytical Cellular Pathology 17, no. 2 (1998): 83–92. http://dx.doi.org/10.1155/1998/490585.
Full textPrabhu, Ghanashyama, Noel E. O’Connor, and Kieran Moran. "Recognition and Repetition Counting for Local Muscular Endurance Exercises in Exercise-Based Rehabilitation: A Comparative Study Using Artificial Intelligence Models." Sensors 20, no. 17 (August 25, 2020): 4791. http://dx.doi.org/10.3390/s20174791.
Full textДубровский, В. А., И. В. Забенков, Е. П. Карпочева, and С. О. Торбин. "Идентификация и счет эритроцитов нативной донорской крови человека методом цифровой оптической микроскопии с использованием спектрально фильтрованного освещения." Оптика и спектроскопия 129, no. 3 (2021): 327. http://dx.doi.org/10.21883/os.2021.03.50660.208-20.
Full textKurzin, Nikolay N., Dmitriy V. Lebedev, Evgeniy A. Rozhkov, and Vadim A. Bezverkhiy. "The Optoelectronic Installation for Counting the Seeds of Agricultural Crops." Elektrotekhnologii i elektrooborudovanie v APK, no. 3 (September 20, 2020): 115–19. http://dx.doi.org/10.22314/2658-4859-2020-67-3-115-119.
Full textYu, Ta-Chuan, Wen-Chien Chou, Chao-Yuan Yeh, Cheng-Kun Yang, Sheng-Chuan Huang, Feng Ming Tien, Chi-Yuan Yao, et al. "Automatic Bone Marrow Cell Identification and Classification By Deep Neural Network." Blood 134, Supplement_1 (November 13, 2019): 2084. http://dx.doi.org/10.1182/blood-2019-125322.
Full textBeitel, David, Spencer McNee, Fraser McLaughlin, and Luis F. Miranda-Moreno. "Automated Validation and Interpolation of Long-Duration Bicycle Counting Data." Transportation Research Record: Journal of the Transportation Research Board 2672, no. 43 (July 1, 2018): 75–86. http://dx.doi.org/10.1177/0361198118783123.
Full textOjieabu, Clement E. "Developed Automated Vehicle Traffic Light Controller System for Cities in Nigeria." Journal of Advances in Science and Engineering 1, no. 1 (April 30, 2018): 19–25. http://dx.doi.org/10.37121/jase.v1i1.6.
Full textFriel, J. J., and E. B. Prestridge. "Image Analysis—Turning Images Into Data." Microscopy and Microanalysis 4, S2 (July 1998): 58–59. http://dx.doi.org/10.1017/s1431927600020419.
Full textKermanidis, Katia Lida, Nikos Fakotakis, and George Kokkinakis. "Automatic acquisition of verb subcategorization information by exploiting mininal linguistic resources." International Journal of Corpus Linguistics 9, no. 1 (April 29, 2004): 1–28. http://dx.doi.org/10.1075/ijcl.9.1.01ker.
Full textJIJI, G. WISELIN, HENRY SELVARAJ, and G. EVELIN SUJI. "SUPERVISED CLASSIFICATION OF WHITE BLOOD CELLS BY FUSION OF COLOR TEXTURE FEATURES AND NEURAL NETWORK." International Journal of Computational Intelligence and Applications 10, no. 04 (December 2011): 471–80. http://dx.doi.org/10.1142/s1469026811003197.
Full textPetra, Hlaváčková, Slováčková Hana, Březina David, and Michal Jakub. "Comparison of results of visitor arrival monitoring using regression analysis." Journal of Forest Science 64, No. 7 (August 1, 2018): 303–12. http://dx.doi.org/10.17221/20/2018-jfs.
Full textBeitel, David, Spencer McNee, and Luis F. Miranda-Moreno. "Quality Measure of Short-Duration Bicycle Counts." Transportation Research Record: Journal of the Transportation Research Board 2644, no. 1 (January 2017): 64–71. http://dx.doi.org/10.3141/2644-08.
Full textZhou, Chengquan, Hongbao Ye, Jun Hu, Xiaoyan Shi, Shan Hua, Jibo Yue, Zhifu Xu, and Guijun Yang. "Automated Counting of Rice Panicle by Applying Deep Learning Model to Images from Unmanned Aerial Vehicle Platform." Sensors 19, no. 14 (July 13, 2019): 3106. http://dx.doi.org/10.3390/s19143106.
Full textGrosjean, Philippe, Marc Picheral, Caroline Warembourg, and Gabriel Gorsky. "Enumeration, measurement, and identification of net zooplankton samples using the ZOOSCAN digital imaging system." ICES Journal of Marine Science 61, no. 4 (January 1, 2004): 518–25. http://dx.doi.org/10.1016/j.icesjms.2004.03.012.
Full textKruchak, Liudmyla, and Volodymyr Muravskyi. "Automation of receivables accounting based on an integrated database of counterparties." Herald of Ternopil National Economic University, no. 1(83) (February 22, 2017): 109–18. http://dx.doi.org/10.35774/visnyk2017.01.109.
Full textXu, Qiaoji, Lingling Jin, James H. Leebens-Mack, and David Sankoff. "Validation of Automated Chromosome Recovery in the Reconstruction of Ancestral Gene Order." Algorithms 14, no. 6 (May 21, 2021): 160. http://dx.doi.org/10.3390/a14060160.
Full textHumaira, Fitrah Maharani, Tengku Musri, Sarimuddin Sarimuddin, Dwi Samsuifin Alham, and Aurista Miftahatul Ilmah. "Analisis Robustness Teks Captcha Paypal HIP Menggunakan Template Matching." JOURNAL OF APPLIED INFORMATICS AND COMPUTING 2, no. 2 (December 5, 2018): 29–33. http://dx.doi.org/10.30871/jaic.v2i2.1039.
Full textBecker, D. E., H. Ancin, B. Roysam, and J. N. Turner. "Fast automated mosaic synthesis method for 2-D/3-D image analysis of specimens much wider than the field of view." Proceedings, annual meeting, Electron Microscopy Society of America 52 (1994): 224–25. http://dx.doi.org/10.1017/s0424820100168852.
Full textRasmussen, Sune Olander, Katrine Krogh Andersen, Marie-Louise Siggaard-Andersen, and Henrik B. Clausen. "Extracting the annual signal from Greenland ice-core chemistry and isotopic records." Annals of Glaciology 35 (2002): 131–35. http://dx.doi.org/10.3189/172756402781817310.
Full textWard, Charlotte, Kevin Baker, Sarah Marks, Dawit Getachew, Tedila Habte, Cindy McWhorter, Paul Labarre, et al. "Determining the Agreement Between an Automated Respiratory Rate Counter and a Reference Standard for Detecting Symptoms of Pneumonia in Children: Protocol for a Cross-Sectional Study in Ethiopia." JMIR Research Protocols 9, no. 4 (April 2, 2020): e16531. http://dx.doi.org/10.2196/16531.
Full textAscari, Lorenzo, Cristina Novara, Virginia Dusio, Ludovica Oddi, and Consolata Siniscalco. "Quantitative methods in microscopy to assess pollen viability in different plant taxa." Plant Reproduction 33, no. 3-4 (October 29, 2020): 205–19. http://dx.doi.org/10.1007/s00497-020-00398-6.
Full textAlbano, Maria S., William Rothman, Andromachi Scaradavou, Devin P. Blass, John D. McMannis, and Pablo Rubinstein. "Automated Counting of Colony Forming Units (CFU): Towards Standardization of the Measurement of Potency in Cord Blood Cell Therapy Products." Blood 118, no. 21 (November 18, 2011): 485. http://dx.doi.org/10.1182/blood.v118.21.485.485.
Full textJiang, Wang, Zhuang, Li, Li, and Gong. "Leaf Counting with Multi-Scale Convolutional Neural Network Features and Fisher Vector Coding." Symmetry 11, no. 4 (April 10, 2019): 516. http://dx.doi.org/10.3390/sym11040516.
Full textMekhalfi, Mohamed Lamine, Carlo Nicolò, Yakoub Bazi, Mohamad Mahmoud Al Rahhal, and Eslam Al Maghayreh. "Detecting Crop Circles in Google Earth Images with Mask R-CNN and YOLOv3." Applied Sciences 11, no. 5 (March 3, 2021): 2238. http://dx.doi.org/10.3390/app11052238.
Full textMARTIS, ROSHAN JOY, HARI PRASAD, CHANDAN CHAKRABORTY, and AJOY KUMAR RAY. "AUTOMATED DETECTION OF ATRIAL FLUTTER AND FIBRILLATION USING ECG SIGNALS IN WAVELET FRAMEWORK." Journal of Mechanics in Medicine and Biology 12, no. 05 (December 2012): 1240023. http://dx.doi.org/10.1142/s0219519412400234.
Full textLeonard, Robert, Matthew Conrad, Edward Van Brunt, Jeffrey Giles, Ed Hutchins, and Elif Balkas. "From Wafers to Bits and Back again: Using Deep Learning to Accelerate the Development and Characterization of SiC." Materials Science Forum 1004 (July 2020): 321–27. http://dx.doi.org/10.4028/www.scientific.net/msf.1004.321.
Full textNordhaug Myhre, Jonas, Miguel Tejedor, Ilkka Kalervo Launonen, Anas El Fathi, and Fred Godtliebsen. "In-Silico Evaluation of Glucose Regulation Using Policy Gradient Reinforcement Learning for Patients with Type 1 Diabetes Mellitus." Applied Sciences 10, no. 18 (September 11, 2020): 6350. http://dx.doi.org/10.3390/app10186350.
Full textZhang, Haocheng, Jonathan Li, Ming Cheng, and Cheng Wang. "RAPID INSPECTION OF PAVEMENT MARKINGS USING MOBILE LIDAR POINT CLOUDS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLI-B1 (June 6, 2016): 717–23. http://dx.doi.org/10.5194/isprsarchives-xli-b1-717-2016.
Full textZhang, Haocheng, Jonathan Li, Ming Cheng, and Cheng Wang. "RAPID INSPECTION OF PAVEMENT MARKINGS USING MOBILE LIDAR POINT CLOUDS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLI-B1 (June 6, 2016): 717–23. http://dx.doi.org/10.5194/isprs-archives-xli-b1-717-2016.
Full textCorkidi, G., R. Diaz-Uribe, J. L. Folch-Mallol, and J. Nieto-Sotelo. "COVASIAM: an Image Analysis Method That Allows Detection of Confluent Microbial Colonies and Colonies of Various Sizes for Automated Counting." Applied and Environmental Microbiology 64, no. 4 (April 1, 1998): 1400–1404. http://dx.doi.org/10.1128/aem.64.4.1400-1404.1998.
Full textCalvario, Gabriela, Teresa E. Alarcón, Oscar Dalmau, Basilio Sierra, and Carmen Hernandez. "An Agave Counting Methodology Based on Mathematical Morphology and Images Acquired through Unmanned Aerial Vehicles." Sensors 20, no. 21 (November 2, 2020): 6247. http://dx.doi.org/10.3390/s20216247.
Full textZeder, Michael, Silke Van den Wyngaert, Oliver K�ster, Kathrin M. Felder, and Jakob Pernthaler. "Automated Quantification and Sizing of Unbranched Filamentous Cyanobacteria by Model-Based Object-Oriented Image Analysis." Applied and Environmental Microbiology 76, no. 5 (January 4, 2010): 1615–22. http://dx.doi.org/10.1128/aem.02232-09.
Full textRoysam, B., A. Can, H. Shen, K. Al-Kofahi, and J. N. Turner. "From 3-D Light Microscopic Images to Quantitative Insight." Microscopy and Microanalysis 5, S2 (August 1999): 524–25. http://dx.doi.org/10.1017/s1431927600015944.
Full textMekhalfi, Mohamed Lamine, Carlo Nicolò, Ivan Ianniello, Federico Calamita, Rino Goller, Maurizio Barazzuol, and Farid Melgani. "Vision System for Automatic On-Tree Kiwifruit Counting and Yield Estimation." Sensors 20, no. 15 (July 29, 2020): 4214. http://dx.doi.org/10.3390/s20154214.
Full textBrucher, Rainer, and David Russell. "A NEW METHOD FOR AUTOMATIC DIFFERENTIATION BETWEEN CEREBRAL EMBOLI AND ARTEFACTS." Stroke 32, suppl_1 (January 2001): 344. http://dx.doi.org/10.1161/str.32.suppl_1.344-b.
Full textBalestra, Noah, Gaurav Sharma, Linda M. Riek, and Ania Busza. "Automatic Identification of Upper Extremity Rehabilitation Exercise Type and Dose Using Body-Worn Sensors and Machine Learning: A Pilot Study." Digital Biomarkers 5, no. 2 (July 2, 2021): 158–66. http://dx.doi.org/10.1159/000516619.
Full text