1,868 research outputs found
Semi-simplicial Types in Logic-enriched Homotopy Type Theory
The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory
(HoTT) has been recognized as important during the Year of Univalent
Foundations at the Institute of Advanced Study. According to the interpretation
of HoTT in Quillen model categories, SSTs are type-theoretic versions of Reedy
fibrant semi-simplicial objects in a model category and simplicial and
semi-simplicial objects play a crucial role in many constructions in homotopy
theory and higher category theory. Attempts to define SSTs in HoTT lead to some
difficulties such as the need of infinitary assumptions which are beyond HoTT
with only non-strict equality types.
Voevodsky proposed a definition of SSTs in Homotopy Type System (HTS), an
extension of HoTT with non-fibrant types, including an extensional strict
equality type. However, HTS does not have the desirable computational
properties such as decidability of type checking and strong normalization. In
this paper, we study a logic-enriched homotopy type theory, an alternative
extension of HoTT with equational logic based on the idea of logic-enriched
type theories. In contrast to Voevodskys HTS, all types in our system are
fibrant and it can be implemented in existing proof assistants. We show how
SSTs can be defined in our system and outline an implementation in the proof
assistant Plastic
North Pacific Marine Science Organization (PICES): Annual Report, Seventeenth Meeting, Dalian, China, October 24 - November 2, 2008
Report of Opening Session. Report of Governing Council. Report of the Finance and Administration Committee. Reports of Science Board and Committees. Report of the Climate Change and Carrying Capacity Scientific Program. Reports of Expert Groups. Session Summaries. Participants. PICES Members. PICES Acronyms
Cyber Threats and NATO 2030: Horizon Scanning and Analysis
The book includes 13 chapters that look ahead to how NATO can best address the cyber threats, as well as opportunities and challenges from emerging and disruptive technologies in the cyber domain over the next decade.
The present volume addresses these conceptual and practical requirements and contributes constructively to the NATO 2030 discussions. The book is arranged in five short parts...All the chapters in this book have undergone double-blind peer review by at least two external experts.https://scholarworks.wm.edu/asbook/1038/thumbnail.jp
A Comprehensive Bibliometric Analysis on Social Network Anonymization: Current Approaches and Future Directions
In recent decades, social network anonymization has become a crucial research
field due to its pivotal role in preserving users' privacy. However, the high
diversity of approaches introduced in relevant studies poses a challenge to
gaining a profound understanding of the field. In response to this, the current
study presents an exhaustive and well-structured bibliometric analysis of the
social network anonymization field. To begin our research, related studies from
the period of 2007-2022 were collected from the Scopus Database then
pre-processed. Following this, the VOSviewer was used to visualize the network
of authors' keywords. Subsequently, extensive statistical and network analyses
were performed to identify the most prominent keywords and trending topics.
Additionally, the application of co-word analysis through SciMAT and the
Alluvial diagram allowed us to explore the themes of social network
anonymization and scrutinize their evolution over time. These analyses
culminated in an innovative taxonomy of the existing approaches and
anticipation of potential trends in this domain. To the best of our knowledge,
this is the first bibliometric analysis in the social network anonymization
field, which offers a deeper understanding of the current state and an
insightful roadmap for future research in this domain.Comment: 73 pages, 28 figure
- …