Det matematisk-naturvitenskapelige fakultet

Institutt for informatikk

Produksjonsdato : 2001-01-31
Katalogtype: Kortformat.

1
Recent Trends in Data Type Specification. Red. Haveraaen, Magne; Owe, Olaf;
dahl, Ole-Johan. Springer Oslo, Norway 1995-09. Workshop on Specification of
Abstract Data Types, 11th. Join with the 8th COMPASS Workshop.

2
Norsk informatikkonferanse - NIK'95 (Oslo, 20.-22. November 1995). Red.
Haveraaen, M.; Irgens, B.; Jansen, A.; Krogdahl, S.; Maus, A.; Meldal, S. -
Tapir 318 s. 1995. ISBN 82-519-1409-4

3
Aspvall, B.; Levcopoulos, C.; Lingas, A.; Storlind, R.
On 2-QBF Truth Testing in Parallel. - Teknisk rapport. - Department of
Computer Science, Lund Universitet, Sverige LU-CS-TR:95-156, 1995.

4
Aspvall, B.; Levocopoulos, C.; Lingas, A.; Storlind, R.
On 2-QBF Truth Testing in Parallel. Proccedings of XV International
Conference of La Sociedad Chilena de Ciencia de la Computación. Arica,
Chile 1995-11. XV International Conference of la Sociedad Chilena de
Ciencia da la Computación.

5
Aspvall, B.; Flåm, S. D.; Villanger, K. P.
Selecting among scheduled projects. Operations research letters. Elsevier
17: s. 37-40 1995. ISSN 0167-6377

6
Aspvall, Bengt
Minimizing elimination tree height can increase fill more than linearly.
Information processing letters. Elsevier Science Publishes B. U., Amsterdam
56: s. 115-120 1995. ISSN 0020-0190

7
Berntsen, Jarle; Espelid, Terje O.
Propagation of Shallow Water Inertia-Gravity Waves with Fractional Step
Methods. - Report. - Dept. of Applied Mathematics, UiB 100, 24 s. 1995.

8
Bjørstad, Petter E.; Moe, Randi; Olufsen, Rudi; Vainikko, Eero
Domain Decomposition Techniques in Parallelization of the 3-dimensional
FRONTSIM code. Proceedings from ZEUS'95. Lindkoping 1995-05-17. ZEUS'95.

9
Bjørstad, Petter E.
Experience with industrial applications on MIMD machines. Proceedings from
Supercomputer '95. Mannheim 1995-06-22. Supercomputer '95.

10
Brzma, A.; Jonassen, I.; Eidhammer, I.; Gilbert, D.
Approaches to Automatic Discovery of patterns in Biosequences. Helsinki,
Finland 1995-09-04. Workshop on agnostic on-line prediction.

11
Brazma, Alvis; Jonassen, Inge; Eidhammer, Ingvar; Gilbert, David
Approaches to the automatic discovery of patterns in biosequences. - Reports
in Informatics. - Institutt for Informatikk, UiB 1995 113, 42 1995-12-01.

12
Chen, Xuemin; Reed, I. S.; Helleseth, T.
On Gröbner Bases of the Error-Locator Ideal of Hermitian Codes. Proceedings
of 1995 IEEE International Symposium on Information Theory. Whistler,
British Columbia, Canada s. 94 Whistler, British Columbia, Canada 1995-09-17.
1995 IEEE International Symposium on Information Theory.

13
Erstad, Rolf; Hole, Kjell Jørgen; Hole, Marianne Fjelltveit; Ytrehus, Øyvind
Convolutional codes for partial-response channels. Proceedings of the SPIE
Conference on Coding and Signal Processing for Information Storage. 12 sider
Philadelphia, Pennsylvania, USA 1995. Coding and Signal Processing for
Information Storage at Photonics East'95 (The International Society for
Optical Engineering (SPIE)).

14
Espelid, Terje O.
On floating-point summation. SIAM Review (Society for Industrial and Applied
Mathemathics). 37: 4, 5 s. 1995. ISSN 0036-1445

15
Fredriksen, Øyvind B.
General algebraic categories and their initial algebras. Sintra, Portugal
1995. 7th COMPASS Workshop.

16
Hamada, N.; Helleseth, T.
A characterization of some {v1+v2+2v3,v0+v1+2v2;4,3}-minihypers and
some [90,5,59:3]-codes meeting the Griesmer bound. Mathematica Japonica.
41: 3, s. 657-672 1995. ISSN 0025-5513

17
Hamada, N.; Helleseth, T.
Construction of some optimal ternary linear codes and the uniqueness of
[294,6,195:3]-codes meeting the Griesmer bound. Finite fields and their
applications. 1: s. 458-468 1995. ISSN 1071-5797

