Impact of Human Activity on the Geological Environment EUROCK 2005: Proceedings of the International Symposium EUROCK 2005, 18-20 May 2005, Brno, Czech Republic

... security Agency : Social Security Administration The company must register for the social security registration (which is referred to in Czech law as “the Register of Employers”) within 8 days of the date when the first employee starts ...

... điền , đổi thửa , tạo điều kiện cơ giới hoá sản xuất , đồng thời thực hiện ... hành tiết kiệm chi tiêu , tập trung ngân sách hỗ trợ cho việc khôi phục và ... văn hoá thể thao , giáo dục , đào tạo ... nhằm cung cấp nguồn lao động có chất ...

... infP(n). The definition of the upper bound is straightforward: Definition 2. A function f(n) is an upper bound on infP(n) if and only if there exists a 1-competitive online algorithm A with advice complexity s(n) such that s(n) ≤ f(n) ...

... Georgia Tech {subruk,rjl}@cc.gatech.edu 2 Department of Computer Science and Engg., University at Buffalo regan@buffalo.edu 3 School of Electrical and Computer Engg., Georgia Tech farbod@ece.gatech.edu Abstract. The standard simulation ...

... MTCsa * Za (10) Dsl = MTCsw * Zl (11) Ds= 1/(1/Da+ 1/(Dsa+ Dsl)) (12) Evaluation of total flux of pollutant between air and soil: F = Fsa–Fas (13) F = Ds*fs-Ds*fa (14) When s–soil, a-air, l-liquid, w-water, R- gas constant 8.314 [J ...

... A B R1 R2 R3 R4 R5 R6 R7 R12 R3 R4 R7 R5 R6 A B (a) (b) (c) (d) or contour generation, can mislead fracture detection . To overcome this problem, we propose a novel approach based on relaxed digital straightline segment (RDSS). In the ...

... young leafs or sprouts of " kangkung " is done every 15 to 20 days and produced 1 750 bunches of " kangkung " weighing 230 grams per bunch . The plantation of " kangkung " is totally renewed every three months . The " genjer " is ...

... polymorphism . Information and Compu- tation , 93 : 93-113 , 1991 . [ LMS95 ] G. Longo , K. Milsted , and S. Soloviev . A logic of subtyping . In Proc . IEEE Symp . on Logic in Computer Science , pages 292–299 , 1995 . [ LO94 ] [ Mil78 ] ...

... have confree and the the the are are 2m To in it conclusion To date, we have used cantv-svstem over twentv times with no problems encountered. our first project was completed in 1985 and in the intervening 15 vears there have been no ...

... bridge up to current design and operational standards, and it would not meet Caltrans· lifeline standards. Rather than retrofitting the existing East Span, it was decided that a better use of available funds would be to buiId a new bridge ...

... Czech Roy Bridge T. + 112 m To Bridge Ho-H France, o France, * 1962 Hinge 3, 84 m Netherlands” Span 177 m 1960 1960 0.2 0.21Czech Rep., 1963 0.2 0.2-1968 0.2°France, 1960 0.3 0.2 102 10° 10' 0+ 10° 10° 10' 0+ 102 103.10. 102 103 104 102 ...

... post-tensioning present 6-19 were of article post-tensioned A8 chosen. works ... DSI For frameworks technology the system, execution type of of elimination ... post-tensioning prefabricated works post-tensioning tendons, 1 The description ...

... alcantarillado o las TIC. Según la definición oficial, la infraestructura crítica es un término utilizado para describir los activos que son esenciales para el funcionamiento de una sociedad y una economía. Las siguientes instalaciones ...

... 7 7 7 7 9 9 9 9 10 11 ae: ae: n: n: n: n: n: n: n: n: n: n: n: t: t: t: t: t ... FST can be eliminated, or at least reduced, by first encoding it as a finite ... back as a FST. However, this redundancy-reduction procedure via the FSA ...

... Error-Driven Learning and Natural Language Processing: A Case Study in Part of Speech Tagging. Computational ... 59–66 (1999) Quantification of Segmentation and F0 Errors and Their Effect on 524 D. Spiliotopoulos, G. Petasis, and G ...

... Nfdump - netflow processing tools (2013), http://sourceforge.net/projects/nfdump/ 6. Hofstede, R., Drago, I., Sperotto, A., Sadre, R., Pras, A.: Measurement artifacts in netFlow data. In: Roughan, M., Chang, R. (eds.) PAM 2013. LNCS ...

... NYU JET [Java Extraction Toolkit] [8], which was initially developed both for instructional purposes and for ... new classes and assemble the entity sets for these classes. Our basic approach is to leave the user in control but to ...

... forecast application. We chose 10 random sentences from a weather report. The weather report originated from one of the web sites included in the database collection. Thus, the style of the sentences was close to the speech corpus, but ...

... Kl + Kl, Kjl = 2", .A -> 3x |x| = 2^")°^ |a„| = 2n,A-> 3x|x| = 2S(") Now, due to the numerals, size(£„) = 0{n) and size(7r„+i) = size(7rJ1)+size(£„) + 0(n) hence size(7r„) = 0{n2). For describing the cut- ...

... C , Brain Map ( b ) 38 ° C , Brain Map ( c ) 50 ° C , Brain Map ( d ) 28 ° C , Cross- Correlation Map ( e ) 38 ° C , Cross- Correlation Map Fig . 7. Correlation among Different Channels in the Field of Theta Wave according to the ...

... Sudoku puzzles can be solved with a combinatorial Genetic Algorithms, Cultural Algorithms and a hybrid algorithm with Genetic Algorithms and Ant Colony optimization. The results show that all these methods can solve Sudoku puzzles, but ...

... proper translation. Bilingual resources usually suggest more than one sense for a source word and it is not a ... thesaurus depend on the thesaurus scope. Numbers or dates identification can be appropriate for some types of clustering ...

... Language Technologies, pp. 1–8 (2001) 7. Onyenwe, I.E., Uchechukwu, C., Hepple, M.: Part-of-speech tagset and corpus development for Igbo, an African. In: Proceedings of LAW VIII-8th Linguistic Annotation, Workshop 2014 in conjuction ...

... Lfv(x) = || Lifv(ula) v) = (Lfv(u)\{a}) ULfv(v) Lfv(uv) := Lfv(u) ULfv(v) Lifv(u,v)w ) = (Lfv(u)\{a}) Ufv(v) Lfv(Xa.u) := Lfv(u)\{a} Note that u e T implies Lifv(u) = | | and also Lifv(t) C fy(t). Moreover, if t =0 u then Lfv(t) = Lfv ...

... TDT-1 corpus or from on-line RSS feeds. The TDT-1 corpus was chosen because of its clean, consistent and relatively error-free nature, and the large body of TDT-1 research available. We use the standard vector space model, where ...