Topics and features: reviews the features of the C++ programming language, and describes how to create efficient algorithms that can quickly process large data sets; discusses sorting algorithms and binary search, and...
详细信息
ISBN:
(数字)9783319725475
Topics and features: reviews the features of the C++ programming language, and describes how to create efficient algorithms that can quickly process large data sets; discusses sorting algorithms and binary search, and examines a selection of data structures of the C++ standard library; introduces the algorithm design technique of dynamic programming, and investigateselementary graph algorithms; covers such advanced algorithm design topics as bit-parallelism and amortized analysis, and presents a focus on efficiently processing array range queries; surveys specialized algorithms for trees, and discusses the mathematical topics that are relevant in competitive programming; examines advanced graph techniques, geometric algorithms, and string techniques; describes a selection of more advanced topics, including square root algorithms and dynamic programming optimization.;This easy-to-follow guide is an ideal reference for all students wishing to learn algorithms, and practice for programming contests. Knowledge of the basics of programming is assumed, but previous background in algorithm design or programming contests is not necessary. Due to the broad range of topics covered at various levels of difficulty, this book is suitable for both beginners and more experienced readers.
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development. Building on recent advances in b...
详细信息
ISBN:
(数字)9781447107637
ISBN:
(纸本)9781447111979
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development. Building on recent advances in both areas,;proposes a unified approach to the parallelisation of scientific computing code. This novel approach is based on the bulk-synchronous parallel model of computation, and succeeds in automatically generating parallel code that is architecture-independent, scalable, and of analytically predictable performance.
This book constitutes the thoroughly refereed conference proceedings of the Third International Conference on Algorithmic Decision Theory, ADT 2013, held in November 2013 in Bruxelles, Belgium. The 33 revised full pap...
详细信息
ISBN:
(数字)9783642415753
ISBN:
(纸本)9783642415746
This book constitutes the thoroughly refereed conference proceedings of the Third International Conference on Algorithmic Decision Theory, ADT 2013, held in November 2013 in Bruxelles, Belgium. The 33 revised full papers presented were carefully selected from more than 70 submissions, covering preferences in reasoning and decision making, uncertainty and robustness in decision making, multi-criteria decision analysis and optimization, collective decision making, learning and knowledge extraction for decision support.
Das Internet bietet Unternehmen und Kunden ganz neue Kommunikationsmöglichkeiten. Via Corporate-Website der Unternehmen können sich Kunden 24 Stunden am Tag mit Informationen über das Unternehmen versor...
详细信息
ISBN:
(数字)9783642190216
ISBN:
(纸本)9783540000198;9783642624117
Das Internet bietet Unternehmen und Kunden ganz neue Kommunikationsmöglichkeiten. Via Corporate-Website der Unternehmen können sich Kunden 24 Stunden am Tag mit Informationen über das Unternehmen versorgen. Dies ermöglicht Unternehmen direkten Einfluss auf ihre Kunden auszuüben und gleichzeitig umfangreiche Informationen über diese zu sammeln. Auf der anderen Seite belastet der Anspruch der permanenten Verfügbarkeit zur Gewährleistung eines optimalen Kundenservices das Kundenservice-Potential der Unternehmen. Chatbots entlasten Call-Center und Customer-Support-Abteilungen, da sie bereits 80 % der gestellten Fragen direkt via Website beantworten können. Sie sind 24 Stunden am Tag verfügbar, Kosten werden reduziert. Ferner wird den Benutzern der Umgang mit der Website erleichtert. Die automatisch dokumentierten Unterhaltungen liefern zudem konkrete Einblicke in den tatsächlichen Informationsbedarf der Kunden.
This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic Computation Systems (DISCO '93), held in Gmunden,Austria, in September 1993.The growing importance of...
详细信息
ISBN:
(数字)9783540479857
ISBN:
(纸本)9783540572350
This volume constitutes the proceedings of the
International Symposium on Design and Implementation of
Symbolic Computation Systems (DISCO '93), held in Gmunden,
Austria, in September 1993.
The growing importance of systems for symbolic computation
has greatly influenced the decision of organizing this third
conference in the series: DISCO '93 focuses mainly on the
most innovative methodological and technological aspects of
the design and implementation of hardware and software
systems for symbolic and algebraic computation, automated
reasoning, geometric modeling and computation, and automatic
programming. The general objective of DISCO '93 is to
present an up-to-date view of the field and to serve as a
forum insymbolic computation for the scientific exchange
among academic, industrial and user communities.
Besides invited talks by Buchberger, Monagan, Omodeo and
Hong, the volume contains 28 contributions, carefully
selected by a highly competent international program
committee from a total of 56 submissions.
TACS'91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku University,Japan, in September 1991. This volume contains 37 papers andan abstract for the talks presente...
详细信息
ISBN:
(数字)9783540476177
ISBN:
(纸本)9783540544159
TACS'91 is the first International Conference on Theoretical
Aspects of Computer Science held at Tohoku University,
Japan, in September 1991. This volume contains 37 papers and
an abstract for the talks presented at the conference.
TACS'91 focused on theoretical foundations of programming,
and theoretical aspects of the design, analysis and
implementation of programming languages and systems. The
following range of topics is covered: logic, proof,
specification and semantics of programs and languages;
theories and models of concurrent, parallel and distributed
computation; constructive logic, category theory, and type
theory in computer science; theory-based systems for
specifying, synthesizing, transforming, testing, and
verifying software.
Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry prof...
详细信息
ISBN:
(数字)9783642134050
ISBN:
(纸本)9783642134043
Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals. The goal of these co-located conferences is to bring together researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of advanced science and technology, advanced communication and networking, information security and assurance, ubiquitous computing and m- timedia applications. This co-located event included the following conferences: AST 2010 (The second International Conference on Advanced Science and Technology), ACN 2010 (The second International Conference on Advanced Communication and Networking), ISA 2010 (The 4th International Conference on Information Security and Assurance) and UCMA 2010 (The 2010 International Conference on Ubiquitous Computing and Multimedia Applications). We would like to express our gratitude to all of the authors of submitted papers and to all attendees, for their contributions and participation. We believe in the need for continuing this undertaking in the future. We acknowledge the great effort of all the Chairs and the members of advisory boards and Program Committees of the above-listed events, who selected 15% of over 1,000 submissions, following a rigorous peer-review process. Special thanks go to SERSC (Science & Engineering Research Support soCiety) for supporting these - located conferences.
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Au&...
详细信息
ISBN:
(数字)9783642957109
ISBN:
(纸本)9783540567882
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Außerdem deckt sie die wesentlichen Aspekte ab, die für das Verständnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterführende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; außer dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen Grundkenntnisse voraus. Zugleich ist es für Entwickler von integrierten Schaltungen und von Entwurfswerkzeugen interessant, die einen Überblick über die Ansätze zur Automatisierung des funktionalen Entwurfs gewinnen wollen. Die Darstellung ist mit einer Vielzahl von Beispielen illustriert, Zusammenhänge werden in tabellarischen und graphischen Übersichten verdeutlicht. Übungsaufgaben am Ende der Kapitel ermöglichen die Überprüfung des Verständnisses, Hinweise auf weiterführende Literatur die Vertiefung der Stoffgebiete.
暂无评论