Introduction to linear logic and ludics, part II [PDF]
, 2004 This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an ...
Curien, Pierre-Louis
core +4 more sources
Development of Computer Science Disciplines - A Social Network Analysis Approach [PDF]
arXiv, 2011 In contrast to many other scientific disciplines, computer science considers conference publications. Conferences have the advantage of providing fast publication of papers and of bringing researchers together to present and discuss the paper with peers.
arxiv
Dynamic-Epistemic reasoning on distributed systems [PDF]
, 2007 We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core
Investigating the Intersection of Science Fiction, Human-Computer Interaction and Computer Science Research [PDF]
arXiv, 2018 This paper outlines ongoing dissertation research located in the intersection of science fiction, human-computer interaction and computer science. Through an interdisciplinary perspective, drawing from fields such as human-computer interaction, film theory and studies of science and technology, qualitative and quantitative content analysis techniques ...
arxiv
Dynamics of Gender Bias within Computer Science [PDF]
Information & Culture 59 no. 2 (2024): 161-81A new dataset (N = 7,456) analyzes women's research authorship in the Association for Computing Machinery's founding 13 Special Interest Groups or SIGs, a proxy for computer science. ACM SIGs expanded during 1970-2000; each experienced increasing women's authorship. But diversity abounds.
arxiv +1 more source
Understanding Science Through Knowledge Organizers: An Introduction [PDF]
, 2004 We propose, in this paper, a teaching program based on a grammar of scientific language borrowed mostly from the area of knowledge representation in computer science and logic.
G., Nagarjuna, Kharatmal, Meena
core
Complex Workflow Management and Integration of Distributed Computing Resources by Science Gateway Portal for Molecular Dynamics Simulations in Materials Science [PDF]
arXiv, 2014 The "IMP Science Gateway Portal" (http://scigate.imp.kiev.ua) for complex workflow management and integration of distributed computing resources (like clusters, service grids, desktop grids, clouds) is presented. It is created on the basis of WS-PGRADE and gUSE technologies, where WS-PGRADE is designed for science workflow operation and gUSE - for ...
arxiv
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]
, 2015 We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch +2 more
core +1 more source
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic.
, 2006 Proceedings of Computer Science Logic 2006 (CSL'06), volume 4207 of Lecture Notes in Computer Science, pp.150-166. SpringerIn a previous work we introduced Dual Light Affine Logic (DLAL) ([BaillotTerui04]) as a variant of Light Linear Logic suitable ...
Atassi, Vincent +2 more
core +3 more sources
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences [PDF]
, 2022 Amit K. Shukla
openalex +1 more source