Connectivity of workflow nets : the foundations of stepwise verification

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the state space of a system, i.e., its states and the principles of state transitions. Such a model is the basis for analysis of the system’s properties. In practice, state spaces of systems are immense, which results in huge computational complexity for their analysis. Behavioral models are typically described as executable graphs, whose execution semantics encodes a state space. The structure theory of behavioral models studies the relations between the structure of a model and the properties of its state space. In this article, we use the connectivity property of graphs to achieve an efficient and extensive discovery of the compositional structure of behavioral models; behavioral models get stepwise decomposed into components with clear structural characteristics and inter-component relations. At each decomposition step, the discovered compositional structure of a model is used for reasoning on properties of the whole state space of the system. The approach is exemplified by means of a concrete behavioral model and verification criterion. That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets. Stepwise verification allows the detection of violations of the soundness property by inspecting small portions of a model, thereby considerably reducing the amount of work to be done to perform soundness checks. Besides formal results, we also report on findings from applying our approach to an industry model collection.

Rules of thumb for comparing multinomial logit and multinomial probit coefficients

A rule of thumb is suggested for comparing multinomial logit coefficients with multinomial probit coefficients in the special case where the normal errors are distributed N(0,1). The rule is a generalization of the '1.6' rule for comparing logit and probit coefficients. © 1989.

Formation and electron field emission of graphene films grown by hot filament chemical vapor deposition

Graphene films with different structures were catalytically grown on the silicon substrate pre-deposited with a gold film by hot filament chemical vapor deposition under different conditions, where methane, hydrogen and nitrogen were used as the reactive gases. The morphological and compositional properties of graphene films were studied using advanced instruments including field emission scanning electron microscopy, micro-Raman spectroscopy and X-ray photoelectron spectroscopy. The results indicate that the structure and composition of graphene films are changed with the variation of the growth conditions. According to the theory related to thermodynamics, the formation of graphene films was theoretically analyzed and the results indicate that the formation of graphene films is related to the fast incorporation and precipitation of carbon. The electron field emission (EFE) properties of graphene films were studied in a high vacuum system of ∼10-6 Pa and the EFE results show that the turn-on field is in a range of 5.2-5.64 V μm-1 and the maximum current density is about 63 μ A cm-2 at the field of 7.7 V μm-1. These results are important to control the structure of graphene films and have the potential applications of graphene in various nanodevices.

Enhancement of electron field emission of vertically aligned carbon nanotubes by nitrogen plasma treatment

The electron field emission (EFE) characteristics from vertically aligned carbon nanotubes (VACNTs) without and with treatment by the nitrogen plasma are investigated. The VACNTs with the plasma treatment showed a significant improvement in the EFE property compared to the untreated VACNTs. The morphological, structural, and compositional properties of the VACNTs are extensively examined by scanning electron microscopy, transmission electron microscopy, Raman spectroscopy, and energy dispersive X-ray spectroscopy. It is shown that the significant EFE improvement of the VACNTs after the nitrogen plasma treatment is closely related to the variation of the morphological and structural properties of the VACNTs. The high current density (299.6 μA/cm2) achieved at a low applied field (3.50 V/μm) suggests that the VACNTs after nitrogen plasma treatment can serve as effective electron field emission sources for numerous applications.

Temperature-dependent growth mechanisms of low-dimensional ZnO nanostructures

One-dimensional ZnO nanostructures were successfully synthesized on single-crystal silicon substrates via a simple thermal evaporation and vapour-phase transport method under different process temperatures from 500 to 1000 °C. The detailed and in-depth analysis of the experimental results shows that the growth of ZnO nanostructures at process temperatures of 500, 800, and 1000 °C is governed by different growth mechanisms. At a low process temperature of 500 °C, the ZnO nanostructures feature flat and smooth tips, and their growth is primarily governed by the vapour-solid mechanism. At an intermediate process temperature of 800 °C, the ZnO nanostructures feature cone-shape tips, and their growth is primarily governed by the self-catalyzed and saturated vapour–liquid–solid mechanism. At a high process temperature of 1000 °C, the alloy tip appears on the front side of the ZnO nanostructures, and their growth is primarily governed by the common catalyst-assisted vapour–liquid–solid mechanism. It is also shown that the morphological, structural, optical, and compositional properties of the synthesized ZnO nanostructures are closely related to the process temperature. These results are highly relevant to the development of light-emitting diodes, chemical sensors, energy conversion devices, and other advanced applications.

Speaking too soon : the sabotage of bail reform in New South Wales

