Det matematisk-naturvitenskapelige fakultet

Institutt for informatikk

Produksjonsdato : 2001-01-30
Katalogtype: Kortformat.

1
Timed Rewriting Logic. Stanford University 1996-05-29. Seminar on Topics in
Formal Methods.

2
Alvis Brazma,; Inge Jonassen,; Esko Ukkonen,; Jaak Vilo,
Automatic discovery of patterns and subfamilies in biosequences. 1
Heidelberg, Tyskland 1996-03-24. International Symposium on Theoretical and
Computational Genome Research.

3
Aspvall, Bengt; Levcopoulos, Christos; Lingas, Andrzej; Storling, Robert
On 2-QBF truth testing in parallell. Information processing letters.
Elsevier 57: 89-93 1996. ISSN 0020-0190

4
Berntsen, Jarle; Skogen, Morten D.; Espelid, Terje O.
Description of a sigma-coordinate ocean model. - Fisken og Havet. -
Havforskningsinstitutten, UiB 12: 35 s. 1996-05-28.

5
Bjørnestad, Solveig; Irgens, Berit; Jansen, Arild; Krogdahl, Stein; Maus,
Arne; Storøy, Sverre; Yu, Weiha; Aagesen, Finn Arve
Norsk informatikkonferanse NIK'96. - Tapir 334 1996-11. ISBN 82-519-1381-0

6
Blair, Jean R. S.; Heggernes, Pinar; Telle, Jan Arne
Making an arbitrary filled graph minimal by removing fill edges. - Reports
In Informatics. - Institutt for Informatikk, UiB 1996 115, 14 1996-02.

7
Blair, Jean; Heggernes, Pinar; Telle, Jan Arne
Making an arbitrary filled graph minimal by removing fill edges. Proceedings
of Fith Scandinavian Workshop on Algorithms and Data Structures - SWAT '96.
Lecture Notes in Computer Science vol. 1097. Springer 173-184 Reykjavik,
Island 1996-07. Scaninavian Workshop on Algorithms and Data Strucures, 5th.

8
Boukliev, I.; Dodunekov, S.; Helleseth, T.; Ytrehus, Ø.
Two New Binary Optimal 8-Dimensional Codes. Proceedings of 5th International
Workshop on Algebraic and Combinatorial Coding Theory. Red. Yorgov, V. 66-67
Sozopol 1996-06-01. ISBN 954-8384-03-5 5th International Workshop on
Algebraic and Combinatorial Coding Theory.

9
Brazma, Alvis; Jonassen, Inge; Eidhammer, Ingvar; Gilbert, David
Approaches to the automatic discovery of patterns in biosequences. 2 NTNU,
Trondheim, Norway 1996-08-04. Workshop on Mathematical analysis of
biological sequences.

10
Brazma, Alvis; Ukkonen, Esko; Jonassen, Inge; Vilo, Jaak
Discovering patterns and subfamilies in biosequences. Red. States, David J.;
Agarwal, Pankaj; Gaasterland, Terry; Hunter, Lawrence; Smith, Randall F.
34-43 St. Louis, USA 1996-06-12. ISBN 1-57735-002-2 Fourth International
Conference on Intelligent Systems for Molecular Biology 96.

11
Calderbank, A.R.; McGuire, G.; Kumar, V.; Helleseth, T.
Cyclic codes over Z4, locator polynomials, and Newton's identities. IEEE
TRANSACTIONS ON INFORMATION THEORY. 42: 1, 217-226 1996-01. ISSN 0018-9448

12
Chen, Wende; Kløve, Torleiv
Bounds on the weight hierarchies of linear codes of dimesion 4. - Reports in
Informatics. - Institutt for Informatikk, UiB 125: 1996.

13
Chen, Wende; Kløve, Torleiv
On generalizations of sonar sequences and intermodulation-free frequencies
assignment sequences. Acta Math. Appl. Sinica. 12: 1, 102-108 1996.

14
Chen, Wende; Kløve, Torleiv
The weight hierarchies of q-ary codes of dimension 4. IEEE Transactions on
Information Theory. IEEE 2265-2272 1996-11. ISSN 0018-9448

15
Chen, Wende; Kløve, Torleiv
The weight hirearchies of q-ary codes of dimension 2 and 3. The Second
Shanghai Conference on Designs, Codes and Finite Geometries. Red. Shen, Hao
15-16 Shanghai 1996-05-15. The Second Shanghai Conference on Designs, Codes
and Finite Geometries.

