Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Valery Trifonov"'
Publikováno v:
PLoS Computational Biology, Vol 3, Iss 4, p e59 (2007)
It has been a long-standing goal in systems biology to find relations between the topological properties and functional features of protein networks. However, most of the focus in network studies has been on highly connected proteins ("hubs"). As a c
Externí odkaz:
https://doaj.org/article/7797c4a34ad24297880b5803daa82074
Publikováno v:
Transportation Research Procedia. 54:522-529
Reducing the weight of modern bodies and simplifying the design often lead to a significant reduction in structural rigidity and damping, which leads to easier excitation of elastic vibrations, which have a negative impact on passenger comfort and du
Publikováno v:
Bioinformatics. 22:823-829
Datasets obtained by large-scale, high-throughput methods for detecting protein–protein interactions typically suffer from a relatively high level of noise. We describe a novel method for improving the quality of these datasets by predicting missed
Autor:
John E. Karro, Joel Rozowsky, Michael Snyder, Olof Emanuelsson, Valery Trifonov, Mark Gerstein, Paul Bertone, Ming-Yang Kao, Falk Schubert
Publikováno v:
Genome Research. 16:271-281
A recent development in microarray research entails the unbiased coverage, or tiling, of genomic DNA for the large-scale identification of transcribed sequences and regulatory elements. A central issue in designing tiling arrays is that of arriving a
Publikováno v:
ACM Transactions on Programming Languages and Systems. 25:159-209
Compilers for polymorphic languages can use run-time type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a type-theoret
Publikováno v:
LICS
Proof-carrying code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language-specific typing rules; they certify safety but only if there is no bug
Publikováno v:
LISP and Symbolic Computation. 8:357-397
In this paper we give semantics toLoop, an expressive typed object-oriented programming language with updatable instance variables.Loop has a rich type system that allows for the typing of methods operating over an open-ended “self” type. We prov
Publikováno v:
Genome Biology
A global comparison of the four basic molecular networks in yeast - regulatory, co-expression, interaction and metabolic - reveals general design principles.
Background Molecular networks are of current interest, particularly with the publicatio
Background Molecular networks are of current interest, particularly with the publicatio
Publikováno v:
Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005..
We describe two novel methods for predicting protein interactions, using only the topology of an observed protein interaction network. The first method searches the protein interaction network for defective cliques (i.e. nearly complete complexes of
We have developed high-assurance software protection mechanisms that can be used in component-software platforms (virtual machines such as Sun's Java or Microsoft's .Net). The idea is to leverage type-safe source languages to get fine-grained protect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::009b160292a63a461b0f4f4c1fae9960
https://doi.org/10.21236/ada434335
https://doi.org/10.21236/ada434335