Development Life Cycle

Security in the Software Life Cycle This article emphasizes how developers need to make additional, significant increases in their processes, by adding structure and repeatability to further the security and quality of their software. by Joe Jarzombek and Karen Mercedes Goertze

Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

Restraint of appetite and reduced regional brain volumes in anorexia nervosa: a voxel-based morphometric study

<p>Abstract</p> <p>Background</p> <p>Previous Magnetic Resonance Imaging (MRI) studies of people with anorexia nervosa (AN) have shown differences in brain structure. This study aimed to provide preliminary extensions of this data by examining how different levels of appetitive restraint impact on brain volume.</p> <p>Methods</p> <p>Voxel based morphometry (VBM), corrected for total intracranial volume, age, BMI, years of education in 14 women with AN (8 RAN and 6 BPAN) and 21 women (HC) was performed. Correlations between brain volume and dietary restraint were done using Statistical Package for the Social Sciences (SPSS).</p> <p>Results</p> <p>Increased right dorsolateral prefrontal cortex (DLPFC) and reduced right anterior insular cortex, bilateral parahippocampal gyrus, left fusiform gyrus, left cerebellum and right posterior cingulate volumes in AN compared to HC. RAN compared to BPAN had reduced left orbitofrontal cortex, right anterior insular cortex, bilateral parahippocampal gyrus and left cerebellum. Age negatively correlated with right DLPFC volume in HC but not in AN; dietary restraint and BMI predicted 57% of variance in right DLPFC volume in AN.</p> <p>Conclusions</p> <p>In AN, brain volume differences were found in appetitive, somatosensory and top-down control brain regions. Differences in regional GMV may be linked to levels of appetitive restraint, but whether they are state or trait is unclear. Nevertheless, these discrete brain volume differences provide candidate brain regions for further structural and functional study in people with eating disorders.</p

Altered Error Processing following Vascular Thalamic Damage: Evidence from an Antisaccade Task

Event-related potentials (ERP) research has identified a negative deflection within about 100 to 150 ms after an erroneous response – the error-related negativity (ERN) - as a correlate of awareness-independent error processing. The short latency suggests an internal error monitoring system acting rapidly based on central information such as an efference copy signal. Studies on monkeys and humans have identified the thalamus as an important relay station for efference copy signals of ongoing saccades. The present study investigated error processing on an antisaccade task with ERPs in six patients with focal vascular damage to the thalamus and 28 control subjects. ERN amplitudes were significantly reduced in the patients, with the strongest ERN attenuation being observed in two patients with right mediodorsal and ventrolateral and bilateral ventrolateral damage, respectively. Although the number of errors was significantly higher in the thalamic lesion patients, the degree of ERN attenuation did not correlate with the error rate in the patients. The present data underline the role of the thalamus for the online monitoring of saccadic eye movements, albeit not providing unequivocal evidence in favour of an exclusive role of a particular thalamic site being involved in performance monitoring. By relaying saccade-related efference copy signals, the thalamus appears to enable fast error processing. Furthermore early error processing based on internal information may contribute to error awareness which was reduced in the patients

No Exit? Withdrawal Rights and the Law of Corporate Reorganizations

Bankruptcy scholarship is largely a debate about the comparative merits of a mandatory regime on one hand and bankruptcy by free design on the other. By the standard account, the current law of corporate reorganization is mandatory. Various rules that cannot be avoided ensure that investors’ actions are limited and they do not exercise their rights against specialized assets in a way that destroys the value of a business as a whole. These rules solve collective action problems and reduce the risk of bargaining failure. But there are costs to a mandatory regime. In particular, investors cannot design their rights to achieve optimal monitoring as they could in a system of bankruptcy by free design. This Article suggests that the academic debate has missed a fundamental feature of the law. Bankruptcy operates on legal entities, not on firms in the economic sense. For this reason, sophisticated investors do not face a mandatory regime at all. The ability of investors to place assets in separate entities gives them the ability to create specific withdrawal rights in the event the firm encounters financial distress. There is nothing mandatory about rules like the automatic stay when assets can be partitioned off into legal entities that are beyond the reach of the bankruptcy judge. Thus, by partitioning assets of one economic enterprise into different legal entities, investors can create a tailored bankruptcy regime. In this way, legal entities serve as building blocks that can be combined to create specific and varied but transparent investor withdrawal rights. This regime of tailored bankruptcy has been unrecognized and underappreciated and may be preferable to both mandatory and free design regimes. By allowing a limited number of investors to opt out of bankruptcy in a particular, discrete, and visible way, investors as a group may be able to both limit the risk of bargaining failure and at the same time enjoy the disciplining effect that a withdrawal right brings with it

