title: A Hybrid Analog/Digital Phase-Locked Loop for Frequency Mode Non-contact Scanning Probe Microscopy

abstract: Non-contact scanning probe microscopy (SPM) has developed into a powerful technique to image many different properties of samples. The conventional method involves monitoring the amplitude, phase or frequency of a cantilever oscillating at or near its resonant frequency as it is scanned across the surface of a sample. For high Q factor cantilevers, monitoring the resonant frequency is the preferred method in order to obtain reasonable scan times. This can be done by using a phase-locked-loop (PLL). PLLs can be obtained as commercial integrated circuits, but these do not have the frequency resolution required for SPM. To increase the resolution, all-digital PLLs requiring sophisticated digital signal processors or field programmable gate arrays have also been implemented. We describe here a hybrid analog/digital PLL where most of the components are implemented using discrete analog integrated circuits, but the frequency resolution is provided by a direct digital synthesis chip controlled by a simple PIC microcontroller. The PLL has excellent frequency resolution and noise, and can be controlled and read by a computer via a USB connection.


title: Condition for Capture into First-order Mean Motion Resonances and Application to Constraints on Origin of Resonant Systems

abstract: We investigate the condition for capture into first-order mean motion resonances using numerical simulations with a wide range of various parameters. In particular, we focus on deriving the critical migration timescale for capture into the 2:1 resonance; additional numerical experiments for closely spaced resonances (e.g., 3:2) are also performed. We find that the critical migration timescale is determined by the planet-to-stellar mass ratio, and its dependence exhibits power-law behavior with index -4/3. This dependence is also supported by simple analytic arguments. We also find that the critical migration timescale for systems with equal-mass bodies is shorter than that in the restricted problem; for instance, for the 2:1 resonance between two equal-mass bodies, the critical timescale decreases by a factor of 10. In addition, using the obtained formula, the origin of observed systems that include first-order commensurabilities is constrained. Assuming that pairs of planets originally form well separated from each other and then undergo convergent migration and are captured in resonances, it is possible that a number of exoplanets experienced rapid orbital migration. For systems in closely spaced resonances, the differential migration timescale between the resonant pair can be constrained well; it is further suggested that several exoplanets underwent migration that can equal or even exceed the type I migration rate predicted by the linear theory. This implies that some of them may have formed in situ. Future observations and the use of our model will allow us to statistically determine the typical migration speed in a protoplanetary disk.


title: The MAJORANA DEMONSTRATOR: A Search for Neutrinoless Double-beta Decay of Germanium-76

abstract: The {\sc Majorana} collaboration is searching for neutrinoless double beta decay using $^{76}$Ge, which has been shown to have a number of advantages in terms of sensitivities and backgrounds. The observation of neutrinoless double-beta decay would show that lepton number is violated and that neutrinos are Majorana particles and would simultaneously provide information on neutrino mass. Attaining sensitivities for neutrino masses in the inverted hierarchy region, $15 - 50$ meV, will require large, tonne-scale detectors with extremely low backgrounds, at the level of $\sim$1 count/t-y or lower in the region of the signal. The {\sc Majorana} collaboration, with funding support from DOE Office of Nuclear Physics and NSF Particle Astrophysics, is constructing the {\sc Demonstrator}, an array consisting of 40 kg of p-type point-contact high-purity germanium (HPGe) detectors, of which $\sim$30 kg will be enriched to 87% in $^{76}$Ge. The {\sc Demonstrator} is being constructed in a clean room laboratory facility at the 4850' level (4300 m.w.e.) of the Sanford Underground Research Facility (SURF) in Lead, SD. It utilizes a compact graded shield approach with the inner portion consisting of ultra-clean Cu that is being electroformed and machined underground. The primary aim of the {\sc Demonstrator} is to show the feasibility of a future tonne-scale measurement in terms of backgrounds and scalability.


title: Lucjan Emil B\"ottcher (1872-1937)-- the Polish pioneer of holomorphic dynamics

abstract: This paper, based in part on joint work with Stanis{\l}aw Domoradzki, concerns Lucjan Emil B\"ottcher (1872-1937)-- a little-known Polish mathematician active in Lw\'ow. I outline B\"ottcher's scholarly path, focusing on his studies in Leipzig with Sophus Lie, his later academic career in Lw\'ow and the hindrances he faced in its advancement. I also describe very briefly his mathematical achievements. In view of later developments in holomorphic dynamics, I argue that, despite flaws in his work, B\"ottcher should be regarded not only as a contributor to the area but in fact as one of its founders.


title: An Overview of Load Balancing in HetNets: Old Myths and Open Problems

abstract: Matching the demand for resources ("load") with the supply of resources ("capacity") is a basic problem occurring across many fields of engineering, logistics, and economics, and has been considered extensively both in the Internet and in wireless networks. The ongoing evolution of cellular communication networks into dense, organic, and irregular heterogeneous networks ("HetNets") has elevated load-awareness to a central problem, and introduces many new subtleties. This paper explains how several long-standing assumptions about cellular networks need to be rethought in the context of a load-balanced HetNet: we highlight these as three deeply entrenched myths that we then dispel. We survey and compare the primary technical approaches to HetNet load balancing: (centralized) optimization, game theory, Markov decision processes, and the newly popular cell range expansion (a.k.a. "biasing"), and draw design lessons for OFDMA-based cellular systems. We also identify several open areas for future exploration.


title: Dark matter in little Higgs model under current experimental constraints from LHC, Planck and Xenon

abstract: We examine the status of dark matter (heavy photon) in the littlest Higgs model with T-parity (LHT) in light of the new results from the LHC Higgs search, the Planck dark matter relic density and the XENON100 limit on the dark matter scattering off the nucleon. We obtain the following observations: (i) For the LHC Higgs data, the LHT can well be consistent with the CMS results but disfavored by the ATLAS observation of diphoton enhancement; (ii) For the dark matter relic density, the heavy photon in the LHT can account for the Planck data for the small mass splitting of mirror lepton and heavy photon; (iii) For the dark matter scattering off the nucleon, the heavy photon can give a spin-independent cross section below the XENON100 upper limit for $m_{A_H}>95$ GeV ($f> 665$ GeV); (iv) A fit using the CMS Higgs data gives the lowest chi-square of 2.63 (the SM value is 4.75) at $f\simeq$ 1120 GeV and $m_{A_H}\simeq$ 170 GeV (at this point the dark matter constraints from Planck and XENON100 can also be satisfied). Such a best point and its nearby favored region (even for a $f$ value up to 3.8 TeV) can be covered by the future XENON1T (2017) experiment.


title: Bimodal chemical evolution of the Galactic disk and the Barium abundance of Cepheids

abstract: In order to understand the Barium abundance distribution in the Galactic disk based on Cepheids, one must first be aware of important effects of the corotation resonance, situated a little beyond the solar orbit. The thin disk of the Galaxy is divided in two regions that are separated by a barrier situated at that radius. Since the gas cannot get across that barrier, the chemical evolution is independent on the two sides of it. The barrier is caused by the opposite directions of flows of gas, on the two sides, in addition to a Cassini-like ring void of HI (caused itself by the flows). A step in the metallicity gradient developed at corotation, due to the difference in the average star formation rate on the two sides, and to this lack of communication between them. In connection with this, a proof that the spiral arms of our Galaxy are long-lived (a few billion years) is the existence of this step. When one studies the abundance gradients by means of stars which span a range of ages, like the Cepheids, one has to take into account that stars, contrary to the gas, have the possibility of crossing the corotation barrier. A few stars born on the high metallicity side are seen on the low metallicity one, and vice-versa. In the present work we re-discuss the data on Barium abundance in Cepheids as a function of Galactic radius, taking into account the scenario described above. The [Ba/H] ratio, plotted as a function of Galactic radius, apparently presents a distribution with two branches in the external region (beyond corotation). One can re-interpret the data and attribute the upper branch to the stars that were born on the high metallicity side. The lower branch, analyzed separately, indicates that the stars born beyond corotation have a rising Barium metallicity as a function of Galactic radius.


title: Hyperbolicity of Force-Free Electrodynamics

abstract: We analyze the equations of relativistic magnetized plasma dynamics in the limiting case that electromagnetic stress-energy is dominant over pressure and rest mass energy density. The naive formulation of these equations is shown to be not hyperbolic. Modifying the equations by terms that vanish for all physical solutions, we obtain a symmetric hyperbolic evolution system, which should exhibit improved numerical behavior.


title: Synthesis of Self-assembled Iron Silicon Oxide Nanowires onto Single-crystalline Si(100)

abstract: Iron silicon oxide nanowire has been synthesized by putting single crystalline Si(100) wafer into ammonium iron sulfate, hydrogen peroxide, and triethylamine solution heated to from 70 to 100 degree in the air. The prepared iron silicon oxide nanowires with diameters of about 10nm (onto non etched Si(100) wafer) and about 75nm(onto etched Si(100) wafer) and their self assembles were characterized. The possible mechanism that accounted for the formation of iron silicon oxide nanowire is suggested based on experimental evidence.


title: Inference on differences between classes using cluster-specific contrasts of mixed effects

