NDLI: Computer Science & Engineering

Please wait, while we are loading the content...

Advanced Technology Development Center

Aeronautical & Aerospace Engineering

Agricultural & Food Engineering

Architecture & Regional Planning

Center for Educational Technology

Centre for Theoretical Studies

Chemical Engineering

Civil Engineering

Computer Science & Engineering

A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems

A Framework for Modeling, Analysis and Transcription of Bharatanatyam Dance Performances

A Logic Based Framework for Planning with Auxiliary Goals

A Logic Based Object Oriented Approach for Modeling and Management of Video of Dynamic Objects

A New Test Techniques for Heterogeneous Embedded Cores in SOC

A Semantic Net Based Approach to Generic Object Recognition

A Study on the Performance of Checkpoint and Recovery Protocols in Message Passing Distributed Systems

A Symbolic Event Propagation Approach for Solving Timing Problems of Digital Circuits

A Unified Framework Based on Orthogonal Polynomials for Edge Detection, Texture Analysis and Compression in Color Images

A Unified Framework for Managing Heterogeneous Access Control Policies

Adaptive Bitrate Streaming: Performance over Today’s Internet and Optimizations for the Future

Addressing Language Specific Characteristics for Data-Driven Modelling of Lexical, Syntactic and Prosodic Tasks in Sanskrit

Algorithms and Techniques for Connection Establishment in Wavelength Routed WDM Networks

Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

Algorithms for Personalized Recommender Systems and Rank Aggregation

Algorithms for Video Assisted Analysis of Infant Neurological Examinations

Algorithms on Temporal Graphs

An Investigation into Cues and Priors for Occlusion-Free Imaging

An Investigation into Eﬀective Fault Localization

An Object Oriented Approach to Digital Circuit Synthesis

An Orthogonal Polynomials based Unified framework for Edge detection and Texture analysis with its usage in some Industrial Applications

Analysis and Early Prediction of Student Performance using Data Mining Approaches

Analysis of Time-Driven Cache Attacks on Block Ciphers

Analyzing the Resilience and Emergence of Superpeer Networks

Analyzing the Role of Information Propagation on Node Prominence in Online Social Networks

Analyzing the Structure and Dynamics of Multilayer Networks: an Application Centric Study

Application of Equivalence Checking for Evaluation of Students’ Programming Assignments

Application-Driven Generative Models for Graph and Text

Assertions: from a Mixed - Signal Perspective

Attribute-Based Authorization Management in Multi-Domain Collaboration

Automated Planning Based Methods for Early Verification of Reactive Control Systems

Automatic Test Specification Generation for State-based System Testing

Batch Verification of Elliptic Curve and Edwards Curve Digital Signatures

Behavioral and Security Analysis of Future Generation Networks

Bisecting Families for Set Systems and Related Problems

Characterizing Collision and Optimizing Energy Consumption in Nanoscale Communication Networks Nabiul

Characterizing Twitter Users for Building Social Systems

Cognitively Motivated Computational Models for Representing Bangla Morphologically Complex Words in a Lexicon

Collaborative Problem Solving Among Organizations Using a Multiagent Framework

Community Analysis in Large Networks: Methods and Applications

Complexity Analysis and Algorithms for Data Path Synthesis

Computational Modeling of Text Readability in Bangla: a Reader Oriented Approach

Concurrency Test Scenario Generation Using UML Transition Sequences

Conex: an Expert System Structure for Control Engineering

Construction and Maintenance of Connected Dominating Set as Virtual Backbone in Wireless Network

Content Based Retrieval of Official Documents

Content Dissemination in Opportunistic Mobile Networks

Content-Based Image and Video Retrieval Using the Properties of the HSV Color Space

Cooperation-Aided Distributed Topology Management and Resource Allocation in Wireless Multimedia Sensor Networks

Correlation-Aware Network Management of Wireless Sensor Networks

Couplet based Analysis of Phylogenetic Trees

Cryptanalysis of Hash Functions and Authenticated Encryption Schemes

