The Supply Chain Operations Reference (SCOR) model has been widely adopted in many companies. Anecdotal evidence and trade journals have reported significant improvements after firms have adopted the SCOR model. Although practitioners have been enthusiastic about implementing and using the SCOR model in their operations, the SCOR model has not been empirically validated. The purpose of this stu...

environmental characteristics, including the quality of green spaces, constitute one of the determinants of buildings (house & apartment) transaction prices. in this research, impact of urban green space on building's transaction prices (rials/m2) in karaj region, district 1 (jahanshahr), was analyzed. therefore, a questionnaire concerning building characteristics and transaction prices wa...

Building automation is the key to exploiting flexibilities in building operation with regard to integration of renewable energy sources, load shifting and general optimization for energy efficiency. Based on thermal and electric models of building physics and the energy producers and consumers in the building it is possible to assess the current state of the building and its systems and make pr...

Qasr-e Shirin owes its prominence primarily to the Sassanian period and the attention the region received from Khosrow Parviz. Khosrow took the first steps to make Qasr-e-Shirin habitable by constructing a complex consisting of a palace, a fortress, a religious building, a defensive wall and a water conveyance system. Later, Qasr-e-Shirin is mentioned in several texts and travel itineraries. Th...

We developed spiking neural network control for a modular robotic system. The modular robotic system can be easily assembled by a user who is allowed to make overall behaviors by assembling the physical structure made up of a number of modules. The control of each module (building block) is implemented as a spiking neuron and action potentials are sent through the communication channels of the ...

So-called little, or domain-specific languages (DSLs), have the potential to make software maintenance simpler: domain-experts can directly use the DSL to make required routine modifications. At the negative side, however, more substantial changes may become more difficult: such changes may involve altering the domain-specific language. This will require compiler technology knowledge, which not...

The field of modern financial economics assumes that people behave with extreme rationality, but they do not. Furthermore, people’s deviations from rationality are often systematic. Behavioral finance relaxes the traditional assumptions of financial economics by incorporating these observable, systematic, and very human departures from rationality into standard models of financial markets. We h...

So far we’ve focused on model checking algorithms that assume a computation structure is given. It should come as no surprise that our goal is to perform model checking of programs given as code, so today we’ll describe techniques that allow us to apply model checking in this setting. There are several challenges to doing so, foremost among them the fact that the statespace of programs may be i...

Although Japan represents the single largest Asian market and 10% of the global software outsourcing market, little is understood about how Japanese companies make software project outsourcing decisions. Tried-and-tested outsourcing models consistently fail to predict the outsourcing decisions of Japanese companies, leaving global software development companies with little usable guidance in th...