中文
相关论文

相关论文: A United Framework for both Formal, Natural and So…

200 篇论文

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately,…

数字图书馆 · 计算机科学 2011-05-13 Serge Autexier , Catalin David , Dominik Dietrich , Michael Kohlhase , Vyacheslav Zholudev

In order to support students in the development of expertise in quantum mechanics, we asked which concepts and structures can act as organizing principles of the non-relativistic theory. The research question has been addressed in a…

物理教育 · 物理学 2023-01-03 Giacomo Zuccarini

In this era of information technology, abundant information is available on the internet in the form of web pages and documents on any given topic. Finding the most relevant and informative content out of these huge number of documents,…

计算机与社会 · 计算机科学 2023-12-21 Uswa Ihsan , Humaira Ashraf , NZ Jhanjhi

Determining how scientific achievements influence the subsequent process of knowledge creation is a fundamental step in order to build a unified ecosystem for studying the dynamics of innovation and competitiveness. Relying separately on…

物理与社会 · 物理学 2017-11-13 Aurelio Patelli , Giulio Cimini , Emanuele Pugliese , Andrea Gabrielli

Machine learning has become pervasive in multiple domains, impacting a wide variety of applications, such as knowledge discovery and data mining, natural language processing, information retrieval, computer vision, social and health…

人工智能 · 计算机科学 2017-05-09 Yangqiu Song , Dan Roth

It has long been known that scientific output proceeds on an exponential increase, or more properly, a logistic growth curve. The interplay between effort and discovery is clear, and the nature of the functional form has been thought to be…

物理与社会 · 物理学 2010-05-17 Samuel Arbesman

Storing data is easy, but finding and using data is not. It is desirable that the data is stored in a structured format, which can be preserved and retrieved in future. Creating Metadata for the data is one way of creating structured data…

信息论 · 计算机科学 2011-01-04 Ranjeet Devarakonda , Giri Palanisamy , Jim Green

Context: Successfully addressing stakeholder concerns that are related to software system development and operation is crucial to achieving development goals. The importance of using a systematic approach to addressing these concerns…

软件工程 · 计算机科学 2023-02-14 Sandun Dasanayake , Jouni Markkula , Markku Oivo

A growing number of efforts aim to understand what people see when using a visualization. These efforts provide scientific grounding to complement design intuitions, leading to more effective visualization practice. However, published…

人机交互 · 计算机科学 2020-09-16 Madison Elliott , Christine Nothelfer , Cindy Xiong , Danielle Szafir

The rising availability of digital traces provides a fertile ground for new solutions to both, new and old problems in cities. Even though a massive data set analyzed with Data Science methods may provide a powerful solution to a problem,…

人机交互 · 计算机科学 2020-02-24 Eduardo Graells-Garrido , Vanessa Peña-Araya

We are facing a real challenge when coping with the continuous acceleration of scientific production and the increasingly changing nature of science. In this article, we extend the classical framework of co-word analysis to the study of…

物理与社会 · 物理学 2015-03-13 David Chavalarias , Jean-Philippe Cointet

The information technology explosion has dramatically increased the application of new mathematical ideas and has led to an increasing use of mathematics across a wide range of fields that have been traditionally labeled "pure" or…

历史与综述 · 数学 2018-09-18 Katherine Gravel , Hayden Jananthan , Jeremy Kepner

The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of…

编程语言 · 计算机科学 2025-08-04 Mikel Vandeloise

MindMapping is a well-known technique used in note taking, which encourages learning and studying. MindMapping has been manually adopted to help present knowledge and concepts in a visual form. Unfortunately, there is no reliable automated…

计算与语言 · 计算机科学 2014-12-24 Mohamed Elhoseiny , Ahmed Elgammal

Information systems usually show as a particular point of failure the vagueness between user search terms and the knowledge orders of the information space in question. Some kind of guided searching therefore becomes more and more important…

信息检索 · 计算机科学 2014-06-02 Peter Mutschke , Andrea Scharnhorst , Christophe Guéret , Philipp Mayr , Preben Hansen , Aida Slavic

The rise of generative large language models (LLMs) has opened new opportunities for automating knowledge representation through concept maps, a long-standing pedagogical tool valued for fostering meaningful learning and higher-order…

计算机与社会 · 计算机科学 2025-09-19 Xiaoming Zhai

Approaches form the foundation for conducting scientific research. Querying approaches from a vast body of scientific papers is extremely time-consuming, and without a well-organized management framework, researchers may face significant…

计算与语言 · 计算机科学 2025-06-16 Bing Ma , Hai Zhuge

We present a novel system providing summaries for Computer Science publications. Through a qualitative user study, we identified the most valuable scenarios for discovery, exploration and understanding of scientific documents. Based on…

Long documents such as academic articles and business reports have been the standard format to detail out important issues and complicated subjects that require extra attention. An automatic summarization system that can effectively…

计算与语言 · 计算机科学 2022-07-05 Huan Yee Koh , Jiaxin Ju , Ming Liu , Shirui Pan

Nowadays, a huge amount of knowledge has been amassed in digital agriculture. This knowledge and know-how information are collected from various sources, hence the question is how to organise this knowledge so that it can be efficiently…

数据库 · 计算机科学 2020-11-24 Quoc Hung Ngo , Tahar Kechadi , Nhien-An Le-Khac