16
Chen, Wende; Kløve, Torleiv
Weight hierarchies of linear codes satisfying the chain condition. - Reports
in Informatics. - Institutt for Informatikk, UiB 126: 1996.

17
Damberg, Olof; Storøy, Sverre; Sørevik, Tor
A Data-Parallel Augmenting path Algorithm for the Dense Linear Many-To-One
Assignment Problem. Computational Optimization and Applications. Red.
William W. Hager,. Kluwer Academic Publishers 6: 3, 251-272 1996-11. ISSN
0926-6003

18
Encheva, Syliva B.
On self-dual codes over GF(3) and their coordinate ordering. - Reports in
Informatics. - Institutt for Informatikk, UiB 128: 1996.

19
Encheva, Syliva B.; Cohen, G. D.
Self-orthogonal codes and their coordinate ordering. - Reports in
Informatics. - Institutt for Informatikk, UiB 127: 1996.

20
Hamada, Noboru; Helleseth, Tor
A characterization of (3v1+v4, 3v0+v3;4,3)-minihyphers and projective
ternary (78,5,51) codes. Mathematica Japonica. 43: 2, 1996. ISSN 0025-5513

21
Hareide, Idar
Gjenkjenning av strenger som tilnærmet tilhører et kontekstfritt språk. -
Institutt for Informatikk VI, 140 s. : fig. 1996.

22
Hauge, Erik R.; Helleseth, Tor
De Bruijn sequences, irreducible codes and cyclotomy. Discrete mathematics.
Elsevier 159: 143-154 1996. ISSN 0012-365x

23
Haveraaen, Magne; Wagner, Eric G.
The Basic Ideas of Guarded Algebras. NIK '96. Tapir 219-234 Alta, Norway
1996-10. Norsk Informatikkonferanse.

24
Heggernes, Pinar; Matstoms, Pontus
Finding Good Column Orderings for Sparse QR Factorization. - Reports in
Informatics. - Institutt for Informatikk 1996 120, 29 1996-06.

25
Heggernes, Pinar; Matstoms, Pontus
Finding good column orderings for sparse QR factorization. - Reports in
Informatics. - Institutt for Informatikk, UiB 120: 1996.

26
Heggernes, Pinar
Partitioning and ordering graphs for sparse matrix computations. - Institutt
for Informatikk 1996 144 1996-09.

27
Helleseth, Tor; Kløve, Torleiv
Bounds on the weight hierarchies of some product codes. Guadeloupe
1996-04-01. Geometry, Algorithms, and Arithmetic in the Theory of Error
Correcting Codes.

28
Helleseth, Tor; Kumar, P. Vijay; Shanbhag, Abhijit
Codes with the same weight distributions as the Goethals codes and the
Delsarte-Goethals codes. Design, codes and cryptography. Kluwer Academic
Publishing, Boston 9: 257-266 1996. ISSN 0925-1022

29
Helleseth, Tor; Kumar, P. Vijay; Shanbhag, A. G.
Exponential sums over Galois rings and their applications. London
Mathematical Society lecture note series. Cambridge University Press 233:
109- 1996. ISSN 0076-0552

30
Helleseth, Tor; Kumar, P. Vijay; Moreno, Oscar; Shanbhag, Abhijit G.
Improved Estimates via Exponential Sums for the Minimum Distance of
Z--Linear Trace Codes. IEEE transactions on information theory. 42: 4,
1212- 1996. ISSN 0018-9448

31
Helleseth, Tor; Kumar, P. Vijay
On the Weight Hierarchy of the semiprimitive codes. Discrete mathematics.
Elsevier 152: 185-190 1996. ISSN 0012-365x

32
Helleseth, Tor; Kumar, P.V.
Pseudonoise Sequences. The Mobile Communications Handbook. Red. Gibson,
Jerry D. CRC Press, IEEE Press Kap. 8 1996.

33
Helleseth, Tor; Kløve, Torleiv; Levenshtein, Vladimir
The Newton radius of equidistant codes. Proceedings 1996 ISITA. Red. Imai,
Hideki 721-722 Victoria, BC, Canada 1996-09-17. ISBN 1-55058-103-1 1996 IEEE
International Symposium on Information Theory and its Applications.

34
Helleseth, Tor; Hamada, Noboru
The uniqueness of [87,5,57;3]-codes and the nonexistence of
[258,6,171;3]-codes. Journal of statistical planning and inference. Elsevier
56: 105-127 1996. ISSN 0378-3758

35
Helleseth, Tor; Kløve, Torleiv
The weight hierarchies of some product codes. IEEE Transactions on
Information Theory. IEEE 42: 3, 1029-1034 1996-05. ISSN 0018-9448

36
Helleseth, Tor; Johansson, Thomas
Universal Hash Functions from Exponential Sums over Finite Fields and
Galois Rings. Advances in Cryptology - CRYPTO '96. Lecture Notes in
Computer Science 1109. Springer Santa Barbara, California, USA 1996-08.
Annual International Cryptology Conference, 16th.

37
Henzinger, M. R.; Telle, Jan Arne
Faster algorithms for the nonemptiness of Streett automata and for
communication protocol prunin. Proceedings of Fith Scandinavian Workshop on
Algorithms and Data Structures - SWAT '96. Lecture Notes in Computer
Science vol. 1097. Springer 16-27 Reykjavik, Island 1996-07. Scaninavian
Workshop on Algorithms and Data Strucures, 5th.

38
Hossein, A. K. M. Shahadat; Steihaug, Trond
Computing a sparse Jacobian matrix by rows and columns. Computational
Differentiation. Techniques, applications and tools. SIAM Bookmart 1996. ISBN
0-89871-385-4

39
I. Boukliev,; S. Dodunekov,; T. Helleseth,; Ø. Ytrehus,
Two New Binary Optimal 8-Dimensional Codes. Proceedings. Red. Yorgov, D.
66-67 Sozopol, Bulgaria 1996-06. ISBN 954-8384-03-5 5th International
Workshop on Algebraic and Combinatorial Coding Theory.

40
Inge Jonassen; Carsten Helgesen; Desmond Higgins
Scoring function for pattern discovery programs taking into account
sequence diversity. 1 Heidelberg, Tyskland 1996-03-24. International
Symposium on Theoretical and Computational Genome Research.

41
Jonassen, Inge
Approaches to the automatic discovery of patterns in sequences. EMBL Hinxton
Outstation, the European Bioinformatics Institute 1996-10-02.

42
Jonassen, Inge
Efficient discovery of conserved patterns using a pattern graph. - Reports
in Informatics. - Inst. for Informatikk, UiB 118, 27 1996-03-01.

43
Jonassen, Inge
Methods for fiding motifs in sets of related biosequences. - Inst. for
informatikk, UiB 145 s. Bergen 1996.

44
Jonassen, Inge; Helgesen, Carsten; Higgins, Desmond
Scoring function for pattern discovery programs taking into account
sequence diversity. - Reports in Informatics. - Institutt for Informatikk,
UiB 116, 18 1996-02-01.

45
Khalid Azim Mughal; Lars Søraas
Yet Another Attribute Evaluator based on Recursive Functions. Proceedings of
the Poster Session of CC'96. Red. Fritzson, Peter 89-96 Linkøping, Sweden
1996-04-22. ISSN ISSN-0281-4250 CC'96: International Conference on Compiler
Construction.

46
Khalid Azim Mughal; Lars Søraas
Yet Another Attribute Evaluator based on Recursive Functions. Proceedings of
NWPER'96: Nordic Workshop on Programming Environment Research. Red. Bendix,
Lars; Nørmark, Kurt; Østerbye, Kasper 141-148 Aalborg, Danmark 1996-05-29.
ISSN ISSN-0908-1216 NWPER'96: Nordic Workshop on Programming Environment
Research.

47
Kløve, Torleiv
Bounds on the weight distribution of cosets. IEEE Transactions on
Information Theory. IEEE 42: 6, 2257-2260 1996-11. ISSN 0018-9448

48
KLøve, Torleiv; Svirid, Yuri
Diffuse difference triangle sets. Second Shanghai Conference on Designs,
Codes and Finite Geometries. Red. Shen, Hao 22-23 Shanghai 1996-05-15.
Second Shanghai Conference on Designs, Codes and Finite Geometries.

49
Kløve, Torleiv; Chen, Wende
Lower bounds on multiple distict sums sets. Discrete Mathematics. 148: 15-35
1996.

50
Kløve, Torleiv
Reed-Muller codes for error detection; the good, the bad, and the ugly. IEEE
Transactions on Information Theory. IEEE 42: 5, 1615-1622 1996-09. ISSN
0018-9448

51
Kløve, Torleiv
The Newton radius of codes. Academia Sinica, Beijing, Kina 1996-05-07.

52
Kløve, Torleiv
The Newton radius of codes. Xidian Universitet, Xian, Kina 1996-05-10.

53
Kløve, Torleiv
The weight hierarchy of codes. The Newton Institute, Cambridge, England
1996-01-16.

54
Kløve, Torleiv
The weight hierarchy of codes. Xidian Universitet, Xian, Kina 1996-05-13.