Curvature, Circularity, and Related Applications: a Digital-geometric Perspective

Dependence-Based Test Coverage Metrics for Object-Oriented Programs

Design Automation Algorithms for Sample Preparation on a Digital Microfluidic Lab-On-A-Chip

Design Intent Verification by Formal Property Coverage

Design and Analysis of Cellular Automata Based Cryptographic Algorithms

Design and Analysis of Cryptographic Boolean Functions with Improved Side-Channel Resistance

Design and Analysis of Fault Resilient Symmetric Ciphers

Design and Analysis of Key Distribution Mechanisms in Wireless Sensor Networks

Design and Analysis of Pairing Based Cryptographic Hardware for Prime Fields

Design and Analysis of Secure Physically Unclonable Function Compositions

Design and Analysis of Stream Ciphers Using Cellular Automata

Design and analysis of authenticated key establishment protocols

Design for Manufacturability aware Early Global Routing

Design of Adaptive Distributed Systems by Protocol Switching

Design of Easily Testable PLAs & their Testing Algorithms

Design, Analysis and Implementation of Physically Unclonable Function based Authentication Frameworks for Internet-of-Things

Design-for-Test Techniques for SOC Designs

Designing News Recommendation Systems: from Mass Media to Social Media

Developing Smartphone Keyboard Interaction Based Emotion Detection System

Development of Methodologies for Recognition Partially Obscured Planar Shapes

Diagnosis Techniques for Identifying Faults in Digital VLSI Circuits

Diagnostic Logic Graph for Analysis and Diagnosis of Digital Networks

Digital Watermarking of Audio Signals Using Quantization

Distributed Video Coding Using Local Rank Transform

Dynamic Slicing of Object-Oriented Programs

Dynamics of Information Dissemination: a Structural and Functional Study

Early Processing of Digital Color Images

Effective Methods for Cross-Lingual Dependency Parsing

Efficient Algorithms for Video Transcoding

Emotion Transformation Using Significant Events of Speech

Enhancing Document Retrieval with Enriched Representation of Query Terms

Enhancing Solution Quality of Multiobjective Combinatorial Optimization with Hybridization of Evolutionary Algorithm

Extracting and Summarizing Information from Microblogs during Disasters

Failure Diagnosis of Fair Discrete Event System Models and its Application to on-Line Testing of Sequential VLSI Circuits

Fault-Tolerant Scheduling in Parallel and Distributed Real- Time Systems

Fingerprint Biometric-Based Approaches to Remote User Authentication Schemes

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits

Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis

Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems

Formal Verification of Behavioural Transformations during Embedded System Design

Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Fractal Image and Video Compression

Fully Homomorphic Encryption Based Algorithms: Design and Challenges

Genetic Algorithms for a Class of Graph Problems with Applications in VLSI Design

Geometric Algorithms for Coverage in Wireless Sensor Networks

Hierarchical Planning and Control in Model-Based Design of Systems and Circuits

Identifying and Extracting Social Signals: from Exaggerations to Code-Borrowing

Image Steganography: Various Approaches to Resist Steganalytic Attacks

Improved Test Techniques for Network-on-Chip Based Memory Systems

Improving the Performance of a Bengali to Hindi Machine Translation System Through Systematic Processing of Errors

Incorporation of Manner of Articulation Knowledge to Improve the Performance of Automatic Speech Recognition System

Inductive Reasoning in formal Verification of Hardware

Information Management in Large Scale Networks

Investigating Core Periphery Structure for Centrality Resilience, Prediction and Representation Learning

Jamming-Aware Quality-of-Service Enhancement in Wireless Sensor Networks

Knowledge Extraction, Growth Study and Impact Prediction for Scientific Documents

Logic Synthesis for Low Power High Performance VLSI Circuits

Lung Cancer Radiomics: Early Prognosis using Spatio-Temporal Low Dose Cone-Beam CT Images

Machine Learning Algorithms for Prediction of Indian Summer Monsoon

Machine Learning Methods for Named Entity Recognition with Limited Resource

