Results 1 to 10 of about 2,359,634 (264)

Julia: A Fresh Approach to Numerical Computing [PDF]

open access: yes, 2014
Bridging cultures that have often been distant, Julia combines expertise from the diverse fields of computer science and computational science to create a new approach to numerical computing. Julia is designed to be easy and fast. Julia questions notions
Bezanson, Jeff   +3 more
core   +4 more sources

Logic as an internal organisation of language [PDF]

open access: yes\v{C}ulina, Boris (2024). Logic as an internal organisation of language. Science and Philosophy 12 (1):62-71, 2021
Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths and logical consequence -- are defined using the internal syntactic and ...
arxiv   +1 more source

Editorial:Women in language and computation 2022 [PDF]

open access: yes, 2023
Women make up
Loughran, Róisín   +3 more
core   +2 more sources

Mining the Soma Cube for Gems: Isomorphic Subgraphs Reveal Equivalence Classes [PDF]

open access: yes, 2022
Soma cubes are an example of a dissection puzzle, where an object is broken down into pieces, which must then be reassembled to form either the original shape or some new design.
Tram, My, Vogel, Edward
core   +2 more sources

A Foundational View on Integration Problems [PDF]

open access: yes, 2010
The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems ...
A. Asperti   +25 more
core   +1 more source

Inductive-data-type Systems [PDF]

open access: yes, 2002
In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching definitions ...
Barendregt   +11 more
core   +6 more sources

Interference Automata [PDF]

open access: yes, 2007
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate the increase in power, in terms of language recognition, of a classical ...
Rao, M. V. Panduranga
core   +2 more sources

Relationship Maintenance in Software Language Repositories [PDF]

open access: yesThe Art, Science, and Engineering of Programming, 2017, Vol. 1, Issue 1, Article 4, 2017
The context of this research is testing and building software systems and, specifically, software language repositories (SLRs), i.e., repositories with components for language processing (interpreters, translators, analyzers, transformers, pretty printers, etc.).
arxiv   +1 more source

Science Factionalism: How Group Identity Language Affects Public Engagement with Misinformation and Debunking Narratives on a Popular Q&A Platform in China [PDF]

open access: yesarXiv, 2021
Misinformation and intergroup bias are two pathologies challenging informed citizenship. This paper examines how identity language is used in misinformation and debunking messages about controversial science on Chinese digital public sphere, and their impact on how the public engage with science. We collected an eight-year time series dataset of public
arxiv  

Introduction to the Special Issue on Software Architecture for Language Engineering [PDF]

open access: yes, 2004
Every building, and every computer program, has an architecture: structural and organisational principles that underpin its design and construction.
Cunningham, Hamish, Scott, Donia
core   +1 more source

Home - About - Disclaimer - Privacy