NDLI: From exponential to almost linear decomposability of finite or infinite trees

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

Network protocol interoperability testing based on contextual signatures and passive testing

Securing key issuing in peer-to-peer networks

Towards "WYDIWYS" for MIMI using concept analysis

Formalizing motivational patterns based on colors and their cultural meanings for developing web applications

A lightweight 3D visualization and navigation system on handheld devices

Scene map on wireless mobile platform

Collaborative modeling of business processes: a comparative case study

Structuring a process management center of excellence

Impact of function inlining on resource-constrained embedded systems

Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks

i*-prefer: optimizing requirements elicitation process based on actor preferences

Early phase requirements assessment of a teletreatment trial

Executing JML specifications of Java card applications: a case study

A consumer/producer approach to risk-driven software reliability and testing

Local reasoning for abstraction and sharing

Implementing rigorous web services with process algebra: navigation plan for web services

Designing of a system model for web 3D disabled access GIS on web 2.0

Situated process engineering for integrating processes from methodologies to infrastructures

Extending PASSI to model multi-agent systems product lines

Multi-agent system adaptation in a peer-to-peer scenario

A new probabilistic generative model of parameter inference in biochemical networks

On a discretizable subclass of instances of the molecular distance geometry problem

HIVSetSubtype: software for subtype classification of HIV-1 sequences

An evaluation of technologies for the pseudonymization of medical data

A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model

Clustering malware-generated spam emails with a novel fuzzy string matching algorithm

From exponential to almost linear decomposability of finite or infinite trees

An intelligent video system for vehicle localization and tracking in police cars

Workflow management for high volume supernova search

An algorithm for optimal comma free codes with isomorphism rejection

Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications

An approach to identifying conversation dependency in service oriented system during dynamic evolution

A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers

Daily demand forecasting of new products utilizing diffusion models and genetic algorithms

Formalizing Desargues' theorem in Coq using ranks

The unique solution for P3P problem

Visual detection of novel terrain via two-class classification

A nonlinear mobile robot modeling applied to a model predictive controller

Keeping diversity when exploring dynamic environments

A real time financial system based on grid and cloud computing

Improving folksonomies quality by syntactic tag variations grouping

Semantic information and sensor networks

iTrustU: a blog recommender system based on multi-faceted trust and collaborative filtering

Modeling and analyzing review information on the web focusing on credibility

GPU-based computation of distance functions on road networks with applications

On-line adaptation of sequential mobile processes running concurrently

Applying Reo to service coordination in long-running business transactions

Exploiting weak dependencies in tree-based search

An approximate approach to constraint solving in soft sensing

A recommender system for requirements elicitation in large-scale software projects

Mining functional associated patterns from biological network data

Parameterless outlier detection in data streams

Real-time scheduling for continuous queries with deadlines

Information retrieval from visual databases using multiple representations and multiple queries

Consistent and decentralized orchestration of BPEL processes

Model-based reasoning on the achievement of business goals

Constructing process views for service outsourcing

An adaptive block-set based management for large-scale flash memory

Method for fast compression of program codes for remote updates in embedded systems

HITS algorithm improvement using anchor-related text extracted by DOM structure analysis

Stratified division queries involving ordinal user preferences

Incremental board: a grid-based space for visualizing dynamic data sets

Efficient concept detection by fusing simple visual features

Matching ThisType to subtyping

Optimizing techniques for saturated arithmetic with first-order linear recurrence

Data parallel dialect of scheme: outline of the formal model, implementation, performance

An implementation substrate for languages composing modularized crosscutting concerns

Resource sharing in behavioral based scheduling

Designing reliable real-time concurrent object-oriented software systems

Privacy-preserving linear programming

An extensible simulation tool for overlay networks and services

Simulating business processes with EPML.SIM

CMC-UMC: a framework for the verification of abstract service-oriented properties

Assessing complexity of service-oriented computing using learning classifier systems

Sink-oriented dynamic location service for shortest path relay with energy efficient global grid

Integrating standardized transaction protocols in service-oriented wireless sensor networks

Cross-layer cooperation between membership estimation and routing

Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS

Learners automated evaluation with the ODALA approach

Design and implementation on a pie menu interface for analog joysticks

Seamless access of home theater personal computers for mobile devices

Towards a landmark influence framework to protect location privacy

Towards a maturity model for corporate data quality management

Constraint-based modelling and analysis of organisations

