skip to content

Sudan, Madhu

Overview
Works: 483 works in 1,150 publications in 2 languages and 20,735 library holdings
Genres: Conference papers and proceedings  Periodicals  Academic theses 
Roles: Author, Editor
Classifications: QA76.65, 004
Publication Timeline
Key
Publications about Madhu Sudan
Publications by Madhu Sudan
Most widely held works by Madhu Sudan
Efficient checking of polynomials and proofs and the hardness of approximation problems by Madhu Sudan( Book )
24 editions published between 1992 and 1996 in English and Italian and held by 366 libraries worldwide
The definition of the class NP (Coo71, Lev73) highlights the problem of verification of proofs as one of central interest to theoretical computer science. Recent efforts have shown that the efficiency of the verification can be greatly improved by allowing the verifier access to random bits and accepting probabilistic guarantees from the verifier (BFL91, BFLS91, FGL$\sp+$91, AS92). We improve upon the efficiency of the proof systems developed above and obtain proofs which can be verified probabilistically by examining only a constant number of (randomly chosen) bits of the proof
Complexity classifications of Boolean constraint satisfaction problems by Nadia Creignou( Book )
13 editions published in 2001 in English and held by 134 libraries worldwide
Publisher description: "Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating global inferences about the nature of computation. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable."
Advances in Neural Networks - ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III by Wen Yu( file )
6 editions published in 2009 in English and held by 81 libraries worldwide
The three volume set LNCS 5551/5552/5553 constitutes the refereed proceedings of the 6th International Symposium on Neural Networks, ISNN 2009, held in Wuhan, China in May 2009. The 409 revised papers presented were carefully reviewed and selected from a total of 1.235 submissions. The papers are organized in 20 topical sections on theoretical analysis, stability, time-delay neural networks, machine learning, neural modeling, decision making systems, fuzzy systems and fuzzy neural networks, support vector machines and kernel methods, genetic algorithms, clustering and classification, pattern recognition, intelligent control, optimization, robotics, image processing, signal processing, biomedical applications, fault diagnosis, telecommunication, sensor network and transportation systems, as well as applications
Detection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings by David Hutchison( file )
7 editions published between 2008 and 2009 in English and held by 55 libraries worldwide
Annotation
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I by Luca Aceto( file )
7 editions published between 2008 and 2009 in English and held by 44 libraries worldwide
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5125 contains 70 contributions of track A selected from 269 submissions as well as 2 invited lectures. The papers are organized in topical sections on complexity: boolean functions and circuits, data structures, random walks and random structures, design and analysis of algorithms, scheduling, codes and coding, coloring, randomness in computation, online and dynamic algorithms, approximation algorithms, property testing, parameterized algorithms and complexity, graph algorithms, computational complexity, games and automata, group testing, streaming, and quantum, algorithmic game theory, and quantum computing
Times of convergence : technologies across learning contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, the Netherlands, September 16-19, 2008 : proceedings by European Conference on Technology Enhanced Learning( file )
3 editions published in 2008 in English and held by 18 libraries worldwide
This book constitutes the refereed proceedings of the Third European Conference on Technology Enhanced Learning, EC-TEL 2008, held in Maastricht, The Netherlands, in September 2008. The 52 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference covers the different fields of learning technologies: education, psychology, computer science. The papers address the design of innovative environments, computational models and architectures, results of empirical studies on socio-cognitive processes, field studies regarding the use of technologies in context, collaborative processes, pedagogical scenarios, reusable learning objects and emerging objects, groups and communities, learning networks, interaction analysis, metadata, personalization, collaboration scripts, learning adaptation, collaborative environments, resources, tangible tools, as well as learning management systems
Artificial Neural Networks - ICANN 2008 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II by David Hutchison( file )
7 editions published in 2008 in English and held by 8 libraries worldwide
This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on Artificial Neural Networks, ICANN 2008, held in Prague Czech Republic, in September 2008. The 200 revised full papers presented were carefully reviewed and selected from more than 300 submissions. The second volume is devoted to pattern recognition and data analysis, hardware and embedded systems, computational neuroscience, connectionistic cognitive science, neuroinformatics and neural dynamics. it also contains papers from two special sessions coupling, synchronies, and firing patterns: from cognition to disease, and constructive neural networks and two workshops new trends in self-organization and optimization of artificial neural networks, and adaptive mechanisms of the perception-action cycle
Medical image computing and computer-assisted intervention - MICCAI 2008 : 11th international conference, New York, NY, USA, September 6-10, 2008 : proceedings by David Hutchison( file )
7 editions published in 2008 in English and held by 8 libraries worldwide
The two-volume set LNCS 5241 and LNCS 5242 constitute the refereed proceedings of the 11th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2008, held in New York, NY, USA, in September 2008. The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based on rigorous peer reviews. The first volume includes 127 papers related to medical image computing, segmentation, shape and statistics analysis, modeling, motion tracking and compensation, as well as registration. The second volume contains 131 contributions related to robotics and interventions, statistical analysis, segmentation, intervention, modeling, and registration
Computer vision--ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008 : proceedings by David Hutchison( Book )
12 editions published in 2008 in English and held by 4 libraries worldwide
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008. The 243 revised papers presented were carefully reviewed and selected from a total of 871 papers submitted. The four books cover the entire range of current issues in computer vision. The papers are organized in topical sections on recognition, stereo, people and face recognition, object tracking, matching, learning and features, MRFs, segmentation, computational photography and active reconstruction
Implementation and application of automata : 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings by David Hutchison( Book )
3 editions published in 2008 in English and held by 1 library worldwide
Annotation This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008. The 26 revised full papers together with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures
Cognitive vision : 4th international workshop, ICVW 2008, Santorini, Greece, May 12, 2008 : revised selected papers by David Hutchison( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This volume constitutes the post-conference proceedings of the 4th International Cognitive Vision Workshop, ICVW 2008, held in Santorini, Greece, on May 12, 2008. The 11 papers presented were carefully reviewed and selected from 17 submissions. They cover important aspects of cognitive vision like face recognition, activity interpretation, attention, memory maps and scene interpretation
Advances in visual computing : first international symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005 : proceedings by George Bebis( file )
4 editions published in 2008 in English and held by 0 libraries worldwide
It is with great pleasure that we welcome you all to the proceedings of the 2nd InternationalSymposiumonVisualComputing(ISVC2006)heldinLakeTahoe. Followinga successfulmeeting lastyear, wewitnesseda muchstrongerandmore productive event this year. ISVC o?ers a common umbrella for the four main areas of visual computing including vision, graphics, visualization, and virtual reality. Its goal is to provide a forum for researchers, scientists, engineers and practitionersthroughouttheworldtopresenttheirlatestresearch?ndings, ideas, developments and applications in the broader area of visual computing. This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Speci?cally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion. During the discussion period we tried to correct anomalies and errors that might have existed in the initial reviews
Advances in software engineering by E Börger( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering
Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers by Barbara Paech( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs. The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results. The full papers have been grouped thematically under the headings Innovative Requirements Engineering Techniques and Innovative Applications of Natural-Language Processing Techniques
High performance computing--HiPC 2007 : 14th international conference, Goa, India, December 18-21, 2007 : proceedings by Srinivas Aluru( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture
Bio-inspired computing and communication : first Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 revised selected papers by David Hutchison( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007. The 35 revised full papers presented were carefully reviewed and selected from many high quality submissions. All recent developments in the field of bio-inspired design of networks are addressed, with particular regard to wireless networks and the self-organizing properties of biological networks. The papers are organized in topical sections on biological networks, network epidemics, complex networks, bio-inspired network mode, network protocol in wireless communication, data management, distributed computing, and security
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Madhu Sudan
Madhu Sudan Indiaas informaticus
Madhu Sudan indischer Informatiker
Madhu Sudan informaticien théorique indien
मधु सूदन
マデュ・スーダン
邁度·蘇丹
Languages
English (102)
Italian (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.