Results 31 to 40 of about 1,785,243 (284)
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
General normal forms for any additive logic
, 2017 In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Khaled, Mohamed
core +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
Edge Detection Method Based on General Type-2 Fuzzy Logic Applied to Color Images
Information, 2017 This paper presents a new general type-2 fuzzy logic method for edge detection applied to color format images. The proposed algorithm combines the methodology based on the image gradients and general type-2 fuzzy logic theory to provide a powerful edge ...
Claudia I. Gonzalez +2 more
doaj +1 more source
n-Valued Refined Neutrosophic Logic and Its Applications to Physics [PDF]
, 2013 In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic.
Smarandache, Florentin
core +2 more sources
NP-Logic Systems and Model-Equivalence Reductions
, 2010 In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP.
Shen, Yuping, Zhao, Xishun
core +2 more sources
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source