980 resultados para FREE-SPACE


Relevância:

30.00% 30.00%

Publicador:

Resumo:

We compute the E-polynomial of the character variety of representations of a rank r free group in SL(3,C). Expanding upon techniques of Logares, Muñoz and Newstead (Rev. Mat. Complut. 26:2 (2013), 635-703), we stratify the space of representations and compute the E-polynomial of each geometrically described stratum using fibrations. Consequently, we also determine the E-polynomial of its smooth, singular, and abelian loci and the corresponding Euler characteristic in each case. Along the way, we give a new proof of results of Cavazos and Lawton (Int. J. Math. 25:6 (2014), 1450058).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Energy Department, Washington, D.C.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

pt. 1 Instrumentation evaluation and data analysis, by R. W. Bogle and R. J. Magnus.--pt. 2 Investigations of heat trasfer and aerodynamic stability, by O. R. Burggraf.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mobile and wearable computers present input/output prob-lems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on navigating their environment - making visually demanding interface designs hard to operate. This paper presents two multimodal interaction techniques designed to overcome these problems and allow truly mobile, 'eyes-free' device use. The first is a 3D audio radial pie menu that uses head gestures for selecting items. An evaluation of a range of different audio designs showed that egocentric sounds re-duced task completion time, perceived annoyance, and al-lowed users to walk closer to their preferred walking speed. The second is a sonically enhanced 2D gesture recognition system for use on a belt-mounted PDA. An evaluation of the system with and without audio feedback showed users' ges-tures were more accurate when dynamically guided by au-dio-feedback. These novel interaction techniques demon-strate effective alternatives to visual-centric interface de-signs on mobile devices.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

* The work is supported by RFBR, grant 04-01-00858-a.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Africas World Cup: Critical Reflections on Play, Patriotism, Spectatorship, and Space focuses on a remarkable month in the modern history of Africa and in the global history of football. Peter Alegi and Chris Bolsmann are well-known experts on South African football, and they have assembled an impressive team of local and international journalists, academics, and football experts to reflect on the 2010 World Cup and its broader significance, its meanings, complexities, and contradictions. The World Cups sounds, sights, and aesthetics are explored, along with questions of patriotism, nationalism, and spectatorship in Africa and around the world. Experts on urban design and communities write on how the presence of the World Cup worked to refashion urban spaces and negotiate the local struggles in the hosting cities. The volume is richly illustrated by authors photographs, and the essays in this volume feature chronicles of match day experiences; travelogues; ethnographies of fan cultures; analyses of print, broadcast, and electronic media coverage of the tournament; reflections on the World Cups private and public spaces; football exhibits in South African museums; and critiques of the World Cups processes of inclusion and exclusion, as well as its political and economic legacies. The volume concludes with a forum on the World Cup, including Thabo Dladla, Director of Soccer at the University of KwaZulu-Natal, Mohlomi Kekeletso Maubane, a well-known Soweto-based writer and a soccer researcher, and Rodney Reiners, former professional footballer and current chief soccer writer for the Cape Argus newspaper in Cape Town. This collection will appeal to students, scholars, journalists, and fans. Cover illustration: South African fan blowing his vuvuzela at South Africa vs. France, Free State Stadium, Bloemfontein, June 22, 2010. Photo by Chris Bolsmann.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This dissertation proposed a self-organizing medium access control protocol (MAC) for wireless sensor networks (WSNs). The proposed MAC protocol, space division multiple access (SDMA), relies on sensor node position information and provides sensor nodes access to the wireless channel based on their spatial locations. SDMA divides a geographical area into space divisions, where there is one-to-one map between the space divisions and the time slots. Therefore, the MAC protocol requirement is the sensor node information of its position and a prior knowledge of the one-to-one mapping function. The scheme is scalable, self-maintaining, and self-starting. It provides collision-free access to the wireless channel for the sensor nodes thereby, guarantees delay-bounded communication in real time for delay sensitive applications. This work was divided into two parts: the first part involved the design of the mapping function to map the space divisions to the time slots. The mapping function is based on a uniform Latin square. A Uniform Latin square of order k = m 2 is an k x k square matrix that consists of k symbols from 0 to k-1 such that no symbol appears more than once in any row, in any column, or in any m x in area of main subsquares. The uniqueness of each symbol in the main subsquares presents very attractive characteristic in applying a uniform Latin square to time slot allocation problem in WSNs. The second part of this research involved designing a GPS free positioning system for position information. The system is called time and power based localization scheme (TPLS). TPLS is based on time difference of arrival (TDoA) and received signal strength (RSS) using radio frequency and ultrasonic signals to measure and detect the range differences from a sensor node to three anchor nodes. TPLS requires low computation overhead and no time synchronization, as the location estimation algorithm involved only a simple algebraic operation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Helicopter-borne electromagnetic sea ice thickness measurements were performed over the Transpolar Drift in late summers of 2001, 2004, and 2007, continuing ground-based measurements since 1991. These show an ongoing reduction of modal and mean ice thicknesses in the region of the North Pole of up to 53 and 44%, respectively, since 2001. A buoy derived ice age model showed that the thinning was mainly due to a regime shift from predominantly multi- and second-year ice in earlier years to first-year ice in 2007, which had modal and mean summer thicknesses of 0.9 and 1.27 m. Measurements of second-year ice which still persisted at the North Pole in April 2007 indicate a reduction of late-summer second-year modal and mean ice thicknesses since 2001 of 20 and 25% to 1.65 and 1.81 m, respectively. The regime shift to younger and thinner ice could soon result in an ice free North Pole during summer.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This dissertation examined the response to termination of CO2 enrichment of a forest ecosystem exposed to long-term elevated atmospheric CO2 condition, and aimed at investigating responses and their underlying mechanisms of two important factors of carbon cycle in the ecosystem, stomatal conductance and soil respiration. Because the contribution of understory vegetation to the entire ecosystem grew with time, we first investigated the effect of elevated CO2 on understory vegetation. Potential growth enhancing effect of elevated CO2 were not observed, and light seemed to be a limiting factor. Secondly, we examined the importance of aerodynamic conductance to determine canopy conductance, and found that its effect can be negligible. Responses of stomatal conductance and soil respiration were assessed using Bayesian state space model. In two years after the termination of CO2 enrichment, stomatal conductance in formerly elevated CO2 returned to ambient level, while soil respiration became smaller than ambient level and did not recovered to ambient in two years.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Free energy calculations are a computational method for determining thermodynamic quantities, such as free energies of binding, via simulation.

