Hasil untuk "Bibliography"

Zhuoqi Lyu, Qing Ke

High-quality scientific extreme summary (TLDR) facilitates effective science communication. How do large language models (LLMs) perform in generating them? How are LLM-generated summaries different from those written by human experts? However, the lack of a comprehensive, high-quality scientific TLDR dataset hinders both the development and evaluation of LLMs' summarization ability. To address these, we propose a novel dataset, BiomedTLDR, containing a large sample of researcher-authored summaries from scientific papers, which leverages the common practice of including authors' comments alongside bibliography items. We then test popular open-weight LLMs for generating TLDRs based on abstracts. Our analysis reveals that, although some of them successfully produce humanoid summaries, LLMs generally exhibit a greater affinity for the original text's lexical choices and rhetorical structures, hence tend to be more extractive rather than abstractive in general, compared to humans. Our code and datasets are available at https://github.com/netknowledge/LLM_summarization (Lyu and Ke, 2025).

Giovanni Canepa, Alberto S. Cattaneo

In this note the Hamiltonian formulation of four-dimensional gravity, in the Palatini-Cartan formalism, is recovered by elimination of an auxiliary field appearing as part of the connection.

Ciprian Demeter, Ruixiang Zhang

We explore variants of the following open question: Split $[0,1]^2$ into $N^2$ squares with side length $1/N$. Is there a way to select $N$ such squares such that each line intersects only $O(1)$ of them?

Shruti Singh, Nandan Sarkar, Arman Cohan

Scientific literature is typically dense, requiring significant background knowledge and deep comprehension for effective engagement. We introduce SciDQA, a new dataset for reading comprehension that challenges LLMs for a deep understanding of scientific articles, consisting of 2,937 QA pairs. Unlike other scientific QA datasets, SciDQA sources questions from peer reviews by domain experts and answers by paper authors, ensuring a thorough examination of the literature. We enhance the dataset's quality through a process that carefully filters out lower quality questions, decontextualizes the content, tracks the source document across different versions, and incorporates a bibliography for multi-document question-answering. Questions in SciDQA necessitate reasoning across figures, tables, equations, appendices, and supplementary materials, and require multi-document reasoning. We evaluate several open-source and proprietary LLMs across various configurations to explore their capabilities in generating relevant and factual responses. Our comprehensive evaluation, based on metrics for surface-level similarity and LLM judgements, highlights notable performance discrepancies. SciDQA represents a rigorously curated, naturally derived scientific QA dataset, designed to facilitate research on complex scientific text understanding.

José A. Carrillo, Charles Elbar, Jakub Skrzeczkowski

We provide a rigorous mathematical framework to establish the limit of a nonlocal model of cell-cell adhesion system to a local model. When the parameter of the nonlocality goes to 0, the system tends to a Cahn-Hilliard system with degenerate mobility and cross interaction forces. Our analysis relies on a priori estimates and compactness properties.

Prasita Mukherjee, Haoteng Yin, Susheel Suresh et al.

Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from the state space explosion problem that makes them impractical for large scale systems and/or specifications. In this paper, we propose to use graph representation learning (GRL) for solving linear temporal logic (LTL) model checking, where the system and the specification are expressed by a Büchi automaton and an LTL formula respectively. A novel GRL-based framework OCTAL, is designed to learn the representation of the graph-structured system and specification, which reduces the model checking problem to binary classification in the latent space. The empirical experiments show that OCTAL achieves comparable accuracy against canonical SOTA model checkers on three different datasets, with up to $5\times$ overall speedup and above $63\times$ for satisfiability checking alone.

Touria EL OUAHABI, Noureddine ELMQADDEM

La Direction Générale des Impôts (DGI) accélère sa transformation numérique. La mise en place d’une gestion moderne de l’information, utilisant des technologies innovantes, devenait sa priorité stratégique. Elle s’appuie sur le digital pour gagner en productivité, performance et innovation. Or, la réussite de la transformation digitale passe par l’humain avant la tech. D’où notre question de recherche : comment l’acculturation digitale des pratiques informationnelles des professionnels des impôts devient-elle une nécessité absolue dans ces nouveaux environnements digitaux ? Notre objectif est de diagnostiquer le niveau d’appropriation de la veille sur Internet comme composante principale de l’intelligence économique. La méthodologie adoptée est exploratoire, interprétative, et qualitative. Des entretiens semi-directifs sont menés auprès de 70 hauts cadres exerçant dans les activités cœur de métier : gestion fiscale, recouvrement, et contrôle des insuffisances. Parmi les plus saillants résultats, on estime le taux moyen de besoin en acculturation à 85,55%.

