DSpace Repository

Browsing Proceedings papers by Title

Browsing Proceedings papers by Title

Sort by: Order: Results:

  • S-OSPF: a traffic engineering solution for OSPF based best effort networks 
    SAHOO, ANIRUDHA; MISHRA, ADITYA KUMAR (IEEE, 2007)
    Open Shortest Path First (OSPF) is one of the most widely used intra-domain routing protocol. It is well known that OSPF protocol does not provide flexibility in terms of packet forwarding to achieve any network optimization ...
  • S3DMT-Net: Improving soft sharing based multi-task CNN using task-specific distillation and cross-task interactions 
    JHA A.; BANERJEE B.; CHAUDHURI S. (Association for Computing Machinery, 2021)
    We deal with the problem of multi-task learning (mtl) in the context of performing multiple related visual dense prediction tasks from single image inputs. The soft-sharing-based deep mtl convnets (cnn) have separate ...
  • Safe and Fast Path Planner for Minimally Invasive Surgery 
    NEMA S.; VACHHANI L. (Institute of Electrical and Electronics Engineers Inc., 2021)
    Path planning of a tool in minimally invasive surgery (mis) can provide assistance to the surgeons by giving solutions for faster and safe tool movements during the surgery. However, the main challenge in this problem is ...
  • Safety analysis for dynamic update of object oriented programs 
    MURARKA, YOGESH; BELLUR, UMESH; JOSHI, RUSHIKESH K (IEEE, 2006)
    Maintenance downtime and overheads for applying patches are major concerns for systems requiring round the clock availability. Hence, methods for carrying out dynamic updates are needed. However, correctness of the system ...
  • Safety management in NPPs using an evolutionary algorithm technique 
    MISHRA, A; PATWARDHAN, A; VERMA, AK (ELSEVIER SCIENCE SA, 2007)
    The general goal of safety management in Nuclear Power Plants (NPPs) is to make requirements and activities more risk effective and less costly. The technical specification and maintenance (TS&M) activities in a plant are ...
  • Sample specific generalized cross entropy for robust histology image classification 
    KURIAN N.C.; MESHRAM P.S.; PATIL A.; PATEL S.; SETHI A. (IEEE Computer Society, 2021)
    The accuracy of deep learning classifiers trained using the cross entropy loss function suffers even when a fraction of training labels are wrong or input images are uninformative. Training images and labels for computational ...
  • Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes 
    RADHIKA B.S.; KUMAR N.V.N.; SHYAMASUNDAR R.K. (Springer Science and Business Media Deutschland GmbH, 2022)
    Access control is one of the key mechanisms used for protecting system resources. While each of the existing access control models has its own benefits, it is difficult to satisfy all the requirements of a contemporary ...
  • SAR interferometry and speckle tracking approach for glacier velocity estimation using ERS-1/2 AND TERRASAR-X spotlight high resolution data 
    KUMAR, V; VENKATARAMAN, G; RAO, YS (IEEE, 2009)
    Glacier retreat and advance is general phenomenon in Himalayan region due to change in climatic conditions For quantifying the global warming effects on local scale glacier system monitoring and estimating its dynamic ...
  • SAR interferometry for DEM generation and movemnet of Indian glaciers 
    RAO, YS; VENKATARAMAN, G; RAO, KS; SNEHMANI (IEEE, 2004)
    Two famous glaciers viz. Gangotri and Siachen were studied for DEM generation and movement usiny ERS-1&2 tandem data. While surrounding areas along the glaciers showed more decorrelation, glacier area showed a very good ...
  • Saturated total-population dependent branching process and viral markets 
    AGARWAL K.; KAVITHA V. (Institute of Electrical and Electronics Engineers Inc., 2022)
    Interesting posts are continually forwarded by the users of the online social network (osn). Such propagation leads to re-forwarding of the post to some of the previous recipients, which increases as the post reaches a ...
  • Scalable Construction of Formal Error Guaranteed LUT-Based Approximate Multipliers with Analytical Worst-Case Error Bound 
    VENKATESH A.; JHA C.K.; VINOD G.U.; FUJITA M.; SINGH V. (Springer Science and Business Media Deutschland GmbH, 2022)
    In approximate circuits, the functionality of the circuit is modified to improve non-functional parameters such as area, power, and delay. These circuits are targeted for error-resilient applications like image processing, ...
  • A scalable symbolic simulator for Verilog RTL 
    SUNKARI, SASIDHAR; CHAKRABORTY, SUPRATIK; VEDULA, VIVEKANANDA; MANEPARAMBIL, KAILASNATH (IEEE, 2007)
    Symbolic simulation is an important technique used informal property verification and test generation for digital circuits. Existing symbolic simulators predominantly operate at the gate level, reasoning about individual ...
  • Scalable Techniques for Autonomous Construction of a Paraboloidal Space Telescope in an Elliptic Orbit 
    SABU A.J.; MUKHERJEE D. (Institute of Electrical and Electronics Engineers Inc., 2021)
    It is well acknowledged that human-made technology is not always at par with human curiosity, and an example is the inability to send large telescopes to outer space despite their higher resolution and less atmospheric ...
  • Scalable Visual Simulation of Ductile and Brittle Fracture 
    MANDAL A.; CHAUDHURI P.; CHAUDHURI S. (Association for Computing Machinery, Inc, 2021)
    Fracture of solid objects produces debris. Modelling the physics that produces the broken fragments from the original solid requires an increase in the number of degrees of freedom. This causes a huge increase in computational ...
  • Scale of Non-commutativity and the Hydrogen Spectrum 
    GHODERAO P.S.; GAVAI R.V.; RAMADEVI P. (Springer Science and Business Media Deutschland GmbH, 2021)
    In view of the current null results for the popular models of physics beyond the standard model, it has become necessary to explore other plausible alternatives for such physics.non-commutative spaces, which can arise in ...
  • SCALES: MPC with Small Clients and Larger Ephemeral Servers 
    ACHARYA A.; HAZAY C.; KOLESNIKOV V.; PRABHAKARAN M. (Springer Science and Business Media Deutschland GmbH, 2022)
    The recently proposed yoso model is a groundbreaking approach to mpc, executable on a public blockchain, circumventing adaptive player corruption by hiding the corruption targets until they are worthless. Players are ...
  • Scaling Neural Program Synthesis with Distribution-Based Search 
    FIJALKOW N.; LAGARDE G.; MATRICON T.; ELLIS K.; OHLMANN P.; POTTA A. (Association for the Advancement of Artificial Intelligence, 2022)
    We consider the problem of automatically constructing computer programs from input-output examples. We investigate how to augment probabilistic and neural program synthesis methods with new search algorithms, proposing a ...
  • Scaling Sustainable Integrated PV Manufacturing Globally 
    GHOSH P.; VASI J.; KOTTANTHARAYIL A.; SHIRADKAR N.; KUMAR S.; ARYA R.; KAZMERSKI L.L. (Institute of Electrical and Electronics Engineers Inc., 2021)
    As solar deployment world-wide prepares to accelerate after the pandemic, many regions and countries will attempt to build up a sustainable solar manufacturing ecosystem. The reasons for this may be manifold - energy ...
  • Scaling up the ALIAS duplicate elimination system : a demonstration 
    SARAWAGI, S; KIRPAL, A (IEEE, 2003)
    Duplicate elimination is an important stage in integrating data from multiple sources. The challenges involved are finding a robust deduplication function that can identify when two records are duplicates and efficiently ...
  • Scanning probe method : a tool to characterise materials 
    VENKATARAMANI, N (UNIVERSITIES PRESS INDIA LTD, 1999)
    A range of scanned probe techniques (SPM) are available today. The SPM's can work under various environments. The Scanning tunneling microscope (STM)has resolved nearest neighbour atoms and the details of individual atoms ...

Search DSpace


Advanced Search

Browse

My Account