Results 11 to 20 of about 1,342,285 (288)
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +4 more sources
Proceedings of the Second Annual Conference of the MidSouth Computational Biology and Bioinformatics Society [PDF]
BMC Bioinformatics, 2005 The MCBIOS 2004 conference brought together regional researchers and students in biology, computer science and bioinformatics on October 7th-9th 2004 to present their latest work.
Slikker William, Wren Jonathan D
doaj +2 more sources
Frontiers in Psychology, 2022 Under the wave of globalization, the ties between countries are getting closer and closer. Based on the differences in the languages of different countries, the importance of English as a universal language is becoming more and more prominent.
Qilin Yan
doaj +1 more source
Higher-Order Termination: from Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination).
C. Borralleras +13 more
core +9 more sources
CENTRE-PERIPHERY DICHOTOMY AND ITS INVESTIGATION BY GIS METHODS [PDF]
Acta Geographica Debrecina. Landscape & Environment Series, 2016 Centre-periphery dichotomy can be regarded as one of the crucial issues in human geography and regional science. The definition of periphery is far from unambiguous due to its relative expression and its content.
JÁNOS PÉNZES
doaj +1 more source
Problems for combinatorial numbers satisfying a class of triangular arrays
Lietuvos Matematikos Rinkinys, 2023 Numbers satisfying a class of triangular arrays, defined by a bivariate first-order linear difference equation with linear coefficients, include a wide range of combinatorial numbers: binomial coefficients, Morgan numbers, Stirling numbers of the first ...
Igoris Belovas
doaj +3 more sources
Algorithmic Accountability in Context. Socio-Technical Perspectives on Structural Causal Models
Frontiers in Big Data, 2021 The increasing use of automated decision making (ADM) and machine learning sparked an ongoing discussion about algorithmic accountability. Within computer science, a new form of producing accountability has been discussed recently: causality as an ...
Nikolaus Poechhacker, Severin Kacianka
doaj +1 more source
A computational study of the Warburg effect identifies metabolic targets inhibiting cancer migration
Molecular Systems Biology, 2014 Over the last decade, the field of cancer metabolism has mainly focused on studying the role of tumorigenic metabolic rewiring in supporting cancer proliferation.
Keren Yizhak +8 more
doaj +1 more source
Cell Reports, 2013 Oncogene-induced senescence is characterized by a stable cell growth arrest, thus providing a tumor suppression mechanism. However, the underlying mechanisms for this phenomenon remain unknown.
Katherine M. Aird +10 more
doaj +1 more source
Cell Reports, 2023 Summary: Colorectal cancer (CRC) is driven by genomic alterations in concert with dietary influences, with the gut microbiome implicated as an effector in disease development and progression.
Ting Fu +25 more
doaj +1 more source