A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Constructing codes
[article]
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
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]
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
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
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
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