Constraint algorithm for k-presymplectic Hamiltonian systems. Application to singular field theories

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.

Vulnerability assessment of distributed systems

In this project I have carried out a vulnerability assessment of a component of the Condor Middleware. In this assessment I have sought and found the more dangerous software vulnerabilities of this system, I have reported them to the development team such that they may be fixed, and thus improve the security of this distributed system, and the networks that use it.

The sustainability of a Spanish Regional Virtual Library

Objectives: The Andalusian Health e-Library (BV-SSPA) is the National Health Library in the region of Andalusia (Spain). It is a corporate hospital library created in 2006. The year 2012 is a turning point for the Spanish economy, and the BV-SSPA has to demonstrate that it is cost-effective and sustainable. Methods: Andalusia is a wide Spanish region with more than 8 million inhabitants, more than 100,000 health professionals for 41 hospitals, 1,500 primary health care centers, and 28 centers for nonmedical attention purposes, and the BV-SSPA was created to cover all these health services. It was appointed the only intermediary for contracting electronic resources destined to the Andalusian Health System. Hospitals are not allowed to subscribe any resources, and the same services are offered for the whole system. Results: In 2011, the BV-SSPA reached the biggest electronic health sciences resource collection in Spain: a total amount of 2,431 subscribed titles, besides 8 databases and other scientific information resources. The following goals were also achieved: • Cost-effectiveness: In 2011, the BV-SSPA represented a saving percentage of 25.42% compared to the individual hospital subscription costs if they would have continued their contracting. • Efficiency: Central purchasing has meant for the Andalusian health professionals, the democracy of research resource access. Some services were also created: • integrated and safe remote access to all the library resources independent of the user’s location • citizenship website, where the resources for citizenship are grouped • Centralized Document Supply Service, focusing all the article orders from and for the Andalusian Health System • institutional repository, which contains the whole intellectual, scientific production generated by the Andalusian health professionals • computer application to study the Andalusian health system scientific production • Social media as instrument for communicating with users • science web, a defined space for researchers. Conclusions: Although Andalusia is facing a dreadful economic situation, the BV-SSPA has demonstrated its sustainability: • For 2012 renewals, it carried out a statistics study allowing obtaining enough data for deciding which titles were not being discharged by users. • Titles with no discharges or without impact factor were rejected after strong negotiation with suppliers, as the BV-SSPA after 6 years on, is considered a strong dealer by them. • This meant savings of 14% from the original budget for 2012, which allowed the continuity of the BV-SSPA without decreasing the quality offered to their users.

Automated quantitative histology reveals vascular morphodynamics during Arabidopsis hypocotyl secondary growth.

Among various advantages, their small size makes model organisms preferred subjects of investigation. Yet, even in model systems detailed analysis of numerous developmental processes at cellular level is severely hampered by their scale. For instance, secondary growth of Arabidopsis hypocotyls creates a radial pattern of highly specialized tissues that comprises several thousand cells starting from a few dozen. This dynamic process is difficult to follow because of its scale and because it can only be investigated invasively, precluding comprehensive understanding of the cell proliferation, differentiation, and patterning events involved. To overcome such limitation, we established an automated quantitative histology approach. We acquired hypocotyl cross-sections from tiled high-resolution images and extracted their information content using custom high-throughput image processing and segmentation. Coupled with automated cell type recognition through machine learning, we could establish a cellular resolution atlas that reveals vascular morphodynamics during secondary growth, for example equidistant phloem pole formation. DOI: http://dx.doi.org/10.7554/eLife.01567.001.

Hereditary completeness for systems of exponentials and reproducing kernels

Vegeu el resum a l'inici del document del fitxer adjunt.

KAM theory for conformally symplectic systems

We present a KAM theory for some dissipative systems (geometrically, these are conformally symplectic systems, i.e. systems that transform a symplectic form into a multiple of itself). For systems with n degrees of freedom depending on n parameters we show that it is possible to find solutions with n-dimensional (Diophantine) frequencies by adjusting the parameters. We do not assume that the system is close to integrable, but we use an a-posteriori format. Our unknowns are a parameterization of the solution and a parameter. We show that if there is a sufficiently approximate solution of the invariance equation, which also satisfies some explicit non–degeneracy conditions, then there is a true solution nearby. We present results both in Sobolev norms and in analytic norms. The a–posteriori format has several consequences: A) smooth dependence on the parameters, including the singular limit of zero dissipation; B) estimates on the measure of parameters covered by quasi–periodic solutions; C) convergence of perturbative expansions in analytic systems; D) bootstrap of regularity (i.e., that all tori which are smooth enough are analytic if the map is analytic); E) a numerically efficient criterion for the break–down of the quasi–periodic solutions. The proof is based on an iterative quadratically convergent method and on suitable estimates on the (analytical and Sobolev) norms of the approximate solution. The iterative step takes advantage of some geometric identities, which give a very useful coordinate system in the neighborhood of invariant (or approximately invariant) tori. This system of coordinates has several other uses: A) it shows that for dissipative conformally symplectic systems the quasi–periodic solutions are attractors, B) it leads to efficient algorithms, which have been implemented elsewhere. Details of the proof are given mainly for maps, but we also explain the slight modifications needed for flows and we devote the appendix to present explicit algorithms for flows.

