On acquisition of programming knowledge

For the evolving discipline of programming, acquisition of programming knowledge is a difficult issue. Common knowledge results from the acceptance of proven techniques based on results of formal inquiries into the nature of the programming process. This is a rather slow process. In addition, the vast body of common knowledge needs to be explicated to a low enough level of details for it to be represented in the machine processable form. It is felt that this is an impediment to the progress of automatic programming. The importance of formal approaches cannot be overstated since their contributions lead to quantum leaps in the state of the art

The application of BIM tools to explore the dynamic characteristics of smart materials in a contemporary Shanashil building design element

Traditional architecture is known for its crafted facade features that respond to environmental, social and cultural requirements. Contemporary architecture produced façade features that attempted to enhance local design identity and local culture. Despite the advantages of modern technology, architectural elements have difficulties in fulfilling the idea of sustainable elegance that once traditional elements provided. This problem calls for an interdisciplinary design approach to deliver sustainable design solutions that positively adapt to the surrounding environment as well as maintain the state of elegance in design. With this in mind, the research aims to explore the role of new glass technologies to improve the performance and at the same time maintain the design value of traditional façade element “shanashil” in Baghdadi buildings. This research utilises BIM tools and uses smart materials to restore the lost value in design, which mimics the dynamic characteristics observed in nature, inspired by biomimetics strategies. Such qualities are found in the characteristics of smart dynamic glazing material particularly in the switchable, reversible properties of transparency and coloration efficiency. The material characteristics are attached to a 3D digital prototype to visualise the difference between dynamic and static properties through the use of technology tools Revit plugin and smart glazing virtual reality prototype. This research concludes that the dynamic characteristics of smart glazing materials are effective in delivering a multifunctional design quality to collectively blend in harmony with the surrounding environment

On the Spread of Viruses on the Internet

We analyze the contact process on random graphs generated according to the preferential attachment scheme as a model for the spread of viruses in the Internet. We show that any virus with a positive rate of spread from a node to its neighbors has a non-vanishing chance of becoming epidemic. Quantitatively, we discover an interesting dichotomy: for it virus with effective spread rate λ, if the infection starts at a typical vertex, then it develops into an epidemic with probability λ^Θ ((log (1/ λ)/log log (1/ λ))), but on average the epidemic probability is λ^(Θ (1))