-
1
المؤلفون: Eric Goubault, Bibek Kabi, Antoine Miné, Sylvie Putot
المساهمون: Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles
Software Verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
13th International Workshop on Numerical Software Verification (NSV'20)
13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Lecture Notes in Computer Science ISBN: 9783030636173مصطلحات موضوعية: 0209 industrial biotechnology, Intersection (set theory), Computer science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, Abstract interpretation, Domain (software engineering), Polyhedron, 020901 industrial engineering & automation, Iterative refinement, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Invariant (mathematics), Algorithm, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6db0ede078fbbb8d2707b53022c87aae
https://hal.archives-ouvertes.fr/hal-03113053 -
2
المؤلفون: Bibek Kabi, Anand S. Sahadevan
المصدر: Journal of Signal Processing Systems. 91:787-804
مصطلحات موضوعية: Computer science, Matrix norm, 020206 networking & telecommunications, 02 engineering and technology, Fixed point, Theoretical Computer Science, Interval arithmetic, Matrix decomposition, Matrix (mathematics), Hardware and Architecture, Control and Systems Engineering, Modeling and Simulation, Signal Processing, Singular value decomposition, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Fixed-point arithmetic, Algorithm, Eigendecomposition of a matrix, Information Systems
-
3
المؤلفون: Ramanarayan Mohanty, Bibek Kabi, Tapan Pradhan, Aurobinda Routray
المصدر: International Journal of Circuit Theory and Applications. 44:1222-1262
مصطلحات موضوعية: Numerical linear algebra, Computer science, Applied Mathematics, Lanczos algorithm, 020206 networking & telecommunications, 02 engineering and technology, Fixed point, Lanczos approximation, computer.software_genre, 020202 computer hardware & architecture, Computer Science Applications, Electronic, Optical and Magnetic Materials, Lanczos resampling, Singular value decomposition, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Fixed-point arithmetic, computer, Orthogonalization, Algorithm
-
4
-
5
المصدر: IERI Procedia. 7:21-27
مصطلحات موضوعية: signal-to-quantization-noise-ratio (SQNR), Computational complexity theory, fixed-point arithmetic, Double-precision floating-point format, CORDIC, Fixed point, Reconfigurable computing, Computer Science::Hardware Architecture, reconfigurable architecture, Singular value decomposition, singular value decomposition (SVD), Fixed-point arithmetic, Quantization (image processing), Algorithm, Mathematics
-
6
المؤلفون: Sampad Ghosh, Anirban Ray, S. Dutta Gupta, Shashaank M. Aswatha, Bibek Kabi
المصدر: Industrial Crops and Products. 51:194-201
مصطلحات موضوعية: chemistry.chemical_classification, Chromatography, biology, Chemistry, Magnesium, Potassium, chemistry.chemical_element, Manganese, Zinc, biology.organism_classification, Polysaccharide, Aloe vera, Freeze-drying, medicine, Food science, Swelling, medicine.symptom, Agronomy and Crop Science
-
7
المؤلفون: Aurobinda Routray, Anirban Dasgupta, Anjith George, Bibek Kabi, Aritra Chaudhuri, Anwesha Sengupta
مصطلحات موضوعية: Alertness, Computer science, Real-time computing, Monitoring system
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6b1219b01fcd2b73711bdd29cca72b1e
https://doi.org/10.4018/978-1-5225-0084-1.ch013 -
8
-
9
المصدر: ReTIS
مصطلحات موضوعية: Zero-crossing rate, Computer science, business.industry, Speech recognition, Feature extraction, Context (language use), Pattern recognition, Speech processing, Linear predictive coding, ComputingMethodologies_PATTERNRECOGNITION, Formant, Mel-frequency cepstrum, Artificial intelligence, Prosody, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::01f694b6a6593f1201ab59f818c4b8b4
https://doi.org/10.1109/retis.2015.7232907 -
10
المصدر: 2014 Fourth International Conference of Emerging Applications of Information Technology.
مصطلحات موضوعية: Computer science, business.industry, Quantization (signal processing), Speech recognition, Pattern recognition, Fixed point, Speaker recognition, Speech processing, Wide dynamic range, Artificial intelligence, Mel-frequency cepstrum, Hidden Markov model, Fixed-point arithmetic, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::49619dd5acd06ae4bb98ff99ffe41eaa
https://doi.org/10.1109/eait.2014.57