Management and Verification of Power and Thermal Contracts in Integrated Circuits

Methods for Harnessing a Network of Workstations for Parallel Processing

Methods for Synthesis of PLA-based FSM ’s

Micro-Architectural Attacks and Countermeasures on Public-Key Cryptosystems

Mining Personality Traits and Behaviorally Similar Groups from Enterprise Social Networks

Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

Modeling Self-Reinforcement and Inter-Competition in Multivariate Temporal Point Processes and Graph-based Semi-Supervised Learning

Modeling and Application of Visual Saliency

Modeling and Learning Influence in Social Networks

Models and Algorithms for Design of Scanning Keyboards

Molecular Mechanism of Bacterial Chemotaxis and Prediction of Protein Phosphorylation Sites

Motion Vector Estimation in Video Compression

Multi-Rate Strategies for Power and Bandwidth Optimization in Embedded Control

Network Resource Management over Shared Storage Hyperconverged Data Centers

New Algorithms and Applications of Searching State-Space Graphs and Monotone Multi-Dimensional Arrays

New Approaches for Simulation Based Verification of Pipelined Processors

New Approaches in Real-Time Proportional Fair Multiprocessor Scheduling

New Methods for Automated Synthesis and Verification of Analog Circuits

New Multiprocessor Scheduling Techniques for Dynamic Task Graphs

New Techniques in Testing and Timing Verification of System-on-Chips

New Visibility Problems: Combinatorial & Computational Complexities

Object Identification in RFID Technology

Offloading in UAV Networks

On Discretization of Sphere and Related Problems in 3D Integer Space

On Farey Sequence and Farey Table with Digital-geometric Applications to Image Analysis

On Fault Diagnosis & Cellular Realization of Some Error Detecting/Correcting Codes

On Fault Diagnosis of Timed Discrete Event Systems and Hybrid Systems

On Transaction Modeling and Concurrency Control in Active DBMS

On the Computational Complexity & the Design of Algorithms for Multi-Layer Channel Routing

On the Star Graph Inter-Connection Topology for Parallel Computing

Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation

Performance Analysis and improvement of Information Dissemination Protocols in DTNS

Power Aware Software

Processing and Analysis of Bangla Optical Characters using Geometric and Topological Features

Processing of Brain MR Images

Provisioning Sensors-as-a-Service in Sensor-Cloud-Based Internet of Things

Quality of Service Provisioning in WDM Networks

Regression Test Selection and Prioritization for Object-Oriented Programs

Remote Dynamic Partial Reconfiguration for Emerging Iot Applications: Threats and Countermeasures

Representation and Classification of Spoken Word Exemplars

Reservation and Admission Control for QoS Provisioning in Mobile Networks

Resource Management in Heterogeneous Wireless Networks: an Economics Perspective

Reversible Watermarking of Digital Images: Algorithms and Implementation

Revisiting Fault Analysis of Block Ciphers: Attacks, Defenses, and Vulnerability Assessment Frameworks

Scheduling in Large Scale Mobile Systems

Search Techniques for Finding Alternative Solutions for and/or Graphs and Biobjective Optimization Problems

Secured Multi-Tenant Network Collocation in Horizontal IaaS Federation

Securing Loosely-Coupled Collaborations in a SaaS Cloud through Risk Estimation and Access Conflict Mediation

Security Aware Architectural Exploration of Public Key Algorithms

Segmentation of Scanned Document Images and its Applications

Semantic Analysis of Trajectory Traces to Explore Human Movement Behaviour

Semantic Kriging: a Semantically Enhanced Approach for Spatial Interpolation

Sensors-As-A-Service: Towards the Conceptualization of Sensor-Cloud

Side Channel Attacks of Stream Ciphers and Countermeasures

Slicing UML Models

Slicing of Parallel and Distributed Programs

Software-Defined Networking for Internet of Things: Rule Placement and Routing

Some Problem Solving Methods Using Neural Networks

Some Studies in Exact and Approximation Algorithms for Tree Search Problems

Some Studies in Heuristic Search Theory and Algorithms

