scholarly journals The size-change principle and dependency pairs for termination of term rewriting

2005 ◽  
Vol 16 (4) ◽  
pp. 229-270 ◽  
Author(s):  
René Thiemann ◽  
Jürgen Giesl
2000 ◽  
Vol 236 (1-2) ◽  
pp. 133-178 ◽  
Author(s):  
Thomas Arts ◽  
Jürgen Giesl

2013 ◽  
Vol 51 (1) ◽  
pp. 27-56 ◽  
Author(s):  
Lars Noschinski ◽  
Fabian Emmes ◽  
Jürgen Giesl

1998 ◽  
Vol 38 (6) ◽  
pp. 327-335
Author(s):  
Yasunori Kozuki ◽  
Yoshihiko Hosoi ◽  
Hitoshi Murakami ◽  
Katuhiro Kawamoto

In order to clarify the origin and behavior of suspended particulate matter (SPM) in a tidal river, variation of SPM in a tidal river was investigated with regard to its size and constituents. SPM was separated into three groups according to size. Change of contents of titanium and organic substances of each group of SPM was examined. SPM which was discharged by run-off was transported with decomposition and sedimentation in a tidal river. Concentration of SPM with a particle size greater than 0.45 μm increased due to resuspension in a tidal river. Origin of SPM with a size of less than 0.45 μm at upstream areas was from natural soil and most of such SPM which had been transported settled near a river mouth. It was determined from examination of the CN ratio and the ratio of the number of attached bacteria to free bacteria that SPM with a size greater than 1.0 μm at upstream areas was decomposing intensively. At the downstream areas, SPM with a size of less than 0.45 μm came from the sea. SPM with particle size greater than 1.0 μm consisted of plankton and substances which were decomposed sufficiently while flowing.


2017 ◽  
Author(s):  
Nora Soto ◽  
◽  
Yurena Yanes ◽  
David Lubell
Keyword(s):  

2017 ◽  
Author(s):  
Zoe Hughes ◽  
◽  
Kenneth G. Johnson ◽  
Rachel Belben ◽  
Chris Hughes ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document