• Aucun résultat trouvé

[PDF] Top 20 Automated reasoning in metabolic networks with inhibition

Has 10000 "Automated reasoning in metabolic networks with inhibition" found on our website. Below are the top 20 most common "Automated reasoning in metabolic networks with inhibition".

Automated reasoning in metabolic networks with inhibition

Automated reasoning in metabolic networks with inhibition

... about metabolic networks has been widely investigated due to the complexity of their ...interference in the process. This paper presents a log- ical model for metabolic pathways capable of ... Voir le document complet

12

Automated reasoning in metabolic networks with inhibition

Automated reasoning in metabolic networks with inhibition

... about metabolic networks has been widely investigated due to the complexity of their ...interference in the process. This paper presents a log- ical model for metabolic pathways capable of ... Voir le document complet

13

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information

... reaction networks in systems biology often require full kinetic infor- mation, while only partial information on activators and inhibitors is available in ...practice. In order to become ... Voir le document complet

13

Reasoning on the response of logical signaling networks with answer set programming

Reasoning on the response of logical signaling networks with answer set programming

... challenges in logic-based modeling In this thesis, we are interested in logic-based models, particularly Boolean networks and slight variations ...refined in an iterative fashion by ... Voir le document complet

155

Reasoning on the response of logical signaling networks with Answer Set Programming

Reasoning on the response of logical signaling networks with Answer Set Programming

... goal in the field. Logical signaling networks: state of the art and current challenges Among various discrete dynamical systems, Boolean networks [KAU 69] provide a relatively simple modeling ... Voir le document complet

47

Introducing an Unsupervised Automated Solution for Root Cause Diagnosis in Mobile Networks

Introducing an Unsupervised Automated Solution for Root Cause Diagnosis in Mobile Networks

... filled in gray are the nodes removed during the pruning process because they denote false ...problems with the MNC ...removed in the pruning step. The same reasoning applies to the Content ... Voir le document complet

16

Automated Reasoning Techniques as Proof-search in Sequent Calculus

Automated Reasoning Techniques as Proof-search in Sequent Calculus

... (r) ⊢ Γ ′ , ∆ ′ and the resulting proofs will remain different even when a cut-free proof is eventually produced. To solve this problem, Girard presents the cut-elimination procedure of LL by means of proof- nets. A proof ... Voir le document complet

140

Inhibition of microbial growth by carbon nanotube networks

Inhibition of microbial growth by carbon nanotube networks

... applications in the biomedical field as diagnostic and therapeutic nano ...stress in all the microbial species to a di fferent ...pathogens with the CNT ... Voir le document complet

9

Inhibition of microbial growth by carbon nanotube networks

Inhibition of microbial growth by carbon nanotube networks

... other with respect to dimensions, number of walls, surface chemistry, electronic behavior and presence of residual metal catalysts, no correlation between their physical–chemical char- acteristics and their ... Voir le document complet

8

Metabolic Inhibition Induces Transient Increase of L-type Ca2+ Current in Human and Rat Cardiac Myocytes

Metabolic Inhibition Induces Transient Increase of L-type Ca2+ Current in Human and Rat Cardiac Myocytes

... channels in human atrial ...during metabolic inhibition after equimolar substitution of extracellular Ca 2+ for Ba 2+ ...Ba in ISO-stimulated ... Voir le document complet

16

MetExplore: collaborative edition and exploration of metabolic networks

MetExplore: collaborative edition and exploration of metabolic networks

... encoded in genome scale metabolic network reconstructions, which aim at gathering and orga- nizing synthetic knowledge regarding the metabolic capac- ities of an organism, especially the properties ... Voir le document complet

9

Functional prediction of environmental variables using metabolic networks

Functional prediction of environmental variables using metabolic networks

... a metabolic network, introduced in 2005 by Handorf, Ebenhöh, and Heinrich 11 ...to metabolic networks, and it is defined as the metabolites and reactions (yellow and orange on the figure) ... Voir le document complet

12

Interpolative reasoning with default rules

Interpolative reasoning with default rules

... defaults in D, the strict rules in S and the betweenness information in ...qualitative reasoning about conceptual spaces, taking into account part-whole relations (using strict rules), ... Voir le document complet

9

Interpolative reasoning with default rules

Interpolative reasoning with default rules

... whereby in absence of explicit information, humans tend to make conclusions based on what is true for similar situations [Collins and Michalski, ...degrees in a principled way, and to determine how similar ... Voir le document complet

8

Rearrangements of the transcriptional regulatory networks of metabolic pathways in fungi

Rearrangements of the transcriptional regulatory networks of metabolic pathways in fungi

... important in the metabolism, growth, development, and pathogen- icity of many ...pathway in specialized organelles called peroxisomes [ 24 ] and, in the presence of an abundant source of fatty-acids, ... Voir le document complet

10

Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms

Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms

... found in the literature on metabolism, the best known of which may be elementary modes [12] or any of its close cousins (see [8, 9] for a ...as metabolic subnetworks that can function at steady state, ... Voir le document complet

17

Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning

Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning

... inferences in cognitive maps, especially when the problem is complex, may not be an easy ...limitation in cognitive maps is that they do not model uncertainty with the ...contribution in this ... Voir le document complet

9

Reasoning with Multiple-Agent Possibilistic Logic

Reasoning with Multiple-Agent Possibilistic Logic

... defined in [7], works in the same way as in classical logic, and thanks to an A ∗ -like search method (changing the sum of the costs into their minimum), one can obtain the refutation having the ... Voir le document complet

16

Reasoning with partially ordered information in a possibilistic logic framework

Reasoning with partially ordered information in a possibilistic logic framework

... Introduction In many applications, the reliability relation associated with available information is only partially defined, while most of existing un- certainty frameworks deal with totally or- ... Voir le document complet

7

Reasoning with Conditional Preferences across Attributes

Reasoning with Conditional Preferences across Attributes

... Work In this paper, a graphical model referred to as a Conditional Outcome Preference Network (COP-network) is ...preference networks (such as CP- networks [1]) have handled only preferences ... Voir le document complet

14

Show all 10000 documents...