abstract: The detection of differentially expressed (DE) genes is one of the most commonly studied problems in bioinformatics. For example, the identification of DE genes between distinct disease phenotypes is an important first step in understanding and developing treatment drugs for the disease. It can also contribute significantly to the construction of a discriminant rule for predicting the class of origin of an unclassified tissue sample from a patient. We present a novel approach to the problem of detecting DE genes that is based on a test statistic formed as a weighted (normalized) cluster-specific contrast in the mixed effects of the mixture model used in the first instance to cluster the gene profiles into a manageable number of clusters. The key factor in the formation of our test statistic is the use of gene-specific mixed effects in the cluster-specific contrast. It thus means that the (soft) assignment of a given gene to a cluster is not crucial. This is because in addition to class differences between the (estimated) fixed effects terms for a cluster, gene-specific class differences also contribute to the cluster-specific contributions to the final form of the test statistic. The proposed test statistic can be used where the primary aim is to rank the genes in order of evidence against the null hypothesis of no DE. We also show how a P-value can be calculated for each gene for use in multiple hypothesis testing where the intent is to control the false discovery rate (FDR) at some desired level. With the use of real and simulated data sets, we show that the proposed contrast-based approach outperforms other methods commonly used for the detection of DE genes both in a ranking context with lower proportion of false discoveries and in a multiple hypothesis testing context with higher power for a specified level of the FDR.


title: Potentiation Decay of Synapses and the Length Distributions of Synfire Chains Self-organized in Recurrent Neural Networks

abstract: Synfire chains are thought to underlie precisely-timed sequences of spikes observed in various brain regions and across species. How they are formed is not understood. Here we analyze self-organization of synfire chains through the spike-timing dependent plasticity (STDP) of the synapses, axon remodeling, and potentiation decay of synaptic weights in networks of neurons driven by noisy external inputs and subject to dominant feedback inhibition. Potentiation decay is the gradual, activity-independent reduction of synaptic weights over time. We show that potentiation decay enables a dynamic and statistically stable network connectivity when neurons spike spontaneously. Periodic stimulation of a subset of neurons leads to formation of synfire chains through a random recruitment process, which terminates when the chain connects to itself and forms a loop. We demonstrate that chain length distributions depend on the potentiation decay. Fast potentiation decay leads to long chains with wide distributions, while slow potentiation decay leads to short chains with narrow distributions. We suggest that the potentiation decay, which corresponds to the decay of early long-term potentiation of synapses (E-LTP), is an important synaptic plasticity rule in regulating formation of neural circuity through STDP.


title: A Hybrid Cryptosystem Based On Vigenere Cipher and Columnar Transposition Cipher

abstract: Privacy is one of the key issues addressed by information Security. Through cryptographic encryption methods, one can prevent a third party from understanding transmitted raw data over unsecured channel during signal transmission. The cryptographic methods for enhancing the security of digital contents have gained high significance in the current era. Breach of security and misuse of confidential information that has been intercepted by unauthorized parties are key problems that information security tries to solve. This paper sets out to contribute to the general body of knowledge in the area of classical cryptography by develop- ing a new hybrid way of encryption of plaintext. The cryptosystem performs its encryption by encrypting the plaintext using columnar transposition cipher and further using the ciphertext to encrypt the plaintext again using Vigen\`ere ci- pher. At the end, cryptanalysis was performed on the ciphertext. The implementation will be done using java program- ming.


title: An Integrated Geographic Information System and Marketing Information System Model

abstract: Maintaining competitive advantage is significant in this present day of globalization, knowledge management and enormous economic activities. An organization's future developments are influenced by its managements' decisions. Businesses today are facing a lot of challenges in terms of competition and they have to be in the lead by strengthening their research and development strategies with the aid of cutting edge technologies. Hence marketing intelligence is now a key to the success of any business in today's rapidly changing business environment. With all the technologies available in marketing research, businesses still struggle with how to gather information and make decisions in a short time and real-time about their customers' needs and purchasing patterns in various geographical areas. This paper is set out to contribute to the body of knowledge in the area of the application of Geographic Information Systems technology solutions to businesses by developing a model for integrating Geographic Information Systems into existing Marketing Information Systems for effective marketing research. This model will interconnect organizations at the highest levels, providing reassurance to enable broad scope of checks and balances as well as benefiting many business activities including operational, tactical and strategic decision making due to its analytical and solution driven functions.


title: Computer Aided Investigation: Visualization and Analysis of data from Mobile communication devices using Formal Concept Analysis

abstract: In this world of terrorism, it is very important to know the network of individual suspects. It is also important to analyze the attributes of members of a network and the relationships that exist between them either directly or indirectly. This will make it easy for concepts to be built in aiding criminal investigations. However traditional approaches cannot be used to visualize and analyze data collected on individuals. With this current day where information systems play critical role in everyday life of every individual, it is easier to depend on digital information in fighting crime.Effective computer tools and intelligent systems that are automated to analyze and interpret criminal data in real time effectively and efficiently are needed in fighting crime. These current computer systems should have the capability of providing intelligence from raw data and creating a visual graph which will make it easy for new concepts to be built and generated from crime data in order to solve understand and analyze crime patterns easily. This paper proposes a new method of computer aided investigation by visualizing and analyzing data of mobile communication devices using Formal Concept Analysis, or Galois Lattices, a data analysis technique grounded on Lattice Theory and Propositional Calculus. This method considered the set of common and distinct attributes of data in such a way that categorizations are done based on related data with respect to time and events. This will help in building a more defined and conceptual systems for analysis of crime data that can easily be visualized and intelligently analyzed by computer systems.


title: The Role of Rural Banks in Providing Mobile Money Services to Rural Poor Communities: An effective integration approach of Rural Banks and existing mobile communications infrastructure

abstract: The rapid spread of mobile phones means that the number of mobile users may already exceed the number of banked people in many low income countries. Mobile phones can also offer a communications channel for initiating and executing on-line financial transactions. This channel may not only reduce the cost of financial transactions for provider and customer, but also allow new entrants to the financial sector, and new relationships to be formed for distributing services. These changes hold the prospect of accelerating access to financial services on the back of the mobile infrastructure. Mobile telephony offers tremendous promise to facilitate the flow of money among rural and poor families at much lower transaction costs, bringing the bank to those currently unbanked. Realizing this promise will require close collaboration among all stakeholders. But most rural banks do not have mobile banking services for their customers. This made it difficult for the full potential and benefits of mobile money financial services to be realized. Most telecommunication service providers run mobile money service solely for their subscribers without an integrated approach of incorporating and integrating rural banking systems into their existing services this makes it difficult for a full fledge exploitation of the mobile financial market. This paper looks at the existing mobile money services and takes critical look at the positive advantages of effective integration approach of Rural Banks and existing mobile communications infrastructure as well as proposing a model for such integration.


title: Using SOA with Web Services for effective Integration of Hospital Information Systems via an Enterprise Service Bus

abstract: Hospitals are distributed across geographical areas and it is important for all hospitals to share information as well as integrate their systems for effective researching and health delivery. Health personals and institutions in need of information from hospitals with respect to geographical areas can easily do researches on patients, treatments, disease outbreaks, and effects of drugs. This research work is aimed at integrating of database systems of hospital across geographical areas via a service bus. A centralized service bus was used to facilitate interoperability of applications across platforms and enhance communication within the hospital infrastructure as well as creating enabling environment for new layer of abstractions to be added without modification of the entire system. Concept of Service Oriented Architecture with web services was used for rapid integration solution in solving the challenges faced during integration of multiple incompatible applications.


title: A Visual Cryptographic Encryption Technique for Securing Medical Images

abstract: The increased growth in the use of transmission of multimedia medical contents over unsecured and open networks provides insecurity for confidential patient information over these networks. Digital encryption of medical images before transmission and storage is proposed as a way to effectively provide protection of patient information. Encryption before watermarking of these images is necessary in order to ensure inaccessibility of information to unauthorized personnel with patient. This paper presented a visual cryptographic technique for encrypting of medical images before transmission or storage of them. This will make such images inaccessible by unauthorized personnel and also ensures confidentiality. The process made use of an encryption technique that is based on pixel shuffling and a secret key generated from the image.


title: PPS: Privacy-Preserving Strategyproof Social-Efficient Spectrum Auction Mechanisms

abstract: Many spectrum auction mechanisms have been proposed for spectrum allocation problem, and unfortunately, few of them protect the bid privacy of bidders and achieve good social efficiency. In this paper, we propose PPS, a Privacy Preserving Strategyproof spectrum auction framework. Then, we design two schemes based on PPS separately for 1) the Single-Unit Auction model (SUA), where only single channel to be sold in the spectrum market; and 2) the Multi-Unit Auction model (MUA), where the primary user subleases multi-unit channels to the secondary users and each of the secondary users wants to access multi-unit channels either. Since the social efficiency maximization problem is NP-hard in both auction models, we present allocation mechanisms with approximation factors of $(1+\epsilon)$ and 32 separately for SUA and MUA, and further judiciously design strategyproof auction mechanisms with privacy preserving based on them. Our extensive evaluations show that our mechanisms achieve good social efficiency and with low computation and communication overhead.


title: Multi-dimensional Parametric Mincuts for Constrained MAP Inference

abstract: In this paper, we propose novel algorithms for inferring the Maximum a Posteriori (MAP) solution of discrete pairwise random field models under multiple constraints. We show how this constrained discrete optimization problem can be formulated as a multi-dimensional parametric mincut problem via its Lagrangian dual, and prove that our algorithm isolates all constraint instances for which the problem can be solved exactly. These multiple solutions enable us to even deal with `soft constraints' (higher order penalty functions). Moreover, we propose two practical variants of our algorithm to solve problems with hard constraints. We also show how our method can be applied to solve various constrained discrete optimization problems such as submodular minimization and shortest path computation. Experimental evaluation using the foreground-background image segmentation problem with statistic constraints reveals that our method is faster and its results are closer to the ground truth labellings compared with the popular continuous relaxation based methods.