Within just over one month of coming into operation in May 2014, the new Bail Act 2013 (NSW), a product of long-term law reform consideration, was reviewed and then amended after talk-back radio ‘shock jock’ and tabloid newspaper outcry over three cases. This article examines the media triggers, the main arguments of the review conducted by former New South Wales (NSW) Attorney General John Hatzistergos, and the amendments, with our analysis of the judicial interpretation of the Act thus far providing relevant background. We argue that the amendments are premature, unnecessary, create complexity and confusion, and, quite possibly, will have unintended consequences: in short, they are a mess. The whole process of reversal is an example of law and order politics driven by the shock jocks and tabloid media, the views of which, are based on fundamental misconceptions of the purpose of bail and its place in the criminal process, resulting in a conflation of accusation, guilt and punishment. Other consequences of the review and amendments process recognised in this article include the denigration of judicial expertise and lack of concern with evidence and process; the disproportionate influence of the shock jocks, tabloids and Police Association of NSW on policy formation; the practice of using retired politicians to produce ‘quick fix’ reviews; and the political failure to understand and defend fundamental legal principles that benefit us all and are central to the maintenance of a democratic society and the rule of law. The article concludes with some discussion of ways in which media and political debate might be conducted to produce more balanced outcomes.

‘Only a pawn in their game’ : crime, risk and politics in the case of Robert Fardon

In 2003 Robert Fardon was the first prisoner to be detained under the Dangerous Prisoners (Sexual Offenders) Act 2003 (Qld), the first of the new generation preventive detention laws enacted in Australia and directed at keeping sex offenders in prison or under supervision beyond the expiry of their sentences where a court decides, on the basis of psychiatric assessments, that unconditional release would create an unacceptable risk to the community. A careful examination of Fardon’s case shows the extent to which the administration of the regime was from the outset governed by politics and political calculation rather than the logic of risk management and community protection. In 2003 Robert Fardon was the first person detained under the Dangerous Prisoners (Sexual Offenders) Act 2003 (Qld) (hereafter DPSOA), a newly enacted Queensland law aimed at the preventive detention of sex offenders. It was the first of a new generation of such laws introduced in Australia, now also in force in NSW, Western Australia and Victoria. The laws have been widely criticized by lawyers, academics and others (Keyzer and McSherry 2009; Edgely 2007). In this article I want to focus on the details of how the Queensland law was administered in Fardon’s case, he being perhaps the most well-known prisoner detained under such laws and certainly the longest held. It will show, I hope, that seemingly abstract rule of law principles invoked by other critics are not simply abstract: they afford a crucial practical safeguard against the corruption of criminal justice in which the ends both of community protection and of justice give way to opportunistic exploitation of ‘the mythic resonance of crime and punishment for electoral purposes’ (Scheingold 1998: 888).

Optimal allocation of conservation effort among subpopulations of a threatened species: How important is patch quality?

Money is often a limiting factor in conservation, and attempting to conserve endangered species can be costly. Consequently, a framework for optimizing fiscally constrained conservation decisions for a single species is needed. In this paper we find the optimal budget allocation among isolated subpopulations of a threatened species to minimize local extinction probability. We solve the problem using stochastic dynamic programming, derive a useful and simple alternative guideline for allocating funds, and test its performance using forward simulation. The model considers subpopulations that persist in habitat patches of differing quality, which in our model is reflected in different relationships between money invested and extinction risk. We discover that, in most cases, subpopulations that are less efficient to manage should receive more money than those that are more efficient to manage, due to higher investment needed to reduce extinction risk. Our simple investment guideline performs almost as well as the exact optimal strategy. We illustrate our approach with a case study of the management of the Sumatran tiger, Panthera tigris sumatrae, in Kerinci Seblat National Park (KSNP), Indonesia. We find that different budgets should be allocated to the separate tiger subpopulations in KSNP. The subpopulation that is not at risk of extinction does not require any management investment. Based on the combination of risks of extinction and habitat quality, the optimal allocation for these particular tiger subpopulations is an unusual case: subpopulations that occur in higher-quality habitat (more efficient to manage) should receive more funds than the remaining subpopulation that is in lower-quality habitat. Because the yearly budget allocated to the KSNP for tiger conservation is small, to guarantee the persistence of all the subpopulations that are currently under threat we need to prioritize those that are easier to save. When allocating resources among subpopulations of a threatened species, the combined effects of differences in habitat quality, cost of action, and current subpopulation probability of extinction need to be integrated. We provide a useful guideline for allocating resources among isolated subpopulations of any threatened species. © 2010 by the Ecological Society of America.

