Enforcing Secure Object Initialization in Java

Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not following this recommendation as high. The solution currently used to enforce object initialization is to implement a coding pattern proposed by Sun, which is not formally checked. We propose a modular type system to formally specify the initialization policy of libraries or programs and a type checker to statically check at load time that all loaded classes respect the policy. This allows to prove the absence of bugs which have allowed some famous privilege escalations in Java. Our experimental results show that our safe default policy allows to prove 91% of classes of java.lang, java.security and javax.security safe without any annotation and by adding 57 simple annotations we proved all classes but four safe. The type system and its soundness theorem have been formalized and machine checked using Coq

Education Funding and Regional Convergence

The aim of this paper is to discuss the process of regional convergence within the framework of an overlapping generations model in which the engine of growth is the accumulation of human capital. In particular, we consider different education funding systems and compare their performance in terms of growth rates and pace of convergence between two heterogeneous regions. The analysis suggests that the choice of a particular education system incorporates a possible trade-off between long run growth rate and short run convergence. In such choice, the initial capital stock and the extent of regional human capital discrepancy appear as central variables.Altruism; education; growth; convergence; capital mobility

Panegirico de la insigne Virgen Santa Catarina martir [Texto impreso] : predicado en su Real Parroquia de Valencia el día 25 de Noviembre de 1770

Índices: Partes del texto en latínSign. : A-C4, D3Viñeta xil. en port.Letra inicial decorada y friso tip. en p. 7Notas a pie de pág. y reclamo

What is the initiation step of the Grubbs-Hoveyda olefin metathesis catalyst?

Density function theory calculations reveal that the Grubbs-Hoveyda olefin metathesis pre-catalyst is activated by the formation of a complex in which the incoming alkene substrate and outgoing alkoxy ligand are both clearly associated with the ruthenium centre. The computed energies for reaction are in good agreement with the experimental values, reported here

Enrichment of ultraconserved elements among genomic imbalances causing mental delay and congenital anomalies

<p>Abstract</p> <p>Background</p> <p>The ultraconserved elements (UCEs) are defined as stretches of at least 200 base pairs of human DNA that match identically with corresponding regions in the mouse and rat genomes, albeit their real significance remains an intriguing issue. These elements are most often located either overlapping exons in genes involved in RNA processing or in introns or nearby genes involved in the regulation of transcription and development. Interestingly, human UCEs have been reported to be strongly depleted among segmental duplications and benign copy number variants (CNVs). However no comprehensive survey of a putative enrichment of these elements among pathogenic dose variants has yet been reported.</p> <p>Results</p> <p>A survey for UCEs was performed among the 26 cryptic genomic rearrangements detected in our series of 200 patients with idiopathic neurodevelopmental disorders associated to congenital anomalies. A total of 29 elements, out of the 481 described UCEs, were contained in 13 of the 26 pathogenic gains or losses detected in our series, what represents a highly significant enrichment of ultraconserved elements. In addition, here we show that these elements are preferentially found in pathogenic deletions (enrichment ratio 3.6 vs. 0.5 in duplications), and that this association is not related with a higher content of genes. In contrast, pathogenic CNVs lacking UCEs showed almost a threefold higher content in genes.</p> <p>Conclusions</p> <p>We propose that these elements may be interpreted as hallmarks for dose-sensitive genes, particularly for those genes whose gain or loss may be directly implied in neurodevelopmental disorders. Therefore, their presence in genomic imbalances of unknown effect might be suggestive of a clinically relevant condition.</p

Endoscopic treatment (endoscopic balloon dilation/self-expandable metal stent) vs surgical resection for the treatment of de novo stenosis in Crohn's disease (ENDOCIR study): an open-label, multicentre, randomized trial

Crohn Disease; Self expandable metallic stents; Gastric dilatationEnfermedad de Crohn; Stents metálicos autoexpandibles; Dilatación gástricaMalaltia de Crohn; Pròtesis de stent; Dilatació gàstricaBackground: Stenosis is one of the most common complications in patients with Crohn's disease (CD). Endoscopic balloon dilation (EBD) is the treatment of choice for a short stenosis adjacent to the anastomosis from previous surgery. Self-expandable metal stents (SEMS) may be a suitable treatment option for longer stenoses. To date, however, there is no scientific evidence as to whether endoscopic (EBD/SEMS) or surgical treatment is the best approach for de novo or primary stenoses that are less than 10 cm in length. Methods/design: Exploratory study as "proof-of-concept", multicentre, open-label, randomized trial of the treatment of de novo stenosis in the CD; endoscopic treatment (EBD/SEMS) vs surgical resection (SR). The type of endoscopic treatment will initially be with EDB; if a therapeutic failure occurs, then a SEMS will be placed. We estimate 2 years of recruitment and 1 year of follow-up for the assessment of quality of life, costs, complications, and clinical recurrence. After the end of the study, patients will be followed up for 3 years to re-evaluate the variables over the long term. Forty patients with de novo stenosis in CD will be recruited from 15 hospitals in Spain and will be randomly assigned to the endoscopic or surgical treatment groups. The primary aim will be the evaluation of the patient quality of life at 1 year follow-up (% of patients with an increase of 30 points in the 32-item Inflammatory Bowel Disease Questionnaire (IBDQ-32). The secondary aim will be evaluation of the clinical recurrence rate, complications, and costs of both treatments at 1-year follow-up. Discussion: The ENDOCIR trial has been designed to determine whether an endoscopic or surgical approach is therapeutically superior in the treatment of de novo stenosis in CD.This study received a grant (FSEED; ) from the Spanish Society of Digestive Endoscopy in 2022. Taewoong provided the stents for the study free of charge, but had no role in the study design, data collection, data analysis, data interpretation, or writing of the report