title: A curious identity for Bernoulli numbers

abstract: We prove a curious identity for the Bernoulli numbers.


title: Protein (Multi-)Location Prediction: Using Location Inter-Dependencies in a Probabilistic Framework

abstract: Knowing the location of a protein within the cell is important for understanding its function, role in biological processes, and potential use as a drug target. Much progress has been made in developing computational methods that predict single locations for proteins, assuming that proteins localize to a single location. However, it has been shown that proteins localize to multiple locations. While a few recent systems have attempted to predict multiple locations of proteins, they typically treat locations as independent or capture inter-dependencies by treating each locations-combination present in the training set as an individual location-class. We present a new method and a preliminary system we have developed that directly incorporates inter-dependencies among locations into the multiple-location-prediction process, using a collection of Bayesian network classifiers. We evaluate our system on a dataset of single- and multi-localized proteins. Our results, obtained by incorporating inter-dependencies are significantly higher than those obtained by classifiers that do not use inter-dependencies. The performance of our system on multi-localized proteins is comparable to a top performing system (YLoc+), without restricting predictions to be based only on location-combinations present in the training set.


title: Emergence of scaling in human-interest dynamics

abstract: Human behaviors are often driven by human interests. Despite intense recent efforts in exploring the dynamics of human behaviors, little is known about human-interest dynamics, partly due to the extreme difficulty in accessing the human mind from observations. However, the availability of large-scale data, such as those from e-commerce and smart-phone communications, makes it possible to probe into and quantify the dynamics of human interest. Using three prototypical "big data" sets, we investigate the scaling behaviors associated with human-interest dynamics. In particular, from the data sets we uncover power-law scaling associated with the three basic quantities: (1) the length of continuous interest, (2) the return time of visiting certain interest, and (3) interest ranking and transition. We argue that there are three basic ingredients underlying human-interest dynamics: preferential return to previously visited interests, inertial effect, and exploration of new interests. We develop a biased random-walk model, incorporating the three ingredients, to account for the observed power-law scaling relations. Our study represents the first attempt to understand the dynamical processes underlying human interest, which has significant applications in science and engineering, commerce, as well as defense, in terms of specific tasks such as recommendation and human-behavior prediction.


title: A Schwarz-Pick lemma for the modulus of holomorphic mappings between the unit balls in complex spaces

abstract: In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings between the unit balls in complex spaces. This extends the classical Schwarz-Pick lemma and the related result proved by Pavlovic.


title: Towards Reliable Automatic Protein Structure Alignment

abstract: A variety of methods have been proposed for structure similarity calculation, which are called structure alignment or superposition. One major shortcoming in current structure alignment algorithms is in their inherent design, which is based on local structure similarity. In this work, we propose a method to incorporate global information in obtaining optimal alignments and superpositions. Our method, when applied to optimizing the TM-score and the GDT score, produces significantly better results than current state-of-the-art protein structure alignment tools. Specifically, if the highest TM-score found by TMalign is lower than (0.6) and the highest TM-score found by one of the tested methods is higher than (0.5), there is a probability of (42%) that TMalign failed to find TM-scores higher than (0.5), while the same probability is reduced to (2%) if our method is used. This could significantly improve the accuracy of fold detection if the cutoff TM-score of (0.5) is used. In addition, existing structure alignment algorithms focus on structure similarity alone and simply ignore other important similarities, such as sequence similarity. Our approach has the capacity to incorporate multiple similarities into the scoring function. Results show that sequence similarity aids in finding high quality protein structure alignments that are more consistent with eye-examined alignments in HOMSTRAD. Even when structure similarity itself fails to find alignments with any consistency with eye-examined alignments, our method remains capable of finding alignments highly similar to, or even identical to, eye-examined alignments.


title: Percolation Modeling of Self-Damaging of Composite Materials

abstract: We propose the concept of autonomous self-damaging in "smart" composite materials, controlled by activation of added nanosize "damaging" capsules. Percolation-type modeling approach earlier applied to the related concept of self-healing materials, is used to investigate the behavior of the initial material's fatigue. We aim at achieving a relatively sharp drop in the material's integrity after some initial limited fatigue develops in the course of the sample's usage. Our theoretical study considers a two-dimensional lattice model and involves Monte Carlo simulations of the connectivity and conductance in the high-connectivity regime of percolation. We give several examples of local capsule-lattice and capsule-capsule activation rules and show that the desired self-damaging property can only be obtained with rather sophisticated "smart" material's response involving not just damaging but also healing capsules.


title: Efficient Energy Minimization for Enforcing Statistics

abstract: Energy minimization algorithms, such as graph cuts, enable the computation of the MAP solution under certain probabilistic models such as Markov random fields. However, for many computer vision problems, the MAP solution under the model is not the ground truth solution. In many problem scenarios, the system has access to certain statistics of the ground truth. For instance, in image segmentation, the area and boundary length of the object may be known. In these cases, we want to estimate the most probable solution that is consistent with such statistics, i.e., satisfies certain equality or inequality constraints. The above constrained energy minimization problem is NP-hard in general, and is usually solved using Linear Programming formulations, which relax the integrality constraints. This paper proposes a novel method that finds the discrete optimal solution of such problems by maximizing the corresponding Lagrangian dual. This method can be applied to any constrained energy minimization problem whose unconstrained version is polynomial time solvable, and can handle multiple, equality or inequality, and linear or non-linear constraints. We demonstrate the efficacy of our method on the foreground/background image segmentation problem, and show that it produces impressive segmentation results with less error, and runs more than 20 times faster than the state-of-the-art LP relaxation based approaches.


title: Intrinsic Localized Modes in a Nonlinear Electrical Lattice with Saturable Nonlinearity

abstract: This experimental study of driven intrinsic localized modes (ILMs) in an electronic circuit lattice with saturable nonlinearity follows the theoretical work of Hadzievski and coworkers. They proposed that a saturable nonlinearity could introduce transition points where localized excitations in nonintegrable lattices would move freely. In our experiments MOS capacitors provide the saturable nonlinearity in an electric lattice. Because of the soft nonlinearity driver locked, auto-resonance stationary ILMs are observed below the bottom of a linear frequency band of the lattice. With decreasing driver frequency the width of the ILM changes in a step-wise manner as does the softening of the barrier between site-centered and bond-centered ILM locations in agreement with theoretical expectations. However, the steps show hysteresis between up and down frequency scans and such hysteresis inhibits the free motion of ILMs.


title: Constraining the Z' Mass in 331 Models using Direct Dark Matter Detection

abstract: We investigate a so-called 331 extension of the Standard Model gauge sector which accommodates neutrino masses and where the lightest of the new neutral fermions in the theory is a viable particle dark matter candidate. In this model, processes mediated by the additional $Z^{\prime}$ gauge boson set both the dark matter relic abundance and the scattering cross section off of nuclei. We calculate with unprecedented accuracy the dark matter relic density, including the important effect of coannihilation across the heavy fermion sector, and show that indeed the candidate particle has the potential of having the observed dark matter density. We find that the recent LUX results put very stringent bounds on the mass of the extra gauge boson, $M_{Z^{\prime}} \gtrsim 2$~TeV, independently of the dark matter mass. We also comment on regime where our bounds on the $Z^{\prime}$ mass may apply to generic 331-like models, and on implications for LHC phenomenology.


title: A Minimum-Labeling Approach for Reconstructing Protein Networks across Multiple Conditions

abstract: The sheer amounts of biological data that are generated in recent years have driven the development of network analysis tools to facilitate the interpretation and representation of these data. A fundamental challenge in this domain is the reconstruction of a protein-protein subnetwork that underlies a process of interest from a genome-wide screen of associated genes. Despite intense work in this area, current algorithmic approaches are largely limited to analyzing a single screen and are, thus, unable to account for information on condition-specific genes, or reveal the dynamics (over time or condition) of the process in question. Here we propose a novel formulation for network reconstruction from multiple-condition data and devise an efficient integer program solution for it. We apply our algorithm to analyze the response to influenza infection in humans over time as well as to analyze a pair of ER export related screens in humans. By comparing to an extant, single-condition tool we demonstrate the power of our new approach in integrating data from multiple conditions in a compact and coherent manner, capturing the dynamics of the underlying processes.


title: Emergence of fractal in aggregation with stochastic self-replication

abstract: We propose and investigate a simple model which describes the kinetics of aggregation of Brownian particles with stochastic self-replication. An exact solution and the scaling theory are presented alongside numerical simulation which fully support all theoretical findings. In particular, we show analytically that the particle size distribution function exhibits dynamic scaling and we verified it numerically using the idea of data-collapse. Besides, the conditions under which the resulting system emerges as a fractal are found, the fractal dimension of the system is given and the relationship between this fractal dimension and a conserved quantity is pointed out.


title: Faster mass decomposition

abstract: Metabolomics complements investigation of the genome, transcriptome, and proteome of an organism. Today, the vast majority of metabolites remain unknown, in particular for non-model organisms. Mass spectrometry is one of the predominant techniques for analyzing small molecules such as metabolites. A fundamental step for identifying a small molecule is to determine its molecular formula. Here, we present and evaluate three algorithm engineering techniques that speed up the molecular formula determination. For that, we modify an existing algorithm for decomposing the monoisotopic mass of a molecule. These techniques lead to a four-fold reduction of running times, and reduce memory consumption by up to 94%. In comparison to the classical search tree algorithm, our algorithm reaches a 1000-fold speedup.


