113 results on '"Sarat Chandra"'
Search Results
2. Formal Methods in Requirements Engineering: Survey and Future Directions.
3. Estimation of compressive strength of concrete cement using random vector functional link networks: a case study.
4. Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
5. Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.
6. Improved firefly based pi-sigma neural network for gold price prediction.
7. Experience: Implementation of Edge-Cloud for Autonomous Navigation Applications.
8. DWT and SVM Approach based Incipient Fault Detection Methods for Underground Distribution System.
9. A Dynamic Object Removal and Reconstruction Algorithm for Point Clouds.
10. UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).
11. Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
12. Towards a Correct-by-Construction Design of Integrated Modular Avionics.
13. Logic-Based Explainable and Incremental Machine Learning.
14. Prolog: Past, Present, and Future.
15. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
16. Structured Reinforcement Learning for Media Streaming at the Wireless Edge.
17. An Elitist Artificial Electric Field Algorithm Based Random Vector Functional Link Network for Cryptocurrency Prices Forecasting.
18. Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
19. ELMVDP: extreme learning based virtual data position exploration and incorporation method for escalation of time series forecasting accuracy.
20. Estimation of Air Quality Index of Brajarajnagar and Talcher Industrial Region of Odisha State: A Higher Order Neural Network Approach.
21. Recent Trends in Autonomous Vehicle Validation Ensuring Road Safety with Emphasis on Learning Algorithms.
22. Design and implementation of a Joint Sensing & Communication System for Connected Autonomous Vehicles.
23. Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
24. Expediting Prediction Accuracy with Exploration and Incorporation of Virtual Data.
25. Improved Set Algebra-Based Heuristic Technique for Training Multiplicative Functional Link Artificial Neural Networks for Financial Time Series Forecasting.
26. Bitcoin closing price movement prediction with optimal functional link neural networks.
27. Intelligent Financial Forecasting With an Improved Chemical Reaction Optimization Algorithm Based Dendritic Neuron Model.
28. Design & Development of MPPT Using PSO With Predefined Search Space Based on Fuzzy Fokker Planck Solution.
29. Extreme Learning With Metaheuristic Optimization for Exchange Rate Forecasting.
30. Impact of Site Conditions and Requirements on Microgrid Design, Control, and Performance.
31. Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
32. ALT-Pilot: Autonomous navigation with Language augmented Topometric maps.
33. An artificial electric field algorithm-based neuro-fuzzy predictor for estimation of compressive strength of concrete structures: A machine learning approach.
34. A machine learning approach for estimating compressive strength of concrete structures using an artificial electric field algorithm-based neuro-fuzzy predictor.
35. Inclusion of Climate Variables for Dengue Prediction Model: Preliminary Analysis.
36. Parameter Estimation for Underground Cable Fault Using Stochastic Optimization.
37. Knowledge-driven Natural Language Understanding of English Text and its Applications.
38. Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
39. LTL Model Checking using Coinductive Answer Set Programming.
40. Tutorial: Automating Commonsense Reasoning.
41. Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.
42. Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
43. A Generic GPU-Accelerated Framework for the Dial-A-Ride Problem.
44. Artificial chemical reaction optimisation of recurrent functional link neural networks for efficient modelling and forecasting of financial time series.
45. A CNN-LSTM-based fault classifier and locator for underground cables.
46. Variable Length Differential Encoding for Real-Time Status Updates.
47. Mode-Suppression: A Simple, Stable and Scalable Chunk-Sharing Algorithm for P2P Networks.
48. Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.
49. Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
50. Data-driven Models for Short-term Travel Time Predictio.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.