2023澳洲幸运5开奖历史记录-澳洲5开奖官网查询-澳洲幸运五历史开奖号码

ACM Books

Effective Theories in Programming Practice

Jayadev Misra
The University of Texas at Austin, US

2023

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook ...

NEW

Prophets of Computing: Visions of Society Transformed by Computing

Dick van Lente
Erasmus University Rotterdam

2022

When electronic digital computers first appeared after World War II, they appeared as a revolutionary force. Business management, the world of work, administrative life, the nation state, and soon enough everyday life were expected to change dramatically ...

NEW

On Monotonicity Testing and the 2-to-2 Games Conjecture

Dor Minzer
Tel Aviv University

2022

This book discusses two questions in Complexity Theory: the Monotonicity Testing problem and the 2-to-2 Games Conjecture.

Monotonicity testing is a problem from the field of property testing, first considered by Goldreich et al. in 2000. The input of the ...

NEW

The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 2: Interactivity, Platforms, Application

Birgit Lugrin
Julius-Maximilians-Universität of Würzburg
,
Catherine Pelachaud
CNRS-ISIR, Sorbonne Université
,
David Traum
University of Southern California

2022

The Handbook on Socially Interactive Agents provides a comprehensive overview of the research fields of Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics. Socially Interactive Agents (SIAs), whether virtually or physically ...

View All New Releases

Tweets by ACM Digital Library

168网澳洲幸运5官网开奖结果号码澳洲幸运5/8/10开奖官网开奖历史记录软件 2023澳洲幸运5官方开奖记录查询 ACM Special Interest Groups (SIGs)

EIGREP Emerging Interest Group on Reproducibility and Replicability

The Emerging Interest Group on Reproducibility and Replicability (REP) provides a distinct community of researchers focused on the reproducibility, sustainability, independent verification, model testing, benchmark data, guidelines and standard; while simultaneously promoting best practice across the ACM by working with interested parties to include their requirements into the tools, technologies, methodologies and techniques developed as best practice within the EIG. The EIG is not only an extension of the work already underway via the ACM SIG Governing Board and the ACM Publications Board, but supports developers of future tools, technologies, methodologies and techniques; outreaches into communities which may not feel/be included; disseminates best practice and training resources interested parties; and, supports and advises in the practical implementation of our work at conferences, journals, and other venues. Further, by gathering and disseminating the collective knowledge obtained by the different SIGs in their reproducibility efforts we can capitalize on the work already invested in ACM's Reproducibility and Replicability community and ensure the legacy of the effort, within the ACM and externally to other organizations.

The Emerging Interest Group on Reproducibility and Replicability (REP) provides a distinct community of researchers focused on the reproducibility, sustainability, independent verification, model testing, benchmark data, guidelines and standard; while simultaneously promoting best practice across the ACM by working with interested parties to include their requirements into the tools, technologies, methodologies and techniques developed as best practice within the EIG. The EIG is not only an extension of the work already underway via the ACM SIG Governing Board and the ACM Publications Board, but supports developers of future tools, technologies, methodologies and techniques; outreaches into communities which may not feel/be included; disseminates best practice and training resources interested parties; and, supports and advises in the practical implementation of our work at conferences, journals, and other venues. Further, by gathering and disseminating the collective knowledge obtained by the different SIGs in their reproducibility efforts we can capitalize on the work already invested in ACM's Reproducibility and Replicability community and ensure the legacy of the effort, within the ACM and externally to other organizations.
- Visit SIG’s Website
- View More ⟶

SIGACCESS Special Interest Group on Accessible Computing

ACM SIGACCESS supports the international community of researchers and professionals applying computing and information technologies to empower individuals with disabilities and older adults. The SIG also promotes the professional interests of students and computing personnel with disabilities and strives to educate the public to support careers for people with disabilities.

ACM SIGACCESS supports the international community of researchers and professionals applying computing and information technologies to empower individuals with disabilities and older adults. The SIG also promotes the professional interests of students and computing personnel with disabilities and strives to educate the public to support careers for people with disabilities.
- Visit SIG’s Website
- View More ⟶

SIGACT Special Interest Group on Algorithms & Computation Theory

The ACM Special Interest Group on Algorithms and Computation Theory is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes. SIGACT, through its awards program, recognizes individuals who have made significant contributions to the field in research and service. TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.

The ACM Special Interest Group on Algorithms and Computation Theory is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes. SIGACT, through its awards program, recognizes individuals who have made significant contributions to the field in research and service. TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.
- Visit SIG’s Website
- View More ⟶

