標題: Titlebook: ICSBE 2020; Proceedings of the 1 Ranjith Dissanayake,Priyan Mendis,Shiromal Fernand Conference proceedings 2022 The Editor(s) (if applicabl [打印本頁] 作者: SPARK 時間: 2025-3-21 17:53
書目名稱ICSBE 2020影響因子(影響力)
書目名稱ICSBE 2020影響因子(影響力)學科排名
書目名稱ICSBE 2020網(wǎng)絡公開度
書目名稱ICSBE 2020網(wǎng)絡公開度學科排名
書目名稱ICSBE 2020被引頻次
書目名稱ICSBE 2020被引頻次學科排名
書目名稱ICSBE 2020年度引用
書目名稱ICSBE 2020年度引用學科排名
書目名稱ICSBE 2020讀者反饋
書目名稱ICSBE 2020讀者反饋學科排名
作者: 歡騰 時間: 2025-3-21 23:17
Ranjith Dissanayake,Priyan Mendis,Shiromal FernandHighlights recent advances in the area of structural engineering and the construction industry.Provides necessary knowledge for construction management practices and new tools and technologies.Covers 作者: Focus-Words 時間: 2025-3-22 01:01
Lecture Notes in Civil Engineeringhttp://image.papertrans.cn/i/image/460125.jpg作者: 懦夫 時間: 2025-3-22 05:37
978-981-16-4414-6The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor作者: 能量守恒 時間: 2025-3-22 11:08 作者: ALIAS 時間: 2025-3-22 14:28
2366-2557 ment in developing countries, water pollution and CKDu, sustainable urban environment and social well-being, and many greener and sustainable resource and energy-efficient innovative research findings..978-981-16-4414-6978-981-16-4412-2Series ISSN 2366-2557 Series E-ISSN 2366-2565 作者: 使閉塞 時間: 2025-3-22 19:37
t a symbolic procedure for checking the receptiveness of linear hybrid modules. Finally, we present an assume-guarantee principle for reasoning about timed and hybrid modules, and a method for synthesizing receptive controllers of timed and hybrid modules.作者: 額外的事 時間: 2025-3-23 00:10
P. G. G. M. Ranbandara,A. M. R. G. Athapaththu,R. U. Thilakarathne,L. C. Kurukulasuriya,B. P. Gonaducidable for infinite-state systems. We illustrate our approach with examples of probabilistic timed automata, for which previous approaches to this reachability problem were either based on unnecessarily fine subdivisions of the state space, or which obtained only an upper bound on the exact reachab作者: Libido 時間: 2025-3-23 04:48
C. J. De Zoysa,A. K. T. Dushan,L. C. Kurukulasuriya. Indeed, when . reaches ., the number of states of the automaton, the n-simulations defined for finite-automata and for labeled transition systems correspond precisely to language containment and trace containment, respectively. But for each fixed ., the maximal .-simulation relation is computable 作者: Interim 時間: 2025-3-23 08:20 作者: 詞匯表 時間: 2025-3-23 12:28 作者: Fluctuate 時間: 2025-3-23 14:24
R. M. D. L. Rathnayake,S. K. Navaratnarajah,M. Daxsan,H. K. K. A. Jayasekaraoal is to increase the exhaustiveness of the specification by detecting components of the system that do not play a role in verification process. For both checks, the challenge is to define vacuity and coverage formally, develop algorithms for detecting vacuous satisfaction and low coverage, and sug作者: 植物群 時間: 2025-3-23 18:16
G. H. M. J. Subashi De Silva,S. Thoradeniya,K. M. G. C. J. Thilakasiripecial property. The special property we require is defined in terms of the existence of a ranking function compatible with the transition relation. We then show that there are several classes of infinite state systems that can be viewed as WSTSs with an auxiliary storage. These observations can the作者: delegate 時間: 2025-3-24 00:58 作者: 原來 時間: 2025-3-24 05:25
S. Suloshini,A. S. Ranathunga,S. A. S. Kulathilaka,W. B. Gunawardana,M. M. S. T. M. Mapabased on differential equations [11,12]. An exciting aspect of the agent-based approach is that it naturally lends itself to the identification and analysis of the causal structures that deeply shape the dynamical, and perhaps even evolutionary, characteristics of complex distributed biological syst作者: BANAL 時間: 2025-3-24 07:11 作者: Coronary-Spasm 時間: 2025-3-24 10:54 作者: Creatinine-Test 時間: 2025-3-24 18:26 作者: 植物群 時間: 2025-3-24 19:26 作者: 磨碎 時間: 2025-3-24 23:32
S. U. M. Jagoda,W. M. C. Dilanga,D. S. D. S. Jarathne,H. K. G. Punchihewa,V. P. C. Dassanayake,H. P.xpressiveness of a recently proposed deterministic freeze logic .[..,..] (with NP-complete satisfiability) to .. As our second main result, we show by an explicit reduction that .[..,..] lies strictly within the unary, non-punctual logic .[..,.. ]. This shows that deterministic freezing with punctua作者: 否認 時間: 2025-3-25 07:01
H. N. Hikkaduwaexponential upper bound for multi energy games (without parity) that could be derived from results in literature for games on VASS (vector addition systems with states). Second, we present an optimal symbolic and incremental algorithm to compute a finite-memory winning strategy (if one exists) in su作者: 美色花錢 時間: 2025-3-25 08:59
A. Selvaratnam,J. C. P. H. Gamage,G. I. P. De Silvahe fragment of . with the same restriction. Specifically, we introduce and study the syntactic fragment . (., for short), which consists of formulas in prenex normal form having a single temporal goal at a time for every strategy quantification of agents. We show that . is strictly more expressive t作者: Frequency 時間: 2025-3-25 13:36
W. D. M. Kularatne,H. H. H. Hasalanka,C. S. A. Siriwardanaunctionality and determinizability are expressed for the more general class of functional weighted automata over groups. This allows one to formulate within the same framework new results related to discounted sum automata and known results on sum and mean automata. Ratio automata do not fit within 作者: Bombast 時間: 2025-3-25 19:07
J. H. P. R. U. Jayasekara,C. S. A. Siriwardana,D. Amaratunga,R. Haighy-exponentially many iterations, thus matching the optimal 2EXPTIME upper bound. For Petri nets, it can be implemented in EXPSPACE, again matching the optimal bound. We have implemented our algorithm and used it to verify safety properties of concurrent programs with asynchronous tasks.作者: neolith 時間: 2025-3-25 23:21 作者: DOSE 時間: 2025-3-26 00:26 作者: 聯(lián)邦 時間: 2025-3-26 07:19 作者: 食料 時間: 2025-3-26 12:12 作者: 彩色的蠟筆 時間: 2025-3-26 15:08 作者: 廚房里面 時間: 2025-3-26 17:50
Potential of Waste Rice Husk Ash to Reduce Propagation of Ground Vibration from Impact Piling: Charaduced by the impact piling were compared with local and international standards. A damping layer was introduced by using six different types of trenches: Rectangular open single trench, rectangular open double trench, trapezoidal open single trench, trapezoidal open double trench, a single trench fi作者: Locale 時間: 2025-3-26 22:32
Investigation of Colloidal Transport in Saturated Porous Media: Experimental and Numerical Studyonic strength was controlled by changing the NaCl concentration in the influent colloidal solution while the flow rate changed by varying the hydraulic head of the column. The turbidity of the effluent solution was measured to estimate the colloid concentration and a series of breakthrough curves we作者: 使增至最大 時間: 2025-3-27 01:40
Utilization of Bottom Ash for Clay Mine Rehabilitationapacity were checked and micro structural morphology of BA was determined through Scanning Electron Microscope. The results showed that BA has good engineering properties and the potential to improve agronomic characteristics of soil. It has better water holding capacity and permeability. BA can adj作者: sigmoid-colon 時間: 2025-3-27 07:30
A Study on Climate Change Impact on Cooling Energy Demand Patterns for an Existing Office Buildingtrategies. Hence, this research aims to establish a relationship between the current energy demand patterns for air conditioning in a selected existing building and ambient temperature changes, thereby establish energy demand patterns. A suitable sample building was selected for the study and the in作者: Forage飼料 時間: 2025-3-27 11:55 作者: indoctrinate 時間: 2025-3-27 15:01 作者: 污穢 時間: 2025-3-27 19:27 作者: 熱情的我 時間: 2025-3-27 22:43 作者: 跟隨 時間: 2025-3-28 02:50
Investigating the Preparedness of Staff Members in Privately Owned Hospitals in Sri Lanka Against Fiin the hospitals. Overall, the staff in private hospitals were suitably prepared for fire hazards, with each institution holding fire training programs annually. It is recommended that staff preparedness can be increased through actions such as carrying out regular fire safety training and drills, d作者: 無能力 時間: 2025-3-28 09:46
Redesigning and Repurposing Healthcare Facilities for the New Normal, COVID-19: A Review on New Apprte the impacts, and new approaches suggested for the period after COVID-19. The study has drawn on a review of recently published scholarly articles, reports, international and national policy and frameworks, news items, magazine articles, etc. pertaining to the behavior of healthcare facilities dur作者: TAIN 時間: 2025-3-28 11:22
ng systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following one978-3-540-67897-7978-3-540-44618-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Tremor 時間: 2025-3-28 16:04
H. G. S. Mayuranga,S. K. Navaratnarajah,M. M. N. Gimhani,J. M. M. Y. Karunarathneents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publicat978-3-540-28309-6978-3-540-31934-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 喃喃而言 時間: 2025-3-28 21:37
Conference proceedings 2022 environment. It includes recent innovative findings from the proceedings of the 11th ICSBE 2020 under the themes of sustainable tall buildings, sustainable bridge construction and maintenance, waste in construction industry, sustainable manufacturing and recycling, disaster risk reduction for susta作者: 混亂生活 時間: 2025-3-29 01:14
Conference proceedings 2022inable built environment, green innovations and entrepreneurship, sustainable water management in developing countries, water pollution and CKDu, sustainable urban environment and social well-being, and many greener and sustainable resource and energy-efficient innovative research findings..作者: 發(fā)誓放棄 時間: 2025-3-29 05:44
A Laboratory Investigation on the Advancement of Railway Ballast Behavior Using Artificial Inclusionor of ballast was evaluated by conducting large-scale direct shear tests under 30, 60, and 90?kPa normal loads with a shearing rate of 4?mm/min. Based on the experimental results, a combination of shock mats and geogrid is suggested which enhanced the stress, dilation, and deterioration behavior of railway ballast.作者: 山崩 時間: 2025-3-29 10:54 作者: 無情 時間: 2025-3-29 12:12
2366-2557 management practices and new tools and technologies.Covers This book highlights the latest knowledge and innovations in the field of civil engineering and construction industry striving for a sustainable built environment. It includes recent innovative findings from the proceedings of the 11th ICSB作者: 嘲笑 時間: 2025-3-29 17:48
Assessment of Shear Strength Parameters of Marine Dredge Sanddescribe the shear strength of the soils which are related to the geotechnical analysis and designs. However, sand deviates considerably from linear Mohr–Coulomb envelope due to the effects of factors such as confining pressure, relative density, mineralogy, particle crushing, particle size distribu作者: 阻撓 時間: 2025-3-29 22:27
Collapsibility Characteristics of a Residual Soil in Matale District, Sri Lankatherwise resistant to much larger applied stresses under normal conditions. This phenomenon can be commonly witnessed in Aeolian, alluvial and colluvial type of soils across the globe though not much reported to occur in residual soils. However, a residual soil too can develop into a collapsible soi作者: 有惡意 時間: 2025-3-30 00:38
Hydraulic Characteristics of Ballast Subjected to Particle Degradation and Mud Pumpingf ballast are providing adequate permeability for drainage purposes, support the superstructure by distributing the loads from the moving train and provide lateral resistance to tie movement. Similar to shear strength characteristics, drainage capacity is also one of the most important properties of作者: degradation 時間: 2025-3-30 08:07 作者: Fierce 時間: 2025-3-30 09:11
A Laboratory Investigation on the Advancement of Railway Ballast Behavior Using Artificial Inclusiond volume. Ballast is a highly angular, coarser material with high bearing capacity, shear strength, and non-water absorbent, which is obtained by crushing rocks. The ballast layer absorbs and widely distributes the moving train loads from sleepers to the ground. With time, the ballast is deteriorate作者: Peak-Bone-Mass 時間: 2025-3-30 15:57
Numerical Modeling of the Effect of Fine Materials on Shear Behavior of Fouled Railway Ballast major highways which is caused by rapid urbanization. With this increasing demand for railway transportation, the need for heavier and faster trains too has increased. Introducing high-speed trains with heavy axel loads creates high stresses in the track layers and causes excessive settlement and d作者: FIN 時間: 2025-3-30 17:20
Potential of Waste Rice Husk Ash to Reduce Propagation of Ground Vibration from Impact Piling: Chara the activities undertaken in the buildings, and possible damage to nearby structures. To reduce the disturbances to occupants and damages to structures, the propagation of the impact pilling induced ground vibration needs to be assessed and controlled. The objectives of this study are to investigat作者: obtuse 時間: 2025-3-30 22:37
Investigation of Colloidal Transport in Saturated Porous Media: Experimental and Numerical Studycontaminants in porous media including radionuclides, hydrophobic organic compounds (HOCs), heavy metals, pesticides, pathogens, etc. Therefore, it is vital to investigate colloid and colloid-facilitated contaminant transport in porous media and the soil physico-chemical parameters controlling their作者: 阻礙 時間: 2025-3-31 04:57 作者: 小卒 時間: 2025-3-31 06:33
A Study on Climate Change Impact on Cooling Energy Demand Patterns for an Existing Office Building average temperatures projected to increase throughout the twenty-first century, building energy demand and consumption are also slated to increase. Even though the importance of climate effect on building energy management has been identified there has been few studies conducted to date to estimate作者: 使迷醉 時間: 2025-3-31 10:10