Building a self-healing embedded system in a multi-OS environment

RPP: reference pattern based prefetching controller

Identifying vulnerabilities and critical requirements using criminal court proceedings

Architectural requirements prioritization and analysis applied to software technology evaluation

Refining spectrum-based fault localization rankings

Designing a distributed AOP runtime composition model

An optimized change-driven regression testing selection strategy for binary Java applications

Discovering XML keys and foreign keys in queries

Identifying discourse mistakes in web debates: moderation in the DCC

agentTool process editor: supporting the design of tailored agent-based processes

Automatic product derivation of multi-agent systems product lines

Organising MAS: a formal model based on organisational mechanisms

HSP-HMMER: a tool for protein domain identification on a large scale

Measuring coherence between electronic and manual annotations in biological databases

An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web

Automated device for determination of skin lesion regions

Improving classification based off-topic search detection via category relationships

Revealing common sources of image spam by unsupervised clustering with visual features

Forensic bite mark identification using image processing methods

A new cross-training approach by using labeled data

Uncertainty apportionment for air quality forecast models

Reduced parallel PNN algorithm for PC grid systems

Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services

A gradient oriented recombination scheme for evolution strategies

Infinite bar-joint frameworks

Topology determination and isolation for implicit plane curves

Attention driven visual processing for an interactive dialog robot

Visual navigation: image profiles for odometry and control

Flexible self-healing gradients

A biochemical metaphor for developing eternally adaptive service ecosystems

Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns

SemanticQA: web-based ontology-driven question answering

A taxonomy and adversarial model for attacks against network log anonymization

Similarity measures for trajectory of moving objects in cellular space

A framework for modelling and implementing self-organising coordination

Softening Gcc and Regular with preferences

The sum-of-increments constraint in the consecutive-ones matrix decomposition problem

A novel distance-based classifier built on pattern ranking

Evaluating algorithms that learn from data streams

A method for clustering transient data streams

Privacy protection for RFID data

Building an efficient preference XML query processor

Policy management architecture based on provisioning model and authorization certificates

Web-services in the dutch healthcare insurance sector: expected versus achieved benefits

Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore

On scheduling soft real-time tasks with lock-free synchronization for embedded devices

Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees

Music retrieval based on a multi-samples selection strategy for support vector machine active learning

A new multimedia synchronous distance learning system: the IVA study case

Visualization of information flows in a very large social network

Static type inference for Ruby

Algebraic specification techniques for parametric types with logic-based constraints

Kenro: a virtual machine monitor mostly described in Haskell

Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment

Exploiting stack distance to estimate worst-case data cache performance

Designing a multi-core hard real-time test bed for energy measurement experiments

On the practical importance of communication complexity for secure multi-party computation protocols

Simulating human intuitive decisions by Q-learning

Using probabilistic model checking and simulation for designing self-organizing systems

Runtime monitoring of web service choreographies using streaming XML

Lightweight monitoring of sensor software

Towards developing a trust-based security solution

Practical distributed voter-verifiable secret ballot system

Preservation of ordering in a network of brokers

Evaluating the affective tactics of an emotional pedagogical agent

Development of a biosignals framework for usability analysis

Wireless communication glove apparatus for motion tracking, gesture recognition, data transmission, and reception in extreme environments

High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case

Operational control of service processes: modularization as precondition

Architecture-driven requirements engineering

DARAW: a new write buffer to improve parallel I/O energy-efficiency

A practical evaluation of large-memory data processing on a reliable remote memory system

Eliciting required characteristics for usable requirements engineering approaches

A systematic method for generating quality requirements spectrum

Integration of formal specification, review, and testing for software component quality assurance

An approach to detection of UML-based ownership violation

The synergy of precise and fast abstractions for program verification

Towards inference of more realistic XSDs

WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes

A collaborative tool for designing and enacting design processes

Market-based coordination for intersection control

Construct anticancer drug-drug correlation network

Two lower bounds for self-assemblies at temperature 1

Evaluation of VR medical training applications under the focus of professionals of the health area

Incorporating accountability into internet email

Reconstructing strip-shredded documents using color as feature matching

On the complexity of hierarchical associative memories

Foreground classification using active template in the scene context for visual surveillance

Bulk based preconditioning for quantum dot computations

Exhaustion dominated performance: a first attempt

Formalizing the notion of adaptive system behavior

LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction

Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces

Multivariate root finding with search space decomposition and randomisation

Evaluation of visual attention models under 2D similarity transformations

Self-organized control of knowledge generation in pervasive computing systems

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals

SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types

Extending Bayesian trust models regarding context-dependence and user friendly representation

Labeled images verification using Gaussian mixture models

Situated tuple centres in ReSpecT

Length-lex bound consistency for knapsack constraints

Frequent spatio-temporal patterns in trajectory data warehouses

Online annotation and prediction for regime switching data streams

Incremental outlier detection in data streams using local correlation integral

Retrieving valid matches for XML keyword search

Cross-organizational ERP management: how to create a successful business case?

Improving functional verification of embedded systems using hierarchical composition and set theory

ERIKA and open-ZB: an implementation for real-time wireless networking

Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach

A light-weight summarizer based on language model with relative entropy

A recommendation system for browsing digital libraries

Two-dimensional non-photorealistic drawings on mobile devices

Representing refactoring opportunities

Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell

Aspect-oriented procedural content engineering for game design

An implementation of the earliest deadline first algorithm in Linux

Open source vs. closed source software: towards measuring security

Simulation supporting the design of self-organizing ambient intelligent systems

Conceptualization and implementation of a microscopic pedestrian simulation platform

PRECISO: a reengineering process and a tool for database modernisation through web services

Jointly optimizing data acquisition and delivery in traffic monitoring VANETs

Using geo-spatial session tagging for smart multicast session discovery

Expert system for supporting conformity inspections of software application interfaces to the ISO 9241

MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks

Creating a mobile web application platform: the lively kernel experiences

Towards a fast enterprise ontology based method for post merger integration

A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks

LTS semantics for use case models

Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation

Enhanced lattice-based adaptive random testing

An extensible source-level debugger

An approach for component testing and its empirical validation

Partitioning web applications between the server and the client

An approach for semantic web services automatic discovery and composition with similarity metrics

SoSAA: a framework for integrating components & agents

Towards organizational agent-oriented operating systems

A new protein motif extraction framework based on constrained co-clustering

Medical volume segmentation using bank of Gabor filters

Artificial intelligence applied to computer forensics

On the persistence of deleted windows registry data structures

A new K-View algorithm for texture image classification using rotation-invariant feature

Shader space navigator: a turbo for an intuitive and effective shading process

An efficient and accurate lattice for pricing derivatives under a jump-diffusion process

A framework for dynamic adaptation of power-aware server clusters

Using artificial life techniques for distributed grid job scheduling

Body-and-cad geometric constraint systems

Evolving morphologies and gaits of physically realistic simulated robots

Prestige-based peer sampling service: interdisciplinary approach to secure gossip

Efficient mobile reasoning for pervasive discovery

A personalized framework for trust assessment

A spatial bitmap-based index for geographical data warehouses

Decomposing port automata

LS(graph & tree): a local search framework for constraint optimization on graphs and trees

Optimal candidate generation in spatial co-location mining

Link-based event detection in email communication networks

Computing data cubes using exact sub-graph matching: the sequential MCG approach

Management of requirements in ERP development: a comparison between proprietary and open source ERP

Heterogeneous real-time embedded software optimization considering hardware platform

Diverse peer selection in collaborative web search

Improved spam filtering by extraction of information from text embedded image e-mail

A new inter-layer prediction scheme for spatial scalability with different frame rates

Fast mode decision for scalable video coding based on neighboring macroblock analysis

Symmetric encapsulated multi-methods to abstract over application structure

Banzai: a Java framework for the implementation of high-performance servers

Flexible features: making feature modules more reusable

An orthogonal real-time scheduling architecture for responsiveness QoS requirements in SOA environments

Improving stream correlation attacks on anonymous networks

Composing a high fidelity HLA federation for littoral operations

Precise generalized contact point and normal determination for rigid body simulation

Load management in model-aware execution of composite web services

Real-time multi-view vision systems using WSNs

A holistic mechanism against file pollution in peer-to-peer networks

Developing and evaluating web multimodal interfaces - a case study with usability principles

The device service bus: a solution for embedded device integration through web services

A role-based enterprise architecture framework

Fast networking with socket-outsourcing in hosted virtual machine environments

Mapping semantically enriched Formal Tropos to business process models

Modeling and integrating aspects with UML activity diagrams

A property-based verification approach in aspect-oriented modeling

On the verification of probabilistic I/O automata with unspecified rates

