Results 71 to 80 of about 8,869 (303)
Extended RDF: Computability and Complexity Issues [PDF]
, 2015 ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based
Analyti, Anastasia +3 more
core +1 more source
Zagadnienia Filozoficzne w Nauce, 2017 The article presents several examples of different mathematical structures and interprets their properties related to the existence of universal functions.
Jerzy Mycka
doaj
IET Cyber-Physical SystemsWith the current COVID‐19 pandemic, sophisticated epidemiological surveillance systems are more important than ever because conventional approaches have not been able to handle the scope and complexity of this global emergency.
Saket Sarin +6 more
doaj +1 more source
FEBS Letters, EarlyView.Which brain hemisphere controls writing? This review synthesizes all five functional transcranial Doppler studies of writing (handwriting and typing) published to date in adults and children. Right‐handers show left‐hemispheric dominance for the linguistic component of writing (written word generation), whereas findings for left‐handers remain ...
Marietta Papadatou‐Pastou
wiley +1 more source
Nonanonymity and sensitivity of computable simple games [PDF]
This paper investigates algorithmic computability of simple games (voting games). It shows that (i) games with a finite carrier are computable, (ii) computable games have both finite winning coalitions and cofinite losing coalitions, and (iii) computable
H. Reiju Mihara
core
Generalizing Computability Theory to Abstract Algebras [PDF]
, 2016 We present a survey of our work over the last four decades on generalizations of computability theory to many-sorted algebras. The following topics are discussed, among others: (1) abstract v concrete models of computation for such algebras; (2 ...
John Tucker
core +1 more source
Studies in Logic, Grammar and Rhetoric, 2016 The aim of this paper is an attempt to give an answer to the question what does it mean that a computational system is intelligent. We base on some theses that though debatable are commonly accepted.
Trzęsicki Kazimierz
doaj +1 more source
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion
, 2005 We consider real sequences in I = [0, 1) and real functions on I. It is first shown that, as for real sequences from I, R-computability (computability with respect to the Euclidean topology) implies " weak Fine-computability." Using this result, we show ...
Yasugi, Mariko +5 more
core +1 more source
HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ
Felsefe Dünyası, 2014 Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj