This paper synthesizes the actions performed in order to transform a classic scientific research journal - 'Annals. Computer Science Series' - available only in printed form until 2008, into a modern e-journal with free access to the full text of t...
This section will cover the three common types of sources seen in academic papers: books, journals, and websites (click on each link to navigate to their respective sections).
This paper is the extended introduction of a serie of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in d...
In contrast to other fields where conferences are typically for less polished or in-progress research, computing has long relied on referred conference papers as a venue for the final publication of completed research. While frequently a topic of inf...
Selected Papers of Dana S. Scott (⭐ 172)
Points: 147 | Comments: 53 | Author: rntn
Peer review is an integral component of scientific research. The quality of peer review, and consequently the published research, depends to a large extent on the ability to recruit adequate reviewers for submitted papers. However, finding such revie...
This is the second part of a series of papers where we develop rigorous decay estimates for breather solutions of an averaged version of the non-linear Schrödinger equation. In this part we study the diffraction managed discrete non-linear Schröd...
In the papers of Nakaoka, he introduced the notion of hearts of (twin) cotorsion pairs on triangulated categories and showed that they have structures of (semi-) abelian categories. We study in this article a twin cotorsion pair (S,T),(U,V) on an exa...
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that i...
Berkeley gender and race studies students were given the task of creating and editing Wikipedia pages and filling them with critical theory/queer propaganda instead of submitting final papers — for ...
This is the seventh part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VII), we give sufficient conditions for the...
PhaseV empowers biopharma sponsors and CROs with AI/ML-driven solutions for fast, efficient, and accurate clinical development decisions.
This study examines how large language models categorize sentences from scientific papers using prompt engineering. We use two advanced web-based models, GPT-4o (by OpenAI) and DeepSeek R1, to classify sentences into predefined relationship categorie...
Got soo many dms & comments in the last 3 posts on cracking internships- so doing an AMA here. Feel free to ask anything - from the exp mentioned above! You can think of me as an elder sister, sen...
K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context....
In two recent papers the mesoscale model Meso-NH, joint with the Astro-Meso-NH package, has been validated at Dome C, Antarctica, for the characterization of the optical turbulence. It has been shown that the meteorological parameters (temperature an...
A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/ (⭐ 4584)
Extracts the historic word occurrence of a search term in academic papers (⭐ 327)
Generalization is arguably the most important goal of statistical language modeling research. Publicly available benchmarks and papers published with an open-source code have been critical to advancing the field. However, it is often very difficult,...