results of rs walls subject to 5 ton blast in bt2004

... Summary of the results for RS walls in ton blast 152 Results of RS walls subject to ton blast in BT2004 152 4.4.1 Visual records for ton blast event in BT2004 153 4.4.2 Digital signal records for RS ... RS walls during ton blast event 156 4.4.3 Summary of the ton blasts in BT2004 164 4.3 4.4 iv 4 .5 Results of the RS wall subject to ton blast in BT2006 1 65 4.6 Summary of results for RS walls in ... deformation of RS5 after ton blast in BT2002 Figure 4 .58 Surface deformation of RS6 after ton blast in BT2002 Figure 4 .59 RS1 and RS2 after ton blast in BT2004 Figure 4.60a RS1 after ton blast in BT2004...

Ngày tải lên: 14/09/2015, 14:08

... propeptide of prouroguanylin in the folding of the mature peptide: disulfide-coupled folding and dimerization J Biol Chem 2 75, 251 55 251 62 20 Creighton TE (1997) Protein folding coupled to disulphide ... hydrophobic area of single-chain Fv fragments during the folding reaction [13], and the addition of both GSSG and arginine resulted in an increase in folding recovery [14] To 1138 examine this aspect ... thought that arginine provides stability for the hydrophobic surfaces of folding intermediates The findings herein indicate an alternative role of the arginine residue The arginine residue in the glutathione...

Ngày tải lên: 06/03/2014, 00:21

... stimulating factor and interleukin receptors J Biol Chem 268, 258 18± 258 23 Yoshikawa, A., Murakami, H & Nagata, S (19 95) Distinct signal transduction through the tyrosine-containing domains of the ... immunoblotting Cells were grown in the presence of IL-3 to a density of up to ´ 106 cellsámL)1, washed twice with factor-free medium containing 5% fetal bovine serum, and starved in the factorfree ... human granulocyte colony-stimulating factor receptor: a structural mosaic of hematopoietin receptor, immunoglobulin, and ®bronectin domains J Exp Med 172, 155 9± 157 0 Ishizaka-Ikeda, E., Fukunaga,...

Ngày tải lên: 17/03/2014, 17:20

... quenching upon binding of daunorubicin to DNA was determined by exposure of daunorubicin to saturating amounts of DNA, which resulted in quenching of 94% of the fluorescence The quenching of daunorubicin ... Pgp-overexpressing subline was obtained by sequential exposure of cells to increasing concentrations of doxorubicin The resistant subline was maintained in the presence of 0 .5 lm doxorubicin Continuous ... Schmidlin A, Wooding C, Linton KJ et al (2001) Repacking of the transmembrane domains of P-glycoprotein during the transport ATPase cycle EMBO J 20, 56 15 56 25 27 Qu Q & Sharom FJ (2002) Proximity of...

Ngày tải lên: 30/03/2014, 04:20

... Akiyo Coastguard 155 1 M 155 1 M 130 M 443 M 8% 28% 357 M 6 65 M 23% 43% 103 M 103 M 33 M 110 M 31% 106% 22 M 42 M 21% 40% Foreman M&d Table tennis 155 1 M 155 1 M 155 1 M 50 9 M 359 M 408 M 33% 23% ... cycles The architecture in [16] pays the price of disabling the switching for up to 45% of the SAD operations by employing extra logic (requiring at least 66 adders/subtracters), to EURASIP Journal ... transistor channel length Similarly, the voltage V is scaled by a factor U according to V = U × V With the scaling factors established, the task now is to investigate how the various factors in uence...

Ngày tải lên: 22/06/2014, 22:20

... Akiyo Coastguard 155 1 M 155 1 M 130 M 443 M 8% 28% 357 M 6 65 M 23% 43% 103 M 103 M 33 M 110 M 31% 106% 22 M 42 M 21% 40% Foreman M&d Table tennis 155 1 M 155 1 M 155 1 M 50 9 M 359 M 408 M 33% 23% ... cycles The architecture in [16] pays the price of disabling the switching for up to 45% of the SAD operations by employing extra logic (requiring at least 66 adders/subtracters), to EURASIP Journal ... transistor channel length Similarly, the voltage V is scaled by a factor U according to V = U × V With the scaling factors established, the task now is to investigate how the various factors in uence...

Ngày tải lên: 22/06/2014, 22:20

