Telematic Support in Improving Safety of Maritime Transport

Security mechanisms of a telematics system are exceedingly intersecting as they could pretend the ordinary influence of the vehicle and perhaps terminate in accidents. This paper includes a new look at automotive and telematics transportation systems, also refers to methods in modelling, facility location, data processing and assessment of risk in telematics networks

The Importance of Telematics in the Transport System

Security mechanisms of a telematics system are exceedingly intersecting as they could pretend the ordinary influence of the vehicle and perhaps terminate in accidents. This paper includes a new look at automotive and telematics transportation systems, also refers to methods in modelling, facility location, data processing and assessment of risk in telematics networks

The classical-quantum boundary for correlations: discord and related measures

One of the best signatures of nonclassicality in a quantum system is the existence of correlations that have no classical counterpart. Different methods for quantifying the quantum and classical parts of correlations are amongst the more actively-studied topics of quantum information theory over the past decade. Entanglement is the most prominent of these correlations, but in many cases unentangled states exhibit nonclassical behavior too. Thus distinguishing quantum correlations other than entanglement provides a better division between the quantum and classical worlds, especially when considering mixed states. Here we review different notions of classical and quantum correlations quantified by quantum discord and other related measures. In the first half, we review the mathematical properties of the measures of quantum correlations, relate them to each other, and discuss the classical-quantum division that is common among them. In the second half, we show that the measures identify and quantify the deviation from classicality in various quantum-information-processing tasks, quantum thermodynamics, open-system dynamics, and many-body physics. We show that in many cases quantum correlations indicate an advantage of quantum methods over classical ones.Comment: Close to the published versio

Head and neck paragangliomas: clinical and molecular genetic classification

Head and neck paragangliomas are tumors arising from specialized neural crest cells. Prominent locations are the carotid body along with the vagal, jugular, and tympanic glomus. Head and neck paragangliomas are slowly growing tumors, with some carotid body tumors being reported to exist for many years as a painless lateral mass on the neck. Symptoms depend on the specific locations. In contrast to paraganglial tumors of the adrenals, abdomen and thorax, head and neck paragangliomas seldom release catecholamines and are hence rarely vasoactive. Petrous bone, jugular, and tympanic head and neck paragangliomas may cause hearing loss. The internationally accepted clinical classifications for carotid body tumors are based on the Shamblin Class I–III stages, which correspond to postoperative permanent side effects. For petrous-bone paragangliomas in the head and neck, the Fisch classification is used. Regarding the molecular genetics, head and neck paragangliomas have been associated with nine susceptibility genes: NF1, RET, VHL, SDHA, SDHB, SDHC, SDHD, SDHAF2 (SDH5), and TMEM127. Hereditary HNPs are mostly caused by mutations of the SDHD gene, but SDHB and SDHC mutations are not uncommon in such patients. Head and neck paragangliomas are rarely associated with mutations of VHL, RET, or NF1. The research on SDHA, SDHAF2 and TMEM127 is ongoing. Multiple head and neck paragangliomas are common in patients with SDHD mutations, while malignant head and neck paraganglioma is mostly seen in patients with SDHB mutations. The treatment of choice is surgical resection. Good postoperative results can be expected in carotid body tumors of Shamblin Class I and II, whereas operations on other carotid body tumors and other head and neck paragangliomas frequently result in deficits of the cranial nerves adjacent to the tumors. Slow growth and the tendency of hereditary head and neck paragangliomas to be multifocal may justify less aggressive treatment strategies

Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

Health-related qualify of life, angina type and coronary artery disease in patients with stable chest pain.

Health-related quality of life (HRQoL) is impaired in patients with stable angina but patients often present with other forms of chest pain. The aim of this study was to compare the pre-diagnostic HRQoL in patients with suspected coronary artery disease (CAD) according to angina type, gender, and presence of obstructive CAD. From the pilot study for the European DISCHARGE trial, we analysed data from 24 sites including 1263 patients (45.9% women, 61.1 ± 11.3 years) who were clinically referred for invasive coronary angiography (ICA; 617 patients) or coronary computed tomography angiography (CTA; 646 patients). Prior to the procedures, patients completed HRQoL questionnaires: the Short Form (SF)-12v2, the EuroQoL (EQ-5D-3 L) and the Hospital Anxiety and Depression Scale. Fifty-five percent of ICA and 35% of CTA patients had typical angina, 23 and 33% had atypical angina, 18 and 28% had non-anginal chest discomfort and 5 and 5% had other chest discomfort, respectively. Patients with typical angina had the poorest physical functioning compared to the other angina groups (SF-12 physical component score; 41.2 ± 8.8, 43.3 ± 9.1, 46.2 ± 9.0, 46.4 ± 11.4, respectively, all age and gender-adjusted p < 0.01), and highest anxiety levels (8.3 ± 4.1, 7.5 ± 4.1, 6.5 ± 4.0, 4.7 ± 4.5, respectively, all adjusted p < 0.01). On all other measures, patients with typical or atypical angina had lower HRQoL compared to the two other groups (all adjusted p < 0.05). HRQoL did not differ between patients with and without obstructive CAD while women had worse HRQoL compared with men, irrespective of age and angina type. Prior to a diagnostic procedure for stable chest pain, HRQoL is associated with chest pain characteristics, but not with obstructive CAD, and is significantly lower in women. Clinicaltrials.gov, NCT02400229

Power and welfare in bargaining for coalition structure formation

The final publication is available at Springer via http://dx.doi.org/10.1007/s10458-015-9310-8.We investigate a noncooperative bargaining game for partitioning n agents into non-overlapping coalitions. The game has n time periods during which the players are called according to an exogenous agenda to propose offers. With probability δ, the game ends during any time period t< n. If it does, the first t players on the agenda get a chance to propose but the others do not. Thus, δ is a measure of the degree of democracy within the game (ranging from democracy for δ= 0 , through increasing levels of authoritarianism as δ approaches 1, to dictatorship for δ= 1). We determine the subgame perfect equilibrium (SPE) and study how a player’s position on the agenda affects his bargaining power. We analyze the relation between the distribution of power of individual players, the level of democracy, and the welfare efficiency of the game. We find that purely democratic games are welfare inefficient and that introducing a degree of authoritarianism into the game makes the distribution of power more equitable and also maximizes welfare. These results remain invariant under two types of player preferences: one where each player’s preference is a total order on the space of possible coalition structures and the other where each player either likes or dislikes a coalition structure. Finally, we show that the SPE partition may or may not be core stable

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements