Filters








6 Hits in 4.0 sec

Constructing codes [article]

HJ Herman Tiersma, JH Van Lint, JPM Piet Schalkwijk
1989
However, at the sixth symposium on Information theory in the Benelux held in Mierlo the Netherlands, Tolhuizen ([5] ) showed that Schalkwijks "continuous" strategy leads to "good" block codes as well  ...  Therefore the cost of this method is worse than the total cost of the above method. Decoding method 3 for this code: Precompute a parity check matrix of the form (/ 6 H).  ...  We conclude that the order of the automorphism group is 16X 12 = 192. C 3 has minimum distance five. Its automorphism group is of order 24. This can be seen as follows.  ... 
doi:10.6100/ir318616 fatcat:2sg2ilzcf5f37hssuf565cmtpq

A Correctness Proof of a One-bit Sliding Window Protocol in CRL

M. A. Bezem
1994 Computer journal  
The proof is given in CRL, which is a process algebra extended with data. Due to the abundant parallelism in this protocol, the behaviour is quite complicated.  ...  The complexity has been mastered by explicitly identifying invariants and foci of cones in the protocol. Both concepts seem promising as tools for the veri cation of larger and more complex protocols.  ...  In Proceedings of the Second Workshop on Protocol Veri cation, Mierlo, The Netherlands. Technische Universiteit Eindhoven, 1992.  ... 
doi:10.1093/comjnl/37.4.289 fatcat:atfjcwt53vb7pgtgwhwknwbxue

Bed Forms and Flow Mechanisms Associated with Dunes [chapter]

Ram Balachandar, H. Prashanth
2011 Sediment Transport - Flow and Morphological Processes  
Figure 1 illustrates the presence of dunes in the Rhine River in The Netherlands.  ...  Mendoza and Shen (1990) used a k-ε model with wall functions but with an algebraic stress model in place of the more commonly used eddy viscosity assumption.  ... 
doi:10.5772/19958 fatcat:bct5xje3y5e3bbjsfpzwrescwi

Suspended matter in the Scheldt estuary

Margaret S. Chen, Stanislas Wartel, Bert Van Eck, Dirk Van Maldegem
2005 Hydrobiologia  
within the ETM in the middle estuary.  ...  Also the local morphology of the river, natural or man-made, has a prominent effect on the orientation and strength of the residual currents flowing along either side of the river or river bend.  ...  Acknowledgements The Fund for Scientific Research is thanked for funding the Scientific Community 'Ecological characterization of European estuaries, with emphasis on the Schelde estuary' (Project nr.  ... 
doi:10.1007/s10750-004-7122-y fatcat:kx4g6gmcrvh2va5vxyci4wz2lm

Life Cycle Sustainability Assessment of the Hydrogen Fuel Cell Buses in the European Context. Evaluation of relevant measures to support low-carbon mobility in the public transport sector

DAVIDE WALTER PEDERZOLI
2021
Footprint (PEF) method, established by the European Union (EU) in 2013.  ...  -City project is part of this overarching strategy and addresses the integration of hydrogen fuel cell (H2FC) buses in the public transport. Methods.  ...  Using plain algebra, the amount of commodities delivering a certain functional unit is obtained, and by multiplying the amount of environmental interventions generated to produce them, the LCI of the whole  ... 
doi:10.15167/pederzoli-davide-walter_phd2021-05-18 fatcat:2ncztpiydrbcrez7wrkccds6iu

Entire issue

Jane Bak Andersen
2013
ACKNOWLEDGEMENTS The authors are indebted to Dr. Qiang Liu, who helped conduct the CT test, and Dr. Tianming Zuo, who was involved in the CCS test.  ...  Acknowledgment The authors extend their thanks to Dr Clare McCarty, a member of the PBL teaching and research team, for her contribution to the research undertaken for this paper.  ...  Twente, The Netherlands; Salford, UK; Tromsø, Norway; and Linköping, Sweden (de .  ... 
doi:10.5278/ojs.jpblhe.v1i1.450 fatcat:romglki7rreqhljnrlpkbrocoe