SIGAda Special Interest Group on Ada Programming Language

The ACM Special Interest Group on Ada Programming Language provides a forum on all aspects of the Ada language and technologies, including usage, education, standardization, design methods, and compiler implementation. SIGAda's annual conference addresses Ada's role in building industrial-strength applications that support mission-critical, safety-critical, real-time, distributed, high-assurance, and high-integrity requirements. Supporting technologies that SIGAda focuses on include software engineering, software development processes, object technology, computer science education, tools, Common Object Request Broker Architecture (CORBA), and Java.

The ACM Special Interest Group on Ada Programming Language provides a forum on all aspects of the Ada language and technologies, including usage, education, standardization, design methods, and compiler implementation. SIGAda's annual conference addresses Ada's role in building industrial-strength applications that support mission-critical, safety-critical, real-time, distributed, high-assurance, and high-integrity requirements. Supporting technologies that SIGAda focuses on include software engineering, software development processes, object technology, computer science education, tools, Common Object Request Broker Architecture (CORBA), and Java.
- Visit SIG’s Website
- View More ⟶

SIGAI Special Interest Group on Artificial Intelligence

The scope of SIGAI, ACM's Special Interest Group on Artificial Intelligence, consists of the study of intelligence and its realization in computer systems. SIGAI's mission is to promote and support AI-related conferences. Members receive reduced registration rates to all affiliated conferences. Members also receive proceedings from the major SIGAI-sponsored conferences. SIGAI publishes a quarterly newsletter, AI Matters, with ideas and announcements of interest to the AI community.

The scope of SIGAI, ACM's Special Interest Group on Artificial Intelligence, consists of the study of intelligence and its realization in computer systems. SIGAI's mission is to promote and support AI-related conferences. Members receive reduced registration rates to all affiliated conferences. Members also receive proceedings from the major SIGAI-sponsored conferences. SIGAI publishes a quarterly newsletter, AI Matters, with ideas and announcements of interest to the AI community.
- Visit SIG’s Website
- View More ⟶

SIGAPP Special Interest Group on Applied Computing

The ACM Special Interest Group on Applied Computing, ACM's primary applications-oriented SIG, offers practitioners and researchers the opportunity to share mutual interests in innovative applications, technology transfer, experimental computing, strategic research, and the management of computing. This SIG also promotes widespread cooperation among business, government, and academic computing programs. Members receive reduced rates to the SAC Conference.

The ACM Special Interest Group on Applied Computing, ACM's primary applications-oriented SIG, offers practitioners and researchers the opportunity to share mutual interests in innovative applications, technology transfer, experimental computing, strategic research, and the management of computing. This SIG also promotes widespread cooperation among business, government, and academic computing programs. Members receive reduced rates to the SAC Conference.
- Visit SIG’s Website
- View More ⟶

SIGARCH Special Interest Group on Computer Architecture

SIGARCH serves a unique community of computer professionals working at the forefront of computer design in both industry and academia. It is ACM's primary forum for interchange of ideas about tomorrow's hardware and its interactions with compilers and operating systems. SIGARCH sponsors or co-sponsors a number of conferences, including the annual international Symposium on Computer Architecture (ISCA). SIGARCH also offers Member Plus proceedings benefits to members when available.

SIGARCH serves a unique community of computer professionals working at the forefront of computer design in both industry and academia. It is ACM's primary forum for interchange of ideas about tomorrow's hardware and its interactions with compilers and operating systems. SIGARCH sponsors or co-sponsors a number of conferences, including the annual international Symposium on Computer Architecture (ISCA). SIGARCH also offers Member Plus proceedings benefits to members when available.
- Visit SIG’s Website
- View More ⟶

SIGBED Special Interest Group on Embedded Systems

SIGBED is intended to be a focal point within ACM for all aspects of embedded computing systems, including both software and hardware. Embedded systems has come to be recognized as a key discipline, which includes new computer and systems science foundations, new design technology, and new hardware and software frameworks. Members of the SIGBED community serve on the editorial board of ACM's publication, "ACM Transactions on Embedded Computing Systems" and the upcoming "ACM Transactions on Sensor Networks".

SIGBED is intended to be a focal point within ACM for all aspects of embedded computing systems, including both software and hardware. Embedded systems has come to be recognized as a key discipline, which includes new computer and systems science foundations, new design technology, and new hardware and software frameworks. Members of the SIGBED community serve on the editorial board of ACM's publication, "ACM Transactions on Embedded Computing Systems" and the upcoming "ACM Transactions on Sensor Networks".
- Visit SIG’s Website
- View More ⟶