Evolutionary Trends in the Mitochondrial Genome of Archaeplastida: How Does the GC Bias Affect the Transition from Water to Land?

[EN] Among the most intriguing mysteries in the evolutionary biology of photosynthetic organisms are the genesis and consequences of the dramatic increase in the mitochondrial and nuclear genome sizes, together with the concomitant evolution of the three genetic compartments, particularly during the transition from water to land. To clarify the evolutionary trends in the mitochondrial genome of Archaeplastida, we analyzed the sequences from 37 complete genomes. Therefore, we utilized mitochondrial, plastidial and nuclear ribosomal DNA molecular markers on 100 species of Streptophyta for each subunit. Hierarchical models of sequence evolution were fitted to test the heterogeneity in the base composition. The best resulting phylogenies were used for reconstructing the ancestral Guanine-Cytosine (GC) content and equilibrium GC frequency (GC*) using non-homogeneous and non-stationary models fitted with a maximum likelihood approach. The mitochondrial genome length was strongly related to repetitive sequences across Archaeplastida evolution; however, the length seemed not to be linked to the other studied variables, as different lineages showed diverse evolutionary patterns. In contrast, Streptophyta exhibited a powerful positive relationship between the GC content, non-coding DNA, and repetitive sequences, while the evolution of Chlorophyta reflected a strong positive linear relationship between the genome length and the number of genes.This research was funded by the European Commission (Environment - LIFE Programme) project for the Comunidad Valenciana (Spain), LIFE05 NAT/E/000060.Pedrola-Monfort, J.; Lázaro-Gimeno, D.; Boluda, CG.; Pedrola, L.; Garmendia, A.; Soler, C.; Soriano, JM. (2020). Evolutionary Trends in the Mitochondrial Genome of Archaeplastida: How Does the GC Bias Affect the Transition from Water to Land?. Plants. 9(3):1-15. https://doi.org/10.3390/plants9030358S1159

Assessment of the Nutritional Status, Diet and Intestinal Parasites in Hosted Saharawi Children

Since the early 1990s, Spanish humanitarian associations have welcomed Saharawi children from the refugee camps in Tindouf (Argelia). These children are the most affected by the lack of food, water, hygienic measures and health care. The main objective of this study was to analyze the anthropometric, nutritional and parasitological data of 38 Saharawi boys and girls (from 10 to 13 years old) under a holiday host program in the city of Valencia. Our results confirm that malnutrition and multiparasitism are highly frequent, so it is understood that living conditions in refugee camps continue to be precarious with a lack of proper hygiene and nutrition. Furthermore, biochemical alterations, lactose malabsorption and the risk of celiac disease, also detected in our study as a secondary objective, will complicate nutritional management and restoration of health. For this reason, sustainable feeding alternatives and interventions from a hygienic and nutritional point of view are proposed, emphasizing in an improvement in the education of parents and children

Fitting primitive shapes in point clouds: a practical approach to improve autonomous underwater grasp specification of unknown objects

This article presents research on the subject of autonomous underwater robot manipulation. Ongoing research in underwater robotics intends to increase the autonomy of intervention operations that require physical interaction in order to achieve social benefits in fields such as archaeology or biology that cannot afford the expenses of costly underwater operations using remote operated vehicles. Autonomous grasping is still a very challenging skill, especially in underwater environments, with highly unstructured scenarios, limited availability of sensors and adverse conditions that affect the robot perception and control systems. To tackle these issues, we propose the use of vision and segmentation techniques that aim to improve the specification of grasping operations on underwater primitive shaped objects. Several sources of stereo information are used to gather 3D information in order to obtain a model of the object. Using a RANSAC segmentation algorithm, the model parameters are estimated and a set of feasible grasps are computed. This approach is validated in both simulated and real underwater scenarios.This research was partly supported by Spanish Ministry of Research and Innovation DPI2011-27977-C03 (TRITON Project), by Foundation Caixa Castelló Bancaixa PI-1B2011-17, by Universitat Jaume I PhD grants PREDOC/2012/47 and PREDOC/ 2013/46, and by Generalitat Valenciana PhD grant ACIF/2014/298