18
Hamada, Nabour; Helleseth, Tor
A characterization of {3v1 + v4,3v0 + v3;4,3}-minihypers and
projective ternary [78,5,51] codes. Proceedings of The International
Workshop on Optimal Codes and Ralated Topics. Panorama, Shumen s. 61-
Sozopol, Bulgaria 1995-05-26. International Workshop on Optimal Codes and
Related Topics.

19
Hamada, Nabour; Helleseth, Tor
The nonexistence of ternary [270,6,179] codes and [309,6,205] codes.
Proceedings of The International Workshop on Optimal Codes and Ralated
Topics. Panorama, Shumen s. 65- Sozopol, Bulgaria 1995-05-26. International
Workshop on Optimal Codes and Related Topics.

20
Hamada, Noboru; Helleseth, Tor
Construction of some optimal ternary linear codes and the uniqueness of
[294,6,195:3]-codes meeting the Griesmer bound. - Report in Informatics. -
Institutt for Informatikk, Uib-MatNat 106: 1995-04.

21
Hamre, Torill
Development of semantic spatio-temporal data models for integration   of
remote sensing and in situ data in a marine information system     (MIS). -
Department of Informatics, University of Bergen XII, 173 s. Bergen 1995.

22
Heggernes, Pinar; Aspvall, Bengt; Telle, Jan Arne
A simple cubic algorithm for computing minimum height elimination trees for
interval graphs. - Reports in Informatics. - Institutt for informatikk,
UiB-MatNat 103, 10 s. 1995.

23
Heggernes, Pinar; Telle, Jan Arne
Partitioning Graphs Into Generalized Domination Sets. - Reports in
Informatics. - Institutt for informatikk, UiB-MatNat 107, 20 s. 1995.

24
Heggernes, Pinar; Telle, Jan Arne
Partitioning Graphs Into Generalized Domination Sets. Proceedings of the XV
International Conference of the Chilean Computer Science Society. 241-252
Arica, Chile 1995-10. The XV International Conference of the Chilean
Computer Science Society.

25
Helleseth, T.; Kløve, T.; Levenshtein, V. I.; Ytrehus, Ø.
Bounds on the Minimum Support Weights. IEEE transactions on information
theory. 41: 2, s. 432-440 1995-03. ISSN 0018-9448

26
Helleseth, Tor; Kumar, P. Vijay
A New Proof of the Minimum Distance of the Quaternary Preparato Code and
Goethals Code. Proceedings of The International Workshop on Optimal
Codes and Ralated Topics. Panorama, Shumen s. 69- Sozopol, Bulgaria
1995-05-26. International Workshop on Optimal Codes and Related Topics.

27
Helleseth, Tor; Kumar, P. Vijay; Moreno, Oscar; Shanbhag, Abhijit G.
Improved Estimates for the Minimum Distance of Weighted Degree Z4 Trace
Codes. Proceedings of 1995 IEEE International Symposium on Information
Theory. Whistler, British Columbia, Canada s. 283 Whistler, British
Columbia, Canada 1995-09-17. 1995 IEEE International Symposium on
Information Theory.

28
Helleseth, Tor; Kumar, P. Vijay; Shanbhag, Abhijit G.
New Codes with the Same Weight Distributions as the Coethals Codes and the
Delsarte-Goethals Codes. Proceedings of 1995 IEEE International Symposium on
Information Theory. Whistler, British Columbia, Canada s. 274 Whistler,
British Columbia, Canada 1995-09-17. 1995 IEEE International Symposium on
Information Theory.

29
Helleseth, Tor; Kumar, P. Vijay
The Algebraic Decoding of the Z4-Linear Goethals Code. Proceedings of 1995
IEEE International Symposium on Information Theory. Whistler, British
Columbia, Canada s. 408 Whistler, British Columbia, Canada 1995-09-17. 1995
IEEE International Symposium on Information Theory.

30
Helleseth, Tor; Winjum, Eli
The Generalized Hamming Weight of Some BCH Codes and Related Codes.
Proceedings of 1995 IEEE International Symposium on Information Theory.
Whistler, British Columbia, Canada s. 281 Whistler, British Columbia, Canada
1995-09-17. 1995 IEEE International Symposium on Information Theory.

31
Helleseth, Tor; Kumar, P. Vijay
The weight of the Kasami codes. Discrete mathematics. 145: s. 133-143 1995.
ISSN 0012-365x

32
Hole, Kjell Jørgen
Cosets of convolutional codes with short maximum zero-run lengths. IEEE
transactions on information theory. 41: 4, s. 1145-1150 1995-07. ISSN
0018-9448

