-
1
-
-
1242288052
-
-
L. Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen and John Knudsen. The Complexity of Checking Consistency of Pedigree Information and Related Problems. Special issue on bioinformatics (Paola Bonazzoni, Gianluca Dalla Vedova and Tao Jiang guest editors) of the Journal of Computer Science and Technology 19(1):42-59, January 2004.
-
L. Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen and John Knudsen. The Complexity of Checking Consistency of Pedigree Information and Related Problems. Special issue on bioinformatics (Paola Bonazzoni, Gianluca Dalla Vedova and Tao Jiang guest editors) of the Journal of Computer Science and Technology 19(1):42-59, January 2004.
-
-
-
-
4
-
-
0031122218
-
Algebraic Decision Diagrams and their Applications
-
Bahar, R. I.,Frohm, E. A., Gaona, C. M., Hachtel, G. D., Macii, E.,Pardo, A., Somenzi, F. Algebraic Decision Diagrams and their Applications Formal Methods in Systems Design, 10(2/3): 171-206, 1997
-
(1997)
Formal Methods in Systems Design
, vol.10
, Issue.2-3
, pp. 171-206
-
-
Bahar, R.I.1
Frohm, E.A.2
Gaona, C.M.3
Hachtel, G.D.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
5
-
-
0022769976
-
Graph-based Algorithms for Boolean Function Manipulation
-
Bryant, R. E., Graph-based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 8(C-35):677-691, 1986
-
(1986)
IEEE Transactions on Computers
, vol.8
, Issue.C-35
, pp. 677-691
-
-
Bryant, R.E.1
-
6
-
-
0037565605
-
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
-
Clarke, E., Fujita, M., McGeer, P. Yang, J., Zhao, X. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. International Workshop on Logic Synthesis, 1993.
-
(1993)
International Workshop on Logic Synthesis
-
-
Clarke, E.1
Fujita, M.2
McGeer, P.3
Yang, J.4
Zhao, X.5
-
7
-
-
19244370184
-
-
Dallas, TX
-
Clarke, E. M., McMillan, K. L.,Zhao, X.,Fujita, M., Yan, J. C. Y., Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping 30th ACM/IEEE DAC, Dallas, TX, 54-60, 1993.
-
(1993)
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping 30th ACM/IEEE DAC
, pp. 54-60
-
-
Clarke, E.M.1
McMillan, K.L.2
Zhao, X.3
Fujita, M.4
Yan, J.C.Y.5
-
8
-
-
0015183542
-
A general model for the genetic analysis of pedigree data
-
Elston RC, Stewart J (1971) A general model for the genetic analysis of pedigree data. Hum Hered 21:523-542
-
(1971)
Hum Hered
, vol.21
, pp. 523-542
-
-
Elston, R.C.1
Stewart, J.2
-
10
-
-
0034098774
-
Allegro, a new computer program for multipoint linkage analysis
-
Gudbjartsson, D. F, Jonasson, K, Frigge, M, Kong, A. (2000) Allegro, a new computer program for multipoint linkage analysis. Nature Genetics 25:12-13
-
(2000)
Nature Genetics
, vol.25
, pp. 12-13
-
-
Gudbjartsson, D.F.1
Jonasson, K.2
Frigge, M.3
Kong, A.4
-
11
-
-
0242308112
-
Single Point Algorithms in Genetic Linkage Analysis Comuter Aided Systems Theory-Eurocast 2003
-
Las Palmas de Gran Canaria, Spain, p
-
Gudbjartsson, D., Hansen, J. A., Ingólfsdóttir, A., Johnsen, J, Knudsen, J., Single Point Algorithms in Genetic Linkage Analysis Comuter Aided Systems Theory-Eurocast 2003,9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, p.372-383, 2003,
-
(2003)
9th International Workshop on Computer Aided Systems Theory
, pp. 372-383
-
-
Gudbjartsson, D.1
Hansen, J.A.2
Ingólfsdóttir, A.3
Johnsen, J.4
Knudsen, J.5
-
12
-
-
37149055477
-
BDD-Based Al-gorithms in Genetic Linkage Analysis
-
To appear in the proceedings of NETTAB, Camerino, Italy
-
Ingolfsdottir, A., Gudbjartsson, D., Gunnarsson, G., Thorvaldsson, Th., BDD-Based Al-gorithms in Genetic Linkage Analysis To appear in the proceedings of NETTAB 2004, Camerino, Italy, LNCS.
-
(2004)
LNCS
-
-
Ingolfsdottir, A.1
Gudbjartsson, D.2
Gunnarsson, G.3
Thorvaldsson, T.4
-
13
-
-
0030802544
-
A Faster and More General Hidden Markov Model Algorithm for Multi Point Calculations
-
Idury, R. M, Elston, R, C., A Faster and More General Hidden Markov Model Algorithm for Multi Point Calculations. Human Heredity, 47:197-202, 1997.
-
(1997)
Human Heredity
, vol.47
, pp. 197-202
-
-
Idury, R.M.1
Elston, R.C.2
-
14
-
-
37149040538
-
-
Leonid Kruglyak, Mark J. Daly, Mary Pat Reeve-Daly, and Eric S. Lander. Parametric and Nonparametric Linkage Analysis: A Unified Multipoint Approach
-
Leonid Kruglyak, Mark J. Daly, Mary Pat Reeve-Daly, and Eric S. Lander. Parametric and Nonparametric Linkage Analysis: A Unified Multipoint Approach.
-
-
-
-
15
-
-
0031949481
-
Faster multipoint linkage analysis using fourier transforms
-
Leonid Kruglyak and Eric S. Lander. Faster multipoint linkage analysis using fourier transforms. Journal of Computational Biology, 5(1):7, 1998.
-
(1998)
Journal of Computational Biology
, vol.5
, Issue.1
, pp. 7
-
-
Kruglyak, L.1
Lander, E.S.2
-
17
-
-
0000803318
-
Construction of Multilocus enetic Linkage Maps in Humans
-
Eric S. Lander and Philip Green. Construction of Multilocus enetic Linkage Maps in Humans. Proc. Natl. Acad. Sci., 84:2363-2367, 1987.
-
(1987)
Proc. Natl. Acad. Sci
, vol.84
, pp. 2363-2367
-
-
Lander, E.S.1
Green, P.2
-
18
-
-
0029886532
-
Parametric and nonparametric linkage analysis: A unified multipoint approach
-
Kruglyak L, Daly MJ, Reeve-Daly MP, Lander ES (1996) Parametric and nonparametric linkage analysis: a unified multipoint approach. Am J Hum Genet 58:1347-1363
-
(1996)
Am J Hum Genet
, vol.58
, pp. 1347-1363
-
-
Kruglyak, L.1
Daly, M.J.2
Reeve-Daly, M.P.3
Lander, E.S.4
-
19
-
-
0035071608
-
Efficient multipoint linkage analysis through reduction of inheritance space
-
Kyriacos Markianos, Mark J. Daly, and Leonid Kruglyak. Efficient multipoint linkage analysis through reduction of inheritance space. American journal of human genetics, 68:963-977, 2001.
-
(2001)
American journal of human genetics
, vol.68
, pp. 963-977
-
-
Markianos, K.1
Daly, M.J.2
Kruglyak, L.3
-
20
-
-
37149023022
-
-
Jurg Ott. Analysis of Human Genetic Linkage.Third Edition. The Johns Hopkins University Press, 1999.
-
Jurg Ott. Analysis of Human Genetic Linkage.Third Edition. The Johns Hopkins University Press, 1999.
-
-
-
-
21
-
-
37149042729
-
-
Somenzi, F., CUDD: CU decision diagram package. Public software, Colorado University, Boulder, 1997.
-
Somenzi, F., CUDD: CU decision diagram package. Public software, Colorado University, Boulder, 1997.
-
-
-
-
22
-
-
0035095150
-
Rapid Multipoint Linkage Analysis via Inheritance Vectors in the ElstonStewart Algorithm
-
O'Connell JR. Rapid Multipoint Linkage Analysis via Inheritance Vectors in the ElstonStewart Algorithm. Hum Hered 51:226-240, 2001.
-
(2001)
Hum Hered
, vol.51
, pp. 226-240
-
-
O'Connell, J.R.1
|