-
1
-
-
0032058198
-
Proof Verification and the Hardness of Approximation Problems
-
Arora, S., Lund, C., Motwani, R., et al. 1998. Proof verification and the hardness of approximation problems. J. ACM 45, 501-555. (Pubitemid 128506634)
-
(1998)
Journal of the ACM
, vol.45
, Issue.3
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
51449083131
-
Multi-spectra peptide sequencing and its applications to multistage mass spectrometry
-
Bandeira, N., Olsen, J. V., Mann, J. V., et al. 2008. Multi-spectra peptide sequencing and its applications to multistage mass spectrometry. Bioinformatics 24, i416-i423.
-
(2008)
Bioinformatics
, vol.24
-
-
Bandeira, N.1
Olsen, J.V.2
Mann, J.V.3
-
3
-
-
33846820200
-
Computational complexity of some restricted instances of 3-SAT
-
DOI 10.1016/j.dam.2006.07.009, PII S0166218X06004677
-
Berman, P., Karpinski, M., and Scott, A. D. 2007. Computational complexity of some restricted instances of 3-SAT. Discrete Appl. Math. 155, 649-653. (Pubitemid 46209326)
-
(2007)
Discrete Applied Mathematics
, vol.155
, Issue.5
, pp. 649-653
-
-
Berman, P.1
Karpinski, M.2
Scott, A.D.3
-
4
-
-
35449001611
-
Fourier meets möbius: Fast subset convolution
-
DOI 10.1145/1250790.1250801, STOC'07: Proceedings of the 39th Annual ACM Symposium on Theory of Computing
-
Bjorklund, A., Husfeldt, T., Kaski, P. et al. 2007. Fourier meets Mobius: fast subset convolution. Proc. ACM Symp. Theor. Comput. 67-74. (Pubitemid 47630722)
-
(2007)
Proceedings of the Annual ACM Symposium on Theory of Computing
, pp. 67-74
-
-
Bjorklund, A.1
Husfeldt, T.2
Kaski, P.3
Koivisto, M.4
-
5
-
-
34547463620
-
A fast and simple algorithm for the money changing problem
-
DOI 10.1007/s00453-007-0162-8
-
Bocker, S., and Liptak, Z. 2007. A fast and simple algorithm for the Money Changing Problem. Algorithmica 48, 413-432. (Pubitemid 47170739)
-
(2007)
Algorithmica (New York)
, vol.48
, Issue.4
, pp. 413-432
-
-
Bocker, S.1
Liptak, Z.2
-
6
-
-
49549101405
-
Towards de novo identification of metabolites by analyzing tandem mass spectra
-
Bocker, S., and Rasche, F. 2008. Towards de novo identification of metabolites by analyzing tandem mass spectra. Bioinformatics 24, I49-I55.
-
(2008)
Bioinformatics
, vol.24
-
-
Bocker, S.1
Rasche, F.2
-
7
-
-
0000666661
-
On the shortest arborescence of a directed graph
-
Chu, Y., and Liu, T. 1965. On the shortest arborescence of a directed graph. Sci. Sinica 14, 1396-1400.
-
(1965)
Sci. Sinica
, vol.14
, pp. 1396-1400
-
-
Chu, Y.1
Liu, T.2
-
8
-
-
79551603185
-
Complexity issues in vertex-colored graph pattern matching
-
Dondi, R., Fertin, G., and Vialette, S. 2011. Complexity issues in vertex-colored graph pattern matching. J. Discrete Algorithms 9, 82-99.
-
(2011)
J. Discrete Algorithms
, vol.9
, pp. 82-99
-
-
Dondi, R.1
Fertin, G.2
Vialette, S.3
-
10
-
-
38149138056
-
Sharp tractability borderlines for finding connected motifs in vertex-colored graphs
-
Fellows, M., Fertin, G., Hermelin, D., et al. 2007. Sharp tractability borderlines for finding connected motifs in vertex-colored graphs. Lect. Notes Comput. Sci. 4596 340-351.
-
(2007)
Lect. Notes Comput. Sci.
, vol.4596
, pp. 340-351
-
-
Fellows, M.1
Fertin, G.2
Hermelin, D.3
-
11
-
-
4444277707
-
Metabolite profiling: From diagnostics to systems biology
-
DOI 10.1038/nrm1451
-
Fernie, A. R., Trethewey, R. N., Krotzky, A. J., et al. 2004. Metabolite profiling: from diagnostics to systems biology. Nat. Rev. Mol. Cell Biol. 5, 763-769. (Pubitemid 39208185)
-
(2004)
Nature Reviews Molecular Cell Biology
, vol.5
, Issue.9
, pp. 763-769
-
-
Fernie, A.R.1
Trethewey, R.N.2
Krotzky, A.J.3
Willmitzer, L.4
-
12
-
-
56149101337
-
FiD: A software for ab initio structural identification of product ions from tandem mass spectrometric data
-
Heinonen, M., Rantanen, A., Mielikainen, T., et al. 2008. FiD: a software for ab initio structural identification of product ions from tandem mass spectrometric data. Rapid Commun. Mass Spectrom. 2219, 3043-3052.
-
(2008)
Rapid Commun. Mass Spectrom
, vol.2219
, pp. 3043-3052
-
-
Heinonen, M.1
Rantanen, A.2
Mielikainen, T.3
-
13
-
-
49049121462
-
Mass spectral metabonomics beyond elemental formula: Chemical database querying by matching experimental with computational fragmentation spectra
-
Hill, D. W., Kertesz, T. M., Fontaine, D., et al. 2008. Mass spectral metabonomics beyond elemental formula: chemical database querying by matching experimental with computational fragmentation spectra. Anal. Chem. 80, 5574-5582.
-
(2008)
Anal. Chem.
, vol.80
, pp. 5574-5582
-
-
Hill, D.W.1
Kertesz, T.M.2
Fontaine, D.3
-
14
-
-
0003830080
-
-
4th ed. University Science Books, Mill Valley, CA
-
McLafferty, F. W., and Turecek, F. 1993. Interpretation of Mass Spectra, 4th ed. University Science Books, Mill Valley, CA.
-
(1993)
Interpretation of Mass Spectra.
-
-
McLafferty, F.W.1
Turecek, F.2
-
15
-
-
0028542974
-
An efficient transitive closure algorithm for cyclic digraphs
-
DOI 10.1016/0020-0190(94)90128-7
-
Nuutila, E. 1994. An efficient transitive closure algorithm for cyclic digraphs. Inform. Process. Lett. 52, 207-213. (Pubitemid 124013243)
-
(1994)
Information Processing Letters
, vol.52
, Issue.4
, pp. 207-213
-
-
Nuutila, E.1
-
16
-
-
65649117746
-
On the inter-instrument and inter-laboratory transferability of a tandem mass spectral reference library: 1. Results of an Austrian multicenter study
-
Oberacher, H., Pavlic, M., Libiseller, K., et al. 2009a. On the inter-instrument and inter-laboratory transferability of a tandem mass spectral reference library: 1. Results of an Austrian multicenter study. J. Mass Spectrom. 44, 485-493.
-
(2009)
J. Mass Spectrom.
, vol.44
, pp. 485-493
-
-
Oberacher, H.1
Pavlic, M.2
Libiseller, K.3
-
17
-
-
65649115837
-
On the inter-instrument and the inter-laboratory transferability of a tandem mass spectral reference library: 2. Optimization and characterization of the search algorithm
-
Oberacher, H., Pavlic, M., Libiseller, K., et al. 2009b. On the inter-instrument and the inter-laboratory transferability of a tandem mass spectral reference library: 2. Optimization and characterization of the search algorithm. J. Mass Spectrom. 44, 494-502.
-
(2009)
J. Mass Spectrom.
, vol.44
, pp. 494-502
-
-
Oberacher, H.1
Pavlic, M.2
Libiseller, K.3
-
18
-
-
0026366408
-
Optimization, approximation, and complexity classes
-
Papadimitriou, C., and Yannakakis, M. 1991. Optimization, approximation, and complexity classes. J. Comput. Syst. Sci. 43, 425-440.
-
(1991)
J. Comput. Syst. Sci.
, vol.43
, pp. 425-440
-
-
Papadimitriou, C.1
Yannakakis, M.2
-
19
-
-
60549107218
-
In silico methods for predicting metabolism and mass fragmentation applied to quetiapine in liquid chromatography/time-of-flight mass spectrometry urine drug screening
-
Pelander, A., Tyrkko, E., and Ojanpera, I. 2009. In silico methods for predicting metabolism and mass fragmentation applied to quetiapine in liquid chromatography/time-of-flight mass spectrometry urine drug screening. Rapid Commun. Mass Spectrom. 23, 506-514.
-
(2009)
Rapid Commun. Mass Spectrom.
, vol.23
, pp. 506-514
-
-
Pelander, A.1
Tyrkko, E.2
Ojanpera, I.3
-
20
-
-
79951640091
-
Computing fragmentation trees from tandem mass spectrometry data
-
Rasche, F., Svatos, A., Maddula, R. K., et al. 2011. Computing fragmentation trees from tandem mass spectrometry data, Anal. Chem. 83, 1243-1251.
-
(2011)
Anal. Chem.
, vol.83
, pp. 1243-1251
-
-
Rasche, F.1
Svatos, A.2
Maddula, R.K.3
-
21
-
-
60649112635
-
Determination of ion structures in structurally related compounds using precursor ion fingerprinting
-
Sheldon, M. T., Mistrik, R., and Croley, T. R. 2009. Determination of ion structures in structurally related compounds using precursor ion fingerprinting. J. Am. Soc. Mass Spectrom. 20, 370-376.
-
(2009)
J. Am. Soc. Mass Spectrom.
, vol.20
, pp. 370-376
-
-
Sheldon, M.T.1
Mistrik, R.2
Croley, T.R.3
|