55
Kløve, Torleiv
The worst-case probability of undetected error for linear codes on the local
binomial channel. IEEE Transactions on Information Theory. IEEE 42: 1,
172-179 1996-01. ISSN 0018-9448

56
Kumar, P. V.; Helleseth, T; Calderbank, A. R.; Hammons, A. R.
Large families of quaternary sequences with low correlation. IEEE
TRANSACTIONS ON INFORMATION THEORY. 0042: 2, 579-592 1996-03. ISSN 0018-9448

57
Langholm, Tore
How Different is Partial Logic? Partiality, Modality and Nonmonotonicity. Red.
Doherty, Patrick. CSLI Publications 3-43 1996. ISBN 1-57586-031-7

58
Malyshev, Alexander
Matrix equations. Factorization of matrix polynomials. Handbook of Algebra,
Vol.1. Red. Hazewinkel, M. North-Holland 79-116 1996. ISBN 0-444-82212-7

59
Malyshev, Alexander
On spectral trichotomy of symplectic and hamiltonian matrices. Red. O'Leary,
Dianne; Gander, Walter; Gutknecht, Martin 140-144 Pontresina, Switzerland
1996-06-17. Householder symposium XIII.

60
Malyshev, Alexander; Lavallee, Perre-Francois; Sadkane, Miloud
Spectral portrait of matrices by block diagonalization. Lecture Notes in
Computer Science, Vol. 1196, Springer-Verlag. Red. Vulkov; et al. 266-273
Rousse, Bulgaria 1996-06-24. 1st Int. Workshop  on Numer. Anal. and Appl.

61
Manne, Fredrik; Sørevik, Tor
Partitioning an array onto a mesh of processors. - Reports in Informatics. -
Institutt for Informatikk, UiB 119: 1996.

62
Meldal, Sigurd; Luckham, David C.
Architecture Design and Conformance Testing in Rapide. San Diego 1996-01-16.
Information Survivability.

63
Meldal, Sigurd
Nondeterministic operators - an exercise in abstraction. Clemson University
1996-04-29.

64
Meldal, Sigurd
Software Architectures and Conformance Checking of Distributed Systems. New
Mexico State University 1996-04-01.

65
Meldal, Sigurd
Software Architectures and Conformance Checking of Distributed Systems.
Polytechnic University 1996-04-03.

66
Meldal, Sigurd
Software Architectures and Conformance Checking of Distributed Systems.
Rensselaer Polytechnic Institute 1996-04-04.

67
Moe, Richard Elling
First order typed feature structures. - Department of Informatics,
University of Bergen 133 s. Bergen 1996.

68
Munthe-Kaas, Hans
Runge-Kutta methods on Lie groups. - Reports in Informatics. - Institutt for
Informatikk, UiB 122: 1996.

69
Munthe-Kaas, Hans; Eke, Daniel
Uniformly converging schemes for discontinuous seismic wave problems. -
Reports in Informatics. - Institutt for Informatikk, UiB 121: 1996.

70
Olsen, Kai A.; Sætre, Per
Describing products as programs. Prodeedings Advanced Manufacturing & Hybrid
Automation. Igls, Østerrike 1996. International Working Seminar on
Production Economics, 9th.

71
Olsen, Kai A.; Socats, K. M.; Williams, J. G.
Is data really that unimportant for information retrieval? Prodeeding Norsk
Informatikkonferanse 1996. Tapir Alta, Norway 1996. Norsk
Informatikkonferanse -96.

72
Olsen, Kai A.; Sætre, Per
Product variant specification - an object-oriented approach. Proceedings
from the Conference on Human Aspects of Advanced Manufacturing & Hybrid
Automation. Maui, Hawaii, USA 1996-08. Conference on Human Aspects of
Advanced Manufacturing & Hybrid Automation.

73
Ölveczky, Peter Csaba; Kosiuczenko, Piotr; Wirsing, Martin
An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal
Methods for Industrial Applications. Red. Abrial, Jean-Raymond; Boerger,
Egon; Langmaack, Hans. Springer-Verlag 1165: 1996.

74
Ölveczky, Peter Csaba
Concurrent Object-Oriented Programming in Maude. Stanford University
1996-06-05. Concurrent Object-Oriented Programming.

75
Ölveczky, Peter Csaba; Lysne, Olav
Order-Sorted Termination: The Unsorted Way. Proceeding of the 5th
International Conference on Algebraic and Logic Programming. Red. Hanus,
Michael; Rodrguez-Artalejo, Mario 15 Aachen 1996-09-24. 5th International
Conference on Algebraic and Logic Programming.

