Abstract: In this study an appropriate computational approach was presented for estimating the boiling temperatures of 41 different types of olefins and their derivatives. Based on the guidelines of this approach, several structural indices related to the organic components were applied using graph theory. Meanwhile, in addition to evaluating the relation between the boiling temperatures of ole...

In a structural time series regression model, binary variables have been used to quantify qualitative or categorical quantitative events such as politic and economic structural breaks, regions, age groups and etc. The use of the binary dummy variables is not reasonable because the effect of an event decreases (increases) gradually over time not at once. The simple and basic idea in this paper i...

Brute-force model-checking consists in exhaustive exploration of the state-space a Petri net, and meets dreaded explosion problem. In contrast, this paper shows how to solve problems using combination techniques that stay complexity proportional size net structure rather than size. We combine an SMT based over-approximation prove some behaviors are unfeasible, under-approximation memory-less sa...

Structural walls commonly used as efficient structural elements to resist lateral and vertical loads. Diverse performance of bearing wall system in past earthquakes, motivates investigation on the adequacy of current seismic design provision for these walls. This study considers seismic performance of model walls of bearing wall and building frame systems designed as ordinary and special struct...