Server push with instant messaging

Global-to-local representation and visualization of molecular surfaces using deformable models

Task based visualization of 5D brain EIT data

Heuristic approach for automated shelf space allocation

Semi-automatic parallelization of direct and inverse problems for geothermal simulation

ATM: an automatic trust monitoring algorithm for service software

Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms

Origami fold as algebraic graph rewriting

Visual loop-closing with image profiles

Geographical data collection in sensor networks with self-organizing transaction cluster-heads

Applying semantic web technology to feature modeling

Defending online reputation systems against collaborative unfair raters through signal modeling and trust

Knowledge-based coordination with a reliable semantic subscription mechanism

Message-passing and local heuristics as decimation strategies for satisfiability

Combining statistics and semantics via ensemble model for document clustering

Adaptive burst detection in a stream engine

Exploiting join cardinality for faster hash joins

Privacy preserving churn prediction

The current feasibility of gesture recognition for a smartphone using J2ME

A class of multistep sparse matrix strategies for concept decomposition matrix approximation

A smart clustering algorithm for photo set obtained from multiple digital cameras

A framework for text visualization using memory traffic management for mobile devices

Troll, a language for specifying dice-rolls

KvmSec: a security extension for Linux kernel virtual machines

Simulating antigenic drift and shift in influenza A

Using process mining to business process distribution

Opportunistic real-time routing in multi-hop wireless sensor networks

Robust scheduler for grid networks

A generic library for GUI reasoning and testing

A destination prediction method using driving contexts and trajectory for car navigation systems

The people, the process or the technology?: Using the ACE framework to make tradeoffs in service delivery improvement

CPS-SIM: configurable and accurate clock precision solid state drive simulator

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Projecting code changes onto execution traces to support localization of recently introduced bugs

The visual authoring tool of flash-based component for interactive item template

Specifying and checking protocols of multithreaded classes

Implicit relevance feedback for context-aware information retrieval in UbiLearning environments

A novel approach to detect copy number variation using segmentation and genetic algorithm

Augmented reality environment for life support training

A method to construct knowledge table-base in k-in-a-row games

Vector stream processing for effective application of heterogeneous parallelism

Boosting the performance of computing systems through adaptive configuration tuning

Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios

Parallel materialization of large ABoxes

Using minimum description length for process mining

Enhancing XML data warehouse query performance by fragmentation

Optimal service level allocation in environmentally powered embedded systems

Self-organizing collaborative filtering in global-scale massive multi-user virtual environments

Term distribution visualizations with Focus+Context

A practical solution for scripting language compilers

Bayesian bot detection based on DNS traffic similarity

Annotating UDDI registries to support the management of composite services

NECTAR: a DTN routing protocol based on neighborhood contact history

Using web accessibility patterns for web application development

A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks

Concern-oriented business architecture engineering

Simplifying security policy descriptions for internet servers in secure operating systems

A method for developing UML state machines

A case study of pattern-based software framework to improve the quality of software development

Abstraction of multiple executions of object-oriented programs

Enforcement monitoring wrt. the safety-progress classification of properties.

An optimistic technique for transactions control using REST architectural style

An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models

Thin client architecture in support of remote radiology learning

Super-resolution image reconstruction using the generalized isotropic multi-level logistic model

GTfold: a scalable multicore code for RNA secondary structure prediction

Adaptive resource management architecture for distributed real-time embedded systems

A robust and tractable contact model for dynamic robotic simulation

Spam decisions on gray e-mail using personalized ontologies

Applying latent dirichlet allocation to group discovery in large graphs

Fuzzy data modeling based on XML schema

Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems

Fast error-tolerant search on very large texts

Visualization of clustered directed acyclic graphs with node interleaving

TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing

Semi-supervised co-training and active learning based approach for multi-view intrusion detection

A general service oriented approach for managing virtual machines allocation

DoSTRACK: a system for defending against DoS attacks

A pointing method using two accelerometers for wearable computing

Mobility aware path maintenance in ad hoc networks

Collaborative workflow assistant for organizational effectiveness

Response time analysis of software transactional memory-based distributed real-time systems

Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach

Remote software protection by orthogonal client replacement

Certification of smart-card applications in common criteria

Socially filtered web search: an approach using social bookmarking tags to personalize web search

Using dynamic bayesian networks to infer gene regulatory networks from expression profiles

