skip to content

Sudan, Madhu

Overview
Works: 499 works in 930 publications in 2 languages and 17,233 library holdings
Genres: Conference papers and proceedings  Periodicals  Academic theses 
Roles: Author, Editor
Classifications: QA76.9.A43, 005.14015113
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 )
22 editions published between 1992 and 1996 in English and Italian and held by 399 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 )
14 editions published in 2001 in English and held by 133 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."
Euro-Par 2008 - parallel processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008 ; proceedings by David Hutchison( file )
4 editions published between 2008 and 2009 in English and held by 47 libraries worldwide
This book constitutes the thoroughly refereed joint post-workshop proceedings of seven international events, held in Las Palma de Gran Canaria, Spain, in August 2008 within the scope of Euro-Par 2008, the 14th International Conference on Parallel Computing. The 43 papers presented together with 7 keynote lectures were carefully reviewed and selected during two rounds of reviewing and improvement from numerous presentations at the following workshops: the 3rd Workshop on Virtualization in High-Performance Cluster and Grid Computing (VHPC 2008), the UNICORE Summit 2008, the International Workshop on Highly Parallel Processing on a Chip (HPPC 2008), the Workshop on Secure, Trusted, Manageable and Controllable Grid Services (SGS 2008), the Workshop on Productivity and Performance (PROPER 2008), the Workshop on Real-Time Online Interactive Applications on the Grid (ROIA 2008), and the Workshop on Abstractions for Distributed Systems (DPA 2008)
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings by David Hutchison( file )
2 editions published in 2009 in English and held by 28 libraries worldwide
Annotation
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings by Bhaskar Krishnamachari( file )
2 editions published in 2009 in English and held by 25 libraries worldwide
The book constitutes the refereed proceedings of the Fifth International Conference on Distributed Computing in Sensor Systems, DCOSS 2009, held in Marina del Rey, CA, USA, in June 2009. The 26 revised full papers presented were carefully reviewed and selected from 116 submissions. The research contributions in this proceedings span many aspects of sensor systems, including energy efficient mechanisms, tracking and surveillance, activity recognition, simulation, query optimization, network coding, localization, application development, data and code dissemination
Resilient networks and services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1-3, 2008 : proceedings by Management and Security International Conference on Autonomous Infrastructure( Computer File )
3 editions published in 2008 in English and held by 23 libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, held in Bremen, Germany, in June 2008, under the auspices of IFIP. The 13 revised full papers presented together with 8 papers of the AIMS PhD workshop were carefully reviewed and selected from 33 submissions to the main conference and 12 papers for the PhD workshop respectively. The papers are discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault recovery, network traffic engineering and analysis, and convergent behavior of distributed systems
Transactions on computational science V : special issue on cognitive knowledge representation by Marina L Gavrilova( file )
3 editions published in 2009 in English and held by 18 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
Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings by MPC 2008( Computer File )
3 editions published in 2008 in English and held by 18 libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics
Visual data mining : theory, techniques and tools for visual analytics by Simeon J Simoff( file )
3 editions published in 2008 in English and held by 15 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
Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings by David Hutchison( file )
2 editions published in 2008 in English and held by 14 libraries worldwide
This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing, chaos and dynamical system-based computing, and various proposals for computations that go beyond the Turing model
Advances in self-organizing maps : 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings by J. C Príncipe( file )
3 editions published in 2009 in English and held by 8 libraries worldwide
This book constitutes the refereed proceedings of the 7th International Workshop on Advances in Self-Organizing Maps, WSOM 2009, held in St. Augustine, Florida, in June 2009. The 41 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers deal with topics in the use of SOM in many areas of social sciences, economics, computational biology, engineering, time series analysis, data visualization and theoretical computer science
Progress in cryptology : INDOCRYPT 2008 : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008 : proceedings by David Hutchison( file )
3 editions published in 2008 in English and held by 6 libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Cryptology in India, INDOCRYPT 2008, held in Kharagpur, India, in December 2008. The 33 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security protocols, hardware attacks, block ciphers, cryptographic hardware, elliptic curve cryptography, and threshold cryptography
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 )
5 editions published in 2008 in English and held by 5 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 Forsyth( file )
8 editions published in 2008 in English and held by 0 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
Transactions on rough sets IX by David Hutchison( file )
2 editions published in 2008 in English and held by 0 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
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by David Hutchison( file )
2 editions published in 2008 in English and held by 0 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
Advances in software engineering by Lipari Summer School on Advances in Software Engineering( 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
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( file )
3 editions published in 2008 in English and held by 0 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
Combinatorial pattern matching : 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings by Gregory Kucherov( file )
2 editions published in 2009 in English and held by 0 libraries worldwide
Algorithms and models for the web-graph : third international workshop, WAW 2004, Rome, Italy, October 16, 2004 ; proceeedings [i.e. proceedings] by Anthony Bonato( file )
3 editions published between 2008 and 2009 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph, WAW 2009, held in Barcelona, Spain, in February 2009 - co-located with WSDM 2009, the Second ACM International Conference on Web Search and Data Mining. The 14 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers address a wide variety of topics related to the study of the Web-graph such as theoretical and empirical analysis of the Web graph and Web 2.0 graphs, random walks on the Web and Web 2.0 graphs and their applications, and design and performance evaluation of the algorithms for social networks. The workshop papers have been naturally clustered in three topical sections on graph models for complex networks, pagerank and Web graph, and social networks and search
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Madhu Sudan
Madhu Sudan indischer Informatiker
Madhu Sudan informaticien théorique indien
मधु सूदन
Languages
English (90)
Italian (1)
Covers
Close Window

Please sign in to WorldCat 

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