WorldCat Identities

Sudan, Madhu

Overview
Works: 515 works in 1,301 publications in 2 languages and 19,882 library holdings
Genres: Conference papers and proceedings  Periodicals  Academic theses 
Roles: Author, Editor
Classifications: QA76.65, 004
Publication Timeline
.
Most widely held works by Madhu Sudan
Efficient checking of polynomials and proofs and the hardness of approximation problems by Madhu Sudan( Book )

25 editions published between 1992 and 1996 in English and Italian and held by 369 WorldCat member libraries worldwide

This work is a fascinating piece of research in computer science: it is built on and combines deep theoretical results from various areas and, at the same time, takes into account applications to hard problems in several fields. The author provides important new foundational insights and essentially advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algorithms, NP-complete optimization, and error-detection and error-correction algorithms in coding theory
Complexity classifications of Boolean constraint satisfaction problems by Nadia Creignou( Book )

13 editions published in 2001 in English and held by 134 WorldCat member 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( )

7 editions published in 2009 in English and Undetermined and held by 82 WorldCat member 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
On the Move to Meaningful Internet Systems: OTM 2009 Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I by R Meersman( )

9 editions published in 2008 in English and held by 59 WorldCat member libraries worldwide

The two-volume set LNCS 7044 and 7045 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2011), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2011), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2011) held as part of OTM 2011 in October 2011 in Hersonissos on the island of Crete, Greece. The 55 revised full papers presented were carefully reviewed and selected from a total of 141 submissions. The 27 papers included in the first volume constitute the proceedings of CoopIS 2011 and are organized in topical sections on business process repositories, business process compliance and risk management, service orchestration and workflows, intelligent information systems and distributed agent systems, emerging trends in business process support, techniques for building cooperative information systems, security and privacy in collaborative applications, and data and information management
Detection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings by David Hutchison( )

8 editions published between 2008 and 2009 in English and Undetermined and held by 55 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2009, held in Milan, Italy, in July 2009. The 10 revised full papers presented together with three extended abstracts were carefully selected from 44 initial submissions. The papers are organized in topical sections on malware and SPAM, emulation-based detection, software diversity, harnessing context, and anomaly detection
Computational science and its applications : ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings by Osvaldo Gervasi( )

4 editions published in 2009 in English and held by 55 WorldCat member libraries worldwide

Printbegrænsninger: Der kan printes kapitelvis
Computational Science - ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I by Gabrielle Allen( )

4 editions published in 2009 in English and held by 54 WorldCat member libraries worldwide

The two-volume set LNCS 5544-5545 constitutes the refereed proceedings of the 9th International Conference on Computational Science, ICCS 2009, held in Baton Rouge, LA, USA in May 2008. The 60 revised papers of the main conference track presented together with the abstracts of 5 keynote talks and the 138 revised papers from 13 workshops were carefully reviewed and selected for inclusion in the three volumes. The general main track of ICSS 2009 was organized in about 20 parallel sessions addressing the following topics: e-Science Applications and Systems, Scheduling, Software Services and Tools, New Hardware and Its Applications, Computer Networks, Simulation of Complex Systems, Image Processing, Optimization Techniques, and Numerical Methods
Transactions on Computational Science V Special Issue on Cognitive Knowledge Representation by Marina L Gavrilova( )

3 editions published in 2009 in English and held by 23 WorldCat member libraries worldwide

Annotation The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The fifth volume of the Transactions on Computational Science journal, edited by Yingxu Wang and Keith C.C. Chan, is devoted to the subject of cognitive knowledge representation. This field of study focuses on the internal knowledge representation mechanisms of the brain and how these can be applied to computer science and engineering. The issue includes the latest research results in internal knowledge representation at the logical, functional, physiological, and biological levels and describes their impacts on computing, artificial intelligence, and computational intelligence
Visual data mining : theory, techniques and tools for visual analytics by Simeon J Simoff( )

4 editions published in 2008 in English and Undetermined and held by 21 WorldCat member libraries worldwide

Annotation The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications
Combinatorial Optimization and Applications : second international conference, Cocoa 2008, St. John's, Canada, August 21-24, 2008 : proceedings by Zhao Zhang( )

