• Open Access IconOpen Access
  • https://doi.org/10.1145/3129173.3129181Copy DOI Icon

Semantics column

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

This quarter's Semantics column features an article by Jean Krivine, a CNRS researcher who is a member of the Proofs, Programs and Systems group that forms a part of the Institute for Fundamental Research in Informatics (IRIF) at Université Paris Diderot. Jean is leader in the application of computer science to Systems Biology, a broad area whose research activities range from biologists in wet labs, to computational scientists devising simulations based on mathematical models, to computer scientists developing models based on computer science models and their underlying principles. Jean's column highlights the tension that arises when wet lab researchers, who are accustomed to time-tested research methodologies, confront new approaches driven by novel applications of computer science and its principles to the problems they face. The column also describes the issues computer scientists face if they want to have a significant impact in a related discipline. Last but surely not least, Jean's description of the Kappa language and its application to protein interactions provides an impressive example of how concurrency theory and techniques developed within computer science can usefully be applied in a related discipline.

Similar Papers
  • Book Chapter
  • Citations9

The Interdisciplinary Fields of Political Engineering, Public Policy Engineering, Computational Politics, and Computational Public Policy

  • Sep 22, 2019
  • Ashu M G Solo
  • PDF
  • Research Article
  • Citations1

The application of computer science in fractional distillation of petroleum

  • Jul 30, 2022
  • International Journal of Frontline Research in Engineering and Technology
  • Atianashie Miracle A +1
  • Research Article

A Comprehensive Survey on the Role of Law in Different Applications in Computer Science

  • Oct 10, 2024
  • Social Sciences
  • Basma Mohamed +1
  • Conference Article

Virtual Mittweida - Creating a game-based approach to teach artificial intelligence for games

  • Jan 01, 2025
  • AHFE international
  • Alexander Thomas Kühn +3
  • Single Book
  • Citations135

Lectures in Game Theory for Computer Scientists

  • Jan 06, 2011
  • Krzysztof R Apt
  • Research Article
  • Citations17

Computer science and decision theory

  • Jul 19, 2008
  • Annals of Operations Research
  • Fred S Roberts
  • Conference Article
  • Citations3

A discrete structures course for a small college

  • Jan 01, 1975
  • Margaret E Dexter +2
  • Book Chapter
  • Citations39

Artificial Intelligence in Computer Science

  • Sep 08, 2023
  • Arun Prasad G +7
  • Research Article
  • Citations1

A discrete structures course for a small college

  • Jan 01, 1975
  • ACM SIGCSE Bulletin
  • Margaret E Dexter +2
  • Single Book
  • Citations34

Finite Automata

  • Sep 17, 2003
  • Mark V Lawson
  • Conference Article
  • Citations2

A Review on Soft Set-Based Theories Relevant to Decision Making in Computer Science

  • Jan 01, 2019
  • Terry Jacob Mathew +1
  • Research Article

Bridging the Gap: The Pervasive Application of Computer Science in Commerce

  • Sep 07, 2023
  • Journal of Electronics Computer Networking and Applied Mathematics
  • Dr S Ramesh
  • Book Chapter

Recopla: An Extendible Graphic Meta-Editor

  • Jan 01, 1998
  • Zoltan Gassmann +2
  • Research Article

SIGACT news complexity theory column 63

  • Jun 20, 2009
  • ACM SIGACT News
  • Lane A Hemaspaandra
  • Conference Article
  • Citations7

Investigating autonomic behaviours in grid-basedcomputational science applications

  • Jun 15, 2009
  • Shantenu Jha +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.