Det matematisk-naturvitenskapelige fakultet

Institutt for informatikk

Produksjonsdato : 98-05-06
Katalogtype: Kortformat.

1
 
2
Arya, S.; Cook, J.                                                            
Efficient implementation of multiple artificial neural networks on the        
DECmpp SIMD computer. juli, 1993                                    D02       
 
3
Berland, N.J.                                                                 
Stochastic optimization and parallel processing. Avhandling, dr.scient. 1993  
                                                                    C03       
 
4
Berntsen, J.; Cools, R.; Espelid, T.O.                                        
DCOTET: Analgoritm for automatic integration over a collection of             
3-dimensional simplicities. ACM transactions on mathematical software. 19:    
3 1993 ISSN 0098-3500                                               A01       
 
5
Bjørstad, P.; Cook, J.                                                        
Large Scale Structural Analysis of Massively Parallel Computers. Linear       
Algebra for Large Scale and Real-Time Applications. NATO ASI Series. Red.     
Moonen, M.; Golub, G.; de Moor, P. Kluwer Academic Publishers 1993  A05       
 
6
Bjørstad, P.; Sørevik, T.                                                     
Two different data-parallel implementations of the BLAS. Software for         
parallel computation. Red. Kowalik, J.S.; Grandinetti, L., IX, 363 s. 1993    
ISBN 0-387-56451-9                                                  A05       
 
7
Burheim, T.                                                                   
A Grammar Formalism and Cross-Serial Dependencies. København, mars, 1993      
                                                                    D02       
 
8
Chen, W.; Reed, I.; Helleseth, T.; Truong, T.K                                
Algebraic decoding of binary cyclic codes: A polynomial point of view.        
Proceedings of Finite Fields: Theory Application and Algorithm., 6-7 Las      
Vegas, Nev., august, 1993                                           D02       
 
9
Chen, W.; Kløve, T.                                                           
Lower bounds on multiple distinct sums sets. - Reports in Informatics. -      
Department of Informatics, University of Bergen: 82 1993            C01       
 
10
Chen, W.; Kløve, T.                                                           
On a generalization of sonar seqences and intermodulationfree frequencies     
assignment sequences. Proceedings Conference on Information and               
Communication., 25-29 Yi Chang, Kina, oktober, 1993                 D02       
 
11
Cook, J.                                                                      
Application tools on the Intel Paragon: an overview. - Technical Report. -    
Institutt for Informatikk, UiB-MatNat: pl-jc-93.4, Para/ab 1993     C01       
 
12
Cook, J.                                                                      
Norwegian Contractors' SESTRA benchmark on the DECmpp/Sx parallel computer. - 
Technical Report: pl-jc-93.1, Para/ab 1993                          C01       
 
13
Cook, J.                                                                      
Parallel processing: A self study introduction. - Technical Report:           
pl-jc-93.3, Para/ab 1993                                            C01       
 
14
Cook, J.; Bøe, Ø.; Møller-Holst, J.                                           
Prediction of oil reservoir output by neural networks. CAIPEP. juli, 1993     
                                                                    D02       
 
15
Cook, J.                                                                      
Reservoir simulation output prediction by neural networks, final report.      
Final report for project sponsored by Norsk Hydro, confidential. - Technical  
Report: pl-jc-93.2, Para/ab 1993                                    C01       
 
16
Efremidis, S.G.; Mughal, K.A.; Reppy, J.H.                                    
AML: Attribute grammars inn ML. (Utgis også som: Technical Report 93-1401,    
Department of Computer Science, Cornell University, USA.). - Reports in       
Informatics. - Departments of Informatics, University of Bergen 1993          
                                                                    C01       
 
17
Eidhammer, I.                                                                 
Extending constraint satisfaction problems with value constraints. - Report   
in Informatics. - Department of Informatics, University of Bergen: 90 1993    
                                                                    C01       
 
