988 resultados para Free Banach space


Relevância:

30.00% 30.00%

Publicador:

Resumo:

El trabajo que aquí se presenta surge de la necesidad de conceptualizar y profundizar sobre el uso productivo del tiempo libre de las personas adultas mayores. Se llevará a cabo una aproximación teórica sobre las diferentes concepciones de tiempo libre y ocio como dimensiones interdisciplinarias que involucran elementos referidos al entorno en donde personas y comunidades buscan integrarse en un tiempo y espacio determinado

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El trabajo que aquí se presenta surge de la necesidad de conceptualizar y profundizar sobre el uso productivo del tiempo libre de las personas adultas mayores. Se llevará a cabo una aproximación teórica sobre las diferentes concepciones de tiempo libre y ocio como dimensiones interdisciplinarias que involucran elementos referidos al entorno en donde personas y comunidades buscan integrarse en un tiempo y espacio determinado

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissolved barium has been shown to have the potential to distinguish Eurasian from North American (NA) river runoff. As part of the ARK-XXII/2 Polarstern expedition in summer 2007, Ba was analyzed in the Barents, Kara, Laptev seas, and the Eurasian Basins as well as the Makarov Basin up to the Alpha and Mendeleyev Ridges. By combining salinity, d18O and initial phosphate corrected for mineralization with oxygen (PO4*) or N/P ratios we identified the water mass fractions of meteoric water, sea ice meltwater, and marine waters of Atlantic as well as Pacific origin in the upper water column. In all basins inside the lower halocline layer and the Arctic intermediate waters we find Ba concentrations close to those of the Fram Strait branch of the lower halocline (41-45 nM), reflecting the composition of the incoming Atlantic water. A layer of upper halocline water (UHW) with higher Ba concentrations (45-55 nM) is identified in the Makarov Basin. Atop of the UHW, the Surface Mixed Layer (SML), including the summer and winter mixed layers, has high concentrations of Ba (58-67 nM). In the SML of the investigated area of the central Arctic the meteoric fraction can be identified by assuming a conservative behavior of Ba to be primarily of Eurasian river origin. However, in productive coastal regions biological removal compromises the use of Ba to distinguish between Eurasian and NA rivers. As a consequence, the NA river water fraction is underestimated in productive surface waters or waters that have passed a productive region, whereas this fraction is overestimated in subsurface waters containing remineralised Ba, particularly when these waters have passed productive shelf regions. Especially in the Laptev Sea and small regions in the Barents Sea, Ba concentrations are low in surface waters. In the Laptev Sea exceptionally high Ba concentrations in shelf bottom waters indicate that Ba is removed from surface waters to deep waters by biological activity enhanced by increasing ice-free conditions as well as by scavenging by organic matter of terrestrial origin. We interpret high Ba concentrations in the UHW of the Makarov Basin to result from enrichment by remineralisation in bottom waters on the shelf of the Chukchi Sea and therefore the calculated NA runoff is an artefact. We conclude that no NA runoff can be demonstrated unequivocally anywhere during our expedition with the set of tracers considered here. Small contributions of NA runoff may have been masked by Ba depletion and could only be resolved by supportive tracers on the uptake history. We thus suggest that Ba has to be used with care as it can put limits but not yield quantitative water mass distributions. Only if the extra Ba inputs exceed the cumulative biological uptake the signal can be unequivocally attributed to NA runoff.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We show the existence of free dense subgroups, generated by two elements, in the holomorphic shear and overshear group of complex-Euclidean space and extend this result to the group of holomorphic automorphisms of Stein manifolds with the density property, provided there exists a generalized translation. The conjugation operator associated to this generalized translation is hypercyclic on the topological space of holomorphic automorphisms.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The image by Computed Tomography is a non-invasive alternative for observing soil structures, mainly pore space. The pore space correspond in soil data to empty or free space in the sense that no material is present there but only fluids, the fluid transport depend of pore spaces in soil, for this reason is important identify the regions that correspond to pore zones. In this paper we present a methodology in order to detect pore space and solid soil based on the synergy of the image processing, pattern recognition and artificial intelligence. The mathematical morphology is an image processing technique used for the purpose of image enhancement. In order to find pixels groups with a similar gray level intensity, or more or less homogeneous groups, a novel image sub-segmentation based on a Possibilistic Fuzzy c-Means (PFCM) clustering algorithm was used. The Artificial Neural Networks (ANNs) are very efficient for demanding large scale and generic pattern recognition applications for this reason finally a classifier based on artificial neural network is applied in order to classify soil images in two classes, pore space and solid soil respectively.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A 3-year Project started on November 1 2010, financed by the European Commision within the FP-7 Space Program, and aimed at developing an efficient de-orbit system that could be carried on board by future spacecraft launched into LEO, will be presented. The operational system will deploy a thin uninsulated tape-tether to collect electrons as a giant Langmuir probe, using no propellant/no power supply, and generating power on board. This project will involve free-fall tests, and laboratory hypervelocity-impact and tether-current tests, and design/Manufacturing of subsystems: interface elements, electric control and driving module, electron-ejecting plasma contactor, tether-deployment mechanism/end-mass, and tape samples. Preliminary results to be presented involve: i) devising criteria for sizing the three disparate tape dimensions, affecting mass, resistance, current-collection, magnetic self-field, and survivability against debris itself; ii) assessing the dynamical relevance of tether parameters in implementing control laws to limit oscillations in /off the orbital plane, where passive stability may be marginal; iii) deriving a law for bare-tape current from numerical simulations and chamber tests, taking into account ambient magnetic field, ion ram motion, and adiabatic electron trapping; iv) determining requirements on a year-dormant hollow cathode under long times/broad emission-range operation, and trading-off against use of electron thermal emission; v) determining requirements on magnetic components and power semiconductors for a control module that faces high voltage/power operation under mass/volume limitations; vi) assessing strategies to passively deploy a wide conductive tape that needs no retrieval, while avoiding jamming and ending at minimum libration; vii) evaluating the tape structure as regards conductive and dielectric materials, both lengthwise and in its cross-section, in particular to prevent arcing in triple-point junctions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