title: On NP-Hardness of the Paired de Bruijn Sound Cycle Problem

abstract: The paired de Bruijn graph is an extension of de Bruijn graph incorporating mate pair information for genome assembly proposed by Mevdedev et al. However, unlike in an ordinary de Bruijn graph, not every path or cycle in a paired de Bruijn graph will spell a string, because there is an additional soundness constraint on the path. In this paper we show that the problem of checking if there is a sound cycle in a paired de Bruijn graph is NP-hard in general case. We also explore some of its special cases, as well as a modified version where the cycle must also pass through every edge.


title: Finite-State Markov Modeling of Tunnel Channels in Communication-based Train Control (CBTC) Systems

abstract: Communication-based train control (CBTC) is gradually adopted in urban rail transit systems, as it can significantly enhance railway network efficiency, safety and capacity. Since CBTC systems are mostly deployed in underground tunnels and trains move in high speed, building a train-ground wireless communication system for CBTC is a challenging task. Modeling the tunnel channels is very important to design and evaluate the performance of CBTC systems. Most of existing works on channel modeling do not consider the unique characteristics in CBTC systems, such as high mobility speed, deterministic moving direction, and accurate train location information. In this paper, we develop a finite state Markov channel (FSMC) model for tunnel channels in CBTC systems. The proposed FSMC model is based on real field CBTC channel measurements obtained from a business operating subway line. Unlike most existing channel models, which are not related to specific locations, the proposed FSMC channel model takes train locations into account to have a more accurate channel model. The distance between the transmitter and the receiver is divided into intervals, and an FSMC model is applied in each interval. The accuracy of the proposed FSMC model is illustrated by the simulation results generated from the model and the real field measurement results.


title: Automated Attack Planning

abstract: Penetration Testing is a methodology for assessing network security, by generating and executing possible attacks. Doing so automatically allows for regular and systematic testing. A key question then is how to automatically generate the attacks. A natural way to address this issue is as an attack planning problem. In this thesis, we are concerned with the specific context of regular automated pentesting, and use the term "attack planning" in that sense. The following three research directions are investigated. First, we introduce a conceptual model of computer network attacks, based on an analysis of the penetration testing practices. We study how this attack model can be represented in the PDDL language. Then we describe an implementation that integrates a classical planner with a penetration testing tool. This allows us to automatically generate attack paths for real world pentesting scenarios, and to validate these attacks by executing them. Secondly, we present efficient probabilistic planning algorithms, specifically designed for this problem, that achieve industrial-scale runtime performance (able to solve scenarios with several hundred hosts and exploits). These algorithms take into account the probability of success of the actions and their expected cost (for example in terms of execution time, or network traffic generated). Finally, we take a different direction: instead of trying to improve the efficiency of the solutions developed, we focus on improving the model of the attacker. We model the attack planning problem in terms of partially observable Markov decision processes (POMDP). This grounds penetration testing in a well-researched formalism. POMDPs allow the modelling of information gathering as an integral part of the problem, thus providing for the first time a means to intelligently mix scanning actions with actual exploits.


title: Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration

abstract: Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic testing. A key question is how to generate the attacks. This is naturally formulated as planning under uncertainty, i.e., under incomplete knowledge about the network configuration. Previous work uses classical planning, and requires costly pre-processes reducing this uncertainty by extensive application of scanning methods. By contrast, we herein model the attack planning problem in terms of partially observable Markov decision processes (POMDP). This allows to reason about the knowledge available, and to intelligently employ scanning actions as part of the attack. As one would expect, this accurate solution does not scale. We devise a method that relies on POMDPs to find good attacks on individual machines, which are then composed into an attack on the network as a whole. This decomposition exploits network structure to the extent possible, making targeted approximations (only) where needed. Evaluating this method on a suitably adapted industrial test suite, we demonstrate its effectiveness in both runtime and solution quality.


title: Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing

abstract: In order to overcome the limitations imposed by DNA barcoding when multiplexing a large number of samples in the current generation of high-throughput sequencing instruments, we have recently proposed a new protocol that leverages advances in combinatorial pooling design (group testing) doi:10.1371/journal.pcbi.1003010. We have also demonstrated how this new protocol would enable de novo selective sequencing and assembly of large, highly-repetitive genomes. Here we address the problem of decoding pooled sequenced data obtained from such a protocol. Our algorithm employs a synergistic combination of ideas from compressed sensing and the decoding of error-correcting codes. Experimental results on synthetic data for the rice genome and real data for the barley genome show that our novel decoding algorithm enables significantly higher quality assemblies than the previous approach.


title: A Novel Combinatorial Method for Estimating Transcript Expression with RNA-Seq: Bounding the Number of Paths

abstract: RNA-Seq technology offers new high-throughput ways for transcript identification and quantification based on short reads, and has recently attracted great interest. The problem is usually modeled by a weighted splicing graph whose nodes stand for exons and whose edges stand for split alignments to the exons. The task consists of finding a number of paths, together with their expression levels, which optimally explain the coverages of the graph under various fitness functions, such least sum of squares. In (Tomescu et al. RECOMB-seq 2013) we showed that under general fitness functions, if we allow a polynomially bounded number of paths in an optimal solution, this problem can be solved in polynomial time by a reduction to a min-cost flow program. In this paper we further refine this problem by asking for a bounded number k of paths that optimally explain the splicing graph. This problem becomes NP-hard in the strong sense, but we give a fast combinatorial algorithm based on dynamic programming for it. In order to obtain a practical tool, we implement three optimizations and heuristics, which achieve better performance on real data, and similar or better performance on simulated data, than state-of-the-art tools Cufflinks, IsoLasso and SLIDE. Our tool, called Traph, is available at http://www.cs.helsinki.fi/gsa/traph/


title: The jet-disc connection: evidence for a reinterpretation in radio loud and radio quiet active galactic nuclei

abstract: To constrain models of the jet-disc connection, we explore Eddington ratios reported in Foschini (2011) and interpret them in relation to the values in Sikora et al. across the active galactic nuclei population from radio loud quasars, their flat spectrum radio quasar subclass, the recently discovered gamma-ray loud narrow-line type 1 Seyfert galaxies, Fanaroff-Riley type I (FRI) radio galaxies and radio quiet quasars of the Palomar Green survey. While appeal to disc truncation in radiatively inefficient flow appears to explain the observed inverse relation between radio loudness and Eddington ratio in radio loud and radio quiet quasars, FR I objects, scale invariance and recent data on powerful jets in narrow-line Seyfert 1 galaxies offer compelling arguments in favour of a reinterpretaion of the jet-disc connection.


title: A polynomial delay algorithm for the enumeration of bubbles with length constraints in directed graphs and its application to the detection of alternative splicing in RNA-seq data

abstract: We present a new algorithm for enumerating bubbles with length constraints in directed graphs. This problem arises in transcriptomics, where the question is to identify all alternative splicing events present in a sample of mRNAs sequenced by RNA-seq. This is the first polynomial-delay algorithm for this problem and we show that in practice, it is faster than previous approaches. This enables us to deal with larger instances and therefore to discover novel alternative splicing events, especially long ones, that were previously overseen using existing methods.


title: Wireless Message Dissemination via Selective Relay over Bluetooth (MDSRoB)

abstract: This paper presents a wireless message dissemination method designed with no need to trust other users. This method utilizes modern wireless adaptors ability to broadcast device name and identification information. Using the scanning features built into Bluetooth and Wifi, messages can be exchanged via their device names. This paper outlines a method of interchanging multiple messages to discoverable and nondiscoverable devices using a user defined scanning interval method along with a response based system. By selectively relaying messages each user is in control of their involvement in the ad-hoc network.


title: Models of Non-Minimal Chaotic Inflation in Supergravity

abstract: We show how we can implement chaotic inflation in the context of supergravity by conveniently selecting the functional form of a strong enough non-minimal coupling between the inflaton and the Ricci scalar curvature. The procedure can be applied when a gauge singlet or non-singlet inflaton is coupled to another singlet superfield within linear-quadratic, trilinear or bilinear superpotential terms. The tachyonic instability occurring along the direction of the accompanying non-inflaton field can be cured by expanding the kinetic part of the frame function up to the fourth order in powers of the various fields. In the case of a gauge non-singlet inflaton, though, a conjugation symmetry has to be imposed on these terms in order for the flatness of the inflationary potential is maintained. On the other hand, some of these terms assist us to precisely reconcile the resulting scalar spectral index with the current PLANCK measurements while the other inflationary observables are in agreement with data.


title: An odd categorification of quantum sl(2)

abstract: We define a 2-category that categorifies the covering Kac-Moody algebra for sl(2) introduced by Clark and Wang. This categorification forms the structure of a super-2-category as formulated by Kang, Kashiwara, and Oh. The super-2-category structure introduces a (Z x Z_2)-grading giving its Grothendieck group the structure of a free module over the group algebra of Z x Z_2. By specializing the Z_2-action to +1 or to -1, the construction specializes to an "odd" categorification of sl(2) and to a supercategorification of osp(1|2), respectively.


title: Distribution of graph-distances in Boltzmann ensembles of RNA secondary structures

