Pratyush Kumar

Proceedings of the 21st International ACM SIGACCESS Conference on Computers and Accessibility, 2019

2018

FarmChat: A Conversational Agent to Answer Farmer Queries.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

On the structure of cyclic codes over the ring Z2s[u]∕〈uk〉.

[BibT_eX]

[DOI]

Hai Q. Dinh

Abhay Kumar Singh

Songsak Sriboonchitta

Discret. Math., 2018

Example Mining for Incremental Learning in Medical Imaging.

[BibT_eX]

[DOI]

Muktabh Mayank Srivastava

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2018

Algorithm to control power production from solar photovoltaic panels.

[BibT_eX]

[DOI]

Kumar Saurav

Muktabh Mayank Srivastava

Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018

Opportunistic Sensing with MIC Arrays on Smart Speakers for Distal Interaction and Exercise Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Convey: Exploring the Use of a Context View for Chatbots.

[BibT_eX]

[DOI]

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Evaluating and Informing the Design of Chatbots.

[BibT_eX]

[DOI]

Proceedings of the 2018 on Designing Interactive Systems Conference 2018, 2018

2017

Adaptive Real-Time Communication for Wireless Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Detection of Tooth caries in Bitewing Radiographs using Deep Learning.

[BibT_eX]

[DOI]

Lalit Pradhan

Srikrishna Varadarajan

CoRR, 2017

Leveraging DERs to improve the inference of distribution network topology.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Algorithm to Control Power Production from Solar Panels.

[BibT_eX]

[DOI]

Kumar Saurav

Proceedings of the Eighth International Conference on Future Energy Systems, 2017

2016

On Quantum Codes Obtained From Cyclic Codes Over $\mathbb{F}_2+u\mathbb{F}_2+u^2\mathbb{F}_2$.

[BibT_eX]

[DOI]

Sukhamoy Pattanayak

Abhay Kumar Singh

CoRR, 2016

PV power predictors for condition monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016

A network calculus foundation for smart-grids where demand and supply vary in space and time.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

Combining data with physics to monitor solar panels.

[BibT_eX]

[DOI]

Mohamad Iskandar Petra

Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21 - 24, 2016, 2016

Planning Curtailment of Renewable Generation in Power Grids.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

An Axiomatic Framework for Ex-Ante Dynamic Pricing Mechanisms in Smart Grid.

[BibT_eX]

[DOI]

Ramasuri Narayanam

Sarvapali D. Ramchurn

Iskandarbin Petra

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

DNA Cyclic Codes Over The Ring $ \F_2[u, v]/\langle u^2-1, v^3-v, uv-vu \rangle$.

[BibT_eX]

[DOI]

Sukhamoy Pattanayak

Abhay Kumar Singh

Pg Mohammad Iskandarbin Pg Hj Petra

CoRR, 2015

A socially aware incentive strategy for encouraging residential solar uptake in Brunei.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

Can real-time systems be chaotic?

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

Optimal Power Management with Guaranteed Minimum Energy Utilization for Solar Energy Harvesting Systems.

[BibT_eX]

[DOI]

Bernhard Buchli

Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

Run and be safe: mixed-criticality scheduling with temporary processor speedup.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts.

[BibT_eX]

[DOI]

Andreas Tretter

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Hard real-time guarantees in cyber-physical systems.

[BibT_eX]

[DOI]

PhD thesis, 2014

Worst-case guarantees on a processor with temperature-based feedback control of speed.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

SF3P: a framework to explore and prototype hierarchical compositions of real-time schedulers.

[BibT_eX]

[DOI]

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Deterministic memory sharing in Kahn process networks: Ultrasound imaging as a case study.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014

P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

Energy efficient DVFS scheduling for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Computing a language-based guarantee for timing properties of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Behavioural composition constructively built server algorithms.

[BibT_eX]

[DOI]

SIGBED Rev., 2013

Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Interference Constraint Graph - A new specification for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A satisfiability approach to speed assignment for distributed real-time systems.

[BibT_eX]

[DOI]

Devesh B. Chokshi

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Quantifying the Effect of Rare Timing Events with Settling-Time and Overshoot.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Timing Analysis on a Processor with Temperature-Controlled Speed Scaling.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Nikolay Stoimenov

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

A hybrid approach to cyber-physical systems verification.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Real-Time Analysis of Servers for General Job Arrivals.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Demand bound server: generalized resource reservation for hard real-time systems.

[BibT_eX]

[DOI]

Jian-Jia Chen

Proceedings of the 11th International Conference on Embedded Software, 2011

End-to-End Delay Minimization in Thermally Constrained Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Cool shapers: shaping real-time tasks for improved thermal guarantees.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

System-level power and timing variability characterization to compute thermal guarantees.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Thermally optimal stop-go scheduling of task graphs with real-time constraints.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

Run-time adaptable on-chip thermal triggers.

[BibT_eX]

[DOI]

David Atienza

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

Neural network based on-chip thermal simulator.

[BibT_eX]

[DOI]

David Atienza

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2009

Learning based address mapping for improving the performance of memory subsystems.

[BibT_eX]

[DOI]

Madhav P. Desai

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

2008

Evaluating product search and recommender systems for E-commerce environments.

[BibT_eX]

[DOI]

Pearl Pu

Li Chen

Electron. Commer. Res., 2008

2004

Evaluating example-based search tools.

[BibT_eX]

[DOI]

Pearl Huan Z. Pu