... the FPGA slices In order to solve large SAT instances, we partition the instance into ‘bins,’ each of which can fit in the FPGA The solution of SAT clauses of any bin is performed in parallel Our ... are subject to proprietary rights Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) To our parents and our teachers Foreword Single-threaded software ... 41 Encoding of {lit,lit_bar} and var_implied signals 42 Partitioning and binning results 55 Comparing against MiniSAT (a BCP-based software...

Ngày tải lên: 02/07/2014, 14:20

... cost of the software tool-chain required for programming GPUs is negligible compared to the EDA tool costs incurred by custom design and FPGAs 2.10 Floating Point Operations In comparison to software-based ... to take advantage of the multi-core processors This is due to the instruction-level parallelism (ILP) wall, which refers to the rising difficulty in finding enough parallelism in the existing instructions ... with zero software cost However, more recently, the gain in the single-core performance of general-purpose processors has diminished due to the decreased rate of increase of operating frequencies...

Ngày tải lên: 02/07/2014, 14:20

... demanded by the growing gaming industry, the first graphics processing units (GPUs) came into being, to replace the hardwired logic with a multitude of lightweight processors, each of which performed ... approach to accelerate SAT In this approach, we store the clause literals in the FPGA slices In order to solve large SAT instances, we partition the clauses into ‘bins,’ each of which can fit in the ... clauses on a single IC of size 1 .5 cm×1 .5 cm Our hardware-based SAT solving approach results in over orders of magnitude speed improvement over BCP-based software SAT approaches (1–2 orders of magnitude...

Ngày tải lên: 02/07/2014, 14:20

... banks To be able to use the space in the conflict-induced clause banks effectively, we propose to store only the clauses having fewer literals than a predetermined limit, updated in a first -in- first-out ... corresponding clauses of the original SAT instance together make one unsatisfiable core Next, a new clause consisting of all the variables in S is added to the clause bank in a manner similar to adding ... implemented in a 0.1 μm process, with a VDD of 1.2 V For all the examples listed in Table 4.3, we performed partitioning (into banks) and binning (into strips) as described in Section 4.6 The initial...

Ngày tải lên: 02/07/2014, 14:20

... 43.11 1 .55 1.87 3.72 3 .55 0. 75 1.47 6.26 4.89 8.20 1.18 Single GPU 5. 85 8.89 26 .57 18.99 12.46 15. 51 0.39 0 .56 0 .56 0 .52 0.88 0 .57 0 .56 1.93 2.92 6.21 6.04 18.14 17.24 16.81 0 .53 0 .58 1.71 1. 05 0.30 ... 3,642 5, 849 6,421 19,898 21, 051 18, 451 7 15 902 1,411 1, 755 317 6 75 2,867 2,494 3,8 35 486 # Gates 19.39 28 .53 85. 24 28.39 42. 35 51 .50 1.23 1.36 1.78 1.60 2.23 2.04 2.01 4.83 8.11 14 .55 15. 19 46 .50 ... C 755 2 C880 Average 299 51 8 1 ,51 1 3,293 51 2 7 25 24 33 32 32 79 25 25 213 250 790 684 2,048 1,730 1,742 32 25 140 22 32 123 32 108 26 # Outputs 9,496 13,781 41,174 6 ,59 9 20,977 25, 253 58 7 56 2 857 ...

Ngày tải lên: 02/07/2014, 14:20

... 0.007 0.007 0.2 25 0.2 25 0.177 0.176 0.177 0.676 0.141 0.143 0.093 0.093 46.067 101 .55 7 95. 5 15 146. 951 144.821 54 . 052 38.940 12.788 37. 352 74 .57 1 62.002 61.714 57 .648 56 .393 59 .3 15 10.917 11.390 ... dominator of the stem s If there are no other dominators between the stem s and dominator l, then line l is called the immediate dominator of s In the example, p is an immediate dominator of ... of a pair of identical gates with up to four inputs is 8.4 Our Approach 1 25 typedef struct align (16){ int offset; // Gate type’s offset int a; int b; int c; int d;// input values int m0 ; int...

Ngày tải lên: 02/07/2014, 14:20

... Speedup GFTABLE-8 52 4 758 942 1 ,57 4 1,879 2,747 3,428 5, 350 7,744 7 ,55 0 12,608 16,207 21, 453 31,034 35, 937 29,119 35, 968 69,111 69,111 44,778 51 ,220 0.77 0. 75 1. 15 2 .53 4.68 1.92 7 .55 4 .50 28.28 10.70 ... 17. 65 23.94 33.90 55 .97 30.93 45. 98 158 .06 157 .38 64.63 69.88 Speedup 93.87× 64.00× 86.46× 54 .03× 62.70× 167.72× 127.20× 138.48× 1 35. 17× 109.12× 67.60× 85. 12× 69.31× 97 .55 × 89.21× 101. 45 1 05. 65 ... 3,428 5, 350 7,744 7 ,55 0 12,608 16,207 21, 453 31,034 35, 937 29,119 35, 968 69,111 69,111 44,778 51 ,220 0.73 0. 75 1.03 2 .53 4.68 1.97 7.92 4 .50 28.28 10.70 70.27 100.87 136.78 193.72 459 .82 156 . 75 462.75...

Ngày tải lên: 02/07/2014, 14:20

... porting class of problems Porting implementations require careful partitioning of the subroutine into kernels which are run in parallel on the GPU Several factors must be considered in order to ... Proceedings of AFIPS 30, 483–4 85 (1967) 11 Dartu, F., Pileggi, L.T.: TETA: transistor-level engine for timing analysis In: DAC ’98: Proceedings of the 35th Annual Conference on Design Automation, pp 59 5 59 8 ... simulation In: Proceedings of SIAM Conference on Parallel Processing, pp 57 3 58 1 (1993) 10 Amdahl, G.: Validity of the single processor approach to achieving large-scale computing capabilities Proceedings...

Ngày tải lên: 02/07/2014, 14:20

... 15 HDL, 10, 14, 19 Hybrid SAT, 85 I Immediate dominator dominator, 138 Implication, 37, 40, 44 Implication graph, 31, 33, 37, 50 , 64 Index Infringement security, 19 Input vector control, 10 Instance ... single fault propagation In: Proceedings of the IEEE International Test Conference on Test, pp 946– 955 IEEE Computer Society, Washington, DC (1991) Seiler, L., Carmean, D., Sprangle, E., Forsyth, ... Collector FP Unit INT Unit Result Queue Fig 12 .5 Block diagram of a single processor (core) in SM References http://www.cs.chalmers.se/cs/research/formalmethods/minisat/main.html The MiniSAT...

Ngày tải lên: 02/07/2014, 14:20

... GCDFP- 15 staining in the latter [4] Dini and Colafranceschi used antibodies against low molecular weight cytokeratin CAM 5. 2, a cocktail of cytokeratin AE1/AE3, CEA, collagen type IV and laminin of ... while cytokeratin was positive on the surface of the epithelial lining of the scrotum Discussion Scrotal calcinosis, first described by Lewinski, usually appears in men aged 20 to 40 years The ... fluid protein- 15 (GCDFP- 15) to describe dystrophic scrotal calcinosis originating from eccrine cysts They found a positive reaction for CEA and EMA in the luminal cells and in the contents of a large...

Ngày tải lên: 11/08/2014, 19:21

... serotype 055 :B5 in 50 0 μL saline or 50 0 μL saline administered intra- Page of 10 (page number not for citation purposes) venously via the dorsal penile vein Where indicated, we used tacrolimus (FK506; ... phospholamban by calcium/calmodulin protein kinase II (CaMKII) [6-8] In addition to these intrinsic heart regulatory processes, stimulation of β-adrenoceptors increases contractility and accelerates ... whole procedure was carried out in a cold room, at 4°C and in the presence of protease inhibitors (0.1 μM aprotinin, 50 0 μM benzamidine, μM leupeptine, μM pepstatin A 200 μM and phenylmethylsulphonyl...

Ngày tải lên: 13/08/2014, 15:21

... subsequently slows diastole Signaling by protein kinase leads to phosphorylation of phospholamban, which, in turn, diminishes its inhibitory activity on SERCA, promoting cardiac relaxation In a knockout ... Competing interests The authors declare that they have no competing interests References Joulin and colleagues, in their experiments, were able to demonstrate a SERCA-dependent aberration in diastolic ... specific targeting of intracellular calcium, or SERCArelated protein kinase and phosphatase result in better hemodynamics in septic shock? There is already a body of evidence to suggest that...

Ngày tải lên: 13/08/2014, 16:20

... mạnh hình thành microwelding, làm sau: 2/10 Đánh giá vững mạnh nội thiết bị chuyển mạch thử nghiệm So sánh độ nhạy microwelding thiết bị với số spring khác nhau, Chứng minh hiệu chế khôi phục, ... quan với thiết bị treo số Spring 9/10 Kết xác minh với phép đo biên dạng quang học, xác nhận microjoints kéo dài vài tuần (có thể năm) Đẩy nhanh hình thành microwelding, sau đánh giá nội mạnh mẽ ... minh việc chuyển đổi uốn cong xuống độ lệch Các phép đo địa hình lặp lặp lại sau nhiều tuần sau ứng suất (stress), có kết quả, xác nhận hiệu hình thành microwelding Để đánh giá hiệu microwelding...

Ngày tải lên: 29/01/2015, 16:56

Ngày tải lên: 05/02/2015, 14:12