Development of a second generation prototype reflectometer for reflectance measurement in space Final technical report

Prototype reflectometer development for reflection measurements in spac

forall x: Calgary. An Introduction to Formal Logic

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code

Groundwater reinjection and heat dissipation: lessons from the operation of a large groundwater cooling system in Central London

The performance of a large open-loop groundwater cooling scheme in a shallow alluvial aquifer at a prominent public building in Central London has been monitored closely over its first 2 years of operation. The installed system provided cooling to the site continuously for a period of 9 months between June 2012 and April 2013. During this period, c. 131300 m3 of groundwater was abstracted from a single pumping well and recharged into a single injection borehole. The amount of heat rejected in this period amounts to c. 1.37 GWh. A programme of hydraulic testing was subsequently undertaken over a 3 month period between July and October 2013 to evaluate the performance of the injection borehole. The data indicate no significant change in injection performance between commissioning trials undertaken in 2010 and the most recent period of testing, as evidenced by comparison of injection pressures for given flow rates in 2010 and 2013. Continuous temperature monitoring of the abstracted water, the discharge and a number of observation wells demonstrates the evolution of a heat plume in the aquifer in response to heat rejection and subsequent dissipation of this heat during the 18 month planned cessation

On the poverty of a priorism: technology, surveillance in the workplace and employee responses

Many debates about surveillance at work are framed by a set of a priori assumptions about the nature of the employment relationship that inhibits efforts to understand the complexity of employee responses to the spread of new technology at work. In particular, the debate about the prevalence of resistance is hamstrung from the outset by the assumption that all apparently non-compliant acts, whether intentional or not, are to be counted as acts of resistance. Against this background this paper seeks to redress the balance by reviewing results from an ethnographic study of surveillance-capable technologies in a number of British workplaces. It argues for greater attention to be paid to the empirical character of the social relations at work in and through which technologies are deployed and in the context of which employee responses are played out

Inter-similarity between coupled networks

Recent studies have shown that a system composed from several randomly interdependent networks is extremely vulnerable to random failure. However, real interdependent networks are usually not randomly interdependent, rather a pair of dependent nodes are coupled according to some regularity which we coin inter-similarity. For example, we study a system composed from an interdependent world wide port network and a world wide airport network and show that well connected ports tend to couple with well connected airports. We introduce two quantities for measuring the level of inter-similarity between networks (i) Inter degree-degree correlation (IDDC) (ii) Inter-clustering coefficient (ICC). We then show both by simulation models and by analyzing the port-airport system that as the networks become more inter-similar the system becomes significantly more robust to random failure.Comment: 4 pages, 3 figure

Ontology of core data mining entities

In this article, we present OntoDM-core, an ontology of core data mining entities. OntoDM-core defines themost essential datamining entities in a three-layered ontological structure comprising of a specification, an implementation and an application layer. It provides a representational framework for the description of mining structured data, and in addition provides taxonomies of datasets, data mining tasks, generalizations, data mining algorithms and constraints, based on the type of data. OntoDM-core is designed to support a wide range of applications/use cases, such as semantic annotation of data mining algorithms, datasets and results; annotation of QSAR studies in the context of drug discovery investigations; and disambiguation of terms in text mining. The ontology has been thoroughly assessed following the practices in ontology engineering, is fully interoperable with many domain resources and is easy to extend

Assessment of New Hub-and-spoke and Point-to-point Airline Network Configurations

This paper aims to provide new measures of airline network configuration with a view to analyse effectively the complexity of modern carriers' network design. It studies network configurations in the airline sector by taking into account both spatial and temporal dimensions. The spatial dimension is measured by using both the Gini index and the Freeman index, which originate from social science research. The temporal dimension is measured by the connectivity ratio, i.e. the share of indirect connections over the total number of connections. According to these indicators, the configuration of the largest full-service carriers and the largest low-cost carriers in Europe is investigated. The results show that the temporal dimension provides a clear distinction between full-service carriers and low-cost carriers; while the spatial dimension appears useful when identifying the peculiarities within groups

Models and metaphors: complexity theory and through-life management in the built environment

Complexity thinking may have both modelling and metaphorical applications in the through-life management of the built environment. These two distinct approaches are examined and compared. In the first instance, some of the sources of complexity in the design, construction and maintenance of the built environment are identified. The metaphorical use of complexity in management thinking and its application in the built environment are briefly examined. This is followed by an exploration of modelling techniques relevant to built environment concerns. Non-linear and complex mathematical techniques such as fuzzy logic, cellular automata and attractors, may be applicable to their analysis. Existing software tools are identified and examples of successful built environment applications of complexity modelling are given. Some issues that arise include the definition of phenomena in a mathematically usable way, the functionality of available software and the possibility of going beyond representational modelling. Further questions arising from the application of complexity thinking are discussed, including the possibilities for confusion that arise from the use of metaphor. The metaphor of a 'commentary machine' is suggested as a possible way forward and it is suggested that an appropriate linguistic analysis can in certain situations reduce perceived complexity

Information and Communication Technology (ICT) and International Business Travel: Mobility Allies?

Like forecasts about the paperless office, technological solutions to the problem of international business travel continue to be deferred. As with the increased use of office paper, international business travel is defying predictions of its decline. There is growing evidence to suggest that business sectors which seem ideally placed to substitute information and communication technology (ICT) for travel, are actually generating more physical travel than other sectors. This paper develops a case study of the Irish software industry to exemplify why international travel is not diminishing in importance how and the ICT and business travel relationship is changing in this sector. The paper presents research findings that suggest that a cycle of substitution, generation and modification relationships have occurred as mobility interdependencies have developed.Peer Reviewe