Distributed intelligent management of active networks

This paper focuses on improving computer network management by the adoption of artificial intelligence techniques. A logical inference system has being devised to enable automated isolation, diagnosis, and even repair of network problems, thus enhancing the reliability, performance, and security of networks. We propose a distributed multi-agent architecture for network management, where a logical reasoner acts as an external managing entity capable of directing, coordinating, and stimulating actions in an active management architecture. The active networks technology represents the lower level layer which makes possible the deployment of code which implement teleo-reactive agents, distributed across the whole network. We adopt the Situation Calculus to define a network model and the Reactive Golog language to implement the logical reasoner. An active network management architecture is used by the reasoner to inject and execute operational tasks in the network. The integrated system collects the advantages coming from logical reasoning and network programmability, and provides a powerful system capable of performing high-level management tasks in order to deal with network fault.

Definitions of the units radian, neper, bel and decibel

The definition of coherent derived units in the International System of Units (SI) is reviewed, and the important role of the equations defining physical quantities is emphasized in obtaining coherent derived units. In the case of the dimensionless quantity plane angle, the choice between alternative definitions is considered, leading to a corresponding choice between alternative definitions of the coherent derived unit - the radian, degree or revolution. In this case the General Conference on Weights and Measures (CGPM) has chosen to adopt the definition that leads to the radian as the coherent derived unit in the SI. In the case of the quantity logarithmic decay (or gain), also sometimes called decrement, and sometimes called level, a similar choice of defining equation exists, leading to a corresponding choice for the coherent derived unit - the neper or the bel. In this case the CGPM has not yet made a choice. We argue that for the quantity logarithmic decay the most logical choice of defining equation is linked to that of the radian, and is that which leads to the neper as the corresponding coherent derived unit. This should not prevent us from using the bel and decibel as units of logarithmic decay. However, it is an important part of the SI to establish in a formal sense the equations defining physical quantities, and the corresponding coherent derived units.

Truth in complex adaptive systems models should be based on truth by constructive verification

It is argued that the truth status of emergent properties of complex adaptive systems models should be based on an epistemology of proof by constructive verification and therefore on the ontological axioms of a non-realist logical system such as constructivism or intuitionism. ‘Emergent’ properties of complex adaptive systems (CAS) models create particular epistemological and ontological challenges. These challenges bear directly on current debates in the philosophy of mathematics and in theoretical computer science. CAS research, with its emphasis on computer simulation, is heavily reliant on models which explore the entailments of Formal Axiomatic Systems (FAS). The incompleteness results of Gödel, the incomputability results of Turing, and the Algorithmic Information Theory results of Chaitin, undermine a realist (platonic) truth model of emergent properties. These same findings support the hegemony of epistemology over ontology and point to alternative truth models such as intuitionism, constructivism and quasi-empiricism.

Comprehension of wh-questions and declarative sentences in agrammatic aphasia: the set partition hypothesis

Problematic trace-antecedent relations between deep and surface structure have been a dominant theme in sentence comprehension in agrammatism. We challenge this view and propose that the comprehension in agrammatism in declarative sentences and wh-questions stems from impaired processing in logical form. We present new data from wh-questions and declarative sentences and advance a new hypothesis which we call the set partition hypothesis. We argue that elements that signal set partition operations influence sentence comprehension while trace-antecedent relations remain intact. (C) 2007 Elsevier Ltd. All rights reserved.

Visualizing a logic of dependability arguments

This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.

Historical and current machine intelligence

In this article, we provide an initial insight into the study of MI and what it means for a machine to be intelligent. We discuss how MI has progressed to date and consider future scenarios in a realistic and logical way as much as possible. To do this, we unravel one of the major stumbling blocks to the study of MI, which is the field that has become widely known as "artificial intelligence"

Part load operation coefficient of air-conditioning system of public building

