Parallel Maximum Clique Algorithms with Applications to Network Analysis and Storage

We propose a fast, parallel maximum clique algorithm for large sparse graphs that is designed to exploit characteristics of social and information networks. The method exhibits a roughly linear runtime scaling over real-world networks ranging from 1000 to 100 million nodes. In a test on a social network with 1.8 billion edges, the algorithm finds the largest clique in about 20 minutes. Our method employs a branch and bound strategy with novel and aggressive pruning techniques. For instance, we use the core number of a vertex in combination with a good heuristic clique finder to efficiently remove the vast majority of the search space. In addition, we parallelize the exploration of the search tree. During the search, processes immediately communicate changes to upper and lower bounds on the size of maximum clique, which occasionally results in a super-linear speedup because vertices with large search spaces can be pruned by other processes. We apply the algorithm to two problems: to compute temporal strong components and to compress graphs.Comment: 11 page

Theory, simulation and experimental results of the acoustic detection of magnetization changes in superparamagnetic iron oxide

<p>Abstract</p> <p>Background</p> <p>Magnetic Particle Imaging is a novel method for medical imaging. It can be used to measure the local concentration of a tracer material based on iron oxide nanoparticles. While the resulting images show the distribution of the tracer material in phantoms or anatomic structures of subjects under examination, no information about the tissue is being acquired. To expand Magnetic Particle Imaging into the detection of soft tissue properties, a new method is proposed, which detects acoustic emissions caused by magnetization changes in superparamagnetic iron oxide.</p> <p>Methods</p> <p>Starting from an introduction to the theory of acoustically detected Magnetic Particle Imaging, a comparison to magnetically detected Magnetic Particle Imaging is presented. Furthermore, an experimental setup for the detection of acoustic emissions is described, which consists of the necessary field generating components, i.e. coils and permanent magnets, as well as a calibrated microphone to perform the detection.</p> <p>Results</p> <p>The estimated detection limit of acoustic Magnetic Particle Imaging is comparable to the detection limit of magnetic resonance imaging for iron oxide nanoparticles, whereas both are inferior to the theoretical detection limit for magnetically detected Magnetic Particle Imaging. Sufficient data was acquired to perform a comparison to the simulated data. The experimental results are in agreement with the simulations. The remaining differences can be well explained.</p> <p>Conclusions</p> <p>It was possible to demonstrate the detection of acoustic emissions of magnetic tracer materials in Magnetic Particle Imaging. The processing of acoustic emission in addition to the tracer distribution acquired by magnetic detection might allow for the extraction of mechanical tissue parameters. Such parameters, like for example the velocity of sound and the attenuation caused by the tissue, might also be used to support and improve ultrasound imaging. However, the method can also be used to perform imaging on its own.</p

Ontology-Based Support for Security Requirements Specification Process

The security requirements specification (SRS) is an integral aspect of the development of secured information systems and entails the formal documentation of the security needs of a system in a correct and consistent way. However, in many cases there is lack of sufficiently experienced security experts or security requirements (SR) engineer within an organization, which limits the quality of SR that are specified. This paper presents an approach that leverages ontologies and requirements boilerplates in order to alleviate the effect of lack of highly experienced personnel for SRS. It also offers a credible starting point for the SRS process. A preliminary evaluation of the tool prototype – ReqSec tool - was used to demonstrate the approach and to confirm its usability to support the SRS process. The tool helps to reduce the amount of effort required, stimulate discovery of latent security threats, and enables the specification of good quality SR

Blood and cerebrospinal fluid biomarker changes in patients with HIV-associated neurocognitive impairment treated with lithium: analysis from a randomised placebo-controlled trial

HIV-associated neurocognitive disorders (HAND) persist in the era of antiretroviral therapy (ART). Thus, ART does not completely halt or reverse the pathological processes behind HAND. Adjuvant mitigating treatments are, therefore, prudent. Lithium treatment is known to promote neuronal brain–derived neurotrophic factors (BDNF). Lithium is also an inhibitor of glycogen synthase kinase-3 beta (GSK-3-β). We analyzed biomarkers obtained from participants in a randomized placebo-controlled trial of lithium in ART-treated individuals with moderate or severe HAND. We assayed markers at baseline and 24 weeks across several pathways hypothesized to be affected by HIV, inflammation, or degeneration. Investigated biomarkers included dopamine, BDNF, neurofilament light chain, and CD8 + lymphocyte activation (CD38 + HLADR +). Alzheimer’s Disease (AD) biomarkers included soluble amyloid precursor protein alpha and beta (sAPPα/β), Aβ38, 40, 42, and ten other biomarkers validated as predictors of mild cognitive impairment and progression in previous studies. These include apolipoprotein C3, pre-albumin, α1-acid glycoprotein, α1-antitrypsin, PEDF, CC4, ICAM-1, RANTES, clusterin, and cystatin c. We recruited 61 participants (placebo = 31; lithium = 30). The age baseline mean was 40 (± 8.35) years and the median CD4 + T-cell count was 498 (IQR: 389–651) cells/μL. Biomarker concentrations between groups did not differ at baseline. However, both groups’ blood dopamine levels decreased significantly after 24 weeks (adj. p < 002). No other marker was significantly different between groups, and we concluded that lithium did not confer neuroprotection following 24 weeks of treatment. However, the study was limited in duration and sample size

Viable vein graft preservation

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/22115/1/0000542.pd

Biological CO2-methanation: An approach to standardization

Power-to-Methane as one part of Power-to-Gas has been recognized globally as one of the key elements for the transition towards a sustainable energy system. While plants that produce methane catalytically have been in operation for a long time, biological methanation has just reached industrial pilot scale and near-term commercial application. The growing importance of the biological method is reflected by an increasing number of scientific articles describing novel approaches to improve this technology. However, these studies are diffcult to compare because they lack a coherent nomenclature. In this article, we present a comprehensive set of parameters allowing the characterization and comparison of various biological methanation processes. To identify relevant parameters needed for a proper description of this technology, we summarized existing literature and defined system boundaries for Power-to-Methane process steps. On this basis, we derive system parameters providing information on the methanation system, its performance, the biology and cost aspects. As a result, three different standards are provided as a blueprint matrix for use in academia and industry applicable to both, biological and catalytic methanation. Hence, this review attempts to set the standards for a comprehensive description of biological and chemical methanation processes