To comply with recent international trends and initiatives, and in order to help achieve sustainable development, Korea has established a greenhouse gas (GHG) emission reduction target of 37% (851 million tons) of the business as usual (BAU) rate by 2030. Regarding environmentally-oriented standards such as the IGCC (International Green Construction Code), there are also rising demands for the ...

this paper presents theoretical and numerical state-of-the-art information in the field of hygro-thermo-mechanical deformation simulation in structural concrete. the aspects discussed include coupled hygro-thermo-mechanical performance of porous materials including concrete, multi-scale simulation of concrete properties especially the volumetric and structural deformation performance, and the m...

Heavy economic losses and human casualties caused by destructive earthquakes around the world clearly show the need for a systematic approach for large scale damage detection of various types of existing structures. That could provide the proper means for the decision makers for any rehabilitation plans. The aim of this study is to present an innovative method for investigating the seismic vuln...

todays applying concrete structures is more usual than other structures which are used in buildings as in most of the world’s countries the application ratio of concrete to steel has increased from 10 to 1. sometimes these structures require strengthening vulnerable members because of deficiency in their loading system in usual and critical conditions. there are different methods for strengthen...

The relevance of the topic work was shown by accident a multi-storey residential building in Miami, which caused corrosion steel reinforcement reinforced concrete.There is need to maintain bearing capacity structures for long time humid climate, aggressive environmental influences and temperature fluctuations with lower consumption materials used.The use titanium will allow changing some parame...

Opportunities for searches phenomena beyond the Standard Model (BSM) using heavy-ions beams at high energies are outlined. Different BSM proposed in last years collisions of heavy ions, mostly Large Hadron Collider, summarized. A few concrete selected cases reviewed including axion-like particles, anomalous $\tau$ electromagnetic moments, magnetic monopoles, and dark photons. Expectations achie...

To investigate the long term effect of heavy construction work on the back the occurrence of postures, lifting, carrying, and accidents in concrete reinforcement work and in maintenance house painting were measured. The 32 620 observations covering 272 work hours showed that reinforcement work necessitated stooped postures and heavy lifting more often than did painting. Reported minor back acci...

Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. This is a problem when it comes to issues such as the certification of a proof of well-foundedness, since premises of generic theorems involving graph properties may be at least as difficult to prove as their conclusion...