IPLV overall coefficient, presented by Air-Conditioning and Refrigeration Institute (ARI) of America, shows running/operation status of air-conditioning system host only. For overall operation coefficient, logical solution has not been developed, to reflect the whole air-conditioning system under part load. In this research undertaking, the running time proportions of air-conditioning systems under part load have been obtained through analysis on energy consumption data during practical operation in all public buildings in Chongqing. This was achieved by using analysis methods, based on the statistical energy consumption data distribution of public buildings month-by-month. Comparing with the weight number of IPLV, part load operation coefficient of air-conditioning system, based on this research, does not only show the status of system refrigerating host, but also reflects and calculate energy efficiency of the whole air-conditioning system. The coefficient results from the processing and analyzing of practical running data, shows the practical running status of area and building type (actual and objective) – not clear. The method is different from model analysis which gets IPLV weight number, in the sense that this method of coefficient results in both four equal proportions and also part load operation coefficient of air-conditioning system under any load rate as necessary.

Modern lovers

Modern Lovers was a survey show of contemporary art practices in dialogue with modernism, bringing together established and emerging artists based in London and international artists from Berlin, Jerusalem and Zagreb. The show features video, film, installation, sculpture, music and performance work that addresses the legacy of the avant garde and the survival of its aesthetics within contemporary culture. In 1976, as punk rock was busy smashing the cultural rubble left behind by the second world war and rejecting the consumer society that had emerged from the ruins, one band bravely announced that it wanted no part in this destruction. Jonathan Richman's Modern Lovers sang about how they still loved the old world. Neither parents nor girlfriends could understand, but the decaying inner city with its false promises of progress still held a fascination for Richman, who claimed he wanted to keep his place in this arcane landscape. Punk's assault on culture was the logical conclusion of modernism's linear narrative of art as a force of innovation that must reject preceding artistic movements to establish new ones. Echoing the negations of Dada, it set out to put an end to this narrative, an end to culture. It is partly because of this inherently destructive and totalising side of Modernism that it has come under harsh critique in the post modern era. Nevertheless, we are still caught up in the same dialectic of progress, revolution and destruction. Post modernism has failed to unseat our desire for the revolutionary moment, even as it has been co-opted to the degree of meaninglessness by the discourses of marketing and Capitalism. But, like Jonathan Richman, the artists in the exhibition "Modern Lovers" keep returning to modernism for something else. Instead of taking it at its word when it proffers revolution, they turn to it in search of reform. Still loving the old world and desiring a dialogue with the past, perhaps as an antidote to the eternal present of Capitalism, they are willing to engage with its aesthetics and ideas on equal ground. Leaving behind the ironic deconstructions of post modernism, they find perspectives worth salvaging and juxtapose them with contemporary visual productions. Trading in the grand narratives of modernity for a more personal approach, they don't seek the purity of form that drove the avant garde movements that inspire them but rather revel in adulteration, dilution and contamination of the past by the present". A live performance by sala-manca was sponsored by the British Council and took place May 26th, 19:00. MODERN LOVERS was accompanied by a catalogue (14.80 cm x 14.80 cm) including essays by Avi Pitchon, the sala-manca group and the curators. A discussion panel about the exhibition themes, as well as the catalogue launch,took place at Goldsmiths College's cinema on the 27th of May at 14:00, chaired by Dr. Suhail Malik (Senior Lecturer & Course Leader Postgraduate Fine Art Critical Studies at Goldsmiths College) and with the participation of Tom Morton (curator, Cubitt Gallery, and regular contributor to Frieze magazine), sala-manca (artist group), Dr. Amanda Beech (artist, curator and senior lecturer at the Wimbledon School of Art), Matthew Poole (course director of MA Gallery Studies, dept. of Art History and Theory at the University of Essex).

Agricultural tenancy reform: the end of law; or a new popular culture?

This paper applies a reading of the postmodernisation of law to the incremental reform of agricultural holdings legislation over the last century. In charting the shifting legal basis of agricultural tenancies, from ‘black letter’ positivism to the cultural contextuality of sumptuary law, the paper theorises that the underlying political imperative has been allied to the changing significance of property ownership and use. Rather than reflecting the long-term official desire to maintain the let sector in British agriculture, however, the paper argues that this process has had other aims. In particular, it has been about an annexation of law to legitimise the retention of landowner power while presenting a rhetorical ‘democratisation’ of farming, away from its plutocratic associations and towards a new narrative of ‘depersonalised’ business.

Proceedings of the inaugural construction management and economics ‘Past, Present and Future’ conference CME25, 16-18 July 2007, University of Reading, UK

