978 resultados para Set-valued map
Resumo:
For The Map of Watchful Architecture I only concerned myself with defensive architecture along the Border. As the map followed a border it came out as a wavy line of points. This was largely artificial, I only charted architecture within the Border corridor, but was not entirely artificial. That linear landscape has long been staked-out by the regularity of certain kinds of architecture. The 1st/2nd century Black Pig’s Dyke and Dorsey correspond with today’s Border. The concentration of souterrains in north Louth indicate that it may have been a volatile interface zone in later centuries. In 1618 Londonderry and its walls were built. Further north and two centuries later, Martello Towers were constructed to watch over Lough Foyle. During the Second World War pillboxes and observation posts were manned along the Border, close to what was now an international frontier. Then came the Operation Banner installations built during The Troubles. All this adds up to be one of the longest unbroken traditions of defensive architecture anywhere in Western Europe, a tradition some thought finally broken as the last of the Operation Banner towers were de-installed in 2007. But, take a bus south across the Border and you will often be pulled over by the Garda Síochána. They ID check the passengers in an attempt to stop illegal immigration via the UK. What about illegal immigrants who walk through the fields or along quiet lanes? They will have understood the Border is not really how it seems on most maps. It is not a solid line, it is a row of points.
Resumo:
In the closing months of 1994, the principal paramilitary organizations in Northern Ireland declared that their campaigns of violence were at an end. The cease-fires called by republican and loyalist groupings represented the most significant heralds of a complex process of conflict transformation that continues to unfold even twenty years on. In this introduction, we set out to map the key developments that have shaped the tortuous narrative of the Northern Irish 'peace process', thereby providing the historical backdrop for the articles that follow. While remarkable progress has been made over the two decades since the paramilitary cease-fires, the political context and future of the region remain rather more fraught than is often assumed abroad. It is perhaps best, then, to speak of the six counties in terms not of resolution but rather of ambiguity. Twenty years on from the optimism that greeted the paramilitary cease-fires, Northern Ireland retains the essential 'inbetweenness' of a political space that has moved from a 'long war' through a 'long peace' and into a profoundly undecided future. © 2014 Taylor & Francis Group, LLC.
Resumo:
Aircraft design is a complex, long and iterative process that requires the use of various specialties and optimization tools. However these tools and specialities do not include manufacturing, which is often considered later in the product development process leading to higher cost and time delays. This work focuses on the development of an automated design tool that accounts for manufacture during the design process focusing on early geometry definition which in turn informs assembly planning. To accomplish this task the design process needs to be open to any variation in structural configuration while maintaining the design intent. Redefining design intent as a map which links a set of requirements to a set of functions using a numerical approach enables the design process itself to be considered as a mathematical function. This definition enables the design process to utilise captured design knowledge and translate it into a set of mathematical equations that design the structure. This process is articulated in this paper using the structural design and definition for an aircraft fuselage section as an exemplar.
Resumo:
Soil gas emissions of methane and carbon dioxide on brownfield sites are usually attributed to anthropogenic activities; however geogenic sources of soil gas are often not considered during site investigation and risk management strategies. This paper presents a field study at a redeveloped brownfield site on a flood plain to identify accumulations of methane biogas trapped in underlying sediments. The investigation is based on a multidisciplinary approach using direct multi-level sampling measurements and Earth resistivity tomography . Resistivity imaging was applied to evaluate the feasibility of identifying the size and spatial continuity of soil gas accumulations in anthropogenic and naturally occurring deposits. As a result, biogas accumulations are described within both anthropogenic deposits and pristine organic sediments. This result is important to identify the correct approaches to identify and manage risks associated with soil gas emissions on brownfield and pristine sites. The organic-rich sediments in Quaternary fluvial environments of São Paulo Basin in particular the Tietê River, biogas reservoirs can be generated and trapped beneath geogenic and anthropogenic layers, potentially requiring the management of brownfield developments across this region.
Resumo:
We propose a methodology for optimizing the execution of data parallel (sub-)tasks on CPU and GPU cores of the same heterogeneous architecture. The methodology is based on two main components: i) an analytical performance model for scheduling tasks among CPU and GPU cores, such that the global execution time of the overall data parallel pattern is optimized; and ii) an autonomic module which uses the analytical performance model to implement the data parallel computations in a completely autonomic way, requiring no programmer intervention to optimize the computation across CPU and GPU cores. The analytical performance model uses a small set of simple parameters to devise a partitioning-between CPU and GPU cores-of the tasks derived from structured data parallel patterns/algorithmic skeletons. The model takes into account both hardware related and application dependent parameters. It computes the percentage of tasks to be executed on CPU and GPU cores such that both kinds of cores are exploited and performance figures are optimized. The autonomic module, implemented in FastFlow, executes a generic map (reduce) data parallel pattern scheduling part of the tasks to the GPU and part to CPU cores so as to achieve optimal execution time. Experimental results on state-of-the-art CPU/GPU architectures are shown that assess both performance model properties and autonomic module effectiveness. © 2013 IEEE.
Resumo:
his paper uses fuzzy-set ideal type analysis to assess the conformity of European leave regulations to four theoretical ideal typical divisions of labour: male breadwinner, caregiver parity, universal breadwinner and universal caregiver. In contrast to the majority of previous studies, the focus of this analysis is on the extent to which leave regulations promote gender equality in the family and the transformation of traditional gender roles. The results of this analysis demonstrate that European countries cluster into five models that only partly coincide with countries’ geographical proximity. Second, none of the countries considered constitutes a universal caregiver model, while the male breadwinner ideal continues to provide the normative reference point for parental leave regulations in a large number of European states. Finally, we witness a growing emphasis at the national and EU levels concerning the universal breadwinner ideal, which leaves gender inequality in unpaid work unproblematized.
Resumo:
A technique for optimizing the efficiency of the sub-map method for large-scale simultaneous localization and mapping (SLAM) is proposed. It optimizes the benefits of the sub-map technique to improve the accuracy and consistency of an extended Kalman filter (EKF)-based SLAM. Error models were developed and engaged to investigate some of the outstanding issues in employing the sub-map technique in SLAM. Such issues include the size (distance) of an optimal sub-map, the acceptable error effect caused by the process noise covariance on the predictions and estimations made within a sub-map, when to terminate an existing sub-map and start a new one and the magnitude of the process noise covariance that could produce such an effect. Numerical results obtained from the study and an error-correcting process were engaged to optimize the accuracy and convergence of the Invariant Information Local Sub-map Filter previously proposed. Applying this technique to the EKF-based SLAM algorithm (a) reduces the computational burden of maintaining the global map estimates and (b) simplifies transformation complexities and data association ambiguities usually experienced in fusing sub-maps together. A Monte Carlo analysis of the system is presented as a means of demonstrating the consistency and efficacy of the proposed technique.
Resumo:
We undertake a detailed study of the sets of multiplicity in a second countable locally compact group G and their operator versions. We establish a symbolic calculus for normal completely bounded maps from the space B(L-2(G)) of bounded linear operators on L-2 (G) into the von Neumann algebra VN(G) of G and use it to show that a closed subset E subset of G is a set of multiplicity if and only if the set E* = {(s,t) is an element of G x G : ts(-1) is an element of E} is a set of operator multiplicity. Analogous results are established for M-1-sets and M-0-sets. We show that the property of being a set of multiplicity is preserved under various operations, including taking direct products, and establish an Inverse Image Theorem for such sets. We characterise the sets of finite width that are also sets of operator multiplicity, and show that every compact operator supported on a set of finite width can be approximated by sums of rank one operators supported on the same set. We show that, if G satisfies a mild approximation condition, pointwise multiplication by a given measurable function psi : G -> C defines a closable multiplier on the reduced C*-algebra G(r)*(G) of G if and only if Schur multiplication by the function N(psi): G x G -> C, given by N(psi)(s, t) = psi(ts(-1)), is a closable operator when viewed as a densely defined linear map on the space of compact operators on L-2(G). Similar results are obtained for multipliers on VN(C).
Resumo:
A constitutive equation was established to describe the deformation behavior of a nitride-strengthened (NS) steel through isothermal compression simulation test. All the parameters in the constitutive equation including the constant and the activation energy were precisely calculated for the NS steel. The result also showed that from the stress-strain curves, there existed two different linear relationships between critical stress and critical strain in the NS steel due to the augmentation of auxiliary softening effect of the dynamic strain-induced transformation. In the calculation of processing maps, with the change of Zener-Hollomon value, three domains of different levels of workability were found, namely excellent workability region with equiaxed-grain microstructure, good workability region with “stripe” microstructure, and the poor workability region with martensitic-ferritic blend microstructure. With the increase of strain, the poor workability region first expanded, then shrank to barely existing, but appeared again at the strain of 0.6.
Resumo:
We show that, if M is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, L is a commutative subspace lattice and P is the lattice of all projections on a separable Hilbert space, then L⊗M⊗P is reflexive. If M is moreover an atomic Boolean subspace lattice while L is any subspace lattice, we provide a concrete lattice theoretic description of L⊗M in terms of projection valued functions defined on the set of atoms of M . As a consequence, we show that the Lattice Tensor Product Formula holds for AlgM and any other reflexive operator algebra and give several further corollaries of these results.
Resumo:
In May 2006 the Arts Council commissioned an independent review of the context and issues affecting professional ballet in Ireland. The findings were subsequently collated in a policy paper entitled Towards a Strategy of Support for Professional Ballet in Ireland, which was published in 2007 and adopted by the Council in the same year. The report acknowledged ballet as an integral part of cultural life and its importance to the development of many forms of professional dance. The document set forth a number of recommendations that have since formed the basis of art-form policy and funding relationships with ballet organisations.
In parallel since then, a number of important changes have taken place within the ballet sector. Some of these changes are the inevitable consequences of these difficult financial times. However, despite these funding challenges, the sector has managed to retain its vibrancy and popularity with national audiences. While the sector continues to evolve, the limited financial resources available to the Council have become an obstacle to implementing the road map envisioned in 2007. Given its significance and popularity, ballet remains an extraordinarily underdeveloped art form in Ireland. A key weakness of the sector is that future development of ballet provision remains fundamentally uncertain and is still overly dependent on the personal and professional commitment of a few individuals.
This review aims to analyse the current situation, discuss and consider how matters might be progressed and to propose a comprehensive framework for the development of ballet in Ireland. The purpose of the review is to provide an objective point of reference for the Arts Council‘s medium- term ballet policy and to inform and guide future public investment in the art form. The review also intends to progress the work undertaken since 2007 in response to the document Towards a Strategy of Support for Professional Ballet in Ireland.
Within a wider perspective, the review is expected to provide compelling evidence of ballet's relevance to Irish cultural life. It will also create an opportunity for the Council to engage with relevant stakeholders with a view to addressing the challenge of how best to provide for ballet on a sustainable basis within the context of a changed financial environment and an evolving professional sector. There is reason to expect this review will also assist the sector in giving voice to its aspirations and needs. This would certainly assist the Council in garnering support for a blueprint for the consolidation of professional ballet practice and education in Ireland.
It is envisioned the ballet policy review will be closely aligned to the Arts Council‘s own high-level objectives and will take account of developments that may arise from the broader process of strategic review the Council will undertake in 2014.
Resumo:
This work examines the conformational ensemble involved in β-hairpin folding by means of advanced molecular dynamics simulations and dimensionality reduction. A fully atomistic description of the protein and the surrounding solvent molecules is used, and this complex energy landscape is sampled by means of parallel tempering metadynamics simulations. The ensemble of configurations explored is analyzed using the recently proposed sketch-map algorithm. Further simulations allow us to probe how mutations affect the structures adopted by this protein. We find that many of the configurations adopted by a mutant are the same as those adopted by the wild-type protein. Furthermore, certain mutations destabilize secondary-structure-containing configurations by preventing the formation of hydrogen bonds or by promoting the formation of new intramolecular contacts. Our analysis demonstrates that machine-learning techniques can be used to study the energy landscapes of complex molecules and that the visualizations that are generated in this way provide a natural basis for examining how the stabilities of particular configurations of the molecule are affected by factors such as temperature or structural mutations.
Resumo:
We study the sensitivity of a MAP configuration of a discrete probabilistic graphical model with respect to perturbations of its parameters. These perturbations are global, in the sense that simultaneous perturbations of all the parameters (or any chosen subset of them) are allowed. Our main contribution is an exact algorithm that can check whether the MAP configuration is robust with respect to given perturbations. Its complexity is essentially the same as that of obtaining the MAP configuration itself, so it can be promptly used with minimal effort. We use our algorithm to identify the largest global perturbation that does not induce a change in the MAP configuration, and we successfully apply this robustness measure in two practical scenarios: the prediction of facial action units with posed images and the classification of multiple real public data sets. A strong correlation between the proposed robustness measure and accuracy is verified in both scenarios.