Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Energy Efficiency Issues in Information-Centric Networking

In this paper we address energy efficiency issues of Information Centric Networking (ICN) architectures. In the proposed framework, we investigate the impact of ICN architectures on energy consumption of networking hardware devices and compare them with the energy consumption of other content dissemination methods. In particular, we investigate the consequences of caching in ICN from the energy efficiency perspective, taking into account the energy consumption of different hardware components in the ICN architectures. Based on the results of the analysis, we address the practical issues regarding the possible deployment and evolution of ICN from an energy-efficiency perspective. Finally, we summarize our findings and discuss the outlook/future perspectives on the energy efficiency of Information-Centric Networks.

Robust Proximal Femur Segmentation in Conventional X-Ray Images via Random Forest Regression on Multi-resolution Gradient Features

In this paper, we propose a fully automatic, robust approach for segmenting proximal femur in conventional X-ray images. Our method is based on hierarchical landmark detection by random forest regression, where the detection results of 22 global landmarks are used to do the spatial normalization, and the detection results of the 59 local landmarks serve as the image cue for instantiation of a statistical shape model of the proximal femur. To detect landmarks in both levels, we use multi-resolution HoG (Histogram of Oriented Gradients) as features which can achieve better accuracy and robustness. The efficacy of the present method is demonstrated by experiments conducted on 150 clinical x-ray images. It was found that the present method could achieve an average point-to-curve error of 2.0 mm and that the present method was robust to low image contrast, noise and occlusions caused by implants.

Visible and Infrared Spectroscopical Applications

Spectra in the visible (VIS) and infrared (IR) region contain a wide variety of information about inorganic and organic substances in sediments. The information from the spectra enables a wide array of applications that allow quantitative, semiquantitative, and qualitative characterization of sediment. Due to the fact that instrument/experimental setups are simple, rapid, and cost-saving and that only small sample quantities are required, the technique has become valuable in paleolimnological and Quaternary science. This article summarizes the theoretical background of VIS and IR spectroscopy, explains the analytical process, introduces statistical tools used for interpretation of spectra, and provides examples of applications in Quaternary science.

State-of-the-art aortic imaging: Part II - applications in transcatheter aortic valve replacement and endovascular aortic aneurysm repair.

Transcatheter aortic valve replacement (TAVR) as well as thoracic and abdominal endovascular aortic repair (TEVAR and EVAR) rely on accurate pre- and postprocedural imaging. This review article discusses the application of imaging, including preprocedural assessment and measurements as well as postprocedural imaging of complications. Furthermore, the exciting perspective of computational fluid dynamics (CFD) based on cross-sectional imaging is presented. TAVR is a minimally invasive alternative for treatment of aortic valve stenosis in patients with high age and multiple comorbidities who cannot undergo traditional open surgical repair. Given the lack of direct visualization during the procedure, pre- and peri-procedural imaging forms an essential part of the intervention. Computed tomography angiography (CTA) is the imaging modality of choice for preprocedural planning. Routine postprocedural follow-up is performed by echocardiography to confirm treatment success and detect complications. EVAR and TEVAR are minimally invasive alternatives to open surgical repair of aortic pathologies. CTA constitutes the preferred imaging modality for both preoperative planning and postoperative follow-up including detection of endoleaks. Magnetic resonance imaging is an excellent alternative to CT for postoperative follow-up, and is especially beneficial for younger patients given the lack of radiation. Ultrasound is applied in screening and postoperative follow-up of abdominal aortic aneurysms, but cross-sectional imaging is required once abnormalities are detected. Contrast-enhanced ultrasound may be as sensitive as CTA in detecting endoleaks.

Agent-based Content Retrieval for Opportunistic Content-Centric Networks

In this paper, we describe agent-based content retrieval for opportunistic networks, where requesters can delegate content retrieval to agents, which retrieve the content on their behalf. The approach has been implemented in CCNx, the open source CCN framework, and evaluated on Android smart phones. Evaluations have shown that the overhead of agent delegation is only noticeable for very small content. For content larger than 4MB, agent-based content retrieval can even result in a throughput increase of 20% compared to standard CCN download applications. The requester asks every probe interval for agents that have retrieved the desired content. Evaluations have shown that a probe interval of 30s delivers the best overall performance in our scenario because the number of transmitted notification messages can be decreased by up to 80% without significantly increasing the download time.

Towards End-User Driven Power Saving Control in Android devices

Abstract. During the last decade mobile communications increasingly became part of people's daily routine. Such usage raises new challenges regarding devices' battery lifetime management when using most popular wireless access technologies, such as IEEE 802.11. This paper investigates the energy/delay trade-off of using an end-user driven power saving approach, when compared with the standard IEEE 802.11 power saving algorithms. The assessment was conducted in a real testbed using an Android mobile phone and high-precision energy measurement hardware. The results show clear energy benefits of employing user-driven power saving techniques, when compared with other standard approaches.

A Comparative Analysis of Beaconless Opportunistic Routing Protocols for Video Dissemination over Flying Ad-Hoc Networks

A reliable and robust routing service for Flying Ad-Hoc Networks (FANETs) must be able to adapt to topology changes, and also to recover the quality level of the delivered multiple video flows under dynamic network topologies. The user experience on watching live videos must also be satisfactory even in scenarios with network congestion, buffer overflow, and packet loss ratio, as experienced in many FANET multimedia applications. In this paper, we perform a comparative simulation study to assess the robustness, reliability, and quality level of videos transmitted via well-known beaconless opportunistic routing protocols. Simulation results shows that our developed protocol XLinGO achieves multimedia dissemination with Quality of Experience (QoE) support and robustness in a multi-hop, multi-flow, and mobile networks, as required in many multimedia FANET scenarios.

MR Spectroscopy and Spectroscopic Imaging for Evaluation of Skeletal Muscle Metabolism: Basics and Applications in Metabolic Diseases

Magnetic resonance spectroscopy (MRS) and spectroscopic imaging (MRSI) provide metabolic information on the musculoskeletal system, thus helping to understand the biochemical and pathophysiological nature of numerous diseases. In particular, MRS has been used to study the energy metabolism of muscular tissue since the very beginning of magnetic resonance examinations in humans when small-bore magnets for studies of the limbs became available. Even more than in other organs, the observation of non-proton-nuclei was important in muscle tissue. Spatial localization was less demanding in these studies, however, high temporal resolution was necessary to follow metabolism during exercise and recovery. The observation of high-energy phosphates during and after the application of workload gives insight into oxidative phosphorylation, a process that takes place in the mitochondria and characterizes impaired mitochondrial function. New applications in insulin-resistant patients followed the development of volume-selective 1H-MRS in whole-body magnets. Nowadays, multinuclear MRS and MRSI of the musculoskeletal system provide several windows to vital biochemical pathways noninvasively. It is shown how MRS and MRSI have been used in numerous diseases to characterize an involvement of the muscular metabolism.

SLA-Driven Simulation of Multi-Tenant Scalable Cloud-Distributed Enterprise Information Systems

Cloud Computing is an enabler for delivering large-scale, distributed enterprise applications with strict requirements in terms of performance. It is often the case that such applications have complex scaling and Service Level Agreement (SLA) management requirements. In this paper we present a simulation approach for validating and comparing SLA-aware scaling policies using the CloudSim simulator, using data from an actual Distributed Enterprise Information System (dEIS). We extend CloudSim with concurrent and multi-tenant task simulation capabilities. We then show how different scaling policies can be used for simulating multiple dEIS applications. We present multiple experiments depicting the impact of VM scaling on both datacenter energy consumption and dEIS performance indicators.