As a fundamental contribution to limiting the increase of debris in the Space environment, a three-year project started on 1 November 2010 financed by the European Commission under the FP-7 Space Programme. It aims at developing a universal system to be carried on board future satellites launched into low Earth orbit (LEO), to allow de-orbiting at end of life. The operational system involves a conductive tape-tether left bare of insulation to establish anodic contact with the ambient plasma as a giant Langmuir probe. The project will size the three disparate dimensions of a tape for a selected de-orbit mission and determine scaling laws to allow system design for a general mission. It will implement control laws to restrain tether dynamics in/off the orbital plane; and will carry out plasma chamber measurements and numerical simulations of tether-plasma interaction. The project also involves the design and manufacturing of subsystems: electron-ejecting plasma contactors, an electric control and power module, interface elements, tether and deployment mechanisms, tether tape/end-mass as well as current collection plus free-fall, and hypervelocity impact tests.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The hierarchical properties of potential energy landscapes have been used to gain insight into thermodynamic and kinetic properties of protein ensembles. It also may be possible to use them to direct computational searches for thermodynamically stable macroscopic states, i.e., computational protein folding. To this end, we have developed a top-down search procedure in which conformation space is recursively dissected according to the intrinsic hierarchical structure of a landscape's effective-energy barriers. This procedure generates an inverted tree similar to the disconnectivity graphs generated by local minima-clustering methods, but it fundamentally differs in the manner in which the portion of the tree that is to be computationally explored is selected. A key ingredient is a branch-selection algorithm that takes advantage of statistically predictive properties of the landscape to guide searches down the tree branches that are most likely to lead to the physically relevant macroscopic states. Using the computational folding of a β-hairpin-forming peptide as an example, we show that such predictive properties indeed exist and can be used for structure prediction by free-energy global minimization.

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.