The origins and spread of domestic horses from the Western Eurasian steppes

This is the final version. Available on open access from Nature Research via the DOI in this recordData availability: All collapsed and paired-end sequence data for samples sequenced in this study are available in compressed fastq format through the European Nucleotide Archive under accession number PRJEB44430, together with rescaled and trimmed bam sequence alignments against both the nuclear and mitochondrial horse reference genomes. Previously published ancient data used in this study are available under accession numbers PRJEB7537, PRJEB10098, PRJEB10854, PRJEB22390 and PRJEB31613, and detailed in Supplementary Table 1. The genomes of ten modern horses, publicly available, were also accessed as indicated in their corresponding original publications57,61,85-87.NOTE: see the published version available via the DOI in this record for the full list of authorsDomestication of horses fundamentally transformed long-range mobility and warfare. However, modern domesticated breeds do not descend from the earliest domestic horse lineage associated with archaeological evidence of bridling, milking and corralling at Botai, Central Asia around 3500 BC. Other longstanding candidate regions for horse domestication, such as Iberia and Anatolia, have also recently been challenged. Thus, the genetic, geographic and temporal origins of modern domestic horses have remained unknown. Here we pinpoint the Western Eurasian steppes, especially the lower Volga-Don region, as the homeland of modern domestic horses. Furthermore, we map the population changes accompanying domestication from 273 ancient horse genomes. This reveals that modern domestic horses ultimately replaced almost all other local populations as they expanded rapidly across Eurasia from about 2000 BC, synchronously with equestrian material culture, including Sintashta spoke-wheeled chariots. We find that equestrianism involved strong selection for critical locomotor and behavioural adaptations at the GSDMC and ZFPM1 genes. Our results reject the commonly held association between horseback riding and the massive expansion of Yamnaya steppe pastoralists into Europe around 3000 BC driving the spread of Indo-European languages. This contrasts with the scenario in Asia where Indo-Iranian languages, chariots and horses spread together, following the early second millennium BC Sintashta culture

ENIGMA-anxiety working group : Rationale for and organization of large-scale neuroimaging studies of anxiety disorders

Altres ajuts: Anxiety Disorders Research Network European College of Neuropsychopharmacology; Claude Leon Postdoctoral Fellowship; Deutsche Forschungsgemeinschaft (DFG, German Research Foundation, 44541416-TRR58); EU7th Frame Work Marie Curie Actions International Staff Exchange Scheme grant 'European and South African Research Network in Anxiety Disorders' (EUSARNAD); Geestkracht programme of the Netherlands Organization for Health Research and Development (ZonMw, 10-000-1002); Intramural Research Training Award (IRTA) program within the National Institute of Mental Health under the Intramural Research Program (NIMH-IRP, MH002781); National Institute of Mental Health under the Intramural Research Program (NIMH-IRP, ZIA-MH-002782); SA Medical Research Council; U.S. National Institutes of Health grants (P01 AG026572, P01 AG055367, P41 EB015922, R01 AG060610, R56 AG058854, RF1 AG051710, U54 EB020403).Anxiety disorders are highly prevalent and disabling but seem particularly tractable to investigation with translational neuroscience methodologies. Neuroimaging has informed our understanding of the neurobiology of anxiety disorders, but research has been limited by small sample sizes and low statistical power, as well as heterogenous imaging methodology. The ENIGMA-Anxiety Working Group has brought together researchers from around the world, in a harmonized and coordinated effort to address these challenges and generate more robust and reproducible findings. This paper elaborates on the concepts and methods informing the work of the working group to date, and describes the initial approach of the four subgroups studying generalized anxiety disorder, panic disorder, social anxiety disorder, and specific phobia. At present, the ENIGMA-Anxiety database contains information about more than 100 unique samples, from 16 countries and 59 institutes. Future directions include examining additional imaging modalities, integrating imaging and genetic data, and collaborating with other ENIGMA working groups. The ENIGMA consortium creates synergy at the intersection of global mental health and clinical neuroscience, and the ENIGMA-Anxiety Working Group extends the promise of this approach to neuroimaging research on anxiety disorders

Source patterns of potentially toxic elements (PTEs) and mining activity contamination level in soils of Taltal city (northern Chile)