abstract: Large RNA molecules often carry multiple functional domains whose spatial arrangement is an important determinant of their function. Pre-mRNA splicing, furthermore, relies on the spatial proximity of the splice junctions that can be separated by very long introns. Similar effects appear in the processing of RNA virus genomes. Albeit a crude measure, the distribution of spatial distances in thermodynamic equilibrium therefore provides useful information on the overall shape of the molecule can provide insights into the interplay of its functional domains. Spatial distance can be approximated by the graph-distance in RNA secondary structure. We show here that the equilibrium distribution of graph-distances between arbitrary nucleotides can be computed in polynomial time by means of dynamic programming. A naive implementation would yield recursions with a very high time complexity of O(n^11). Although we were able to reduce this to O(n^6) for many practical applications a further reduction seems difficult. We conclude, therefore, that sampling approaches, which are much easier to implement, are also theoretically favorable for most real-life applications, in particular since these primarily concern long-range interactions in very large RNA molecules.


title: PAC study of the static and dynamic aspects of metal atom inside C60 cage

abstract: 30 keV 111mCd and 50 keV 199mHg beams from ISOLDE were used to implant on preformed target of C60 with the thickness of 1 mg/cm2. Endofullerene compounds, viz.,111mCd@C60 and 199mHg@C60 formed during implantation were separated by filtration through micropore filter paper followed by solvent extraction. Dried samples of the endofullerene compounds were counted for the coincidence for the 151-245 keV cascade of 111mCd and 374-158 keV cascade for 199mHg for the TDPAC measurement on a six LaBr3 detector system coupled with digital electronics. The results indicate a single site occupied by the Cd atom in the fullerene cage with fast relaxation component which means that the Cd atom does move inside the cage at room temperature. The quadrupole interaction frequency and asymmetry parameter of the Cd atom occupying the site in C60 are WQ=8.14(42) Mrad/s and eta= 0.42(9) respectively with a site population of 28%. Fast relaxation constant is 0.003 ns-1 with a site contribution of 72%. On the other hand, Hg atom has two static sites of quadrupole frequencies, WQ1=281.60(16.9) Mrad/s and WQ2=202.30(22.7) Mrad/s. Respective asymmetry parameters are eta1=0.1(1) and eta2=0.2(1). The static components have a contribution of 40% with the rest 60% coming from the fast relaxing component.


title: Complex versus real orthogonal polynomials of two variables

abstract: Orthogonal polynomials of two real variables can often be represented in complex variables. We explore the connection between the two types of representations and study the structural relations of complex orthogonal polynomials. The complex Hermite orthogonal polynomials and the disk polynomials are used as illustrating examples.


title: Faster Algorithms for RNA-folding using the Four-Russians method

abstract: The secondary structure that maximizes the number of non-crossing matchings between complimentary bases of an RNA sequence of length n can be computed in O(n^3) time using Nussinov's dynamic programming algorithm. The Four-Russians method is a technique that will reduce the running time for certain dynamic programming algorithms by a multiplicative factor after a preprocessing step where solutions to all smaller subproblems of a fixed size are exhaustively enumerated and solved. Frid and Gusfield designed an O(\frac{n^3}{\log n}) algorithm for RNA folding using the Four-Russians technique. In their algorithm the preprocessing is interleaved with the algorithm computation. (Algo. Mol. Biol., 2010). We simplify the algorithm and the analysis by doing the preprocessing once prior to the algorithm computation. We call this the two-vector method. We also show variants where instead of exhaustive preprocessing, we only solve the subproblems encountered in the main algorithm once and memoize the results. We give a simple proof of correctness and explore the practical advantages over the earlier method. The Nussinov algorithm admits an O(n^2) time parallel algorithm. We show a parallel algorithm using the two-vector idea that improves the time bound to O(\frac{n^2}{log n}). We discuss the organization of the data structures to exploit coalesced memory access for fast running times. The ideas to organize the data structures also help in improving the running time of the serial algorithms. For sequences of length up to 6000 bases the parallel algorithm takes only about 2.5 seconds and the two-vector serial method takes about 57 seconds on a desktop and 15 seconds on a server. Among the serial algorithms, the two-vector and memoized versions are faster than the Frid-Gusfield algorithm by a factor of 3, and are faster than Nussinov by up to a factor of 20.


title: Algorithms for the Majority Rule (+) Consensus Tree and the Frequency Difference Consensus Tree

abstract: This paper presents two new deterministic algorithms for constructing consensus trees. Given an input of k phylogenetic trees with identical leaf label sets and n leaves each, the first algorithm constructs the majority rule (+) consensus tree in O(kn) time, which is optimal since the input size is Omega(kn), and the second one constructs the frequency difference consensus tree in min(O(kn^2), O(kn (k+log^2 n))) time.


title: Truthful Mechanisms for Secure Communication in Wireless Cooperative System

abstract: To ensure security in data transmission is one of the most important issues for wireless relay networks, and physical layer security is an attractive alternative solution to address this issue. In this paper, we consider a cooperative network, consisting of one source node, one destination node, one eavesdropper node, and a number of relay nodes. Specifically, the source may select several relays to help forward the signal to the corresponding destination to achieve the best security performance. However, the relays may have the incentive not to report their true private channel information in order to get more chances to be selected and gain more payoff from the source. We propose a Vickey-Clark-Grove (VCG) based mechanism and an Arrow-d'Aspremont-Gerard-Varet (AGV) based mechanism into the investigated relay network to solve this cheating problem. In these two different mechanisms, we design different "transfer payment" functions to the payoff of each selected relay and prove that each relay gets its maximum (expected) payoff when it truthfully reveals its private channel information to the source. And then, an optimal secrecy rate of the network can be achieved. After discussing and comparing the VCG and AGV mechanisms, we prove that the AGV mechanism can achieve all of the basic qualifications (incentive compatibility, individual rationality and budget balance) for our system. Moreover, we discuss the optimal quantity of relays that the source node should select. Simulation results verify efficiency and fairness of the VCG and AGV mechanisms, and consolidate these conclusions.


title: BFKL equation with running QCD coupling and HERA data

abstract: In this paper we developed approach based on the BFKL evolution in $\ln\Lb Q^2\Rb$. We show that the simplest diffusion approximation with running QCD coupling is able to describe the HERA experimental data on the deep inelastic structure function with good $\chi^2/d.o.f. \approx 1.3$. From our description of the experimental data we learned several lessons; (i) the non-perturbative physics at long distances started to show up at $Q^2 = 0.25\,GeV^2$; (ii) the scattering amplitude at $Q^2 = 0.25\,GeV^2$ cannot be written as sum of soft Pomeron and the secondary Reggeon but the Pomeron interactions should be taken into account; (iii) the Pomeron interactions can be reduced to the enhanced diagrams and, therefore, we do not see any needs for the shadowing corrections at HERA energies; and (iv) we demonstrated that the shadowing correction could be sizable at higher than HERA energies without any contradiction with our initial conditions.


title: The generalized Robinson-Foulds metric

abstract: The Robinson-Foulds (RF) metric is arguably the most widely used measure of phylogenetic tree similarity, despite its well-known shortcomings: For example, moving a single taxon in a tree can result in a tree that has maximum distance to the original one; but the two trees are identical if we remove the single taxon. To this end, we propose a natural extension of the RF metric that does not simply count identical clades but instead, also takes similar clades into consideration. In contrast to previous approaches, our model requires the matching between clades to respect the structure of the two trees, a property that the classical RF metric exhibits, too. We show that computing this generalized RF metric is, unfortunately, NP-hard. We then present a simple Integer Linear Program for its computation, and evaluate it by an all-against-all comparison of 100 trees from a benchmark data set. We find that matchings that respect the tree structure differ significantly from those that do not, underlining the importance of this natural condition.


title: Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time

abstract: The phylogenetic Mean Pairwise Distance (MPD) is one of the most popular measures for computing the phylogenetic distance between a given group of species. More specifically, for a phylogenetic tree T and for a set of species R represented by a subset of the leaf nodes of T, the MPD of R is equal to the average cost of all possible simple paths in T that connect pairs of nodes in R. Among other phylogenetic measures, the MPD is used as a tool for deciding if the species of a given group R are closely related. To do this, it is important to compute not only the value of the MPD for this group but also the expectation, the variance, and the skewness of this metric. Although efficient algorithms have been developed for computing the expectation and the variance the MPD, there has been no approach so far for computing the skewness of this measure. In the present work we describe how to compute the skewness of the MPD on a tree T optimally, in Theta(n) time; here n is the size of the tree T. So far this is the first result that leads to an exact, let alone efficient, computation of the skewness for any popular phylogenetic distance measure. Moreover, we show how we can compute in Theta(n) time several interesting quantities in T that can be possibly used as building blocks for computing efficiently the skewness of other phylogenetic measures.


title: Condensated fermion system in the model of four-quark interaction with large correlation length

abstract: Studying a model of four-quark interaction with large correlation length we find out both the features peculiar an unitary fermi gas and the specific anomalous properties of the fermi systems with a fermion condensate. It is argued that a possibility of phase transition originated by interface between the Fermi sphere and fermion condensate appears in such quark systems. The results obtained could be instrumental for phenomenological applications in view of our conclusion about approximately the same behavior of the dynamical characteristics of quark ensembles with different four-quark interaction forms in a practical interval of coupling constant.


title: Epoxy-based broadband anti-reflection coating for millimeter-wave optics

abstract: We have developed epoxy-based, broadband anti-reflection coatings for millimeter-wave astrophysics experiments with cryogenic optics. By using multiple-layer coatings where each layer steps in dielectric constant, we achieved low reflection over a wide bandwidth. We suppressed the reflection from an alumina disk to 10% over fractional bandwidths of 92% and 104% using two-layer and three-layer coatings, respectively. The dielectric constants of epoxies were tuned between 2.06 and 7.44 by mixing three types of epoxy and doping with strontium titanate powder required for the high dielectric mixtures. At 140 Kelvin, the band-integrated absorption loss in the coatings was suppressed to less than 1% for the two-layer coating, and below 10% for the three-layer coating.