Sajjad Valipour Damiyeh, Mehrdad Hamrahi, Ali Pirzad

Purpose:The main purpose of this research was the pathology of strategic human resource management system based on digital transformation governance. The analysis has been done in Gachsaran Oil and Gas Exploitation Company with the grounded theory approach.Method: This research is a heuristic combination of consecutive type and model tooling, model design and compilation based on the criteria designed by the model. Library method and documentary studies were used to collect theoretical foundations. In the qualitative section, using the research method of case study and semi-structured interviews with experts and professors, the criteria of the research model were developed. In order to select a suitable sample from the community of experts and university professors, non-random sampling method, selective purposeful sampling method (snowball) and theoretical saturation criterion were used and from the sample technique of key individuals (experts) 15 people were selected.Findings: Findings show that in the digital transformation path, factors such as employment system balance, equitable distribution of responsibilities, career path management, functional stability, manpower capability, fitness and work environment, individual creativity, political and legal factors, cultural conflict, environmental developments, specific individual and organizational components, and financing influence the strategic human resource management system. Conclusion: In the path of digital transformation in the organization, in order to eradicate organizational harms and improve the productivity of the organization and the workforce, the factors found in this research should be considered and examined so that the organization can progress.

Paul Blain Levy

We introduce Broad Infinity, a new set-theoretic axiom scheme based on the slogan "Every time we construct a new element, we gain a new arity." It says that three-dimensional trees whose growth is controlled by a specified class function form a set. Such trees are called "broad numbers". Assuming AC (the axiom of choice), or at least the weak version known as WISC (Weakly Initial Set of Covers), we show that Broad Infinity is equivalent to Mahlo's principle, which says that the class of all regular limit ordinals is stationary. Assuming AC or WISC, Broad Infinity also yields a convenient principle for generating a subset of a class using a "rubric" (family of rules). This directly gives the existence of Grothendieck universes, without requiring a detour via ordinals. In the absence of choice, Broad Infinity implies that the derivations of elements from a rubric form a set. This yields the existence of Tarski-style universes. Additionally, we reveal a pattern of resemblance between "Wide" principles, that are provable in ZFC, and "Broad" principles, that go beyond ZFC. Note: this paper uses a base theory that is weaker than ZF but includes classical first-order logic and Replacement.

Feng Hu, Lin Ma, Xiu-Xiu Zhan et al.

The study of citation networks is of interest to the scientific community. However, the underlying mechanism driving individual citation behavior remains imperfectly understood, despite the recent proliferation of quantitative research methods. Traditional network models normally use graph theory to consider articles as nodes and citations as pairwise relationships between them. In this paper, we propose an alternative evolutionary model based on hypergraph theory in which one hyperedge can have an arbitrary number of nodes, combined with an aging effect to reflect the temporal dynamics of scientific citation behavior. Both theoretical approximate solution and simulation analysis of the model are developed and validated using two benchmark datasets from different disciplines, i.e. publications of the American Physical Society (APS) and the Digital Bibliography & Library Project (DBLP). Further analysis indicates that the attraction of early publications will decay exponentially. Moreover, the experimental results show that the aging effect indeed has a significant influence on the description of collective citation patterns. Shedding light on the complex dynamics driving these mechanisms facilitates the understanding of the laws governing scientific evolution and the quantitative evaluation of scientific outputs.

Maria Bulakh, Susanne Hummel, Francesca Panini

Bibliography of Ethiopian Semitic, Cushitic, and Omotic Linguistics XXIII: 2019

Victoria Elmwood

A new approach to teaching web source evaluation is necessary for an internet that is increasingly littered with sources of questionable merit and motivation. Initially pioneered by K–12 educational specialists, the journalistic model avoids the cognitive duality of the checklist and a reliance on opaque terms and concepts. Instead, it recommends students apply the six journalistic questions of what, who, where, when, why, and how when evaluating freely available web sources. This approach outlines an evaluative procedure that is open-ended, discursive, and analytic in nature as opposed to formulaic and binaristic. It also requires students to consider both the context of the information need and a source’s potential use as central to its evaluation.

Efstratios Geronikolakis, Paul Zikas, Steve Kateros et al.