Mining activities are among the main sources of potentially toxic elements (PTEs) in the environment which constitute a real concern worldwide, especially in developing countries. These activities have been carried out for more than a century in Chile, South America, where, as evidence of incorrect waste disposal practices, several abandoned mining waste deposits were left behind. This study aimed to understand multi-elements geochemistry, source patterns and mobility of PTEs in soils of the Taltal urban area (northern Chile). Topsoil samples (n = 125) were collected in the urban area of Taltal city (6 km2) where physicochemical properties (redox potential, electric conductivity and pH) as well as chemical concentrations for 35 elements were determined by inductively coupled plasma optical emission spectrometer. Data were treated following a robust workflow, which included factor analysis (based on ilr-transformed data), a new robust compositional contamination index (RCCI), and fractal/multi-fractal interpolation in GIS environment. This approach allowed to generate significant elemental associations, identifying pool of elements related either to the geological background, pedogenic processes accompanying soil formation or to anthropogenic activities. In particular, the study eventually focused on a pool of 6 PTEs (As, Cd, Cr, Cu, Pb, and Zn), their spatial distribution in the Taltal city, and the potential sources and mechanisms controlling their concentrations. Results showed generally low baseline values of PTEs in most sites of the surveyed area. On a smaller number of sites, however, higher values concentrations of As, Cd, Cu, Zn and Pb were found. These corresponded to very high RCCI contamination level and were correlated to potential anthropogenic sources, such as the abandoned mining waste deposits in the north-eastern part of the Taltal city. This study highlighted new and significant insight on the contamination levels of Taltal city, and its links with anthropogenic activities. Further research is considered to be crucial to extend this assessment to the entire region. This would provide a comprehensive overview and vital information for the development of intervention limits and guide environmental legislation for these pollutants in Chilean soils

The Origins and Spread of Domestic Horses from the Western Eurasian Steppes

Domestication of horses fundamentally transformed long-range mobility and warfare1. However, modern domesticated breeds do not descend from the earliest domestic horse lineage associated with archaeological evidence of bridling, milking and corralling2–4 at Botai, Central Asia around 3500 bc3. Other longstanding candidate regions for horse domestication, such as Iberia5 and Anatolia6, have also recently been challenged. Thus, the genetic, geographic and temporal origins of modern domestic horses have remained unknown. Here we pinpoint the Western Eurasian steppes, especially the lower Volga-Don region, as the homeland of modern domestic horses. Furthermore, we map the population changes accompanying domestication from 273 ancient horse genomes. This reveals that modern domestic horses ultimately replaced almost all other local populations as they expanded rapidly across Eurasia from about 2000 bc, synchronously with equestrian material culture, including Sintashta spoke-wheeled chariots. We find that equestrianism involved strong selection for critical locomotor and behavioural adaptations at the GSDMC and ZFPM1 genes. Our results reject the commonly held association7 between horseback riding and the massive expansion of Yamnaya steppe pastoralists into Europe around 3000 bc8,9 driving the spread of Indo-European languages10. This contrasts with the scenario in Asia where Indo-Iranian languages, chariots and horses spread together, following the early second millennium bc Sintashta culture11,12. © 2021, The Author(s).We thank all members of the AGES group at CAGT. We are grateful for the Museum of the Institute of Plant and Animal Ecology (UB RAS, Ekaterinburg) for providing specimens. The work by G. Boeskorov is done on state assignment of DPMGI SB RAS. This project was supported by the University Paul Sabatier IDEX Chaire d’Excellence (OURASI); Villum Funden miGENEPI research programme; the CNRS ‘Programme de Recherche Conjoint’ (PRC); the CNRS International Research Project (IRP AMADEUS); the France Génomique Appel à Grand Projet (ANR-10-INBS-09-08, BUCEPHALE project); IB10131 and IB18060, both funded by Junta de Extremadura (Spain) and European Regional Development Fund; Czech Academy of Sciences (RVO:67985912); the Zoological Institute ZIN RAS (АААА-А19-119032590102-7); and King Saud University Researchers Supporting Project (NSRSP–2020/2). The research was carried out with the financial support of the Russian Foundation for Basic Research (19-59-15001 and 20-04-00213), the Russian Science Foundation (16-18-10265, 20-78-10151, and 21-18-00457), the Government of the Russian Federation (FENU-2020-0021), the Estonian Research Council (PRG29), the Estonian Ministry of Education and Research (PRG1209), the Hungarian Scientific Research Fund (Project NF 104792), the Hungarian Academy of Sciences (Momentum Mobility Research Project of the Institute of Archaeology, Research Centre for the Humanities); and the Polish National Science Centre (2013/11/B/HS3/03822). This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie (grant agreement 797449). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreements 681605, 716732 and 834616)