English
Related papers

Related papers: Provably Correct Systems: Community, connections, …

200 papers

The study of complex systems has attracted widespread attention from researchers in the fields of natural sciences, social sciences, and engineering. Prediction is one of the central issues in this field. Although most related studies have…

Physics and Society · Physics 2025-10-21 En Xu , Yilin Bi , Hongwei Hu , Xin Chen , Zhiwen Yu , Yong Li , Yanqing Hu , Tao Zhou

Networks describe various complex natural systems including social systems. We investigate the social network of co-occurrence in Reuters-21578 corpus, which consists of news articles that appeared in the Reuters newswire in 1987. People…

Physics and Society · Physics 2008-08-07 Arzucan Ozgur , Burak Cetin , Haluk Bingol

Through the continued progress and advances of networking technology and also through efforts like Industry 4.0, SmartGrid, SmartCities, systems, that have been self-sustaining for the most part are now forming networked Cyber-physical…

Cryptography and Security · Computer Science 2016-09-22 Christoph Ponikwar

The explosive growth of scientists, scientific journals, articles and findings in recent years exponentially increases the difficulty scientists face in navigating prior knowledge. This challenge is exacerbated by uncertainty about the…

Social and Information Networks · Computer Science 2025-01-27 Alexander V. Belikov , Andrey Rzhetsky , James Evans

In high-stakes decision-making tasks within legal NLP, such as Case Outcome Classification (COC), quantifying a model's predictive confidence is crucial. Confidence estimation enables humans to make more informed decisions, particularly…

Computation and Language · Computer Science 2024-09-30 T. Y. S. S. Santosh , Irtiza Chowdhury , Shanshan Xu , Matthias Grabmair

In 2015 the Open Science Collaboration (OSC) (Nosek et al 2015) published a highly influential paper which claimed that a large fraction of published results in the psychological sciences were not reproducible. In this article we review…

Applications · Statistics 2026-02-18 Anthony Almudevar , Jacob Almudevar

During Eugene Garfield's (EG's) lengthy career as information scientist, he published about 1,500 papers. In this study, we use the impressive oeuvre of EG to introduce a new type of bibliometric networks: keyword co-occurrences networks…

Digital Libraries · Computer Science 2019-08-06 Lutz Bornmann , Robin Haunschild , Sven E. Hug

This article presents a study that compares detected structural communities in a coauthorship network to the socioacademic characteristics of the scholars that compose the network. The coauthorship network was created from the bibliographic…

Digital Libraries · Computer Science 2021-08-23 Marko A. Rodriguez , Alberto Pepe

This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on July 9, 2010, in Edinburgh, UK. Strategies are ubiquitous in…

Logic in Computer Science · Computer Science 2010-12-27 Hélène Kirchner , César Muñoz

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome,…

Logic in Computer Science · Computer Science 2014-08-07 Johannes Borgström , Silvia Crafa

Cybernetics and Systems Research (CSR) were developed in the mid-twentieth century, offering the possibility of describing and comparing different phenomena using the same language. The concepts which originated in CSR have spread to…

Adaptation and Self-Organizing Systems · Physics 2014-02-17 Carlos Gershenson , Peter Csermely , Peter Erdi , Helena Knyazeva , Alexander Laszlo

Events are considered as the fundamental building blocks of the world. Mining event-centric opinions can benefit decision making, people communication, and social good. Unfortunately, there is little literature addressing event-centric…

Computation and Language · Computer Science 2022-03-24 Ruoxi Xu , Hongyu Lin , Meng Liao , Xianpei Han , Jin Xu , Wei Tan , Yingfei Sun , Le Sun

When successful, Open Source Software (OSS) projects create enormous value, but most never reach a sustainable state. Recent work has produced accurate models that forecast OSS sustainability, yet these models rarely tell maintainers what…

Software Engineering · Computer Science 2026-02-13 Nafiz Imtiaz Khan , Vladimir Filkov

Reproducibility, the ability to recompute results, and replicability, the chances other experimenters will achieve a consistent result, are two foundational characteristics of successful scientific research. Consistent findings from…

Applications · Statistics 2015-06-23 Jeffrey T. Leek , Roger D. Peng

This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence. The research has been developed under the SocRob project, carried out by the…

Robotics · Computer Science 2007-05-23 Pedro U. Lima , Luis M. M. Custodio

From its inception, a large part of the motivation for Cognitive Science has been the need for an interdisciplinary journal for the study of minds and intelligent systems. One threat to the interdisciplinarity of Cognitive Science, both the…

Digital Libraries · Computer Science 2009-11-19 Rob Goldstone , Loet Leydesdorff

We introduce a new analytical framework for modelling degree sequences in individual communities of real-world networks, e.g., citations to papers in different fields. Our work is inspired by a recent modification of the Price's model,…

Physics and Society · Physics 2026-04-29 Łukasz Brzozowski , Marek Gagolewski , Grzegorz Siudem , Barbara Żogała-Siudem

Deep learning has made significant progress in the past decade, and demonstrates potential to solve problems with extensive social impact. In high-stakes decision making areas such as law, experts often require interpretability for…

Computation and Language · Computer Science 2023-05-29 Chu Fei Luo , Rohan Bhambhoria , Samuel Dahan , Xiaodan Zhu

This two-part paper presents a new approach to predictive analysis for social processes. In Part I, we begin by identifying a class of social processes which are simultaneously important in applications and difficult to predict using…

Adaptation and Self-Organizing Systems · Physics 2016-11-17 Richard Colbaugh , Kristin Glass

An important aspect of a researcher's activities is to find relevant and related publications. The task of a recommender system for scientific publications is to provide a list of papers that match these criteria. Based on the collection of…

Information Retrieval · Computer Science 2014-09-05 Roman Kern , Kris Jack , Michael Granitzer
‹ Prev 1 3 4 5 6 7 10 Next ›