Synthesizing invariants : a constraint programming approach based on zonotopic abstraction von Kabi, Bibek

Volltext bestellen

Range Analysis of Matrix Factorization Algorithms for an Overflow Free Fixed-point Design von Kabi, Bibek, Sahadevan, Anand S

Volltext

Development of numerical linear algebra algorithms in dynamic fixed-point format: a case study of Lanczos tridiagonalization von Pradhan, Tapan, Kabi, Bibek, Mohanty, Ramanarayan, Routray, Aurobinda

Volltext

Chemometric studies on mineral distribution and microstructure analysis of freeze-dried Aloe vera L. gel at different harvesting regimens von Ray, Anirban, Dutta Gupta, S., Ghosh, Sampad, Aswatha, Shashaank M., Kabi, Bibek

Volltext

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants von Kabi, Bibek, Goubault, Eric, Miné, Antoine, Putot, Sylvie

Volltext

Design and Performance Analysis of Fixed-point Jacobi SVD Algorithm on Reconfigurable System von Mohanty, Ramanarayan, Anirudh, Gonnabhaktula, Pradhan, Tapan, Kabi, Bibek, Routray, Aurobinda

Volltext

Orchestration framework to determine composite well construction recommendations von Marck, Julien Christian, Germain, Olivier Roger, Kabi, Bibek

Volltext bestellen

ORCHESTRATION FRAMEWORK TO DETERMINE COMPOSITE WELL CONSTRUCTION RECOMMENDATIONS von KABI, Bibek, MARCK, Julien Christian, GERMAIN, Olivier Roger

Volltext bestellen

ORCHESTRATION FRAMEWORK TO DETERMINE COMPOSITE WELL CONSTRUCTION RECOMMENDATIONS von Marck, Julien Christian, Germain, Olivier Roger, Kabi, Bibek

Volltext bestellen

An Overflow Free Fixed-point Eigenvalue Decomposition Algorithm: Case Study of Dimensionality Reduction in Hyperspectral Images von Kabi, Bibek, Sahadevan, Anand S, Pradhan, Tapan

Volltext bestellen

Comparative Evaluation of Symmetric SVD Algorithms for Real-time Face and Eye Tracking von Pradhan, Tapan, Routray, Aurobinda, Kabi, Bibek

Volltext

An Overflow Free Fixed-point Eigenvalue Decomposition Algorithm: Case Study of Dimensionality Reduction in Hyperspectral Images von Kabi, Bibek, Sahadevan, Anand S, Pradhan, Tapan

Volltext

Developing a flight control strategy for a four-rotor under-actuated UAV von Akash, S, Sridhar, S S, Kabi, B, Chellammal, N

Volltext bestellen