1,816 results on '"Ozdemir AT"'
Search Results
2. zkPi: Proving Lean Theorems in Zero-Knowledge.
3. Deep Learning for Automated Ischemic Stroke Lesion Segmentation from Multi-Spectral MRI.
4. PET Image Denoising Based on 3D Denoising Diffusion Probabilistic Model: Evaluations on Total-Body Datasets.
5. Classification of Concrete Compressive Strength Using Machine Learning Methods.
6. Split Gröbner Bases for Satisfiability Modulo Finite Fields.
7. An SMT-LIB Theory of Finite Fields.
8. Directed Path Partition Problem on Directed Acyclic Graphs.
9. Linguistic Comparison of Children with and without ASD through Eye-Tracking Data.
10. Design and Development of a Novel Soft and Inflatable Tactile Sensing Balloon for Early Diagnosis of Colorectal Cancer Polyps.
11. A Smart Handheld Edge Device for on-Site Diagnosis and Classification of Texture and Stiffness of Excised Colorectal Cancer Polyps.
12. On the Potentials of Surface Tactile Imaging and Dilated Residual Networks for Early Detection of Colorectal Cancer Polyps.
13. Performance Evaluation of YOLOv5 in Adverse Weather Conditions.
14. Retrospective Uncertainties for Deep Models using Vine Copulas.
15. Satisfiability Modulo Finite Fields.
16. Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.
17. Clothoid-Based Path Correction for AGV Navigation.
18. Towards Reliable Colorectal Cancer Polyps Classification via Vision Based Tactile Sensing and Confidence-Calibrated Neural Networks.
19. Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.
20. Application of Networked Microgrids for Distribution System Restoration After Natural Disasters.
21. Voltage Profile Improvement in Unbalanced Distribution Grids by Sequential Quadratic Programming.
22. Performance Evaluation of Recent Object Detection Models for Traffic Safety Applications on Edge.
23. Classification of Colorectal Cancer Polyps via Transfer Learning and Vision-Based Tactile Sensing.
24. Toward Distributed Fiber Optic Shape Sensing of Continuum Manipulators: A Cost-effective and Simple Manufacturing of Sensor Assembly.
25. HySenSe: A Hyper-Sensitive and High-Fidelity Vision-Based Tactile Sensor.
26. Classification of Hand Gestures using sEMG Signals and Hilbert-Huang Transform.
27. Flexible Proof Production in an Industrial-Strength SMT Solver.
28. Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets.
29. Signal Domain Learning Approach for Optoacoustic Image Reconstruction from Limited View Data.
30. CirC: Compiler infrastructure for proof systems, software verification, and more.
31. Towards QoS-Aware Resource Allocation in Fog Computing: A Theoretical Model.
32. cvc5: A Versatile and Industrial-Strength SMT Solver.
33. Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.
34. Kernelization of Tensor Discriminant Analysis with Application to Image Recognition.
35. Anomaly Detection from Multilinear Observations via Time-Series Analysis and 3DTPCA.
36. Renku: a platform for sustainable data science.
37. Second-Order Sliding Mode Control of Three-Phase Three-Level Grid-Connected Neutral Point Clamped Inverters.
38. Estimating Capture Probabilities for Complex Topologies in 2D Molecular Communication via Diffusion Channel using Artificial Neural Networks.
39. 2DTPCA: A New Framework for Multilinear Principal Component Analysis.
40. Linguistic Descriptions of Airport Evaluation Data for Recommendation Strategies.
41. Group Authentication for Drone Swarms.
42. SAT Solving in the Serverless Cloud.
43. Fast Tensor Singular Value Decomposition Using the Low-Resolution Features of Tensors.
44. Transform-Based Tensor Auto Regression for Multilinear Time Series Forecasting.
45. AB0923 LATENT TUBERCULOSIS RESCREENING IN SPONDYLOARTHRITIS: HOW SHOULD LATENT TUBERCULOSIS NEGATIVE PATIENTS BE FOLLOWED UP?
46. Foam2Form: 4D Printing with Programmable Foaming
47. Epileptic EEG Classification Using Synchrosqueezing Transform with Machine and Deep Learning Techniques.
48. A Dynamic Mode Decomposition Based Approach for Epileptic EEG Classification.
49. Scaling Verifiable Computation Using Efficient Set Accumulators.
50. A Novel Weighted FP-Stream Algorithm for IoT Data Streams.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.