The responsibility of intermediaries: Emerging IP protection schemes, from Content ID, to three-strikes and follow-the-money

The only effective and scalable way to regulate the actions of people on the internet is through online intermediaries. These are the institutions that facilitate communication: internet service providers, search engines, content hosts, and social networks. Governments, private firms, and civil society organisations are increasingly seeking to influence these intermediaries to take more responsibility to prevent or respond to IP infringements. Around the world, intermediaries are increasingly subject to a variety of obligations to help enforce IP rights, ranging from informal social and governmental pressure, to industry codes and private negotiated agreements, to formal legislative schemes. This paper provides an overview of this emerging shift in regulatory approaches, away from legal liability and towards increased responsibilities for intermediaries. This shift straddles two different potential futures: an optimistic set of more effective, more efficient mechanisms for regulating user behaviour, and a dystopian vision of rule by algorithm and private power, without the legitimising influence of the rule of law.

An analytical study revisiting debate on interpretation of Article 38 of the Statute of International Court of Justice

Article 38(1) of the Statute of International Court of Justice (hereinafter ICJ) is today generally seen as a direction to the significant sources of international law, which the world court must consider in resolving disputes; however, the list is not exhaustive nor encompasses all the formal and material sources of the international legal system. Article 38 of the Statute of ICJ was written ninety years ago in a different world, a question is under debate in many states, whether or not sources mentioned in Article 38 of the statute are compatible with needs of 21st century ? In recent decade, many new actors come on the stage which have transformed international law and now it is not only governs relations among states but also covers many International Organizations. Article 38(2) does refer to the other possible sources but does not define them. Moreover, law is a set of rules that citizens must follow to regulate peace and order in society. These laws are binding on both the individual and the state on a domestic and international level. Do states regard this particular rule as a rule of international law? The modern legal system of states is in the form of a specified and well organized set of rules, regulating affairs of different organs of a state. States also need a body of rules for their intercourse with each other. These sets of rules among states are called “International Law.” This article examines international law, its foundation and sources. It considers whether international conventions and treaties can be the only way states can considerably create international law, or there is a need for clarity about the sources of international law. Article is divided into two parts, the first one deals with sources of international law discussed in Article 38 of the statute of International Court of Justice whereas the second one discusses the material and formal sources of law, which still need reorganization as sources of law.

Variation in the walking time to bus stop by the degree of transit captivity

Measures of transit accessibility are important in evaluating transit services, planning for future services and investment on land use development. Existing tools measure transit accessibility using averaged walking distance or walking time to public transit. Although the mode captivity may have significant implications on one’s willingness to walk to use public transit, this has not been addressed in the literature to date. Failed to distinguish transit captive users may lead to overestimated ridership and spatial coverage of transit services. The aim of this research is to integrate the concept of transit captivity into the analysis of walking access to public transit. The conventional way of defining “captive” and “choice” transit users showed no significant difference in their walking times according to a preliminary analysis. A cluster analysis technique is used to further divide “choice” users by three main factors, namely age group, labour force status and personal income. After eliminating “true captive” users, defined as those without driver’s licence or without a car in respective household, “non-true captive” users were classified into a total of eight groups having similar socio-economic characteristics. The analysis revealed significant differences in the walking times and patterns by their level of captivity to public transit. This paper challenges the rule-of-thumb of 400m walking distance to bus stops. In average, people’s willingness to walk dropped drastically at 268m and continued to drop constantly until it reached the mark of 670m, where there was another drastic drop of 17%, which left with only 10% of the total bus riders willing to walk 670m or more. This research found that mothers working part time were the ones with lowest transit captivity and thus most sensitive to the walking time, followed by high-income earners and the elderly. The level of captivity increases when public transit users earned lesser income, such as students and students working part time.

Amphibian