33
Hole, Kjell Jørgen; Ytrehus, Øyvind
Further results on cosets of convolutional codes with short maximum
zero-run lengths. Proceedings of 1995 IEEE International Symposium on
Information Theory. Whistler, British Columbia, Canada s. 146 Whistler,
British Columbia, Canada 1995-09-17. 1995 IEEE International Symposium on
Information Theory.

34
Hole, Marianne Fjelltveit
High rate convolutional codes : low complexity decoding and
structural analysis. - Department of Informatics, University of Bergen 1 b.
Bergen 1995.

35
Jonassen, Inge; Eidhammer, Ingvar
Discovering patterns conserved in sets of related protein sequences. Norsk
informatikkonferanse - NIK'95. Red. Haveraaen, M.; Irgens, B.; Jansen, A.;
Krogdahl, S.; Maus, A.; Meldal, S. Tapir s. 95- Oslo 1995-11-20. ISBN
82-519-1409-4 Norsk informatikkonferanse - NIK'95.

36
Jonassen, Inge
Discovering patterns conserved in sets of related protein sequences.
University of Helsinki, Finland 1995-12-13.

37
Jonassen, Inge; Collins, John F.; Higgins, Desmond G.
Finding flexible patterns in unaligned protein sequences. Protein science.
Red. Neurath, H.; Collier,; Clarke,; Johnson,; Wagner,. Cambridge University
Press 4: 8, s. 1587-1595 1995-08. ISSN 0961-8368

38
Jonassen, Inge; Collins, John F.; Higgins, Desmond G.
Finding flexible patterns in unaligned protein sequences. Protein science.
Cambridge University Press, USA 4: s. 1587-1595 1995. ISSN 0961-8368

39
Kløve, T.
Bounds on the Worst case Probability of Undetected Error. IEEE transactions
on information theory. 41: 1, s. 298-300 1995-01. ISSN 0018-9448

40
Kløve, T.; Svirid, Y. V.
Diffuse Difference Triangle Sets. Proceedings 1995 IEEE International
Symposium on Information Theory. s 237- Whistler, British Columbia, Canada
1995-09-17. 1995 IEEE International Symposium on Information Theory.

41
Kløve, T.
Near-MDS codes for error detection. Proceedings, International workshop on
Optimal Codes and Related Topics. Panorama, Shumen s. 103- Sozopol, Bulgaria
1995-05-26. International Workshop on Optimal Codes and Related Topics.

42
Kløve, T.
The worst-case probability of undetected error for linear codes on the local
binomial channel. Proceedings 1995 IEEE International Symposium on
Information Theory. s 342- Whistler, British Columbia, Canada 1995-09-17.
1995 IEEE International Symposium on Information Theory.

43
Kløve, Torleif
Codes Correcting a Single Insertion/Deletion of a Zero or a Single
Peak-Shift. IEEE transactions on information theory. 41: 1, 279-283 1995. ISSN
0018-9448

44
Kløve, Torleiv; Korzhik, Valery I.
Error detecting codes, General Theory And Their Application In Feedback
Communication Systems. - Kluwer Academic Publishers 250 s. 1995.

45
Kløve, Torleiv
On codes satisfying the double chain condition. Proc. 1995 Allerton
Conference. Urbana, Ill., USA, 4-7 Oct 1995. Allerton Conference.

46
Kløve, Torleiv; Chen, Wende
The weight hierarchies of $q$-ary codes of dimension 4. - Reports in
Informatics. - Dept. of Informatics, UiB 111, 1995-11.

47
Korfhage, R. R.; Olsen, K. A.
Image organization using VIBE. SPIE Proceedings vol. 2606. 1995.
International Symp. on Photoics, Technologies and systems for Voice, Video
and Data Communications, 1st.

48
Kriauciukas, V.; Walicki, M.; Meldal, S.
Nondeterministic Algebraic Specifications in Relational Syntax. Proceedings
of 7th NWPT. Göteborg, Sverige Göteborg, Sverige 1995. 7th Nordic Workshop
on Programming Theory.

49
Kriauciukas, V.; Walicki, M.
Reasoning and Rewriting with Set-Relations II: The Non-Ground Case
Completeness. Oslo, Norge 1995. 11th Workshop on Specification of ADT joint
with 8th COMPASS Workshop.

50
Kumar, P. Vijay; Helleseth, Tor; Calderbank, A. R.
An Upper Bound for Weil Exponential Sums over Galois Rings and Applications.
IEEE transactions on information theory. 41: 2, s. 456- 1995-04. ISSN
0018-9448

51
Løkketangen, Arne
Tabu search as a metaheuristic guide for combinatorial optimization
problems. - Department of Informatics, University of Bergen 1 b. Bergen 1995.

52
Meldal, S.; Walicki, M. A.
Algebraic Approaches to Nondeterminism - an Overview. - Technical Report. -
Institutt for informatikk, UiB-MatNat 104, 1995-02.

