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 (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 (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 (2013): 1083–97. http://dx.doi.org/10.1142/s0129054113400327.
Full textCalautti, Marco, Ester Livshits, Andreas Pieris, and Markus Schneider. "Combined Approximations for Uniform Operational Consistent Query Answering." Proceedings of the ACM on Management of Data 2, no. 2 (2024): 1–16. http://dx.doi.org/10.1145/3651600.
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 (2020): 183–202. http://dx.doi.org/10.5194/jm-39-183-2020.
Full textStanojcic, Nick, Eduardo Mangieri, Nathan Little, and David O’Brart. "A new software for automated counting of glistenings in intraocular lenses in vivo." International Journal of Ophthalmology 16, no. 8 (2023): 1237–42. http://dx.doi.org/10.18240/ijo.2023.08.08.
Full textCasas, Gianmarco Goycochea, Zool Hilmi Ismail, Mathaus Messias Coimbra Limeira, Antonilmar Araújo Lopes da Silva, and Helio Garcia Leite. "Automatic Detection and Counting of Stacked Eucalypt Timber Using the YOLOv8 Model." Forests 14, no. 12 (2023): 2369. http://dx.doi.org/10.3390/f14122369.
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 textKhan, Ahad Mahmud, Salahuddin Ahmed, Nabidul Haque Chowdhury, et al. "Developing a video expert panel as a reference standard to evaluate respiratory rate counting in paediatric pneumonia diagnosis: protocol for a cross-sectional study." BMJ Open 12, no. 11 (2022): e067389. http://dx.doi.org/10.1136/bmjopen-2022-067389.
Full textCao, Libo, Liping Zeng, Yaoxuan Wang, et al. "U2-Net and ResNet50-Based Automatic Pipeline for Bacterial Colony Counting." Microorganisms 12, no. 1 (2024): 201. http://dx.doi.org/10.3390/microorganisms12010201.
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 (2019): 751. http://dx.doi.org/10.3390/rs11070751.
Full textAlbuquerque, Carina, Leonardo Vanneschi, Roberto Henriques, et al. "Object detection for automatic cancer cell counting in zebrafish xenografts." PLOS ONE 16, no. 11 (2021): e0260609. http://dx.doi.org/10.1371/journal.pone.0260609.
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 (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 textPhanomchoeng, Gridsada, Chayatorn Kukiattikoon, Suphanut Plengkham, et al. "Machine-learning-based automated quantification machine for virus plaque assay counting." PeerJ Computer Science 8 (March 4, 2022): e878. http://dx.doi.org/10.7717/peerj-cs.878.
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 (2017): 104–12. http://dx.doi.org/10.3141/2645-12.
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 (2014): 239–48. http://dx.doi.org/10.1017/s1431927614013671.
Full textBespalov, A. L., and I. G. Svidrak. "Increasing the accuracy of the process of automated counting of thin long products." Scientific Messenger of LNU of Veterinary Medicine and Biotechnologies 25, no. 99 (2023): 32–36. http://dx.doi.org/10.32718/nvlvet-f9906.
Full textKuske, Dietrich, та Markus Lohrey. "First-order and counting theories of ω-automatic structures". Journal of Symbolic Logic 73, № 1 (2008): 129–50. http://dx.doi.org/10.2178/jsl/1208358745.
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 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 (2020): 1285. http://dx.doi.org/10.3390/nano10071285.
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 textYu, Ta-Chuan, Wen-Chien Chou, Chao-Yuan Yeh, et al. "Automatic Bone Marrow Cell Identification and Classification By Deep Neural Network." Blood 134, Supplement_1 (2019): 2084. http://dx.doi.org/10.1182/blood-2019-125322.
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 (2020): 4791. http://dx.doi.org/10.3390/s20174791.
Full textДубровский, В. А., И. В. Забенков, Е. П. Карпочева та С. О. Торбин. "Идентификация и счет эритроцитов нативной донорской крови человека методом цифровой оптической микроскопии с использованием спектрально фильтрованного освещения". Оптика и спектроскопия 129, № 3 (2021): 327. http://dx.doi.org/10.21883/os.2021.03.50660.208-20.
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 textKabir, Mohimenul, Supratik Chakraborty, and Kuldeep S. Meel. "Exact ASP Counting with Compact Encodings." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 9 (2024): 10571–80. http://dx.doi.org/10.1609/aaai.v38i9.28927.
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 textSobolevskii, Vladislav, Leonid Kolpaschikov, Sophia Rosenfeld, and Vladimir Mikhailov. "Automated counting of large vertebrate species using AutoML technology." BIO Web of Conferences 139 (2024): 14010. http://dx.doi.org/10.1051/bioconf/202413914010.
Full textG. Kilima, Frank, Shubi Kaijage, Edith Luhanga, and Colin Torney. "A YOLOV4 METHOD FOR WILD ANIMAL COUNTING AND BEHAVIOUR DETECTION USING SMALL-SIZED CAMERA-TRAP IMAGE DATASET." ICTACT Journal on Soft Computing 15, no. 4 (2025): 3722–28. https://doi.org/10.21917/ijsc.2025.0516.
Full textEgi, Yunus, Mortaza Hajyzadeh, and Engin Eyceyurt. "Drone-Computer Communication Based Tomato Generative Organ Counting Model Using YOLO V5 and Deep-Sort." Agriculture 12, no. 9 (2022): 1290. http://dx.doi.org/10.3390/agriculture12091290.
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 (2018): 75–86. http://dx.doi.org/10.1177/0361198118783123.
Full textGroshev, Vasiliy. "On Location of Axle Counters at Station Necks." Automation on transport 8, no. 2 (2022): 162–77. http://dx.doi.org/10.20295/2412-9186-2022-8-2-162-177.
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 (2018): 19–25. http://dx.doi.org/10.37121/jase.v1i1.6.
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 (2004): 1–28. http://dx.doi.org/10.1075/ijcl.9.1.01ker.
Full textFriel, J. J., and E. B. Prestridge. "Image Analysis—Turning Images Into Data." Microscopy and Microanalysis 4, S2 (1998): 58–59. http://dx.doi.org/10.1017/s1431927600020419.
Full textZhou, Chengquan, Hongbao Ye, Jun Hu, et al. "Automated Counting of Rice Panicle by Applying Deep Learning Model to Images from Unmanned Aerial Vehicle Platform." Sensors 19, no. 14 (2019): 3106. http://dx.doi.org/10.3390/s19143106.
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 (2018): 303–12. http://dx.doi.org/10.17221/20/2018-jfs.
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 (2011): 471–80. http://dx.doi.org/10.1142/s1469026811003197.
Full textGiovannini, N., D. Sacchero, C. Quispe Bonilla, M. Quispe Bonilla, and E. Quispe Peña. "Human counting versus artificial intelligence for assessing medullation in mohair fibres." South African Journal of Animal Science 55, no. 5 (2025): 237–47. https://doi.org/10.4314/sajas.v55i5.02.
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 (2017): 64–71. http://dx.doi.org/10.3141/2644-08.
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 (2004): 518–25. http://dx.doi.org/10.1016/j.icesjms.2004.03.012.
Full textBae, Jung Ho, Hyun Wook Han, Sun Young Yang, et al. "Natural Language Processing for Assessing Quality Indicators in Free-Text Colonoscopy and Pathology Reports: Development and Usability Study." JMIR Medical Informatics 10, no. 4 (2022): e35257. http://dx.doi.org/10.2196/35257.
Full textLewis, Joshua, Conrad Shebelut, Bradley Drumheller, et al. "An Automated Pipeline for Cell Differentials on Whole-Slide Bone Marrow Aspirate Smears." American Journal of Clinical Pathology 158, Supplement_1 (2022): S12. http://dx.doi.org/10.1093/ajcp/aqac126.020.
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 (2021): 160. http://dx.doi.org/10.3390/a14060160.
Full textLewis, Joshua, Xuebao Zhang, Nithya Shanmugam, et al. "Machine Learning-Based Automated Selection of Regions for Analysis on Bone Marrow Aspirate Smears." American Journal of Clinical Pathology 156, Supplement_1 (2021): S1—S2. http://dx.doi.org/10.1093/ajcp/aqab189.001.
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 textGervasi, Alain, Pierre Cardol, and Patrick E. Meyer. "Automated Open-Hardware Multiwell Imaging Station for Microorganisms Observation." Micromachines 13, no. 6 (2022): 833. http://dx.doi.org/10.3390/mi13060833.
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 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 (2018): 29–33. http://dx.doi.org/10.30871/jaic.v2i2.1039.
Full text