title: Characterizing Compatibility and Agreement of Unrooted Trees via Cuts in Graphs

abstract: Deciding whether there is a single tree -a supertree- that summarizes the evolutionary information in a collection of unrooted trees is a fundamental problem in phylogenetics. We consider two versions of this question: agreement and compatibility. In the first, the supertree is required to reflect precisely the relationships among the species exhibited by the input trees. In the second, the supertree can be more refined than the input trees. Tree compatibility can be characterized in terms of the existence of a specific kind of triangulation in a structure known as the display graph. Alternatively, it can be characterized as a chordal graph sandwich problem in a structure known as the edge label intersection graph. Here, we show that the latter characterization yields a natural characterization of compatibility in terms of minimal cuts in the display graph, which is closely related to compatibility of splits. We then derive a characterization for agreement.


title: High Performance Information Reconciliation for QKD with CASCADE

abstract: It is widely accepted in the quantum cryptography community that interactive information reconciliation protocols, such as cascade, are ineffcient due to the communication overhead. Instead, non-interactive information reconciliation protocols based on i.e. LDPC codes or, more recently, polar codes have been proposed. In this work, we argue that interactive protocols should be taken into consideration in modern quantum key distribution systems. In particular, we demonstrate how to improve the performance of cascade by proper implementation and use. Our implementation of cascade reaches a throughput above 80 Mbps under realistic conditions. This is more than four times the throughput previously demonstrated in any information reconciliation protocol.


title: Semiparametric Exponential Families for Heavy-Tailed Data

abstract: We propose a semiparametric method for fitting the tail of a heavy-tailed population given a relatively small sample from that population and a larger sample from a related background population. We model the tail of the small sample as an exponential tilt of the better-observed large-sample tail, using a robust sufficient statistic motivated by extreme value theory. In particular, our method induces an estimator of the small-population mean, and we give theoretical and empirical evidence that this estimator outperforms methods that do not use the background sample. We demonstrate substantial efficiency gains over competing methods in simulation and on data from a large controlled experiment conducted by Facebook.


title: Unifying Parsimonious Tree Reconciliation

abstract: Evolution is a process that is influenced by various environmental factors, e.g. the interactions between different species, genes, and biogeographical properties. Hence, it is interesting to study the combined evolutionary history of multiple species, their genes, and the environment they live in. A common approach to address this research problem is to describe each individual evolution as a phylogenetic tree and construct a tree reconciliation which is parsimonious with respect to a given event model. Unfortunately, most of the previous approaches are designed only either for host-parasite systems, for gene tree/species tree reconciliation, or biogeography. Hence, a method is desirable, which addresses the general problem of mapping phylogenetic trees and covering all varieties of coevolving systems, including e.g., predator-prey and symbiotic relationships. To overcome this gap, we introduce a generalized cophylogenetic event model considering the combinatorial complete set of local coevolutionary events. We give a dynamic programming based heuristic for solving the maximum parsimony reconciliation problem in time O(n^2), for two phylogenies each with at most n leaves. Furthermore, we present an exact branch-and-bound algorithm which uses the results from the dynamic programming heuristic for discarding partial reconciliations. The approach has been implemented as a Java application which is freely available from http://pacosy.informatik.uni-leipzig.de/coresym.


title: Narrow absorption line variability in repeat quasar observations from the Sloan Digital Sky Survey

abstract: We present the results from a time domain study of absorption lines detected in quasar spectra with repeat observations from the Sloan Digital Sky Survey Data Release 7 (SDSS DR7). Beginning with over 4500 unique time separation baselines of various absorption line species identified in the SDSS DR7 quasar spectra, we create a catalogue of 2522 quasar absorption line systems with two to eight repeat observations, representing the largest collection of unbiased and homogeneous multi-epoch absorption systems ever published. To investigate these systems for time variability of narrow absorption lines, we refine this sample based on the reliability of the system detection, the proximity of pixels with bright sky contamination to individual absorption lines, and the quality of the continuum fit. Variability measurements of this sub-sample based on the absorption line equivalent widths yield a total of 33 systems with indications of significantly variable absorption strengths on time-scales ranging from one day to several years in the rest frame of the absorption system. Of these, at least 10 are from a class known as intervening absorption systems caused by foreground galaxies along the line of sight to the background quasar. This is the first evidence of possible absorption line variability detected in intervening systems, and their short time-scale variations suggest that small-scale structures (~10-100 au) are likely to exist in their host foreground galaxies.


title: RISM -- Reputation Based Intrusion Detection System for Mobile Ad hoc Networks

abstract: This paper proposes a combination of an Intrusion Detection System with a routing protocol to strengthen the defense of a Mobile Ad hoc Network. Our system is Socially Inspired, since we use the new paradigm of Reputation inherited from human behavior. The proposed IDS also has a unique characteristic of being Semi-distributed, since it neither distributes its Observation results globally nor keeps them entirely locally; however, managing to communicate this vital information without accretion of the network traffic. This innovative approach also avoids void assumptions and complex calculations for calculating and maintaining trust values used to estimate the reliability of other nodes observations. A robust Path Manager and Monitor system and Redemption and Fading concepts are other salient features of this design. The design has shown to outperform normal DSR in terms of Packet Delivery Ratio and Routing Overhead even when up to half of nodes in the network behave as malicious.


title: Prospects for collider searches for dark matter with heavy quarks

abstract: We present projections for future collider searches for dark matter produced in association with bottom or top quarks. Such production channels give rise to final states with missing transverse energy and one or more b-jets. Limits are given assuming an effective scalar operator coupling dark matter to quarks, where the dedicated analysis discussed here improves significantly over a generic monojet analysis. We give updated results for an anticipated high-luminosity LHC run at 14 TeV and for a 33 TeV hadron collider.


title: Landau's statistical mechanics for quasiparticle models

abstract: Landau's formalism of statistical mechanics \cite{la.1} is applied to the quasiparticle model of quark gluon plasma. It is a general formalism and consistent with our earlier studies \cite{ba.1} based on Pathria's formalism \cite{pa.1}. Both the formalism are consistent with thermodynamics and statistical mechanics. Under certain conditions, which are wrongly called thermodynamic consistent relation, we recover other formalism of quasiparticle system \cite{go.1}, widely studied in quark gluon plasma.


title: A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets

abstract: A roadmap for a semi-algebraic set $S$ is a curve which has a non-empty and connected intersection with all connected components of $S$. Hence, this kind of object, introduced by Canny, can be used to answer connectivity queries (with applications, for instance, to motion planning) but has also become of central importance in effective real algebraic geometry, since it is used in higher-level algorithms. In this paper, we provide a probabilistic algorithm which computes roadmaps for smooth and bounded real algebraic sets. Its output size and running time are polynomial in $(nD)^{n\log(d)}$, where $D$ is the maximum of the degrees of the input polynomials, $d$ is the dimension of the set under consideration and $n$ is the number of variables. More precisely, the running time of the algorithm is essentially subquadratic in the output size. Even under our assumptions, it is the first roadmap algorithm with output size and running time polynomial in $(nD)^{n\log(d)}$.


title: Asymptotics of solutions to the Navier-Stokes system in exterior domains

abstract: We consider the incompressible Navier-Stokes equations with the Dirichlet boundary condition in an exterior domain of $\mathbb{R}^n$ with $n\geq2$. We compare the long-time behaviour of solutions to this initial-boundary value problem with the long-time behaviour of solutions of the analogous Cauchy problem in the whole space $\mathbb{R}^n$. We find that the long-time asymptotics of solutions to both problems coincide either in the case of small initial data in the weak $L^{n}$-space or for a certain class of large initial data.


title: Asymmetric-valued Spectrum Auction and Competition in Wireless Broadband Services

abstract: We study bidding and pricing competition between two spiteful mobile network operators (MNOs) with considering their existing spectrum holdings. Given asymmetric-valued spectrum blocks are auctioned off to them via a first-price sealed-bid auction, we investigate the interactions between two spiteful MNOs and users as a three-stage dynamic game and characterize the dynamic game's equilibria. We show an asymmetric pricing structure and different market share between two spiteful MNOs. Perhaps counter-intuitively, our results show that the MNO who acquires the less-valued spectrum block always lowers his service price despite providing double-speed LTE service to users. We also show that the MNO who acquires the high-valued spectrum block, despite charing a higher price, still achieves more market share than the other MNO. We further show that the competition between two MNOs leads to some loss of their revenues. By investigating a cross-over point at which the MNOs' profits are switched, it serves as the benchmark of practical auction designs.


title: A Non-Abelian Vortex Lattice in Strongly Coupled Systems

abstract: The AdS/CFT correspondence predicts that background non-abelian magnetic fields induce instabilities in strongly-coupled systems with non-abelian global symmetries. These instabilities lead to the formation of vortex lattices in which the non-abelian currents "antiscreen" the applied magnetic field. From the bulk perspective, this behaviour can be traced to a well-known instability of Yang-Mills theory. We analyse the phase structure of the instability and comment on aspects of the vortex lattice.


title: On the Matrix Median Problem

