Database of audio records

Diplomka a prakticky castDiplome with partical part

The Transitivity of Trust Problem in the Interaction of Android Applications

Mobile phones have developed into complex platforms with large numbers of installed applications and a wide range of sensitive data. Application security policies limit the permissions of each installed application. As applications may interact, restricting single applications may create a false sense of security for the end users while data may still leave the mobile phone through other applications. Instead, the information flow needs to be policed for the composite system of applications in a transparent and usable manner. In this paper, we propose to employ static analysis based on the software architecture and focused data flow analysis to scalably detect information flows between components. Specifically, we aim to reveal transitivity of trust problems in multi-component mobile platforms. We demonstrate the feasibility of our approach with Android applications, although the generalization of the analysis to similar composition-based architectures, such as Service-oriented Architecture, can also be explored in the future

New features in the simulation of neutrino oscillation experiments with GLoBES 3.0

We present Version 3.0 of the GLoBES (``General Long Baseline Experiment Simulator'') software, which is a simulation tool for short- and long-baseline neutrino oscillation experiments. As a new feature, GLoBES 3.0 allows for user-defined systematical errors, which can also be used to simulate experiments with multiple discrete sources and detectors. In addition, the combination with external information, such as from different experiment classes, is simplified. As far as the probability calculation is concerned, GLoBES now provides an interface for the inclusion of non-standard physics without re-compilation of the software. The set of experiment prototypes coming with GLoBES has been updated. For example, built-in fluxes are now provided for the simulation of beta beams.Comment: 14 pages, 3 figures, 1 table. Definition of chi2 refined, version to appear in Comput. Phys. Commun. GLoBES software available at http://www.mpi-hd.mpg.de/lin/globes

Protoplanetary Disk Evolution around the Triggered Star Forming Region Cepheus B

The Cepheus B (CepB) molecular cloud and a portion of the nearby CepOB3b OB association, one of the most active regions of star formation within 1 kpc, have been observed with the IRAC detector on board the Spitzer Space Telescope. The goals are to study protoplanetary disk evolution and processes of sequential triggered star formation in the region. Out of ~400 pre-main sequence (PMS) stars selected with an earlier Chandra X-ray Observatory observation, 95% are identified with mid-infrared sources and most of these are classified as diskless or disk-bearing stars. The discovery of the additional >200 IR-excess low-mass members gives a combined Chandra+Spitzer PMS sample complete down to 0.5 Mo outside of the cloud, and somewhat above 1 Mo in the cloud. Analyses of the nearly disk-unbiased combined Chandra+Spitzer selected stellar sample give several results. Our major finding is a spatio-temporal gradient of young stars from the hot molecular core towards the primary ionizing O star HD 217086. This strongly supports the radiation driven implosion (RDI) model of triggered star formation in the region. The empirical estimate for the shock velocity of 1 km/s is very similar to theoretical models of RDI in shocked molecular clouds...ABRIDGED... Other results include: 1. agreement of the disk fractions, their mass dependency, and fractions of transition disks with other clusters; 2. confirmation of the youthfulness of the embedded CepB cluster; 3. confirmation of the effect of suppression of time-integrated X-ray emission in disk-bearing versus diskless systems.Comment: Accepted for publication in The Astrophysical Journal. 48 pages, 14 figures. For a version with high-quality figures, see http://www.astro.psu.edu/users/gkosta/RESEARCH/cepb_spitzer_chandra.pd

An Ontology Approach for Knowledge Acquisition and Development of Health Information System (HIS)

This paper emphasizes various knowledge acquisition approaches in terms of tacit and explicit knowledge management that can be helpful to capture, codify and communicate within medical unit. The semantic-based knowledge management system (SKMS) supports knowledge acquisition and incorporates various approaches to provide systematic practical platform to knowledge practitioners and to identify various roles of healthcare professionals, tasks that can be performed according to personnel’s competencies, and activities that are carried out as a part of tasks to achieve defined goals of clinical process. This research outcome gives new vision to IT practitioners to manage the tacit and implicit knowledge in XML format which can be taken as foundation for the development of information systems (IS) so that domain end-users can receive timely healthcare related services according to their demands and needs

Delivering Live Multimedia Streams to Mobile Hosts in a Wireless Internet with Multiple Content Aggregators

We consider the distribution of channels of live multimedia content (e.g., radio or TV broadcasts) via multiple content aggregators. In our work, an aggregator receives channels from content sources and redistributes them to a potentially large number of mobile hosts. Each aggregator can offer a channel in various configurations to cater for different wireless links, mobile hosts, and user preferences. As a result, a mobile host can generally choose from different configurations of the same channel offered by multiple alternative aggregators, which may be available through different interfaces (e.g., in a hotspot). A mobile host may need to handoff to another aggregator once it receives a channel. To prevent service disruption, a mobile host may for instance need to handoff to another aggregator when it leaves the subnets that make up its current aggregator�s service area (e.g., a hotspot or a cellular network).\ud In this paper, we present the design of a system that enables (multi-homed) mobile hosts to seamlessly handoff from one aggregator to another so that they can continue to receive a channel wherever they go. We concentrate on handoffs between aggregators as a result of a mobile host crossing a subnet boundary. As part of the system, we discuss a lightweight application-level protocol that enables mobile hosts to select the aggregator that provides the �best� configuration of a channel. The protocol comes into play when a mobile host begins to receive a channel and when it crosses a subnet boundary while receiving the channel. We show how our protocol can be implemented using the standard IETF session control and description protocols SIP and SDP. The implementation combines SIP and SDP�s offer-answer model in a novel way