76
Ölveczky, Peter Csaba; Meseguer, Jose
Specifying Real-Time Systems in Rewriting Logic. Proceeding of the First
International Workshop on Rewriting Logic and its Applications. Red.
Meseguer, Jose 283-308 Pacific Grove, CA, USA 1996-09-03. 1st International
Workshop on Rewriting Logic and its Applications.

77
Proskurowski, Andrzej; Telle, Jan Arne
From bandwith k to pathwidth k. - Reports in Informatics. - Institutt for
Informatikk, UiB 124: 1996.

78
Rong, Chunming; Helleseth, Tor
Use characteristic sets to decode cyclic codes up to actual minimum
distance. Red. Cohen, S.; Niederreiter, H. - Cambridge University Press 1:
401 1996. ISBN 0-512-56736-X

79
Rong, Chunming; Helleseth, Tor
Use characteristic sets to decode cyclic codes up to actual minimum
distance. London Mathematical Society lecture note series. Cambridge
University Press 233: 297- 1996. ISSN 0076-0552

80
Rong, Chunming; Helleseth,  Tor
Use Characteristic Sets to Decode Cyclic Codes up to Actual Minimum
Distance. London Mathematical Society Lecture Note Series 233 - Finite
Fields and Applications. 297 - 312 1996. ISBN 0-521-56736-X

81
Shanbag, Abhijit G.; Kumar, P. Vijay; Helleseth, Tor
Improved Binary Codes and Sequence Families from Z4-Linear Codes. IEEE
transactions on information theory. 42: 5, 1582- 1996. ISSN 0018-9448

82
Shanbhag, Abhijit G.; Kumar, P. Vijay; Helleseth, Tor
Upper Bound for a Hybrid Sum Over Galois Rings with Applications to
Aperiodic Correlation of Some q-ary Sequences. IEEE transactions on
information theory. 42: 1, s. 250-? 1996. ISSN 0018-9448

83
Stanfel, Larry E
A new approach to clustering amino acids	. J. Theor. Biol. 1996 183EEa:
195-205 1996.

84
Steihaug, Trond; Wang, Wenli
Curve Tailoring. - Technical Report. - Institutt for informatikk, UiB-MatNat
1996-08-29.

85
Storøy, Sverre
Iterative aggregation in linear programming. Extended Abstracts of Invited
Papers, Second Scand. Workshop on LP. Red. Madsen, Kaj 49-51 IMM, DTU,
Lyngby, Denmark 1996-08. Second Scandinavian Workshop on Linear Programming.

86
Storøy, Sverre
Optimal aggregation and degeneracy in linear programming. Essays in honour
of B.Nygreen. Red. Matson, E. Dept of Managerial Economics, NTNU 169-175
1996.

87
Storøy, Sverre
Optimal weights and degeneracy in variable  aggregated linear programs.
Operations Research Letters. 1996 19: 1, 29-31 1996.

88
Telle, Jan Arne
A linear time algorithm to find a graph with prescribed degrees of adjacent
vertices. TR. 129: 1996-12.

89
Telle, Jan Arne; Lo, V.; Zhong, X.
Parallel divide-and-conquer on meshes. IEEE transactions on parallel and
distributed systems. 7: 10, 1049-1059 1996. ISSN 1045-9219

90
Vermesan, Anca
Developing verifiable knowledge based systems. - Universitetet i Bergen IX,
160 s. Bergen 1996.

91
Vermesan, Anca
Developing verifiable knowledge based on systems (dr.scient thesis). -
Reports in Informatics. - Institutt for Informatikk, UiB 123: 1996.

92
Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd
Communication Algebras. - Reports in Informatics. - Institutt for
Informatikk, UiB 117: 1996.

93
Walicki, Michal; Meldal, Sigurd
Singular and Plural Nondeterministic Parameters. SIAM journal on computing.
1996. ISSN 0097-5397

94
Yang, Kyeongcheol; Helleseth, Tor; Kumar, P. Vijay; Shanbhag, Abhijit G.
On the Weight Hierarchy of Kerdock Codes over Z4. IEEE transactions on
information theory. 42: 5, 1587- 1996. ISSN 0018-9448

95
Ytrehus, Øyvind; Hole, Kjell Jørgen
Self-Synchronizing Cosets of Convolutional Codes. Proceedings of ISITA'96.
Red. Imai, Hideki 823-825 Victoria, BC, Canada 1996-09-20. ISBN
1-55058-103-1 ISITA'96.


<- forrigeinnholdneste ->