A framework of a logic-based question-answering system for the medical domain (LOQAS-Med)

Interlaced Euler scheme for stiff systems of stochastic differential equations

Latency-aware leader election

Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate

Leveraging OWL for GIS interoperability: rewards and pitfalls

Improved AdaBoost.M1 of decision trees with confidence-rated predictions

Approximate indexing in road network databases

Storage architecture and software support for SLC/MLC combined flash memory

A session based personalized search using an ontological user profile

Information-theoretic identification of content pages for analyzing user information needs and actions on the multimedia web

Points-to analysis for JavaScript

Taking total control of voting systems: firmware manipulations on an optical scan voting terminal

SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems

Secure routing in peer-to-peer distributed hash tables

Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism

A passive conformance testing approach for a MANET routing protocol

Using aspects and dynamic composition to provide context-aware adaptation for mobile applications

Extended static checking in JML4: benefits of multiple-prover support

Semantic web services: from OWL-S via UML to MVC applications

Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome

Modular implementation of adaptive decisions in stochastic simulations

Supporting recovery, privacy and security in RFID systems using a robust authentication protocol

Capturing truthiness: mining truth tables in binary datasets

CPref-SQL: a query language supporting conditional preferences

RT-replayer: a record-replay architecture for embedded real-time software debugging

Alternatives to conjunctive query processing in peer-to-peer file-sharing systems

An enhanced multi-view video compression using the constrained inter-view prediction

SQLProb: a proxy-based architecture towards preventing SQL injection attacks

BPR: a bit-level packet recovery in wireless sensor networks

Towards the universal semantic assessment of accessibility

A flexible QoS-aware routing protocol for infrastructure-less B3G networks

An empirical study of incorporating cost into test suite reduction and prioritization

Reasoning about comprehensions with first-order SMT solvers

Where are your manners?: Sharing best community practices in the web 2.0

Adaptive finite element methods for nonlinear inverse problems

Efficient maintenance of distributed data in highly dynamic opportunistic grids

HTILDE: scaling up relational decision trees for very large databases

Learning the ontological theory of an information extraction system in the multi-predicate ILP setting

FlashBox: a system for logging non-deterministic events in deployed embedded systems

A sentence level probabilistic model for evolutionary theme pattern mining from news corpora

Discovery of time series in video data through distribution of spatiotemporal gradients

Secure web-based retrieval of documents with usage controls

Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients

Towards a compositional approach to model transformation for software development

Automatic discovery of technology trends from patent text

Variable handling in time-based XML declarative languages

Quality of service management in GMPLS-based grid OBS networks

Applying test-driven code search to the reuse of auxiliary functionality

User-media interaction with interactive TV

New content-aware request distribution policies in web clusters providing multiple services

GenQA: automated addition of architectural quality attribute support for Java software?

Ubiquitous services in home networks offered through digital TV

Model interfaces for two-way obliviousness

Searching for relevant software change artifacts using semantic networks

Using a product line for creating component systems

Key processes to start software process improvement in small companies

Failure management development for integrated automotive safety-critical software systems

A comparative study of techniques to write customizable libraries

Component-based metrics applying the strength of dependency between classes

From exponential to almost linear decomposability of finite or infinite trees

Content Provider	ACM Digital Library
Author	Djelloul, Khalil
Abstract	First-order constraints are first-order formulas built on a set of function and relation symbols using the following logical symbols: =, true, false, ¬, ∧, ∨, →, ↔, ∀, ∃, (,). Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling, resource allocation, configuration, temporal and spatial reasoning, computer graphics, bio-informatics. While theory of finite or infinite trees T has played a fundamental role for both modeling and solving these problems, the complexity of solving first-order constraints with nested quantifiers and negations in T has been proved to be inherently huge (a tower of powers of two). However, a new property called decomposability has been recently introduced and used as a black-box to build many efficient first-order constraint solvers over T. We show in this paper that the algorithm which is used in this black-box (i.e. the algorithm which performs decomposability) has an exponential time and space complexity. We then present a much more efficient algorithm in the form of four rewriting rules which can perform the same decomposability in an almost-linear time and space complexity.
Starting Page	897
Ending Page	902
Page Count	6
File Format	PDF
ISBN	9781605581668
DOI	10.1145/1529282.1529478
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-03-08
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Solving first order constraints First-order logic Theory of trees Rewriting rules
Content Type	Text
Resource Type	Article

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