Some Studies on Additive Cellular Automata and Their Applications

Some Studies on Error Correcting Code and Data Compression

Some Studies on Logic Design with Multiplexers and Testing of Digital Circuits

Some Studies on Theory and Applications of Additive Cellular Automata

Some Studies on Traffic Grooming, Routing and Wavelength Assignment in WDM Mesh Networks

Some Techniques to Address Traffic Congestion and Capacity Constraints in Mobile Networks

Source Modeling and Cross-Lingual Voice Conversion for High-quality Polyglot Parametric Speech Synthesis

Source Modeling for Improvement of Quality of Hmm-Based Speech Synthesis

Sparsity-Based Approaches to Motor Imagery Electroencephalogram Signal Processing

Spatio-Temporal Data Collection and Analysis for Developing Transport Related Services

Spatio-temporal Prediction: Data-driven Models with Intelligent Framework

Speech Recognition in Multilingual and Multimode Environment

Strategies for Dynamic Load Balancing on Network of Workstations

Studies in Logic Synthesis, Testing, and Security Issues of Digital Circuits based on Binary Decision Diagrams

Studies on Multi Label Classification of Emotions Evoked from Text Data

Study of Cellular Automata and Their Applications to Stream Ciphers

Study of Issue in Multiconnected Distributed Loop Interconnection Networks

Subjective Assessment of Cognitive Load of a Human Using Brain Electroencephalogram Data

Synthesis of Enhanced Systolic Arrays

Synthesis of Testable VLSI Designs from High Level Specifications

Techniques to Facilitate Seamless Identification of Activities of Daily Living in a Smart Home

Temporal Networks: Structure, Function and Application

Temporal Role Mining

Test Coverage Analysis of Object-Oriented Programs

Theory and Application of Additive Cellular Automata for Easily Testable VLSI Circuit Design

Theory and Applications of Additive Cellular Automata for Reliable and Testable VLSI Circuit Design

Thermal-Aware Design and Test Techniques for Two- and Three-Dimensional Networks-on-Chip

Topology and its Effects on the Performance of Peer-to-Peer Networks

Towards Lightweight and Anonymous Identity-Based Broadcast Proxy Re-encryption

Towards Scalable SDN: Enhancement in Data and Control Planes

Traffic Engineering in Software-Defined Data Center Networks for IOT

Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

Understanding Behavior of Linguistic Entities in Social Media

Unifying Heuristics and Evolutionary Computing for Characterizing and Solving Certain Combinatorial Optimization Problems

Unsupervised Approaches to Syntactic Analysis of web Search Queries

Unsupervised Learning for Gene Selection and Enrichment Using Microarray Data

Unsupervised Pattern Discovery and Clustering of Speech Utterances for Information Retrieval

Using Networks for Lexical Semantics: Wikification, Lexical Relation Detection, Lexical Unit Representation

Utilisation of a Single Type of Orthogonal Polynomial Based Operators for Image Analysis

Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction

Cryogenic Engineering

Electrical Engineering

Electronics & Electrical Communication Engineering

Environmental Science and Engineering

G S Sanyal School of Telecommunications

Geology & Geophysics

Humanities & Social Sciences

Industrial and Systems Engineering

Information Technology

Materials Science

Mechanical Engineering

Metallurgical & Materials Engineering

Mining Engineering

Nanoscience and Technology

Ocean Engineering & Naval Architecture

Oceans, Rivers, Atmosphere and Land Sciences

Physics & Meteorology

Rajendra Mishra School of Engineering Entrepreneurship

Rajiv Gandhi School of Intellectual Property Law

Ranbir and Chitra Gupta School of Infrastructure Design and Management

Rekhi Centre of Excellence for the Science of Happiness

Reliability Engineering Centre

Rubber Technology Centre

Rural Development Centre

School of Bio-Science (SBS)

School of Energy Science and Engineering

School of Medical Science & Technology

School of Water Resources

Subir Chowdhury School of Quality and Reliability

Vinod Gupta School of Management

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in