18
Espelid, T.O.                                                                 
Integrating Singularities using Non-uniform Subdivision and Extrapolation.    
International series of numerical mathematics. 112: Num. integr. 4, 77-89     
1993 ISSN 0373-3149                                                 A02       
 
19
Espelid, T.O.                                                                 
On integrating vertex singularities using extrapolation. BIT., 18 s. 1993 ISSN
0006-3835                                                           A01       
 
20
Fjelltveit, M.                                                                
Table-lookup decoding of convultial codes on Partial-Response Channels. -     
Report in Informatics. - Department of Informatics, University of Bergen:     
90 1993                                                             C01       
 
21
Flåm, S.D.                                                                    
Approximate iterates of averaged and relaxed firmly nonexpansive mappings. -  
Report in Informatics. - Department of Informatics, University of Bergen:     
81 1993                                                             C01       
 
22
Giertsen, C.                                                                  
Volume visualization of numerical simulation data. - Report in Informatics. - 
Department of Informatics, University of Bergen: 85 1993            C01       
 
23
Hallefjord, Å.; Jörnsten, K.; Storøy, S.                                     
Traffic equilibrum paradoxes when travel demand is elastic. - Report in       
Informatics. - Department of Informatics, University of Bergen: 79 1993       
                                                                    C01       
 
24
Hamada, N.; Helleseth, T.; Ytrehus, Ø.                                        
A characterization of {2(q+1)+2,2,2;t,q}-minihypers in                      
PG(t,q)(t3,q{3,4}). Discrete mathematics.: 115, 175-185 1993 ISSN       
0012-365x                                                           A01       
 
25
Hamada, N.; Helleseth, T.                                                     
A characterization of some q-ary codes (GF(q),q>(h-1)2,h3). Mathematica    
Japonica. 38, 925-940 1993                                          A01       
 
26
Hamada, N.; Helleseth, T.                                                     
A characterization of some temary codes meeting the Grismer bound.            
Proceedings on Finite Fields: Theory, Applications and Algorithms., 22 Las    
Vegas, Nev., juli, 1993                                             D02       
 
27
Hamada, N.; Helleseth, T.                                                     
A characterization of some {v2+2v3,v12v2;k-1,3}- minihypers and some    
(v(k)-30,k,3(k-1)-21;3)-codes meeting the Griesmer bound. Journal of      
statistical planning and inference.: 341, 387-402 1993 ISSN 0378-3758         
                                                                    A01       
 
28
Hamada, N.; Helleseth, T.; Ytrehus, Ø.                                        
A new class of nonbinary codes meeting the Grismer bound. Discrete applied    
mathematics. 47, 219-226 1993 ISSN 0166-218x                        A01       
 
29
Hamada, N.; Helleseth, T.                                                     
The nonexistence of [51,5,33;3]-codes. Ars combinatoria. 35, 25-32 1993     
                                                                    A01       
 
30
Hamada, N.; Helleseth, T.; Ytrehus, Ø.                                        
There are exact two nonequivalent [20,5,12;3]-codes. Ars combinatoria. 35,  
3-14 1993                                                           A01       
 
31
Hauge, E.R; Helleseth, T.                                                     
DeBruijn sequences, Irreducible Codes and Cyclotomy. Proceedings 1993 IEEE    
Symposium on Information Theory., 361 San Antonio, Tx., januar, 1993          
                                                                    D02       
 
32
Hauge, E.R.; Mykkeltveit, J.                                                  
Symmetry properties of DeBruijn sequences. Proceedings of 2nd International   
Winter Meeting on Coding and Information Theory., 54 Essen, desember, 1993    
                                                                    D02       
 
33
Haveraaen, M.                                                                 
Array algorithms with implicit tree structure. - Curriculum I 120 -           
Algorimer, datastrukturer og programmering, s. 14 1993              C02       
 