abstract: The Genome Median Problem is an important problem in phylogenetic reconstruction under rearrangement models. It can be stated as follows: given three genomes, find a fourth that minimizes the sum of the pairwise rearrangement distances between it and the three input genomes. Recently, Feijao and Meidanis extended the algebraic theory for genome rearrangement to allow for linear chromosomes, thus yielding a new rearrangement model (the algebraic model), very close to the celebrated DCJ model. In this paper, we study the genome median problem under the algebraic model, whose complexity is currently open, proposing a more general form of the problem, the matrix median problem. It is known that, for any metric distance, at least one of the corners is a 4/3-approximation of the median. Our results allow us to compute up to three additional matrix median candidates, all of them with approximation ratios at least as good as the best corner, when the input matrices come from genomes. From the application point of view, it is usually more interesting to locate medians farther from the corners. We also show a fourth median candidate that gives better results in cases we tried. However, we do not have proven bounds for this fourth candidate yet.


title: A nominal association matrix with feature selection for categorical data

abstract: We introduce an informative probabilistic association matrix to measure a proportional local-to-global association of categories of one variable with another categorical variable. Towards a probability based proportional prediction, the association matrix gives rise to the expected predictive distribution of the first and second types of errors for a multinomial response variable. In addition, the normalization of the diagonal of the matrix gives rise to an association vector, which provides the expected category accuracy lift rate distribution. A general scheme of global-to-global association measures with flexible weight vectors is further developed from the matrix. A hierarchy of equivalence relations defined by the association matrix and vector is shown. Applications to financial and survey data together with simulations results are presented.


title: A Fixed-Parameter Algorithm for Minimum Common String Partition with Few Duplications

abstract: Motivated by the study of genome rearrangements, the NP-hard Minimum Common String Partition problems asks, given two strings, to split both strings into an identical set of blocks. We consider an extension of this problem to unbalanced strings, so that some elements may not be covered by any block. We present an efficient fixed-parameter algorithm for the parameters number k of blocks and maximum occurrence d of a letter in either string. We then evaluate this algorithm on bacteria genomes and synthetic data.


title: Effect of exchange interaction on the spin fluctuations of localized electrons

abstract: In this paper a microscopic theory of spin fluctuations in an ensemble of electrons localized on donors in a bulk semiconductor has been developed. Both the hyperfine interaction of the electron spin with spins of lattice nuclei and the exchange interaction between the electrons have been taken into account. We propose a model of clusters to calculate spin noise spectra of the ensemble of localized charge carriers. It has been shown that the electron-electron exchange interaction leads to an effective averaging of random nuclear fields and a shift of the peak in the spin-fluctuation spectrum towards lower frequencies.


title: MSARC: Multiple Sequence Alignment by Residue Clustering

abstract: Progressive methods offer efficient and reasonably good solutions to the multiple sequence alignment problem. However, resulting alignments are biased by guide-trees, especially for relatively distant sequences. We propose MSARC, a new graph-clustering based algorithm that aligns sequence sets without guide-trees. Experiments on the BAliBASE dataset show that MSARC achieves alignment quality similar to best progressive methods and substantially higher than the quality of other non-progressive algorithms. Furthermore, MSARC outperforms all other methods on sequence sets with the similarity structure hardly represented by a phylogenetic tree. Furthermore, MSARC outperforms all other methods on sequence sets whose evolutionary distances are hardly representable by a phylogenetic tree. These datasets are most exposed to the guide-tree bias of alignments. MSARC is available at http://bioputer.mimuw.edu.pl/msarc


title: Superconductivity in an electron band just above the Fermi level: possible route to BCS-BEC superconductivity

abstract: Conventional superconductivity follows Bardeen-Cooper-Schrieffer(BCS) theory of electrons-pairing in momentum-space, while superfluidity is the Bose-Einstein condensation(BEC) of atoms paired in real-space. These properties of solid metals and ultra-cold gases, respectively, are connected by the BCS-BEC crossover. Here we investigate the band dispersions in FeTe$_{0.6}$Se$_{0.4}$($T_c$ = 14.5 K $\sim$ 1.2 meV) in an accessible range below and above the Fermi level($E_F$) using ultra-high resolution laser angle-resolved photoemission spectroscopy. We uncover an electron band lying just 0.7 meV ($\sim$ 8 K) above $E_F$ at the $\Gamma$-point, which shows a sharp superconducting coherence peak with gap formation below $T_c$. The estimated superconducting gap $\Delta$ and Fermi energy $\epsilon_F$ indicate composite superconductivity in an iron-based superconductor, consisting of strong-coupling BEC in the electron band and weak-coupling BCS-like superconductivity in the hole band. The study identifies the possible route to BCS-BEC superconductivity.


title: Belief-Propagation Guided Monte-Carlo Sampling

abstract: A Monte-Carlo algorithm for discrete statistical models that combines the full power of the Belief Propagation algorithm with the advantages of a detailed-balanced heat bath approach is presented. A sub-tree inside the factor graph is first extracted randomly; Belief Propagation is then used as a perfect sampler to generate a configuration on the tree given the boundary conditions and the procedure is iterated. This appoach is best adapted for locally tree like graphs, it is therefore tested on the hard cases of spin-glass models for random graphs demonstrating its state-of-the art status in those cases.


title: Mutual Enrichment in Ranked Lists and the Statistical Assessment of Position Weight Matrix Motifs

abstract: Statistics in ranked lists is important in analyzing molecular biology measurement data, such as ChIP-seq, which yields ranked lists of genomic sequences. State of the art methods study fixed motifs in ranked lists. More flexible models such as position weight matrix (PWM) motifs are not addressed in this context. To assess the enrichment of a PWM motif in a ranked list we use a PWM induced second ranking on the same set of elements. Possible orders of one ranked list relative to the other are modeled by permutations. Due to sample space complexity, it is difficult to characterize tail distributions in the group of permutations. In this paper we develop tight upper bounds on tail distributions of the size of the intersection of the top of two uniformly and independently drawn permutations and demonstrate advantages of this approach using our software implementation, mmHG-Finder, to study PWMs in several datasets.


title: An Integrated System for 3D Gaze Recovery and Semantic Analysis of Human Attention

abstract: This work describes a computer vision system that enables pervasive mapping and monitoring of human attention. The key contribution is that our methodology enables full 3D recovery of the gaze pointer, human view frustum and associated human centered measurements directly into an automatically computed 3D model in real-time. We apply RGB-D SLAM and descriptor matching methodologies for the 3D modeling, localization and fully automated annotation of ROIs (regions of interest) within the acquired 3D model. This innovative methodology will open new avenues for attention studies in real world environments, bringing new potential into automated processing for human factors technologies.


title: Proceedings Sixth Workshop on Intersection Types and Related Systems

abstract: This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012). The ITRS workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches (e.g., union types, refinement types, behavioural types, recursive types, and so on).


title: High-temperature superconductivity and normal state in the Holstein-t-J model

abstract: A possible origin of the high-temprature superconductivity in cuprates has been suggested. It is supposed that electron-phonon interaction determines the strong correlation narrowing of the electron band. It provides the conditions for the formation of a singlet electron pair coupled by exchange interaction. For the pure t-J model it has been proved that these electron pairs are destroyed by a strong effective kinematic field. The detailed analysis of an influence of the Holstein polaron excitations upon normal and superconducting properties of the strongly correlated electrons was made. A calculated critical temperature of the superconductivity and gap function are in good agreement with experimental data for cuprates.


title: Hybrid Affinity Propagation

abstract: In this paper, we address a problem of managing tagged images with hybrid summarization. We formulate this problem as finding a few image exemplars to represent the image set semantically and visually, and solve it in a hybrid way by exploiting both visual and textual information associated with images. We propose a novel approach, called homogeneous and heterogeneous message propagation ($\text{H}^\text{2}\text{MP}$). Similar to the affinity propagation (AP) approach, $\text{H}^\text{2}\text{MP}$ reduce the conventional \emph{vector} message propagation to \emph{scalar} message propagation to make the algorithm more efficient. Beyond AP that can only handle homogeneous data, $\text{H}^\text{2}\text{MP}$ generalizes it to exploit extra heterogeneous relations and the generalization is non-trivial as the reduction to scalar messages from vector messages is more challenging. The main advantages of our approach lie in 1) that $\text{H}^\text{2}\text{MP}$ exploits visual similarity and in addition the useful information from the associated tags, including the associations relation between images and tags and the relations within tags, and 2) that the summary is both visually and semantically satisfactory. In addition, our approach can also present a textual summary to a tagged image collection, which can be used to automatically generate a textual description. The experimental results demonstrate the effectiveness and efficiency of the roposed approach.


title: Scalable $k$-NN graph construction

abstract: The $k$-NN graph has played a central role in increasingly popular data-driven techniques for various learning and vision tasks; yet, finding an efficient and effective way to construct $k$-NN graphs remains a challenge, especially for large-scale high-dimensional data. In this paper, we propose a new approach to construct approximate $k$-NN graphs with emphasis in: efficiency and accuracy. We hierarchically and randomly divide the data points into subsets and build an exact neighborhood graph over each subset, achieving a base approximate neighborhood graph; we then repeat this process for several times to generate multiple neighborhood graphs, which are combined to yield a more accurate approximate neighborhood graph. Furthermore, we propose a neighborhood propagation scheme to further enhance the accuracy. We show both theoretical and empirical accuracy and efficiency of our approach to $k$-NN graph construction and demonstrate significant speed-up in dealing with large scale visual data.


title: Bi-spectral beam extraction in combination with a focusing feeder

