Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 29 matches
- 2024
- Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty:
PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) 2024: 393-398 - 2023
- Shubham Agrawal, Venkatesh Honnakasturi, Madhumitha Nara, Nagamma Patil:
Utilizing Deep Learning Models and Transfer Learning for COVID-19 Detection from X-Ray Images. SN Comput. Sci. 4(4): 326 (2023) - 2022
- Venkatesh Vakamullu, Madhusudhan Mishra, Anirban Mukherjee:
Real-Time Heart Murmur Classification using Attention Based Deep Learning Approach. I2MTC 2022: 1-6 - Venkatesh Vakamullu, Sudipto Trivedy, Madhusudhan Mishra, Anirban Mukherjee:
Convolutional Neural Network Based Heart Sounds Recognition on Edge Computing Platform. I2MTC 2022: 1-6 - 2021
- Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh:
Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR abs/2109.01864 (2021) - 2020
- Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh:
Using hypersafety verification for proving correctness of programming assignments. ICSE (NIER) 2020: 81-84 - 2019
- Vijay S. Rao, R. Venkatesha Prasad, Tamma V. Prabhakar, Chayan Sarkar, Madhusudan Koppal, Ignas G. Niemegeers:
Understanding and Improving the Performance of Constructive Interference Using Destructive Interference in WSNs. IEEE/ACM Trans. Netw. 27(2): 505-517 (2019) - 2018
- Muqsit Azeem, Kumar Madhukar, R. Venkatesh:
Generalizing specific-instance interpolation proofs with SyGuS. ICSE (NIER) 2018: 57-60 - Sumanth Prabhu, Kumar Madhukar, R. Venkatesh:
Efficiently Learning Safety Proofs from Appearance as well as Behaviours. SAS 2018: 326-343 - 2017
- Joseph Schuchart, Michael Gerndt, Per Gunnar Kjeldsberg, Michael Lysaght, David Horák, Lubomír Ríha, Andreas Gocht, Mohammed Sourouri, Madhura Kumaraswamy, Anamika Chowdhury, Magnus Jahre, Kai Diethelm, Othman Bouizi, Umbreen Sabir Mian, Jakub Kruzík, Radim Sojka, Martin Beseda, Venkatesh Kannan, Zakaria Bendifallah, Daniel Hackenberg, Wolfgang E. Nagel:
The READEX formalism for automatic tuning for energy efficiency. Computing 99(8): 727-745 (2017) - Bhasker Dappuri, Madhu Babu Sikha, T. G. Venkatesh:
Preemptive priority mechanism with hybrid spectrum sensing for cognitive radio networks. ICACCI 2017: 359-363 - Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh:
Sequentialization Using Timestamps. TAMC 2017: 684-696 - 2016
- Vijay S. Rao, Madhusudan Koppal, R. Venkatesha Prasad, Tamma V. Prabhakar, Chayan Sarkar, Ignas G. Niemegeers:
Murphy loves CI: Unfolding and improving constructive interference in WSNs. INFOCOM 2016: 1-9 - 2015
- Sameer Singh, Madhusudan Govindarajan, T. S. Venkatesh, William Evans, Ayushi Kansal, S. S. Murali:
A 23fJ/conv-step 12b 290MS/s time interleaved pipelined SAR ADC. ESSCIRC 2015: 319-322 - Sujay Narayana, R. Venkatesha Prasad, Vijay S. Rao, Tamma V. Prabhakar, Sripad S. Kowshik, Madhuri Sheethala Iyer:
PIR sensors: characterization and novel localization technique. IPSN 2015: 142-153 - Vivin T. Wilson, Madhu Venkatesh, Sidharth Panicker, Sneha G. Bhat, R. Sanjeetha:
Smart waste Collecting Hopper (SWaCH): A service for all. WOCN 2015: 1-4 - 2014
- Prasanna Venkatesh Rengasamy, Madhu Mutyam:
Using packet information for efficient communication in NoCs. NOCS 2014: 143-150 - Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys 2014: 172-173 - 2013
- Arpit Joshi, Prasanna Venkatesh Rengasamy, Madhu Mutyam:
Prevention slot flow-control mechanism for low latency torus network-on-chip. IET Comput. Digit. Tech. 7(6): 304-316 (2013) - Tamma V. Prabhakar, S. N. Akshay Uttama Nambi, Madhuri Iyer, H. S. Jamadagni, R. Venkatesha Prasad, Ignas G. Niemegeers:
An implementation study of relay selection schemes for energy harvesting WSNs. CCNC 2013: 733-736 - Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh:
Trace based reachability verification for statecharts. FormaliSE@ICSE 2013: 22-28 - Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh:
Reachability Verification of Rhapsody Statecharts. ICST Workshops 2013: 96-101 - 2012
- Tamma V. Prabhakar, Madhuri Iyer, Prakruthi Keshavamurthy, R. Venkatesha Prasad, Ignas G. Niemegeers, Sakthi Priya Sathyanarayanan:
Throughput schemes for energy harvesting sensor networks. COMSNETS 2012: 1-7 - 2010
- Jaideep D. Padhye, Kush Kothari, Madhu Venkateshaiah, Matthew K. Wright:
Evading stepping-stone detection under the cloak of streaming media with SNEAK. Comput. Networks 54(13): 2310-2325 (2010) - S. Venkatesh Karthik, Srikant Rajagopal, R. M. Madhu:
Feature selection & dominant feature selection for product reviews using meta-heuristic algorithms. Bangalore Compute Conf. 2010: 26:1-26:4 - 2009
- Elizabeth A. Brackbill, Ying Mao, Sunil Kumar Agrawal, Madhu Annapragada, Venkatesh N. Dubey:
Dynamics and control of a 4-dof wearable cable-driven upper arm exoskeleton. ICRA 2009: 2300-2305 - Madhu Ramanathan, Srikant Rajagopal, S. Venkatesh Karthik, Meenakshi Sundaram Murugeshan, Saswati Mukherjee:
A Recursive Approach to Entity Ranking and List Completion Using Entity Determining Terms, Qualifiers and Prominent n-Grams. INEX 2009: 292-302 - 2000
- Madhusudhan Govindaraju, Aleksander Slominski, Venkatesh Choppella, Randall Bramley, Dennis Gannon:
Requirements for and Evaluation of RMI Protocols for Scientific Computing. SC 2000: 61 - 1995
- Madhu Vairy, Yedatore Venkatakrishnaiya Venkatesh:
Deblurring Gaussian blur using a wavelet array transform. Pattern Recognit. 28(7): 965-976 (1995)
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-07 08:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint