This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of realistically modelled machine code. Many ad hoc restrictions and features present in real machine-code are handled, including finite memory, data and code in the same memory space, the behavior of status registers and ha...

Promoting research on agents, particularly in modeling and simulation contexts, is a part of this paper’s purpose. Particular promotions are sought with respect to characterizing the notion and the role of formal reasoning. After definitional material, we present a formally defined notion of a programming system or style to support “symbolic simulation,” designed, e.g., to join numerical simula...

In this paper we identify risk factors for Asia-focused hedge funds through a modified style analysis technique. Using an Asian hedge fund index, we find that Asian hedge funds show significant positive exposures to emerging equity marketsand also hold significant portion of portfolio in cash and high credit rating bonds while they take short positions in world government and emerging market bo...

Asynchronous design techniques are gaining attention in the scientific community for their ability to cope with current techneologies’ problems that the synchronous paradigm may fail to cope with. The quasi-delay-insensitive (QDI) design style [1] [2] is attractive to asynchronous circuits, especially because it allows wire and gate delays to be ignored given that isochronic fork [1] delay assu...

Robust portfolio optimization aims to maximize the worst-case portfolio return given that the asset returns are allowed to vary within a prescribed uncertainty set. If the uncertainty set is not too large, the resulting portfolio performs well under normal market conditions. However, its performance may substantially degrade in the presence of market crashes, that is, if the asset returns mater...

One of the most persistent myths in the investment industry is that it makes sense to use an index strategy in efficient markets, for instance with large-capitalization stocks, but to use an active strategy in inefficient segments. It’s important to note that the term inefficient is often used to refer to informational inefficiencies. But investors must also consider the full spectrum of costs ...

This study examines the relationship between socialist ideology and the current negative health lifestyles of the Russian population. We explore the possibility that Soviet-style socialism with its negation of individuality and individual initiative in health matters promoted the development of a passive orientation toward healthy living. Using a national sample, we compare the health practices...

<p><span id="docs-internal-guid-52ae510c-7fff-0f9d-c23b-ec77d8fd1141" style="font-size: 9pt; font-family: 'Times New Roman'; color: #000000; background-color: transparent; font-weight: 400; font-style: normal; font-variant: text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">This </span><span id="docs-internal-guid-22aadf85-7fff-c447-0533-2748148ff46b" ...

OBJECTIVE To investigate the conversation between line manager and employee about return to work to inform the development of an online interactive educational programme for line managers to improve the effectiveness of their discussions. DESIGN An inductive qualitative approach, using the principles of action research and motivational interviewing were adopted. The results informed the devel...