PDF链接: http://arxiv.org/pdf/1802.03292v1

总结: The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.

PDF链接: http://arxiv.org/pdf/2002.05658v1

总结: Although data science builds on knowledge from computer science, mathematics, statistics, and other disciplines, data science is a unique field with many mysteries to unlock: challenging scientific questions and pressing questions of societal importance. This article starts with meta-questions about data science as a discipline and then elaborates on ten ideas for the basis of a research agenda for data science.

PDF链接: http://arxiv.org/pdf/1501.05039v1

总结: Data science is gaining more and more and widespread attention, but no consensus viewpoint on what data science is has emerged. As a new science, its objects of study and scientific issues should not be covered by established sciences. Data in cyberspace have formed what we call datanature. In the present paper, data science is defined as the science of exploring datanature.

PDF链接: http://arxiv.org/pdf/2205.01553v1

总结: Through online anecdotal evidence and online communities, there is an in-group idea of trans people (specifically trans-feminine individuals) disproportionately entering computer science education & fields. Existing data suggests this is a plausible trend, yet no research has been done into exactly why. As computer science education (traditional schooling or self-taught methods) is integral to working in computer science fields, a simple research survey was conducted to gather data on 138 trans people's experiences with computer science & computer science education. This article's purpose is to shed insight on the motivations for trans individuals choosing computer science paths, while acting as a basis and call to action for further research.

PDF链接: http://arxiv.org/pdf/1612.04037v1

总结: MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions traditionally cover all areas of computer science (such as parallel and distributed computing, computer networks, modern hardware and its design, non-traditional computing architectures, information systems and databases, multimedia and graphics, verification and testing, computer security, as well as all related areas of theoretical computer science).

PDF链接: http://arxiv.org/pdf/1908.05986v1

总结: In computational science and in computer science, research software is a central asset for research. Computational science is the application of computer science and software engineering principles to solving scientific problems, whereas computer science is the study of computer hardware and software design. The Open Science agenda holds that science advances faster when we can build on existing results. Therefore, research software has to be reusable for advancing science. Thus, we need proper research software engineering for obtaining reusable and sustainable research software. This way, software engineering methods may improve research in other disciplines. However, research in software engineering and computer science itself will also benefit from reuse when research software is involved. For good scientific practice, the resulting research software should be open and adhere to the FAIR principles (findable, accessible, interoperable and repeatable) to allow repeatability, reproducibility, and reuse. Compared to research data, research software should be both archived for reproducibility and actively maintained for reusability. The FAIR data principles do not require openness, but research software should be open source software. Established open source software licenses provide sufficient licensing options, such that it should be the rare exception to keep research software closed. We review and analyze the current state in this area in order to give recommendations for making computer science research software FAIR and open. We observe that research software publishing practices in computer science and in computational science show significant differences.

PDF链接: http://arxiv.org/pdf/1309.0717v2

总结: We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.

PDF链接: http://arxiv.org/pdf/2108.04136v3

总结: Computational medical XR (extended reality) brings together life sciences and neuroscience with mathematics, engineering, and computer science. It unifies computational science (scientific computing) with intelligent extended reality and spatial computing for the medical field. It significantly extends previous Clinical XR, by integrating computational methods from neural simulation to computational geometry, computational vision and computer graphics up to theoretical computer science to solve hard problems in medicine and neuroscience: from low-code/no-code authoring medical XR platforms to deep learning systems for diagnostics, therapeutics, rehabilitation and from surgical planning to real-time operative navigation in XR.

PDF链接: http://arxiv.org/pdf/2207.07901v1

总结: Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science. After all, science and technology are viewpoints diverse by either individual, community, or social. Generally, it depends on socioeconomic capabilities. So it is with computer science has become a phenomenon and fashionable, where based on the stream of documents, various issues arise in either its theory or implementation, adapting different communities, or designing curriculum holds in the education system.

PDF链接: http://arxiv.org/pdf/0907.3804v3

总结: We show that the higher-order matching problem is decidable using a game-theoretic argument.