This conference was an unusual and interesting event. Celebrating 25 years of Construction Management and Economics provides us with an opportunity to reflect on the research that has been reported over the years, to consider where we are now, and to think about the future of academic research in this area. Hence the sub-title of this conference: “past, present and future”. Looking through these papers, some things are clear. First, the range of topics considered interesting has expanded hugely since the journal was first published. Second, the research methods are also more diverse. Third, the involvement of wider groups of stakeholder is evident. There is a danger that this might lead to dilution of the field. But my instinct has always been to argue against the notion that Construction Management and Economics represents a discipline, as such. Granted, there are plenty of university departments around the world that would justify the idea of a discipline. But the vast majority of academic departments who contribute to the life of this journal carry different names to this. Indeed, the range and breadth of methodological approaches to the research reported in Construction Management and Economics indicates that there are several different academic disciplines being brought to bear on the construction sector. Some papers are based on economics, some on psychology and others on operational research, sociology, law, statistics, information technology, and so on. This is why I maintain that construction management is not an academic discipline, but a field of study to which a range of academic disciplines are applied. This may be why it is so interesting to be involved in this journal. The problems to which the papers are applied develop and grow. But the broad topics of the earliest papers in the journal are still relevant today. What has changed a lot is our interpretation of the problems that confront the construction sector all over the world, and the methodological approaches to resolving them. There is a constant difficulty in dealing with topics as inherently practical as these. While the demands of the academic world are driven by the need for the rigorous application of sound methods, the demands of the practical world are quite different. It can be difficult to meet the needs of both sets of stakeholders at the same time. However, increasing numbers of postgraduate courses in our area result in larger numbers of practitioners with a deeper appreciation of what research is all about, and how to interpret and apply the lessons from research. It also seems that there are contributions coming not just from construction-related university departments, but also from departments with identifiable methodological traditions of their own. I like to think that our authors can publish in journals beyond the construction-related areas, to disseminate their theoretical insights into other disciplines, and to contribute to the strength of this journal by citing our articles in more mono-disciplinary journals. This would contribute to the future of the journal in a very strong and developmental way. The greatest danger we face is in excessive self-citation, i.e. referring only to sources within the CM&E literature or, worse, referring only to other articles in the same journal. The only way to ensure a strong and influential position for journals and university departments like ours is to be sure that our work is informing other academic disciplines. This is what I would see as the future, our logical next step. If, as a community of researchers, we are not producing papers that challenge and inform the fundamentals of research methods and analytical processes, then no matter how practically relevant our output is to the industry, it will remain derivative and secondary, based on the methodological insights of others. The balancing act between methodological rigour and practical relevance is a difficult one, but not, of course, a balance that has to be struck in every single paper.

A design of evaluation method for SaaS in cloud computing

Purpose: This paper aims to design an evaluation method that enables an organization to assess its current IT landscape and provide readiness assessment prior to Software as a Service (SaaS) adoption. Design/methodology/approach: The research employs a mixed of quantitative and qualitative approaches for conducting an IT application assessment. Quantitative data such as end user’s feedback on the IT applications contribute to the technical impact on efficiency and productivity. Qualitative data such as business domain, business services and IT application cost drivers are used to determine the business value of the IT applications in an organization. Findings: The assessment of IT applications leads to decisions on suitability of each IT application that can be migrated to cloud environment. Research limitations/implications: The evaluation of how a particular IT application impacts on a business service is done based on the logical interpretation. Data mining method is suggested in order to derive the patterns of the IT application capabilities. Practical implications: This method has been applied in a local council in UK. This helps the council to decide the future status of the IT applications for cost saving purpose.

Portfolio-Werbung als Technik des Impression Management: Eine Untersuchung zur gegenseitigen Stärkung von Dachmarke und Produktmarken in komplexen Markenarchitekturen