abstract: Bi-spectral beam extraction combines neutrons from two different kind of moderators into one beamline, expanding the spectral range and thereby the utilization of an instrument. This idea can be realized by a mirror that reflects long wavelength neutrons from an off-axis colder moderator into a neutron guide aligned with another moderator emitting neutrons with shorter wavelengths which will be transmitted through the mirror. The mirror used in such systems is typically several meters long, which is a severe disadvantage because it reduces the possible length of a focusing device in design concepts requiring a narrow beam at a short distance from the source, as used in many instruments under development for the planned European Spallation Source (ESS). We propose a shortened extraction system consisting of several mirrors, and show that such an extraction system is better suited for combination with a feeder in an eye of the needle design, illustrated here in the context of a possible ESS imaging beamline.


title: Generalized Lagrangian mean curvature flows in almost Calabi-Yau manifolds

abstract: In this paper, we study the generalized Lagrangian mean curvature flow in almost Einstein manifold proposed by T. Behrndt. We show that the singularity of this flow is characterized by the second fundamental form. We also show that the rescaled flow at a singularity converges to a finite union of Special Lagrangian cones for generalized Lagrangian mean curvature flow with zero-Maslov class in almost Calabi-Yau manifold. As a corollary, there is no finite time Type-I singularity for such a flow.


title: On possible origins of power-law distributions

abstract: Selected examples of possible origins of power-law distributions are presented.


title: Micron-Scale Mapping of Megagauss Magnetic Fields in Petawatt Laser-Solid Interactions

abstract: We report spatially and temporally resolved measurements of magnetic fields generated by petawatt laser-solid interactions with high spatial resolution, using optical polarimetry. The polarimetric measurements map the megagauss magnetic field profiles generated by the fast electron currents at the target rear. The magnetic fields at the rear of a 50 $\mu$m thick aluminum target exhibit distinct and unambiguous signatures of electron beam filamentation. These results are corroborated by hybrid simulations.


title: Classification of Finite Potent Endomorphisms

abstract: The aim of this work is to offer a family of invariants that allows us to classify finite potent endomorphisms on arbitrary vector spaces, generalizing the classification of endomorphisms on finite-dimensional vector spaces. As a particular case we classify nilpotent endomorphisms on infinite-dimensional vector spaces.


title: The chromatic class and the chromatic number of the planar conjugated triangulation

abstract: This material is dedicated to the estimation of the chromatic number and chromatic class of the conjugated triangulation (first conversion) and also of the second conversion of the planar triangulation. Also this paper introduces some new hypotheses, which are equivalent to Four Color Problem.


title: Interacting varying Ghost Dark energy models in General Relativity

abstract: Motivated by recent developments in Cosmology we would like to consider an extension of the Ghost DE which we will call as varying Ghost DE. Ghost DE like other models was introduced recently as a possible way to explain accelerated expansion of the Universe. For the phenomenological origin of the varying Ghost dark energy in our Universe we can suggest an existence of some unknown dynamics between the Ghost Dark energy and a fluid which evaporated completely making sense of the proposed effect. Moreover, we assume that this was in the epochs and scales which are unreachable by nowadays experiments, like in very early Universe. In this study we will investigate the model for cosmological validity. We will apply observational and causality constraints to illuminate physically correct behavior of the model from the phenomenological one. We saw that an interaction between the varying Ghost DE and cold DM~(CDM) also provides a solution to the cosmological coincidence problem. And we found that the Ghost DE behaves as a matter like fluid in early Universe.


title: Comparing Model Selection and Regularization Approaches to Variable Selection in Model-Based Clustering

abstract: We compare two major approaches to variable selection in clustering: model selection and regularization. Based on previous results, we select the method of Maugis et al. (2009b), which modified the method of Raftery and Dean (2006), as a current state of the art model selection method. We select the method of Witten and Tibshirani (2010) as a current state of the art regularization method. We compared the methods by simulation in terms of their accuracy in both classification and variable selection. In the first simulation experiment all the variables were conditionally independent given cluster membership. We found that variable selection (of either kind) yielded substantial gains in classification accuracy when the clusters were well separated, but few gains when the clusters were close together. We found that the two variable selection methods had comparable classification accuracy, but that the model selection approach had substantially better accuracy in selecting variables. In our second simulation experiment, there were correlations among the variables given the cluster memberships. We found that the model selection approach was substantially more accurate in terms of both classification and variable selection than the regularization approach, and that both gave more accurate classifications than $K$-means without variable selection.


title: Probabilistic Approaches to Alignment with Tandem Repeats

abstract: We propose a simple tractable pair hidden Markov model for pairwise sequence alignment that accounts for the presence of short tandem repeats. Using the framework of gain functions, we design several optimization criteria for decoding this model and describe the resulting decoding algorithms, ranging from the traditional Viterbi and posterior decoding to block-based decoding algorithms specialized for our model. We compare the accuracy of individual decoding algorithms on simulated data and find our approach superior to the classical three-state pair HMM in simulations.


title: Multiscale Identification of Topological Domains in Chromatin

abstract: Recent chromosome conformation capture experiments have led to the discovery of dense, contiguous, megabase-sized topological domains that are similar across cell types and conserved across species. These domains are strongly correlated with a number of chromatin markers and have since been included in a number of analyses. However, functionally-relevant domains may exist at multiple length scales. We introduce a new and efficient algorithm that is able to capture persistent domains across various resolutions by adjusting a single scale parameter. The identified novel domains are substantially different from domains reported previously and are highly enriched for insulating factor CTCF binding and histone modfications at the boundaries.


title: Strengthened Grunsky and Milin inequalities

abstract: The method of Grunsky inequalities has many applications and has been extended in many directions, even to bordered Riemann surfaces. However, unlike the case of functions univalent in the disk, a quasiconformal variant of this theory has not been developed so far. In this paper, we essentially improve the basic facts concerning the classical Grunsky inequalities for univalent functions on the disk and extend these results to arbitrary quasiconformal disks. Several applications are given.


title: Curvaton with nonminimal derivative coupling to gravity

abstract: We show a curvaton model, in which the curvaton has a nonminimal derivative coupling to gravity. Thanks to such a coupling, we find that the scale-invariance of the perturbations can be achieved for arbitrary values of the equation-of-state of background, provided that it is nearly a constant. We also discussed about tensor perturbations, the local non-Gaussianities generated by the nonminimal derivative coupling curvaton model, as well as the adiabatic perturbations which are transferred from the field perturbations during the curvaton decay.


title: Supramolecular interaction of singlewall carbon nanotubes with a functional TTF-based mediator probed by field-effect transistor devices

abstract: The supramolecular interaction between individual singlewall carbon nanotubes and a functional organic material based on tetrathiafulvalene (TTF) is investigated by means of electric transport measurements in field effect transistor configuration as well as by NIR absorption spectroscopy. The results clearly point to a charge transfer interaction in which the adsorbed molecule serves as electron acceptor for the nanotubes through its pyrene units. Exposure to iodine vapors enhances this effect. The comparison with pristine carbon nanotube field effect transistor devices demonstrates the possibility to exploit charge transfer interactions taking place in supramolecular assemblies in which a mediator unit is used to transduce and enhance an external signal.


title: Hierarchical masses and universal mixing in quark-lepton mass matrices

abstract: The universality hypothesis for quark and lepton mixing matrices (CKM and MNS) is further developed. This hypothesis explains why the CKM is almost diagonal whereas the MNS is almost maximally mixed. If this hypothesis is true, the Dirac CP violating phase of the MNS mixing matrix is bounded around $\pi$ or 0. Quark-lepton mass matrices which realizes this hypothesis are constructed, showing simple power law relations among mass matrices for up-type, down-type quarks and neutrinos.


title: A space-time parallel solver for the three-dimensional heat equation

abstract: The paper presents a combination of the time-parallel "parallel full approximation scheme in space and time" (PFASST) with a parallel multigrid method (PMG) in space, resulting in a mesh-based solver for the three-dimensional heat equation with a uniquely high degree of efficient concurrency. Parallel scaling tests are reported on the Cray XE6 machine "Monte Rosa" on up to 16,384 cores and on the IBM Blue Gene/Q system "JUQUEEN" on up to 65,536 cores. The efficacy of the combined spatial- and temporal parallelization is shown by demonstrating that using PFASST in addition to PMG significantly extends the strong-scaling limit. Implications of using spatial coarsening strategies in PFASST's multi-level hierarchy in large-scale parallel simulations are discussed.


title: The thermoballistic approach to charge carrier transport in semiconductors

abstract: A comprehensive survey is given of the thermoballistic approach to charge carrier transport in semiconductors. This semiclassical approach bridges the gap between the drift-diffusion and ballistic ("thermionic") models of carrier transport, whose validity is limited to the range of very small and very large values, respectively, of the carrier mean free path. The physical concept underlying the thermoballistic approach, while incorporating basic features of the drift-diffusion and ballistic descriptions, constitutes a novel, unifying scheme. It is based on the introduction of "ballistic configurations" defined by a random partitioning of the length of a semiconducting sample into ballistic transport intervals, which are linked by points of local thermodynamic equilibrium at which carriers are emitted or absorbed. By averaging the carrier currents in the ballistic intervals over all ballistic configurations, a position-dependent thermoballistic current is derived for arbitrary magnitude of the carrier mean free path. This current is the key element of the thermoballistic concept and forms the point of departure of the calculation of various transport quantities. The present article starts out with an account of the standard drift-diffusion and ballistic transport models, and of a prototype model which paves the way for the fully developed form of that concept. In the main body of the article, a coherent exposition of the thermoballistic approach is given within a general formulation that takes into account arbitrarily shaped, spin-split potential energy profiles and spin relaxation during the carrier motion across ballistic intervals. The calculational procedures devised for implementing the thermoballistic concept are described. Specific examples relevant to present-day semiconductor and spintronics research are considered.