34
Haveraaen, M.                                                                 
How to create parallel programs without knowing it. Proceedings of the 4th    
Nordic Workshop on Program Correctness., 1993                       D02       
 
35
Haveraaen, M.; Akerbæk, T.; Bjorvand, S.; Brox, E.; Eliassen, F.; Ellingsen,  
K.; Krogdahl, S.; Maus, A.; Meldal, S.; Olstad, B.                            
Norsk Informatikk-konferanse (Halden, 15-17 november 1993). Trondheim :       
Tapir, VI, 284 s. 1993 ISBN 82-519-1460-4                           B02       
 
36
Haveraaen, M.                                                                 
Software libraries and software cycles. - Curriculum I 120 - Algoritmer,      
datastruktur og programmering, s. 12 1993                           C02       
 
37
Heggernes, P.                                                                 
Finding minimum height elimination trees for interval graphs in polynomial    
time. Norsk Informatik-konferanse. Tondheim : Tapir Halden, 15-17 november,   
1993 ISBN 82-519-1460-4                                             D02       
 
38
Helgesen, C.; Sibbald, P.R.                                                   
PALM - A pattern language for molucular biology. Proceedings of First         
International Conference on Intelligent systems for Molecular Biology. Red.   
Hunter,; Searl,; Shavlik,. Menlo Park, Ca. : AAAI Press, 172-180, 1993        
                                                                    D02       
 
39
Helleseth, T.                                                                 
A charavterization of some tenary codes meeting the Grismer bound.            
Proceedings of 2nd International Conference on Finite Fields., 17-21 Las      
Vegas, Nev., august, 1993                                           D02       
 
40
Helleseth, T.; Kløve, T.; Ytrehus, Ø.                                         
On generalizations of the Grismer bound. - Report in Informatics. -           
Department of Informatics, University of Bergen: 87 1993            C01       
 
41
Hole, K.J.; Ytrehus, Ø.                                                       
New zero-run lenght limited codes for partial response channels. Proceedings  
of the 1993 IEEE International Symposium on Information Theory. San Antonio,  
Tx., januar, 1993                                                   D02       
 
42
Jörnsten, K.; Leisten, R.; Storøy, S.                                        
Gradient schemes in iterative aggregation. - Report in Informatics. -         
Department of Informatics, University of Bergen: 86 1993            C01       
 
43
Kløve, T.                                                                     
A lower bound on the probability of undetected error. Proceedings of the      
Sixth Joint Swedish-Russian International Workshop on Information Theory.,    
362-366 Mölle, Sverige, august, 1993                               D02       
 
44
Kløve, T.                                                                     
Bounds on K-sequences. Proceedings of the 5th Nordic Conference in            
Combinatorics. Halvorsbølet, august-september, 1993                 D02       
 
45
Kløve, T.                                                                     
Minimum support weights of binary codes. IEEE transactions on information     
theory. IT-39, 648-654 1993 ISSN 0018-9448                          A01       
 
46
Kløve, T.                                                                     
On the weight hierarchy of codes. Proceedings of 2nd International Winter     
Meeting on Coding and Information Theory., s. 11 Essen, desember, 1993        
                                                                    D02       
 
47
Kløve, T.                                                                     
Weight hierarchies of binary linear codes of dimension 4. Proceedings of the  
1993 IEEE International Symposium on Information Theory., s. 147 San          
Antonio, Tx., januar, 1993                                          D02       
 
48
Kårstad, T.                                                                   
Massively parallel algorithms in reservoir simulation. - Report in            
Informatics. - Department of Informatics, University of Bergen: 91 1993       
                                                                    C01       
 
49
Lyness, J.; Sørevik, T.                                                       
Lattice rules by component scaling. Mathematics of computation. 47, 799-821   
1993 ISSN 0025-5718                                                 A01       
 
50
Løkketangen, A.                                                               
Tabu search applied to an oil base management problem. Proceedings fra        
NOAS'93., 1993                                                      D02       
 