In this work, a new and innovative way of spatial computing that appeared recently in the bibliography called True Augmented Reality (AR), is employed in cultural heritage preservation. This innovation could be adapted by the Virtual Museums of the future to enhance the quality of experience. It emphasises, the fact that a visitor will not be able to tell, at a first glance, if the artefact that he/she is looking at is real or not and it is expected to draw the visitors' interest. True AR is not limited to artefacts but extends even to buildings or life-sized character simulations of statues. It provides the best visual quality possible so that the users will not be able to tell the real objects from the augmented ones. Such applications can be beneficial for future museums, as with True AR, 3D models of various exhibits, monuments, statues, characters and buildings can be reconstructed and presented to the visitors in a realistic and innovative way. We also propose our Virtual Reality Sample application, a True AR playground featuring basic components and tools for generating interactive Virtual Museum applications, alongside a 3D reconstructed character (the priest of Asinou church) facilitating the storyteller of the augmented experience.

Yichen Hu, Qing Wang, Peter Christen

Entity resolution is the process of identifying groups of records within or across data sets where each group represents a real-world entity. Novel techniques that consider temporal features to improve the quality of entity resolution have recently attracted significant attention. However, there are currently no large data sets available that contain both temporal information as well as ground truth information to evaluate the quality of temporal entity resolution approaches. In this paper, we describe the preparation of a temporal data set based on author profiles extracted from the Digital Bibliography and Library Project (DBLP). We completed missing links between publications and author profiles in the DBLP data set using the DBLP public API. We then used the Microsoft Academic Graph (MAG) to link temporal affiliation information for DBLP authors. We selected around 80K (1%) of author profiles that cover 2 million (50%) publications using information in DBLP such as alternative author names and personal web profile to improve the reliability of the resulting ground truth, while at the same time keeping the data set challenging for temporal entity resolution research.

Graziano Ruffini

The article, based on archival sources, examines a sale of books held in Genoa in 1583 between two booksellers: Cristoforo Zabata and Antonio Orero. Most of these books had been previously acquired in Venice. The article provides an accurate analysis of book prices according to subject: law, literature, history, medicine and so on. The survey also highlights costs with regard to the number of sheets, format and language, thus providing a set of information useful for further comparative cross-regional studies. The appendix includes a transcription of the source along with a bibliographic identification of the books enlisted.

Knygotyra T. 71

[tekstas anglų ir lietuvių kalbomis]

Stefano Modena, László Székelyhidi

We construct a large class of examples of non-uniqueness for the linear transport equation and the transport-diffusion equation with divergence-free vector fields in Sobolev spaces $W^{1,p}$.

Charitie V. Hyman

Book review of Michael T. Westrate. Living Soviet in Ukraine from Stalin to Maidan: Under the Falling Red Star in Kharkiv. Rowman & Littlefield, 2016. xx, 232 pp. Illustrations. Appendices. Bibliography. Index. $85.00, cloth.

Cecilia Biggi

This article deals with the introduction, the management and the use of the videogames in the library services. The reasons for reassessing the videogame medium in cultural institutions have been examined, along with the features of its language and its possible applications (circulation, gaming...). Manuals on the specific management of the game in the library, from circulation to gaming in library have been taken into account during the writing of this paper, as well as essays and articles on videogames (on blogs and online newspapers). The debate with librarians who have experience in these services have also led to a detailed analysis of the current reality, both in Italy and abroad. The introduction of videogames can causes some preservation, space, provisions, cataloging issues. There is still little attention to the cultural value of videogames, especially in Italy, but libraries starting similar are growing, as well as the interest on this topic by other institutions, although Italy is still lagging behind other Nations.

Julie Goldman, Donna Kafel, Elaine R. Martin

Objective: To understand how New England medical libraries are addressing scientific research data management and providing services to their communities. Setting: The National Network of Libraries of Medicine, New England Region (NN/LM NER) contains 17 Resource Libraries. The University of Massachusetts Medical School serves as the New England Regional Medical Library (RML). Sixteen of the NER Resource Libraries completed this survey. Methods: A 40-question online survey assessed libraries’ services and programs for providing research data management education and support. Libraries shared their current plans and institutional challenges associated with developing data services. Results: This study shows few NER Resource Libraries currently integrate scientific research data management into their services and programs, and highlights the region’s use of resources provided by the NN/LM NER RML at the University of Massachusetts Medical School. Conclusions: Understanding the types of data services being delivered at NER libraries helps to inform the NN/LM NER about the eScience learning needs of New England medical librarians and helps in the planning of professional development programs that foster effective biomedical research data services.