Multispectral brain morphometry in Tourette syndrome persisting into adulthood.

Tourette syndrome is a childhood-onset neuropsychiatric disorder with a high prevalence of attention deficit hyperactivity and obsessive-compulsive disorder co-morbidities. Structural changes have been found in frontal cortex and striatum in children and adolescents. A limited number of morphometric studies in Tourette syndrome persisting into adulthood suggest ongoing structural alterations affecting frontostriatal circuits. Using cortical thickness estimation and voxel-based analysis of T1- and diffusion-weighted structural magnetic resonance images, we examined 40 adults with Tourette syndrome in comparison with 40 age- and gender-matched healthy controls. Patients with Tourette syndrome showed relative grey matter volume reduction in orbitofrontal, anterior cingulate and ventrolateral prefrontal cortices bilaterally. Cortical thinning extended into the limbic mesial temporal lobe. The grey matter changes were modulated additionally by the presence of co-morbidities and symptom severity. Prefrontal cortical thickness reduction correlated negatively with tic severity, while volume increase in primary somatosensory cortex depended on the intensity of premonitory sensations. Orbitofrontal cortex volume changes were further associated with abnormal water diffusivity within grey matter. White matter analysis revealed changes in fibre coherence in patients with Tourette syndrome within anterior parts of the corpus callosum. The severity of motor tics and premonitory urges had an impact on the integrity of tracts corresponding to cortico-cortical and cortico-subcortical connections. Our results provide empirical support for a patho-aetiological model of Tourette syndrome based on developmental abnormalities, with perturbation of compensatory systems marking persistence of symptoms into adulthood. We interpret the symptom severity related grey matter volume increase in distinct functional brain areas as evidence of ongoing structural plasticity. The convergence of evidence from volume and water diffusivity imaging strengthens the validity of our findings and attests to the value of a novel multimodal combination of volume and cortical thickness estimations that provides unique and complementary information by exploiting their differential sensitivity to structural change.

Electronic voting system for computer supported collaborative learning

The EVS4CSCL project starts in the context of a Computer Supported Collaborative Learning environment (CSCL). Previous UOC projects created a CSCL generic platform (CLPL) to facilitate the development of CSCL applications. A discussion forum (DF) was the first application developed over the framework. This discussion forum was different from other products on the marketplace because of its focus on the learning process. The DF carried out the specification and elaboration phases from the discussion learning process but there was a lack in the consensus phase. The consensus phase in a learning environment is not something to be achieved but tested. Common tests are done by Electronic Voting System (EVS) tools, but consensus test is not an assessment test. We are not evaluating our students by their answers but by their discussion activity. Our educational EVS would be used as a discussion catalyst proposing a discussion about the results after an initial query or it would be used after a discussion period in order to manifest how the discussion changed the students mind (consensus). It should be also used by the teacher as a quick way to know where the student needs some reinforcement. That is important in a distance-learning environment where there is no direct contact between the teacher and the student and it is difficult to detect the learning lacks. In an educational environment, assessment it is a must and the EVS will provide direct assessment by peer usefulness evaluation, teacher marks on every query created and indirect assessment from statistics regarding the user activity.

Learning about Distributed Systems

This paper presents the "state of the art" about distributed systems and applications and it's focused on teaching about these systems. It presents different platforms where to run distributed applications and describes some development toolkits whose can be used to develop prototypes, practices and distributed applications. It also presents some existing distributed algorithms useful for class practices, and some tools to help managing distributed environments. Finally, the paper presents some teaching experiences with different approaches on how to teach about distributed systems.

How to manage a virtual library?