51
Løkketangen, A.; Jörnstein, K.; Storøy, S.                                   
Tabu search with a pivot and complement framework. Lisboa, juli, 1993         
                                                                    D02       
 
52
Meldal, S.; Walicki, M.                                                       
Initially + nondeterminism implies junk. Proceedings of Norsk                 
Informatikk-konferanse., 1993                                       D02       
 
53
Meldal, S.; Haveraaen, M.                                                     
Proceedings of the 4th Nordic Workshop on Program Correctness. - Reports in   
Informatics. - Department of Informatics, University of Bergen: 78 1993       
                                                                    C01       
 
54
Morken, A.O.                                                                  
xnn - a graphical environment for the language. Proceedings of Nordic         
Symposium on Neural Networks and Advanced Applications : NSANN'93. Red.       
Cook, J.; Kristensen, T.; Møller-Holst, J. Bergen : NAIS, Norsk forening for  
kunnskapsteknologi Bergen, oktober, 1993 ISBN 82-90253-64-8         D02       
 
55
Munthe-Kaas, H.                                                               
Modelling waves in discontinuous media; Uniformly converging schemes.         
Proceedings of 55th Conference European Exploration Geophysists. Stavanger,   
juni, 1993                                                          D02       
 
56
Munthe-Kaas, H.                                                               
Practical parallel permutation procedures. - Curriculum I 236 - Parallelle    
algoritmer, 16 s. 1993                                              C02       
 
57
Munthe-Kaas, H                                                                
Solving tensor fields on parallel computers, applications to forward          
modelling. Proceedings of 3rd Russian-Norwegian Workshop on oil exploration.  
Irkutsk, august, 1993                                               D02       
 
58
Munthe-Kaas, H.                                                               
Superparallel FFTs. SIAM journal on scientific computing. 14: 2 1993 ISSN     
1064-8275                                                           A01       
 
59
Olstad, B.; Manne, F.                                                         
Efficient sparce Cholesky factorization on a parallel SIMD computer. -        
Report in Informatics. - Department of Informatics, University of Bergen:     
84 1993                                                             C01       
 
60
Pickering, R.; Cook, J.                                                       
Parallel processing: A self-study introduction. A first course in             
programming the DECmpp/Sx. - Technical Report: pl-jc-93.0, Para/ab 1993       
                                                                    C01       
 
61
Storøy, S.                                                                    
A method for improving weights in column aggregated linear problems. Control  
and cybernetics. 22: 1-2 1993 ISSN 0324-8564                        A01       
 
62
Sørevik, T.                                                                   
Average case complexity analysis of algorithms for linear assignment          
problems. Proceedings NOAS'93., 1993                                D02       
 
63
Sørevik, T.; Singh, S.D.                                                      
Parallelizing a Fortran-77 code for seismic simulation on the MasPar MP-1. -  
Report in Informatics. - Department of Informatics, University of Bergen:     
77 1993                                                             C01       
 
64
Walicki, M.                                                                   
Algebraic specifications of nondeterminism. Avhandling, Dr.Scient. 1993-05    
                                                                    C03       
 
65
Walicki, M.                                                                   
Calculi for algebraic specification of nondeterminism; three completeness     
results. - Report in Informatics. - Department of Informatics, University of  
Bergen: 75 1993                                                     C01       
 
66
Walicki, M.; Meldal, S.                                                       
Sets and nondeteerminism., 1993                                     D02       
 
67
Ytrehus, Ø.                                                                   
Block code based analysis of convolutional codes. Proceedings of the 1993     
IEEE International Symposium on Information Theory., s. 140 San Antonio,      
Tx., januar, 1993                                                   D02       
 
68
Ytrehus, Ø.                                                                   
On the trellis complexity of block codes. Proceedings of 5th Nordic           
Conference in Combinatorics. Halvorsbølet, august-september, 1993   D02       
 

<- forrigeinnholdneste ->