In recent years, the importance of the corporate brand (e.g. P&G, Nestlé, Unilever) has grown significantly and companies increasingly strive to strengthen their corporate brand. One way to strengthen the corporate brand is portfolio advertisement, in which the corporate brand is presented alongside with several product brands of its portfolio (e.g. VW with its product brands Touareg, Touran, Golf and Polo). The aim of portfolio advertising is to generate a positive image spill-over effect from the product brands onto the corporate brand in order to enhance the consumers’ perceived competence of the corporate brand. In four experimental settings Christian Boris Brunner demonstrates the great potential of portfolio advertising and highlights the risks associated with portfolio advertising in practice. In a first experiment, he compares portfolio advertising with single brand advertisements. Moreover, in case of portfolio advertising he manipulates the fit between the product brands, because the consumer has to establish a logical coherence between the individual brands. However, asconsumers have limited capacity for processing information, special attention should be paid to the number of product brands and to the processing depth of the consumer during confrontation with portfolio advertising. These key factors are taken into consideration in a second extensive experiment involving fictitious corporate and product brands. The effects of portfolio advertising on a product brand are also examined. Furthermore, the strength of product brands, i.e. brand knowledge as well as brand image and consumer’s knowledge of the brands, must be taken into consideration. In a third experiment, both the brand strength of real product brands as well as the fit between product brands are manipulated. Portfolio advertising could also have a positive image spill-over effect when companies introduce a new product brand under the umbrella of the corporate brand while communicating all product brands together. Based on considerations, in a fourth experiment, Christian Boris Brunner shows that portfolio advertising could also have a positive image spill-over effect on a new (unknown) product brand. Concluding his work, Christian Boris Brunner provides implications for future research concerning portfolio advertising as well as the management of a corporate brand in complex brand architectures. Concerning practical implications, these four experiments underline a high relevance to marketing and brand managers, who could increase corporate and product brands’ potential by means of portfolio advertising.

Are superhumps good measures of the mass ratio for AM CVn systems?

We extend recent work that included the effect of pressure forces to derive the precession rate of eccentric accretion discs in cataclysmic variables to the case of double degenerate systems. We find that the logical scaling of the pressure force in such systems results in predictions of unrealistically high primary masses. Using the prototype AM CVn as a calibrator for the magnitude of the effect, we find that there is no scaling that applies consistently to all the systems in the class. We discuss the reasons for the lack of a superhump period to mass ratio relationship analogous to that known for SU UMa systems and suggest that this is because these secondaries do not have a single valued mass-radius relationship. We highlight the unreliability of mass-ratios derived by applying the SU UMa expression to the AM CVn binaries.

Shared authority: courts and legislatures in legal theory

This book advances a fresh philosophical account of the relationship between the legislature and courts, opposing the common conception of law, in which it is legislatures that primarily create the law, and courts that primarily apply it. This conception has eclectic affinities with legal positivism, and although it may have been a helpful intellectual tool in the past, it now increasingly generates more problems than it solves. For this reason, the author argues, legal philosophers are better off abandoning it. At the same time they are asked to dismantle the philosophical and doctrinal infrastructure that has been based on it and which has been hitherto largely unquestioned. In its place the book offers an alternative framework for understanding the role of courts and the legislature; a framework which is distinctly anti-positivist and which builds on Ronald Dworkin’s interpretive theory of law. But, contrary to Dworkin, it insists that legal duty is sensitive to the position one occupies in the project of governing; legal interpretation is not the solitary task of one super-judge, but a collaborative task structured by principles of institutional morality such as separation of powers which impose a moral duty on participants to respect each other's contributions. Moreover this collaborative task will often involve citizens taking an active role in their interaction with the law.

Beyond description to pattern: The contribution of Batesonian epistemology to critical realist research

This paper proposes a limitation to epistemological claims to theory building prevalent in critical realist research. While accepting the basic ontological and epistemological positions of the perspective as developed by Roy Bhaskar, it is argued that application in social science has relied on sociological concepts to explain the underlying generative mechanisms, and that in many cases this has been subject to the effects of an anthropocentric constraint. A novel contribution to critical realist research comes from the work and ideas of Gregory Bateson. This is in service of two central goals of critical realism, namely an abductive route to theory building and a commitment to interdisciplinarity. Five aspects of Bateson’s epistemology are introduced: (1) difference, (2) logical levels of abstraction, (3) recursive causal loops, (4) the logic of metaphor, and (5) Bateson’s theory of mind. The comparison between Bateson and Bhaskar’s ideas is seen as a form of double description, illustrative of the point being raised. The paper concludes with an appeal to critical realists to start exploring the writing and outlook of Bateson himself.