9 editions published between 2008 and 2009 in English and held by 11 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization and Applications, COCOA 2009, held in Huangshan, China, in June 2009. The 50 revised full papers were carefully reviewed and selected from 103 submissions. The papers feature original research in the areas of combinatorial optimization - both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting
Artificial Neural Networks - ICANN 2008 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II by International Conference on Artificial Neural Networks (European Neural Network Society)( )

7 editions published in 2008 in English and held by 9 WorldCat member 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( )

7 editions published in 2008 in English and held by 9 WorldCat member 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 WorldCat member 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
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by Ulrike Spierling( Book )

3 editions published in 2008 in English and Undetermined and held by 4 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative
Algorithms and models for the web-graph : third international workshop, WAW 2004, Rome, Italy, October 16, 2004 ; proceeedings [i.e. proceedings] by Anthony Bonato( Book )

5 editions published between 2008 and 2009 in English and held by 2 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Models for the Web-Graph, WAW 2007, held in San Diego, CA, USA, in December 2007 - colocated with WINE 2007, the Third International Workshop on Internet and Network Economics. The 13 revised full papers and 5 revised short papers presented were carefully reviewed and selected from a large pool of submissions for inclusion in the book. The papers address a wide variety of topics related to the study of the Web-graph such as random graph models for the Web-graph, PageRank analysis and computation, decentralized search, local partitioning algorithms, and traceroute sampling
Verbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papers by Anna Esposito( Book )

5 editions published in 2008 in English and Undetermined and held by 2 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition
Advances in software engineering by E Börger( )

2 editions published in 2008 in English and held by 0 WorldCat member 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
Combinatorial pattern matching : 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings by Gregory Kucherov( )

2 editions published in 2009 in English and held by 0 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching, CPM 2009, held in Lille, France in June 2009. The 27 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 63 submissions. The papers address all areas related to combinatorial pattern matching and its applications, such as coding and data compression, computational biology, data mining, information retrieval, natural language processing, pattern recognition, string algorithms, string processing in databases, symbolic computing and text searching
Transactions on rough sets IX by David Hutchison( )

3 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide

Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. This book, which constitutes the ninth volume of the Transactions on Rough Sets series, providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions of papers included in the first conference on Rough Sets and Intelligent Systems Paradigms. The 26 papers presented in this volume introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, image processing, logic, mathematics, medicine, music, and science
Advances in visual computing : first international symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005 : proceedings by George Bebis( )

4 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide

It is with great pleasure that we welcome you to the Proceedings of the 3rd - ternational Symposium on Visual Computing (ISVC 2007) held in Lake Tahoe, Nevada/California. ISVC o?ers a common umbrella for the four main areas of visualcomputing including vision, graphics, visualization, andvirtualreality. Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research?ndings, ideas, devel- ments, and applications in the broader area of visual computing. Thisyear, theprogramconsistedof14oralsessions,1postersession,6special tracks, and 6 keynote presentations. Following a very successful ISVC 2006, the response to the call for papers was almost equally strong; we received over 270 submissions for the main symposium from which we accepted 77 papers for oral presentation and 42 papers for poster presentation. Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 32 papers were accepted for oral presentation and 5 papers for poster presentation in the special tracks
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.46 for Advances i ... to 0.73 for Efficient ...)

Efficient checking of polynomials and proofs and the hardness of approximation problems
Alternative Names
Madhu Sudan

Madhu Sudan Indiaas informaticus

Madhu Sudan indischer Informatiker

Madhu Sudan informaticien théorique indien

मधु सूदन

マデュ・スーダン

邁度·蘇丹

Languages
English (130)

Italian (1)

Covers
Complexity classifications of Boolean constraint satisfaction problemsAdvances in Neural Networks - ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part IIIOn the Move to Meaningful Internet Systems: OTM 2009 Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part IDetection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. ProceedingsComputational science and its applications : ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedingsComputational Science - ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part ITransactions on Computational Science V Special Issue on Cognitive Knowledge RepresentationVisual data mining : theory, techniques and tools for visual analytics