53
Meldal, S.; Vermesan, A.
An Algebraic Approach to Refinement of KBS Specification. Proc. of the
European Symposium on the Validation and Verification of Knowledge-Based
System. Red. Ayel, M.; Rousset, M.-C. ADERAS-LIA s. 265-276 1995-06.
European Symposium on the Validation and Verification of Knowledge-Based
System.

54
Meldal, S.; Walicki, M. A.
Nondeterministic Operators in Algebraic Frameworks. - Technical Report. -
Stanford University CSL-TR-95-664, 1995-03.

55
Mughal, Khalid Azim; Søraas, Lars
Attribute evaluation using neighbour functions. - Reports in Informatics. -
Inst. for informatikk, UiB 112, ca. 20 s. 1995.

56
Munthe-Kaas, Hans
Lie-Butcher teori for Runge-Kutta methods. BIT. Red. Bjørck, Åke 35: s.
572-587 1995.

57
Olsen, Kai A.; Sætre, Per; Thorstenson, Anders
A generic bill of materials based on a programming language notation.
Prodeeding from Norsk Informatikkonferanse 1995. Tapir 1995. Norsk
Informatikkonferanse -95.

58
Rong, Chunming
Computational Algorithms for Decoding Cyclic Codes. - Institutt for
Informatikk, UiB-MatNat 184 s. 1995.

59
Shanbhag, Abhijit G.; Kumar, P. Vijay; Helleseth, T.
An Upper Bound for the Aperiodic Correlation of Weighted-Degree CDMA
Sequences. Proceedings of 1995 IEEE International Symposium on Information
Theory. Whistler, British Columbia, Canada s. 92 Whistler, British Columbia,
Canada 1995-09-17. 1995 IEEE International Symposium on Information Theory.

60
Shanbhag, Abhijit G.; Kumar, P. Vijay; Helleseth, T.
An Upper Bound for the Extended Kloosterman Sums over Galois Rings.
Proceedings of 1995 IEEE International Symposium on Information Theory.
Whistler, British Columbia, Canada s. 88 Whistler, British Columbia, Canada
1995-09-17. 1995 IEEE International Symposium on Information Theory.

61
Solvik, Jan Anders
Hashfunksjoner for bruk i Digitale Signaturer. 1995.

62
Storøy, Sverre
Iterative Aggregation Using Adaptive Clustering of Variables. Nordic
Operations Research Conference, NOAS'95. Univ. of Iceland, Reykjavik
Reykjavik, Island 1995. Nordic Operations Research Conference, NOAS'95
(Within the Nordic Countries).

63
Walicki, M.; Haveraaen, M.; Meldal, S.
Communication Algebras. Oslo, Norge 1995. 11th Workshop on Specification of
ADT joint with 8th COMPASS Workshop.

64
Walicki, M.; Meldal, S.
Complete Calculus for the Multialgebraic and Functional Semantics of
Nondeterminism. ACM transactions on programming languages and systems. 17:
2, s. 366-393 1995-03. ISSN 0164-0925

65
Walicki, M.; Meldal, S.
Generated models and the w-rule: the nondeterministic case. Proceedings of
the 6th International Joint Conference on Theory and Practice of Software
Development. LNCS 915. Red. Mosses, P. D.; Nielsen, N.; Schwartzbach, M. I.
Springer-Verlag, Berlin s. 424-438 Aarhus, Danmark 1995-05-22. ISBN
3-540-59293-8 6th International Joint Conference on Theory and Practice of
Software Development, TAPSOFT'95.

66
Walicki, M.
Introduction to Logic - Lecture Notes. - Institutt for informatikk,
UiB-MatNat 1995.

67
Walicki, M.; Meldal, S.
Refinement of Nondeterministic Data Types. Sintro, Protugal 1995. 7th
COMPASS Workshop.

68
Walicki, Michael; Broy, Manfred
Structured specifications and Implementation of Nondeterministic Data Types.
Nordic journal of computing. 2: s. 358-395 1995-10. ISSN 1236-6064

69
Winjum, Eli
Vekthierarkiet for nokre kodeklassar. - Institutt for informatikk. UiB 80
1995.

70
Ytrehus, Ø.
On The Trellis Complexity of Certain Binary Linear Block Codes. IEEE
transactions on information theory. Red. Blahut, R. 41: 2, s. 559-560 1995.
ISSN 0018-9448

71
Ytrehus, Øyvind
Ascetic Convolutional Codes. Proceedings of the 33rd Allertion Conference on
Communication, Control and Computing. Urbana-Champaign, Illinois, USA 9
sider Monticello, Illinois, U.S.A 1995. The 33rd Allerton Conference on
Communication, Control and Computing (University of Illonois at Urbana/
Champaign).


<- forrigeinnholdneste ->