Amphibian is an 10’00’’ musical work which explores new musical interfaces and approaches to hybridising performance practices from the popular music, electronic dance music and computer music traditions. The work is designed to be presented in a range of contexts associated with the electro-acoustic, popular and classical music traditions. The work is for two performers using two synchronised laptops, an electric guitar and a custom designed gestural interface for vocal performers - the e-Mic (Extended Mic-stand Interface Controller). This interface was developed by one of the co-authors, Donna Hewitt. The e-Mic allows a vocal performer to manipulate the voice in real time through the capture of physical gestures via an array of sensors - pressure, distance, tilt - along with ribbon controllers and an X-Y joystick microphone mount. Performance data are then sent to a computer, running audio-processing software, which is used to transform the audio signal from the microphone. In this work, data is also exchanged between performers via a local wireless network, allowing performers to work with shared data streams. The duo employs the gestural conventions of guitarist and singer (i.e. 'a band' in a popular music context), but transform these sounds and gestures into new digital music. The gestural language of popular music is deliberately subverted and taken into a new context. The piece thus explores the nexus between the sonic and performative practices of electro acoustic music and intelligent electronic dance music (‘idm’). This work was situated in the research fields of new musical interfacing, interaction design, experimental music composition and performance. The contexts in which the research was conducted were live musical performance and studio music production. The work investigated new methods for musical interfacing, performance data mapping, hybrid performance and compositional practices in electronic music. The research methodology was practice-led. New insights were gained from the iterative experimental workshopping of gestural inputs, musical data mapping, inter-performer data exchange, software patch design, data and audio processing chains. In respect of interfacing, there were innovations in the design and implementation of a novel sensor-based gestural interface for singers, the e-Mic, one of the only existing gestural controllers for singers. This work explored the compositional potential of sharing real time performance data between performers and deployed novel methods for inter-performer data exchange and mapping. As regards stylistic and performance innovation, the work explored and demonstrated an approach to the hybridisation of the gestural and sonic language of popular music with recent ‘post-digital’ approaches to laptop based experimental music The development of the work was supported by an Australia Council Grant. Research findings have been disseminated via a range of international conference publications, recordings, radio interviews (ABC Classic FM), broadcasts, and performances at international events and festivals. The work was curated into the major Australian international festival, Liquid Architecture, and was selected by an international music jury (through blind peer review) for presentation at the International Computer Music Conference in Belfast, N. Ireland.

Introduction

The 1990s saw the United Nations, the militaries of key member states, and NGOs increasingly entangled in the complex affairs of disrupted states. Whether as deliverers of humanitarian assistance or as agents of political, social, and civic reconstruction, whether in Somalia, Bosnia, Kosovo, or East Timor, these actors have had to learn ways of interacting with each other in order to optimize the benefits for the populations they seek to assist. Yet the challenges have proved daunting. Civil and military actors have different organizational cultures and standard operating procedures and are confronted with the need to work together to perform tasks to which different actors may attach quite different priorities. From Civil Strife to Civil Society explores the nature of these challenges, blending the experience of scholars and practitioners. It is underpinned by an understanding that recovery from disruption is a laborious process that can easily be de-railed. The first part of the book offers a rigorous examination of the dimensions of state disruption and the roles of the international community in responding to it; the second part looks at military doctrine for dealing with disorder and humanitarian emergencies; the third part examines mechanisms for ending violence and delivering justice in post-conflict times; the fourth part investigates the problems of rebuilding trust and promoting democracy; the fifth part deals with the reconstitution of the rule of law; while the sixth and seventh parts address the reestablishment of social and civil order.

Evolving citizenship : "the right to protest and the right to dance"

Citizenship is a term of association among strangers. Access to it involves contested identities and symbolic meanings, differing power relations and strategies of inclusion, exclusion and action, and unequal room for maneuver or productivity in the uses of citizenship for any given group or individual. In the context of "rethinking communication," strenuous action is neede to associate such different life chances in a common enterprise at a national level or, more modestly, simply to claim equivalence for all such groups under the rule of one law.

Tea ceremony and Sukiya : negating social hierarchy

There is a widely held view that architecture is very strongly and even primarily determined by the society and culture rather than geographical, technical, economic or cli-matic factors. This is especially evident in societies where rituals, customs and tradition play a significant role in the design of built forms. One such society was that of Feudal Japan under the rule of samurai warriors. The strictly controlled hierarchical society of Feudal Japan, isolated from the rest of the world for over 250 years, was able to develop the art and architecture borrowed from neighboring older cultures of China and Korea into what is now considered uniquely Japanese. One such architecture is the Sukiya style tea houses where the ritual of tea ceremony took place. This ritual was developed by the tea masters who were Zen monks or the merchants who belonged to the lowest class in the hierarchical feudal society. The Sukiya style developed from 14th to 16th century and became an architectural space that negated all the rules imposed on commoners by the samurai rulers. The tea culture had a major influence on Japanese architecture, the concept of space and aesthetics. It extended into the design of Japanese gardens, clothes, presentation of food, and their manners in day to day life. The focus of this paper is the Japanese ritual of tea ceremony, the architecture of the tea house it inspired, the society responsible for its creation and the culture that promoted its popularity and its continuation into the 21st century.