Currently, due to computational and algorithmic limitations, free energy calculations are limited in scope.

In this work, we propose two methods for improving the efficiency of free energy calculations.

First, we expand the state space of alchemical intermediates, and show that this expansion enables us to calculate free energies along lower variance paths.

We use Q-learning, a reinforcement learning technique, to discover and optimize paths at low computational cost.

Second, we reduce the cost of sampling along a given path by using sequential Monte Carlo samplers.

We develop a new free energy estimator, pCrooks (pairwise Crooks), a variant on the Crooks fluctuation theorem (CFT), which enables decomposition of the variance of the free energy estimate for discrete paths, while retaining beneficial characteristics of CFT.

Combining these two advancements, we show that for some test models, optimal expanded-space paths have a nearly 80% reduction in variance relative to the standard path.

Additionally, our free energy estimator converges at a more consistent rate and on average 1.8 times faster when we enable path searching, even when the cost of path discovery and refinement is considered.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In 2015, the Sydenham Street Revived pop-up park project (SSR) transformed Sydenham Street between Princess and Queen Streets into a temporary pedestrian-only public space. The goal of the project was to test out the idea of permanently pedestrianizing this street section. But what did this urban experiment ultimately prove? Using video footage, photographs, and observations recorded before and during the project, this report analyzes the use of the space in order to evaluate the claim that SSR created a successful public space and to make recommendations for a permanent public space on Sydenham Street. Two research methods were used: quantitative data collection, consisting of headcounts of both pedestrians and stationary users of the space; and a qualitative observational survey, based on the criteria for successful public spaces developed by the Project for Public Spaces. Data collection occurred two days one week prior to the project, and two days during the project, on days that were similar in terms of temperature and weather. The research revealed that the SSR did create a successful public space, although additional research is needed in order to determine how the space would function as a public place throughout different seasons, to study the street closure’s impact on surrounding residents and businesses, and to understand how private commercial activity would influence use. Recommendations for a permanent public space on Sydenham Street include considerations for flexible street design and a continuous, barrier-free surface; ensuring that there is an abundance of places to sit; making opportunities for public and community-created art; and to improve walkability by connecting the grid using a mid-block walkway.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This reports summarises research that began in March 2014 and was completed in October 2015 by an experienced inter-disciplinary research team from the Centre for Social Justice and Change and Psycho-Social Research Group, School of Social Sciences, the University of East London (UEL) and included Dr Yang Li from the Centre for Geo-Information Studies, UEL, for the first phase of the study. Tottenham ‘Thinking Space’ (TTS) was a pilot therapeutic initiative based in local communities and delivered by the Tavistock & Portman NHS Foundation Trust and funded by the London Borough of Haringey Directorate of Public Health. TTS aimed to improve mental health and enable and empower local communities. TTS was situated within a mental health agenda that was integral to Haringey’s Health and Wellbeing Strategy 2012-2015 and aimed to encourage people to help themselves and each other and develop confident communities. On the one hand TTS was well-suited to this agenda, but, on the other, participants were resistant to, and were trying to free themselves from labelling that implied ‘mental health difficulties’. A total of 243 meetings were held and 351 people attended 1,716 times. The majority of participants attended four times or less, and 33 people attended between 5 and 10 times and 39 people attended over 10 times. Attending a small number of times does not necessarily mean that the attendee was not helped. Attendees reflected the ethnic diversity of Tottenham; 29 different ethnic groups attended. The opportunity to meet with people from different cultural backgrounds in a safe space was highly valued by attendees. Similarly, participants valued the wide age range represented and felt that they benefited from listening to inter-generational experiences. The majority of participants were women (72%) and they were instrumental in initiating further Thinking Spaces, topic specific meetings, the summer programme of activities for mothers and young children and training to meet their needs. The community development worker had a key role in implementing the initiative and sustaining its growth throughout the pilot period. We observed that TTS attracted those whose life experiences were marked by personal struggle and trauma. Many participants felt safe enough to disclose mental health difficulties (85% of those who completed a questionnaire). Participants also came seeking a stronger sense of community in their local area. Key features of the meetings are that they are democratic, non-judgemental, respectful, and focussed on encouraging everyone to listen and to try to understand. We found that the therapeutic method was put in place by high quality facilitators and health and personal outcomes for participants were consistent with those predicted by the underpinning psychoanalytical and systemic theories. Outcomes included a reduction in anxieties and improved personal and social functioning; approximately two thirds of those who completed a questionnaire felt better understood, felt more motivated and more hopeful for the future. The overwhelming majority of survey respondents also felt good about contributing to their community, said that they were more able to cooperate with others and accepting of other cultures, and had made new friends. Participants typically had a better understanding of their current situation and how to take positive action; of those who completed a questionnaire, over half felt more confident to seek support for a personal issue and to contact services. Members of TTS supported each other and instilled hope and build community-mindedness that reduced social isolation.