Introduction. The Andalusian Public Health System Virtual Library (Biblioteca Virtual del Sistema Sanitario Público de Andalucía, BV-SSPA) was created in June 2006, after being determined by the II Quality Plan in the key process Guarantee the Knowledge Exchange into the Health System which was established by the Strategy IV, Knowledge Management, 2005-2008. It is a government strategy with its own budget and management with the aim of rationalizing the subscriptions into the Andalusian Health System and democratizing the health professional access to qualify scientific information, regardless of the professional workplace. Andalusia is a wide region with more than 8 million inhabitants, more than 90,000 health professionals for 41 hospitals, 1,500 primary healthcare centres, and 12 centres for non-medical attention purposes, and the Virtual Library was created to cover all this Health Services. Before the creation of the BV-SSPA every centre had its own budget and management decisions concerning scientific resources, with the creation of the BV-SSPA both management and budget were centralized. Objectives. With this work we pretend to analyze if the results after these five years have reached the expectations from an economic point of view and determine if really we can offer a benefit to the Andalusian Professional and Society in general. We will demonstrate the following: - The BV-SSPA supposed a cost reduction. It meant cost-effectiveness. - It resulted in Economics of Scale, as we have every year more resources and services investing a minor proportional amount of money. - In terms of Efficiency it implemented more services than the System had before its creation, we a lower budget. Methods. The BV-SSPA was appointed the only intermediary for contracting electronic resources destined to the Andalusian Health System. This had some consequences which should be analyzed: - Hospitals were not allowed to subscribe any resources. - Services offered for the whole System. - A remote access system was created. - Tools to give more visibility to the Public Health System were developed. - Negotiations techniques changed as the BV-SSPA is stronger than individual hospitals. Results. - The amount of 2,431 electronic reviews, 8 data bases and other scientific information resources at the disposal of the Andalusian Health System Professionals and available worldwide requiring only an internet connection. Before the BV-SSPA, 5,267 titles were subscribed by hospital and 2,967 of them were subscribed repeatedly (by two or more hospitals), this represented more than 55%. The rationalization of the subscription investment has been reached. - The establishment of several important scientific services for the whole territory of Andalusia, not only big hospitals. - The use of appropriate tools through a Web 2.0 and Social Media to be acknowledged by most National Health Professionals. Conclusions. It has been demonstrated that the BV-SSPA has become the Central Unit for purchasing, offering librarian services and a reference for users in terms of knowledge management, but from the point of view of business it has also obtained the following results: - Cost-Effectiveness: Its budget for subscriptions is lower than the hospital former one in a 30% and now more electronic resources are available. - Economics of Scale: Near 95,000 health professionals can access this Virtual Library in 2010. Before its creation Professionals for small hospital and Primary Care centres were not able to access to scientific information subscribed by big hospitals. - Efficiency Besides the central electronic purchasing, services were created for the System, without increasing the expenses: - Remote access to all the library resources independent of the user’s location. The BV-SSPA usage increased in a 147% in 2008, when it was installed. - The Document Supply Service implemented in 2009. - The Institutional Repository which contains the whole intellectual, scientific production generated by the Andalusian Public Health Professionals as a result of their healthcare, research or managing activity. - The creation of an application developed by the BV-SSPA to study the Andalusian Health System Scientific Production. - The visibility of the Andalusian Health System reached thanks to the BV-SSPA, through the numerous events in which it participates and organizes such as the 2nd. European National Digital Libraries of Health Conferences and the National Conference of Health Science Information and Documentation held in Cadiz in 2010; and its profile in social media where it can be contacted by citizens and health professionals all over the world. - Negotiation with electronic resource suppliers is much more advantageous as the BV-SSPA is stronger to deal with them thanks to its consolidated budget, its managing independence and its visibility.

Assessing the viability of power-supply systems: a tentative protocol

This Technical Report presents a tentative protocol used to assess the viability of powersupply systems. The viability of power-supply systems can be assessed by looking at the production factors (e.g. paid labor, power capacity, fossil-fuels) – needed for the system to operate and maintain itself – in relation to the internal constraints set by the energetic metabolism of societies. In fact, by using this protocol it becomes possible to link assessments of technical coefficients performed at the level of the power-supply systems with assessments of benchmark values performed at the societal level throughout the relevant different sectors. In particular, the example provided here in the case of France for the year 2009 makes it possible to see that in fact nuclear energy is not viable in terms of labor requirements (both direct and indirect inputs) as well as in terms of requirements of power capacity, especially when including reprocessing operations.

Identification of the SPLUNC1 ENaC-inhibitory domain yields novel strategies to treat sodium hyperabsorption in cystic fibrosis airway epithelial cultures.

