Tardos fingerprinting is better than we thought

We review the fingerprinting scheme by Tardos and show that it has a much better performance than suggested by the proofs in Tardos' original paper. In particular, the length of the codewords can be significantly reduced. First we generalize the proofs of the false positive and false negative error probabilities with the following modifications: (1) we replace Tardos' hard-coded numbers by variables and (2) we allow for independently chosen false positive and false negative error rates. It turns out that all the collusion-resistance properties can still be proven when the code length is reduced by a factor of more than 2. Second, we study the statistical properties of the fingerprinting scheme, in particular the average and variance of the accusations. We identify which colluder strategy forces the content owner to employ the longest code. Using a gaussian approximation for the probability density functions of the accusations, we show that the required false negative and false positive error rate can be achieved with codes that are a factor 2 shorter than required for rigid proofs. Combining the results of these two approaches, we show that the Tardos scheme can be used with a code length approximately 5 times shorter than in the original construction.Comment: Modified presentation of result

The importance of carotid artery stiffness and increased intimamedia thickness in obese children

Background. Atherosclerosis that starts in childhood invariablyadvances during adulthood.Aim. We aimed to study the effect of obesity on main carotidartery intima-media thickness (CIMT) and arterial stiffness.Material and methods. A total of 78 children were studied fromOctober 2010 to February 2011. They were divided into obese (n=42,group 1) and normal (n=36, group 2). All children were subjectedto physical examination, routine biochemical and haematologicalanalysis, carotid ultrasonography and echocardiographicmeasurements. A detailed medical history was obtained. Bodymass index (BMI) was calculated by dividing participants’ weight inkilograms by the square of their height in metres. Stiffness index âwas calculated using blood pressure and diameter of the systolicand diastolic artery. Intima-media thickness was also measured.Results. The mean age of the obese and normal (control) groupswas 10.12±2.12 years and 9.78±1.78 years, respectively. Weight, BMI,and systolic and diastolic blood pressure values were significantlyhigher in the obese group (all p<0.001). In terms of arterial stiffnessand CIMT measurements, all parameters were higher in the obesegroup than the control (p<0.001). There was a relationship betweenthe degree of obesity and CIMT or stiffness index â. In addition,dilatation and hypertrophy levels in the left ventricle were higherin obese children.Conclusions. Obese children with risk factors for multipleatherosclerosis could have increased CIMT dimensions and,consequently, should be screened for these risks. UltrasonographicCIMT and arterial stiffness measurements can detect vasculardamage at an early stage of development in children withcardiovascular risk factors

Multicanonical Study of the 3D Ising Spin Glass

We simulated the Edwards-Anderson Ising spin glass model in three dimensions via the recently proposed multicanonical ensemble. Physical quantities such as energy density, specific heat and entropy are evaluated at all temperatures. We studied their finite size scaling, as well as the zero temperature limit to explore the ground state properties.Comment: FSU-SCRI-92-121; 7 pages; sorry, no figures include

COVID-19 Detection from Respiratory Sounds with Hierarchical Spectrogram Transformers

Monitoring of prevalent airborne diseases such as COVID-19 characteristically involves respiratory assessments. While auscultation is a mainstream method for preliminary screening of disease symptoms, its utility is hampered by the need for dedicated hospital visits. Remote monitoring based on recordings of respiratory sounds on portable devices is a promising alternative, which can assist in early assessment of COVID-19 that primarily affects the lower respiratory tract. In this study, we introduce a novel deep learning approach to distinguish patients with COVID-19 from healthy controls given audio recordings of cough or breathing sounds. The proposed approach leverages a novel hierarchical spectrogram transformer (HST) on spectrogram representations of respiratory sounds. HST embodies self-attention mechanisms over local windows in spectrograms, and window size is progressively grown over model stages to capture local to global context. HST is compared against state-of-the-art conventional and deep-learning baselines. Demonstrations on crowd-sourced multi-national datasets indicate that HST outperforms competing methods, achieving over 83% area under the receiver operating characteristic curve (AUC) in detecting COVID-19 cases

IoTSan: Fortifying the Safety of IoT Systems

Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause unsafe and dangerous physical states. Detecting flaws that lead to such states, requires a holistic view of installed apps, component devices, their configurations, and more importantly, how they interact. In this paper, we design IoTSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states. In building IoTSan, we design novel techniques tailored to IoT systems, to alleviate the state explosion associated with model checking. IoTSan also automatically translates IoT apps into a format amenable to model checking. Finally, to understand the root cause of a detected vulnerability, we design an attribution mechanism to identify problematic and potentially malicious apps. We evaluate IoTSan on the Samsung SmartThings platform. From 76 manually configured systems, IoTSan detects 147 vulnerabilities. We also evaluate IoTSan with malicious SmartThings apps from a previous effort. IoTSan detects the potential safety violations and also effectively attributes these apps as malicious.Comment: Proc. of the 14th ACM CoNEXT, 201

Frustration - how it can be measured

A misfit parameter is used to characterize the degree of frustration of ordered and disordered systems. It measures the increase of the ground-state energy due to frustration in comparison with that of a relevant reference state. The misfit parameter is calculated for various spin-glass models. It allows one to compare these models with each other. The extension of this concept to other combinatorial optimization problems with frustration, e.g. p-state Potts glasses, graph-partitioning problems and coloring problems is given.Comment: 10 pages, 1 table, no figures, uses revtex.st

Expression of CK-19 and CEA mRNA in peripheral blood of gastric cancer patients

Aim: To investigate the clinical and pathological relevance of detection of circulating tumor cells (CTC) in the peripheral blood of gastric carcinoma patients before operation. Patients and Methods: Fifty patients with gastric adenocarcinoma were analysed prospectively. Patients were divided into two groups according to the extent of the tumor. Group I (unresectable) consisted of 22, and group II (resectable) consisted of 28 patients. Peripheral blood samples were collected pre-operatively from all 50 patients as well as from ten healthy controls and analyzed for carcinoembryonic antigen (CEA) and cytokeratin-19 (CK-19) messenger ribonucleic acids (mRNAs). Tumor localisation, stage, presence of signet cell formation, nodal metastases, serousal and lymphovascular invasion were recorded for all patients. Results: Expression of CK-19 was detected in 24 (48%), and CEA in 10 (20%) cases. Nine patients (40%) in group I and 15 (53.6%) in group II were positive for CK-19 expression. CEA expression was more frequent among group I patients (6 vs. 4 cases). There was no significant difference between the groups in the expression of CK-19 and CEA mRNA, tumor localisation, presence of signet formation, and presence and extent of nodal metastases. Patients with major vascular invasion (MVI) expressed significantly higher levels of CTC mRNA compared to those without MVI (p = 0.023 for CEA, and p = 0.009 for CK-19). The median 1 and 2-year survival was 9.5 and 10.5 months for group I, and 20 and 28.5 months for group II, respectively (p = 0.001). The mean survival was 6.7 months for patients with MVI, and 30.2 months for those without MVI (p = 0.0001). Conclusions: High levels of CTCs were observed in patients with MVI invasion, rather than other causes of unresectability. It can be suggested that expression of both CEA and CK-19 in the peripheral blood of gastric cancer patients are strong predictors of MVI and significantly worse survival rates. Copyright © Experimental Oncology, 2010