Sudha, C.; Suresh, D.; Nagesh, A. Accurate data aggregation created by neural network and data classification processed through machine learning in wireless sensor networks. (English) Zbl 1489.68232 Theor. Comput. Sci. 925, 25-36 (2022). MSC: 68T05 62H30 68M18 PDFBibTeX XMLCite \textit{C. Sudha} et al., Theor. Comput. Sci. 925, 25--36 (2022; Zbl 1489.68232) Full Text: DOI
Eustáquio, Fernanda; Nogueira, Tatiane Evaluating the numerical instability in fuzzy clustering validation of high-dimensional data. (English) Zbl 1443.62181 Theor. Comput. Sci. 805, 19-36 (2020). MSC: 62H30 62H86 62-08 PDFBibTeX XMLCite \textit{F. Eustáquio} and \textit{T. Nogueira}, Theor. Comput. Sci. 805, 19--36 (2020; Zbl 1443.62181) Full Text: DOI
Chevillard, S.; Harrison, J.; Joldeş, M.; Lauter, Ch. Efficient and accurate computation of upper bounds of approximation errors. (English) Zbl 1211.65025 Theor. Comput. Sci. 412, No. 16, 1523-1543 (2011). MSC: 65D20 26A09 33B10 65G20 33F05 PDFBibTeX XMLCite \textit{S. Chevillard} et al., Theor. Comput. Sci. 412, No. 16, 1523--1543 (2011; Zbl 1211.65025) Full Text: DOI Link
Geniet, Dominique; Largeteau, Gaëlle WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model. (English) Zbl 1143.68034 Theor. Comput. Sci. 388, No. 1-3, 26-52 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Geniet} and \textit{G. Largeteau}, Theor. Comput. Sci. 388, No. 1--3, 26--52 (2007; Zbl 1143.68034) Full Text: DOI
Kundaji, Rohit N.; Shyamasundar, R. K. Refinement calculus: A basis for translation validation, debugging and certification. (English) Zbl 1088.68037 Theor. Comput. Sci. 354, No. 1, 153-168 (2006). MSC: 68N20 PDFBibTeX XMLCite \textit{R. N. Kundaji} and \textit{R. K. Shyamasundar}, Theor. Comput. Sci. 354, No. 1, 153--168 (2006; Zbl 1088.68037) Full Text: DOI
Geniet, Dominique; Dubernard, Jean-Philippe Scheduling hard sporadic tasks with regular languages and generating functions. (English) Zbl 1059.68060 Theor. Comput. Sci. 313, No. 1, 119-132 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Geniet} and \textit{J.-P. Dubernard}, Theor. Comput. Sci. 313, No. 1, 119--132 (2004; Zbl 1059.68060) Full Text: DOI
Bouhoula, Adel Using induction and rewriting to verify and complete parameterized specifications. (English) Zbl 0874.68198 Theor. Comput. Sci. 170, No. 1-2, 245-276 (1996). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Bouhoula}, Theor. Comput. Sci. 170, No. 1--2, 245--276 (1996; Zbl 0874.68198) Full Text: DOI