The epithelial sodium channel (ENaC) is responsible for Na(+) and fluid absorption across colon, kidney, and airway epithelia. Short palate lung and nasal epithelial clone 1 (SPLUNC1) is a secreted, innate defense protein and an autocrine inhibitor of ENaC that is highly expressed in airway epithelia. While SPLUNC1 has a bactericidal permeability-increasing protein (BPI)-type structure, its NH2-terminal region lacks structure. Here we found that an 18 amino acid peptide, S18, which corresponded to residues G22-A39 of the SPLUNC1 NH2 terminus inhibited ENaC activity to a similar degree as full-length SPLUNC1 (∼2.5 fold), while SPLUNC1 protein lacking this region was without effect. S18 did not inhibit the structurally related acid-sensing ion channels, indicating specificity for ENaC. However, S18 preferentially bound to the βENaC subunit in a glycosylation-dependent manner. ENaC hyperactivity is contributory to cystic fibrosis (CF) lung disease. Unlike control, CF human bronchial epithelial cultures (HBECs) where airway surface liquid (ASL) height was abnormally low (4.2 ± 0.6 μm), addition of S18 prevented ENaC-led ASL hyperabsorption and maintained CF ASL height at 7.9 ± 0.6 μm, even in the presence of neutrophil elastase, which is comparable to heights seen in normal HBECs. Our data also indicate that the ENaC inhibitory domain of SPLUNC1 may be cleaved away from the main molecule by neutrophil elastase, suggesting that it may still be active during inflammation or neutrophilia. Furthermore, the robust inhibition of ENaC by the S18 peptide suggests that this peptide may be suitable for treating CF lung disease.

Additive functions in boolean models of gene regulatory network modules.

Gene-on-gene regulations are key components of every living organism. Dynamical abstract models of genetic regulatory networks help explain the genome's evolvability and robustness. These properties can be attributed to the structural topology of the graph formed by genes, as vertices, and regulatory interactions, as edges. Moreover, the actual gene interaction of each gene is believed to play a key role in the stability of the structure. With advances in biology, some effort was deployed to develop update functions in Boolean models that include recent knowledge. We combine real-life gene interaction networks with novel update functions in a Boolean model. We use two sub-networks of biological organisms, the yeast cell-cycle and the mouse embryonic stem cell, as topological support for our system. On these structures, we substitute the original random update functions by a novel threshold-based dynamic function in which the promoting and repressing effect of each interaction is considered. We use a third real-life regulatory network, along with its inferred Boolean update functions to validate the proposed update function. Results of this validation hint to increased biological plausibility of the threshold-based function. To investigate the dynamical behavior of this new model, we visualized the phase transition between order and chaos into the critical regime using Derrida plots. We complement the qualitative nature of Derrida plots with an alternative measure, the criticality distance, that also allows to discriminate between regimes in a quantitative way. Simulation on both real-life genetic regulatory networks show that there exists a set of parameters that allows the systems to operate in the critical region. This new model includes experimentally derived biological information and recent discoveries, which makes it potentially useful to guide experimental research. The update function confers additional realism to the model, while reducing the complexity and solution space, thus making it easier to investigate.

Identification of factors associated with diagnostic error in primary care.

BACKGROUND Missed, delayed or incorrect diagnoses are considered to be diagnostic errors. The aim of this paper is to describe the methodology of a study to analyse cognitive aspects of the process by which primary care (PC) physicians diagnose dyspnoea. It examines the possible links between the use of heuristics, suboptimal cognitive acts and diagnostic errors, using Reason's taxonomy of human error (slips, lapses, mistakes and violations). The influence of situational factors (professional experience, perceived overwork and fatigue) is also analysed. METHODS Cohort study of new episodes of dyspnoea in patients receiving care from family physicians and residents at PC centres in Granada (Spain). With an initial expected diagnostic error rate of 20%, and a sampling error of 3%, 384 episodes of dyspnoea are calculated to be required. In addition to filling out the electronic medical record of the patients attended, each physician fills out 2 specially designed questionnaires about the diagnostic process performed in each case of dyspnoea. The first questionnaire includes questions on the physician's initial diagnostic impression, the 3 most likely diagnoses (in order of likelihood), and the diagnosis reached after the initial medical history and physical examination. It also includes items on the physicians' perceived overwork and fatigue during patient care. The second questionnaire records the confirmed diagnosis once it is reached. The complete diagnostic process is peer-reviewed to identify and classify the diagnostic errors. The possible use of heuristics of representativeness, availability, and anchoring and adjustment in each diagnostic process is also analysed. Each audit is reviewed with the physician responsible for the diagnostic process. Finally, logistic regression models are used to determine if there are differences in the diagnostic error variables based on the heuristics identified. DISCUSSION This work sets out a new approach to studying the diagnostic decision-making process in PC, taking advantage of new technologies which allow immediate recording of the decision-making process.