更新时间 2024年12月14日 00:00:00
总共结果 759549
返回结果 10
论文标题: Mathematical Logic in Computer Science
论文ID: http://arxiv.org/abs/1802.03292v1
论文更新时间: 2018年02月07日 22:21:43
论文发布时间: 2018年02月07日 22:21:43
作者: Assaf Kfoury
分类: cs.LO 03B70, 68Q99 F.4.1; F.4.m; K.2
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.
论文标题: Ten Research Challenge Areas in Data Science
论文ID: http://arxiv.org/abs/2002.05658v1
论文更新时间: 2020年01月27日 21:39:57
论文发布时间: 2020年01月27日 21:39:57
作者: Jeannette M. Wing
分类: cs.CY cs.AI A.0; E.0; G.3; I.2; I.5
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.
论文标题: Defining Data Science
论文ID: http://arxiv.org/abs/1501.05039v1
论文更新时间: 2015年01月21日 02:41:55
论文发布时间: 2015年01月21日 02:41:55
作者: Yangyong Zhu
分类: cs.DB cs.CY
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.
论文标题: Why The Trans Programmer?
论文ID: http://arxiv.org/abs/2205.01553v1
论文更新时间: 2022年05月03日 15:06:23
论文发布时间: 2022年05月03日 15:06:23
作者: Skye Kychenthal
分类: cs.CY
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.
论文标题: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
论文ID: http://arxiv.org/abs/1612.04037v1
论文更新时间: 2016年12月13日 05:47:19
论文发布时间: 2016年12月13日 05:47:19
作者: Jan Bouda
分类: cs.LO cs.DS cs.SE
DOI: http://dx.doi.org/10.4204/EPTCS.233
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).
论文标题: FAIR and Open Computer Science Research Software
论文ID: http://arxiv.org/abs/1908.05986v1
论文更新时间: 2019年08月16日 14:26:08
论文发布时间: 2019年08月16日 14:26:08
作者: Wilhelm Hasselbring
分类: cs.SE
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.
论文标题: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
论文ID: http://arxiv.org/abs/1309.0717v2
论文更新时间: 2013年09月16日 15:13:26
论文发布时间: 2013年09月03日 15:08:39
作者: Victor Khomenko
分类: cs.LO
DOI: http://dx.doi.org/10.2168/LMCS-9(3:18)2013
就职: School of Computing Science, Newcastle University
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.
论文标题: Computer Science
论文ID: http://arxiv.org/abs/2207.07901v1
论文更新时间: 2022年07月16日 10:54:57
论文发布时间: 2022年07月16日 10:54:57
作者: Mahyuddin K. M. Nasution
分类: cs.CY 68-XX 68-00 F.2.2; I.2.7
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.
论文标题: Decidability of higher-order matching
论文ID: http://arxiv.org/abs/0907.3804v3
论文更新时间: 2009年07月31日 11:37:46
论文发布时间: 2009年07月22日 09:17:30
作者: Colin Stirling
分类: cs.LO cs.GT F.4.1
DOI: http://dx.doi.org/10.2168/LMCS-5(3:2)2009
PDF链接: http://arxiv.org/pdf/0907.3804v3
总结: We show that the higher-order matching problem is decidable using a game-theoretic argument.
论文标题: Introduction: Cognitive Issues in Natural Language Processing
论文ID: http://arxiv.org/abs/1610.07365v1
论文更新时间: 2016年10月24日 11:30:22
论文发布时间: 2016年10月24日 11:30:22
作者: Thierry Poibeau
分类: cs.CL cs.AI cs.HC
DOI: http://dx.doi.org/10.1201/b21583-2
就职: LaTTICe
PDF链接: http://arxiv.org/pdf/1610.07365v1
总结: This special issue is dedicated to get a better picture of the relationships between computational linguistics and cognitive science. It specifically raises two questions: "what is the potential contribution of computational language modeling to cognitive science?" and conversely: "what is the influence of cognitive science in contemporary computational linguistics?"