title: On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere

abstract: Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot \pi)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is between two concentric spheres of radii $1$ and $R>1$, and the angles in all faces are at least $\theta$, we prove that the skeleton is a $t$-spanner, where $t$ depends only on $R$ and $\theta$. One of the ingredients in the proof is a tight upper bound on the geometric dilation of a convex cycle that is contained in an annulus.


title: Media Usage in Post-Secondary Education and Implications for Teaching and Learning

abstract: The Web 2.0 has permeated academic life. The use of online information services in post-secondary education has led to dramatic changes in faculty teaching methods as well as in the learning and study behavior of students. At the same time, traditional information media, such as textbooks and printed handouts, still form the basic pillars of teaching and learning. This paper reports the results of a survey about media usage in teaching and learning conducted with Western University students and instructors, highlighting trends in the usage of new and traditional media in higher education by instructors and students. In addition, the survey comprises part of an international research program in which 20 universities from 10 countries are currently participating. Further, the study will hopefully become a part of the ongoing discussion of practices and policies that purport to advance the effective use of media in teaching and learning.


title: Micro Service Cloud Computing Pattern for Next Generation Networks

abstract: The falling trend in the revenue of traditional telephony services has attracted attention to new IP based services. The IP Multimedia System (IMS) is a key architecture which provides the necessary platform for delivery of new multimedia services. However, current implementations of IMS do not offer automatic scalability or elastisity for the growing number of customers. Although the cloud computing paradigm has shown many promising characteristics for web applications, it is still failing to meet the requirements for telecommunication applications. In this paper, we present some related cloud computing patterns and discuss their adaptations for implementation of IMS or other telecommunication systems.


title: Path lifting properties and embedding between RAAGs

abstract: For a finite simplicial graph $\Gamma$, let $G(\Gamma)$ denote the right-angled Artin group on the complement graph of $\Gamma$. In this article, we introduce the notions of "induced path lifting property" and "semi-induced path lifting property" for immersions between graphs, and obtain graph theoretical criteria for the embedability between right-angled Artin groups. We recover the result of S.-h.{} Kim and T.{} Koberda that an arbitrary $G(\Gamma)$ admits a quasi-isometric group embedding into $G(T)$ for some finite tree $T$. The upper bound on the number of vertices of $T$ is improved from $2^{2^{(m-1)^2}}$ to $m2^{m-1}$, where $m$ is the number of vertices of $\Gamma$. We also show that the upper bound on the number of vertices of $T$ is at least $2^{m/4}$. Lastly, we show that $G(C_m)$ embeds in $G(P_n)$ for $n\geqslant 2m-2$, where $C_m$ and $P_n$ denote the cycle and path graphs on $m$ and $n$ vertices, respectively.


title: What is odd about binary Parseval frames?

abstract: This paper examines the construction and properties of binary Parseval frames. We address two questions: When does a binary Parseval frame have a complementary Parseval frame? Which binary symmetric idempotent matrices are Gram matrices of binary Parseval frames? In contrast to the case of real or complex Parseval frames, the answer to these questions is not always affirmative. The key to our understanding comes from an algorithm that constructs binary orthonormal sequences that span a given subspace, whenever possible. Special regard is given to binary frames whose Gram matrices are circulants.


title: Methane storage in nanoporous media as observed via high field NMR relaxometry

abstract: The storage properties of methane gas in Vycor porous glass (5.7 nm) are characterized in a wide pressure range from 0.7 MPa-89.7 MPa using Nuclear Magnetic Resonance (NMR). We demonstrate the capability of high field NMR relaxometry for the determination of the methane gas storage capacity and the measurement of the Hydrogen Index, to a high degree of accuracy. This helps determine the excess gas in the pore space which can be identified to exhibit Langmuir properties in the low pressure regime of 0.7 MPa to 39.6 Mpa. The Langmuir model enables us to determine the equilibrium density of the monolayer of adsorbed gas to be 8.5% lower than that of liquid methane. We also identify the signatures of multilayer adsorption at the high pressure regime from 39.6 Mpa to 89.7 Mpa and use the Brunauer-Emmet-Teller (BET) theory to determine the number of adsorbed layers of methane gas. We show how these measurements help us differentiate the gas stored in the Vycor pore space into free and adsorbed fractions for the entire pressure range paving way for similar applications such as studying natural gas storage in gas shale rock or hydrogen storage in carbon nanotubes.


title: Group actions on semimatroids

abstract: We initiate the study of group actions on (possibly infinite) semimatroids and geometric semilattices. To every such action is naturally associated an orbit-counting function, a two-variable "Tutte" polynomial and a poset which, in the realizable case, coincides with the poset of connected components of intersections of the associated toric arrangement. In this structural framework we recover and strongly generalize many enumerative results about arithmetic matroids, arithmetic Tutte polynomials and toric arrangements by finding new combinatorial interpretations beyond the realizable case. In particular, we thus find a class of natural examples of nonrealizable arithmetic matroids. Moreover, under additional conditions these actions give rise to a matroid over the ring of integers. As a stepping stone toward our results we also prove an extension of the cryptomorphism between semimatroids and geometric semilattices to the infinite case.


title: Definable and invariant types in enrichments of NIP theories

abstract: Let T be an NIP L-theory and T' be an enrichment. We give a sufficient condition on T' for the underlying L-type of any definable (respectively invariant) type over a model of T' to be definable (respectively invariant) as an L-type. Besides, we generalise work of Simon and Starchenko on the density of definable types among non forking types to this relative setting. These results are then applied to Scanlon's model completion of valued differential fields.


title: An inverse stability result for non compactly supported potentials by one arbitrary lateral Neumann observation

abstract: In this paper we investigate the inverse problem of determining the time independent scalar potential of the dynamic Schr\"odinger equation in an infinite cylindrical domain, from partial measurement of the solution on the boundary. Namely, if the potential is known in a neighborhood of the boundary of the spatial domain, we prove that it can be logarithmic stably determined in the whole waveguide from a single observation of the solution on any arbitrary strip-shaped subset of the boundary.


title: All Colors Shortest Path Problem

abstract: All Colors Shortest Path problem defined on an undirected graph aims at finding a shortest, possibly non-simple, path where every color occurs at least once, assuming that each vertex in the graph is associated with a color known in advance. To the best of our knowledge, this paper is the first to define and investigate this problem. Even though the problem is computationally similar to generalized minimum spanning tree, and the generalized traveling salesman problems, allowing for non-simple paths where a node may be visited multiple times makes All Colors Shortest Path problem novel and computationally unique. In this paper we prove that All Colors Shortest Path problem is NP-hard, and does not lend itself to a constant factor approximation. We also propose several heuristic solutions for this problem based on LP-relaxation, simulated annealing, ant colony optimization, and genetic algorithm, and provide extensive simulations for a comparative analysis of them. The heuristics presented are not the standard implementations of the well known heuristic algorithms, but rather sophisticated models tailored for the problem in hand. This fact is acknowledged by the very promising results reported.


title: Compressed Data Structures for Dynamic Sequences

abstract: We consider the problem of storing a dynamic string $S$ over an alphabet $\Sigma=\{\,1,\ldots,\sigma\,\}$ in compressed form. Our representation supports insertions and deletions of symbols and answers three fundamental queries: $\mathrm{access}(i,S)$ returns the $i$-th symbol in $S$, $\mathrm{rank}_a(i,S)$ counts how many times a symbol $a$ occurs among the first $i$ positions in $S$, and $\mathrm{select}_a(i,S)$ finds the position where a symbol $a$ occurs for the $i$-th time. We present the first fully-dynamic data structure for arbitrarily large alphabets that achieves optimal query times for all three operations and supports updates with worst-case time guarantees. Ours is also the first fully-dynamic data structure that needs only $nH_k+o(n\log\sigma)$ bits, where $H_k$ is the $k$-th order entropy and $n$ is the string length. Moreover our representation supports extraction of a substring $S[i..i+\ell]$ in optimal $O(\log n/\log\log n + \ell/\log_{\sigma}n)$ time.


title: Derived induction and restriction theory

abstract: Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in \mathscr{F}^{\mathrm{Nil}}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin and Brauer type induction theorems for $G$-equivariant $E$-homology and cohomology, and generalizations of Quillen's $\mathcal{F}_p$-isomorphism theorem when $E$ is a homotopy commutative $G$-ring spectrum. We show that the subcategory $\mathscr{F}^{\mathrm{Nil}}$ contains many $G$-spectra of interest for relatively small families $\mathscr{F}$. These include $G$-equivariant real and complex $K$-theory as well as the Borel-equivariant cohomology theories associated to complex oriented ring spectra, any $L_n$-local spectrum, the classical bordism theories, connective real $K$-theory, and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family such that these results hold.


title: Study of the basic performance of the XRPIX for the future astronomical X-ray satellite

abstract: We have developed CMOS imaging sensor (XRPIX) using SOI (Silicon-On-Insulator) technology for the X-ray astronomical use. XRPIX(X-Ray soiPIXel) has advantage of a high time resolution, a high position resolution and an observation in a wide X-ray energy band with a thick depletion layer of over 200um. However, the energy resolution of XRPIX is not as good as one of X-ray CCD. Therefore improvement of the the energy resolution is one of the most important development item of XRPIX. In order to evaluate the performance XRPIX more precisely, we have investigated on the temperature dependence of the basic performance, such as readout noise, leak current, gain and energy resolution, using two type of XRPIX, XRPIX1 and XRPIX2b_CZ. In our study, we confirmed the readout noise, the leak current noise and the energy resolution clearly depended on the operating temperature of XRPIX. In addition, we divided the readout noise into the leak current noise and the circuit origin noise. As a result, we found that noise of the electronic circuitry origin was proportional to the square root of operating temperature.


title: Nilpotence and descent in equivariant stable homotopy theory

abstract: Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper. In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.


title: Response of SOI image sensor to therapeutic carbon ion beam

abstract: Carbon ion radiotherapy is known as a less invasive cancer treatment. The radiation quality is an important parameter to evaluate the biological effect and the clinical dose from the measured physical dose. The performance of SOPHIAS detector, which is the SOI image sensor having a wide dynamic range and large active area, was tested by using therapeutic carbon ion beam at Gunma University Heavy Ion Medical Center (GHMC). It was shown that the primary carbon and secondary particles can be distinguishable by SOPHIAS detector. On the other hand, a LET dependence was observed especially at the high LET region. This phenomenon will be studied by using the device simulator together with Monte Carlo simulation.


title: Hoeffding's inequality for sums of weakly dependent random variables

abstract: We provide a systematic approach to deal with the following problem. Let $X_1,\ldots,X_n$ be, possibly dependent, $[0,1]$-valued random variables. What is a sharp upper bound on the probability that their sum is significantly larger than their mean? In the case of independent random variables, a fundamental tool for bounding such probabilities is devised by Wassily Hoeffding. In this paper we consider analogues of Hoeffding's result for sums of dependent random variables for which we have certain information on their dependency structure. We prove a result that yields concentration inequalities for several notions of weak dependence between random variables. Additionally, we obtain a new concentration inequality for sums of, possibly dependent, $[0,1]$-valued random variables, $X_1,\ldots,X_n$, that satisfy the following condition: there exist constants $\gamma \in (0,1)$ and $\delta\in (0,1]$ such that for every subset $A\subseteq \{1,\ldots,n\}$ we have $\mathbb{E}\left[\prod_{i\in A} X_i \prod_{i\notin A}(1-X_i) \right]\leq \gamma^{|A|} \delta^{n-|A|}$, where $|A|$ denotes the cardinality of $A$. Our approach applies to several sums of weakly dependent random variables such as sums of martingale difference sequences, sums of $k$-wise independent random variables and $U$-statistics. Finally, we discuss some applications to the theory of random graphs.


title: Neutrino absorption by hot nuclei in supernova environments

abstract: Using the thermal quasiparticle random phase approximation, we study the process of neutrino and antineutrino capture on hot nuclei in supernova environments. For the sample nuclei $^{56}$Fe and $^{82}$Ge we perform a detailed analysis of thermal effects on the strength distribution of allowed Gamow-Teller transitions which dominate low-energy charged-current neutrino reactions. The finite temperature cross sections are calculated taking into account the contributions of both allowed and forbidden transitions. The enhancement of the low-energy cross sections is explained by considering thermal effects on the GT$_\pm$ strength. For $^{56}$Fe we compare the calculated finite-temperature cross sections with those obtained from large-scale shell-model calculations.


title: Soft Skills and Software Development: A Reflection from the Software Industry

abstract: We review the literature relating to soft skills and the software engineering and information systems domain before describing a study based on 650 job advertisements posted on well-known recruitment sites from a range of geographical locations including, North America, Europe, Asia and Australia. The study makes use of nine defined soft skills to assess the level of demand for each of these skills related to individual job roles within the software industry. This work reports some of the vital statistics from industry about the requirements of soft skills in various roles of software development phases. The work also highlights the variation in the types of skills required for each of the roles. We found that currently although the software industry is paying attention to soft skills up to some extent while hiring but there is a need to further acknowledge the role of these skills in software development. The objective of this paper is to analyze the software industry soft skills requirements for various software development positions, such as system analyst, designer, programmer, and tester. We pose two research questions, namely, (1) What soft skills are appropriate to different software development lifecycle roles, and (2) Up to what extend does the software industry consider soft skills when hiring an employee. The study suggests that there is a further need of acknowledgment of the significance of soft skills from employers in software industry.


title: On the speed and acceleration of electron beams triggering interplanetary type III radio bursts

abstract: Type III radio bursts are intense radio emissions triggered by beams of energetic electrons often associated with solar flares. These exciter beams propagate outwards from the Sun along an open magnetic field line in the corona and in the interplanetary (IP) medium. We performed a statistical survey of 29 simple and isolated IP type III bursts observed by STEREO/Waves instruments between January 2013 and September 2014. We investigated their time-frequency profiles in order to derive the speed and acceleration of exciter electron beams. We show these beams noticeably decelerate in the IP medium. Obtained speeds range from $\sim$ 0.02c up to $\sim$ 0.35c depending on initial assumptions. It corresponds to electron energies between tens of eV and hundreds of keV, and in order to explain the characteristic energies or speeds of type III electrons ($\sim 0.1$c) observed simultaneously with Langmuir waves at 1 au, the emission of type III bursts near the peak should be predominately at double plasma frequency. Derived properties of electron beams can be used as input parameters for computer simulations of interactions between the beam and the plasma in the IP medium.


title: Constraints on dark photon dark matter using Voyager magnetometric survey

abstract: The dark photon, an new hypothetical light spin 1 field, constitutes a well-motivated dark matter candidate. It manifests as an oscillating electric field with a fixed direction, which can be observed in magnetometric records. In this letter, we use magnetometer data from the Voyager probes to look for the dark photon in the 10^-24 eV to 10^-19 eV mass range, corresponding to frequencies between 10^-9 Hz and 10^-4 Hz. We also discuss the sensitivity of possible future SQUID magnetometry experiments.


title: On the stability of solutions of semilinear elliptic equations with Robin boundary conditions on Riemannian manifolds

abstract: We investigate existence and nonexistence of stationary stable nonconstant solutions, i.e. patterns, of semilinear parabolic problems in bounded domains of Riemannian manifolds satisfying Robin boundary conditions. These problems arise in several models in applications, in particular in Mathematical Biology. We point out the role both of the nonlinearity and of geometric objects such as the Ricci curvature of the manifold, the second fundamental form of the boundary of the domain and its mean curvature. Special attention is devoted to surfaces of revolution and to spherically symmetric manifolds, where we prove refined results.


title: Multi-objective analysis of computational models

abstract: Computational models are of increasing complexity and their behavior may in particular emerge from the interaction of different parts. Studying such models becomes then more and more difficult and there is a need for methods and tools supporting this process. Multi-objective evolutionary algorithms generate a set of trade-off solutions instead of a single optimal solution. The availability of a set of solutions that have the specificity to be optimal relative to carefully chosen objectives allows to perform data mining in order to better understand model features and regularities. We review the corresponding work, propose a unifying framework, and highlight its potential use. Typical questions that such a methodology allows to address are the following: what are the most critical parameters of the model? What are the relations between the parameters and the objectives? What are the typical behaviors of the model? Two examples are provided to illustrate the capabilities of the methodology. The features of a flapping-wing robot are thus evaluated to find out its speed-energy relation, together with the criticality of its parameters. A neurocomputational model of the Basal Ganglia brain nuclei is then considered and its most salient features according to this methodology are presented and discussed.


title: Quantum Algorithm for Triangle Finding in Sparse Graphs

abstract: This paper presents a quantum algorithm for triangle finding over sparse graphs that improves over the previous best quantum algorithm for this task by Buhrman et al. [SIAM Journal on Computing, 2005]. Our algorithm is based on the recent $\tilde O(n^{5/4})$-query algorithm given by Le Gall [FOCS 2014] for triangle finding over dense graphs (here $n$ denotes the number of vertices in the graph). We show in particular that triangle finding can be solved with $O(n^{5/4-\epsilon})$ queries for some constant $\epsilon>0$ whenever the graph has at most $O(n^{2-c})$ edges for some constant $c>0$.


title: Eigenvalues of Toeplitz minimal systems of finite topological rank

abstract: In this article we characterize measure theoretical eigenvalues of Toeplitz Bratteli-Vershik minimal systems of finite topological rank which are not associated to a continuous eigenfunction. Several examples are provided to illustrate the different situations that can occur.


title: New Approaches to Honesty Theory and Applications in Quantum Dynamical Semigroups

abstract: We prove some new characterisations of honesty of the perturbed semigroup in Kato's Perturbation Theorem on abstract state spaces via three approaches, namely mean ergodicity of operators, adjoint operators and uniqueness of the perturbed semigroup. We then apply Kato's Theorem on abstract state spaces and the honesty theory linked to it to the study of quantum dynamical semigroups. We show that honesty is the natural generalisation of the notion of conservativity.


title: Coordinated Dynamic Spectrum Management of LTE-U and Wi-Fi Networks

abstract: This paper investigates the co-existence of Wi-Fi and LTE in emerging unlicensed frequency bands which are intended to accommodate multiple radio access technologies. Wi-Fi and LTE are the two most prominent access technologies being deployed today, motivating further study of the inter-system interference arising in such shared spectrum scenarios as well as possible techniques for enabling improved co-existence. An analytical model for evaluating the baseline performance of co-existing Wi-Fi and LTE is developed and used to obtain baseline performance measures. The results show that both Wi-Fi and LTE networks cause significant interference to each other and that the degradation is dependent on a number of factors such as power levels and physical topology. The model-based results are partially validated via experimental evaluations using USRP based SDR platforms on the ORBIT testbed. Further, inter-network coordination with logically centralized radio resource management across Wi-Fi and LTE systems is proposed as a possible solution for improved co-existence. Numerical results are presented showing significant gains in both Wi-Fi and LTE performance with the proposed inter-network coordination approach.


title: Contributors Preference in Open Source Software Usability: An Empirical Study

abstract: The fact that the number of users of open source software (OSS) is practically un-limited and that ultimately the software quality is determined by end users experience, makes the usability an even more critical quality attribute than it is for proprietary software. With the sharp increase in use of open source projects by both individuals and organizations, the level of usability and related issues must be addressed more seriously. The research model of this empirical investigation studies and establishes the relationship between the key usability factors from contributors perspective and OSS usability. A data set of 78 OSS contributors that includes architects, designers, developers, testers and users from 22 open source projects of varied size has been used to study the research model. The results of this study provide empirical evidence by indicating that the highlighted key factors play a significant role in improving OSS usability.


title: Analytic models for density of a ground-state spinor condensate

abstract: We demonstrate that the ground state of a trapped spin-1 and spin-2 spinor ferromagnetic Bose-Einstein condensate (BEC) can be well approximated by a single decoupled Gross-Pitaevskii (GP) equation. Useful analytic models for the ground-state densities of ferromagnetic BECs are obtained from the Thomas-Fermi approximation (TFA) to this decoupled equation. Similarly, for the ground states of spin-1 anti-ferromagnetic and spin-2 anti-ferromagnetic and cyclic BECs, some of the spin component densities are zero which reduces the coupled GP equation to a simple reduced form. Analytic models for ground state densities are also obtained for anti-ferromagnetic and cyclic BECs from the TFA to the respective reduced GP equations. The analytic densities are illustrated and compared with the full numerical solution of the GP equation with realistic experimental parameters.


title: Upper bounds of spin-density wave energies in the homogeneous electron gas

abstract: Studying the jellium model in the Hartree-Fock approximation, Overhauser has shown that spin density waves (SDW) can lower the energy of the Fermi gas, but it is still unknown if these SDW are actually relevant for the phase diagram. In this paper, we give a more complete description of SDW states. We show that a modification of the Overhauser ansatz explains the behavior of the jellium at high density compatible with previous Hartree-Fock simulations.


title: A geometric interpretation of the Sch\"utzenberger group of a minimal subshift

abstract: The first author has associated in a natural way a profinite group to each irreducible subshift. The group in question was initially obtained as a maximal subgroup of a free profinite semigroup. In the case of minimal subshifts, the same group is shown in the present paper to also arise from geometric considerations involving the Rauzy graphs of the subshift. Indeed, the group is shown to be isomorphic to the inverse limit of the profinite completions of the fundamental groups of the Rauzy graphs of the subshift. A further result involving geometric arguments on Rauzy graphs is a criterion for freeness of the profinite group of a minimal subshift based on the Return Theorem of Berth\'e et. al.


title: Nonexistence of two classes of generalized bent functions

abstract: We obtain new nonexistence results of generalized bent functions from $\{Z^n}_q$ to $\Z_q$ (called type $[n,q]$) in the case that there exist cyclotomic integers in $ \Z[\zeta_{q}]$ with absolute value $q^{\frac{n}{2}}$. This result generalize the previous two scattered nonexistence results $[n,q]=[1,2\times7]$ of Pei \cite{Pei} and $[3,2\times 23^e]$ of Jiang-Deng \cite{J-D} to a generalized class. In the last section, we remark that this method can apply to the GBF from $\Z^n_2$ to $\Z_m$.


title: Secular diffusion in discrete self-gravitating tepid discs II: accounting for swing amplification via the matrix method

abstract: The secular evolution of an infinitely thin tepid isolated galactic disc made of a finite number of particles is investigated using the inhomogeneous Balescu-Lenard equation expressed in terms of angle-action variables. The matrix method is implemented numerically in order to model the induced gravitational polarization. Special care is taken to account for the amplification of potential fluctuations of mutually resonant orbits and the unwinding of the induced swing amplified transients. Quantitative comparisons with ${N-}$body simulations yield consistent scalings with the number of particles and with the self-gravity of the disc: the fewer particles and the colder the disc, the faster the secular evolution. Secular evolution is driven by resonances, but does not depend on the initial phases of the disc. For a Mestel disc with ${Q \sim 1.5}$, the polarization cloud around each star boosts up its secular effect by a factor of the order of a thousand or more, promoting accordingly the dynamical relevance of self-induced collisional secular evolution. The position and shape of the induced resonant ridge are found to be in very good agreement with the prediction of the Balescu-Lenard equation, which scales with the square of the susceptibility of the disc. In astrophysics, the inhomogeneous Balescu-Lenard equation may describe the secular diffusion of giant molecular clouds in galactic discs, the secular migration and segregation of planetesimals in proto-planetary discs, or even the long-term evolution of population of stars within the Galactic centre. It could be used as a valuable check of the accuracy of ${N-}$body integrators over secular timescales.


title: Do Personality Profiles Differ in the Pakistani Software Industry and Academia - A Case Study

abstract: Effects of personality profiles and human factors in software engineering (SE) have been studied from different perspectives, such as: software life cycle, team performance, software quality attributes, and so on. This study intends to compare personality profiles of software engineers in academia and industry. In this survey we have collected personality profiles of software engineers from academia and the local industry in Pakistan. According to the Myers- Briggs Type Indicator (MBTI) instrument, the most prominent personality type among Pakistani academicians is a combination of Introversion, Sensing, Thinking, and Judging (ISTJ). However the most dominant personality type among software engineers in the Pakistani software industry is a combination of Extroversion, Sensing, Thinking, and Judging (ESTJ). The results of study establish that software engineers working in industry are mostly Extroverts as compared to those in academia who tend to be Introverts. The dimensions: Sensing, Thinking, and Judging (STJ), however, remain common in the dominant personality types of software engineers, both in Pakistani software industry and academia.


title: Experimental near field OAM-based communication with circular patch array

abstract: A short range experimental communication system, based on Orbital Angular Momentum (OAM) multiplexing, is presented. We characterize circular arrays of patch antennas designed to transmit and receive OAM electromagnetic fields, reporting new results on communication links based on such antennas. We also experimentally study the antennas tolerance to misalignment errors (angular tilt and lateral shift) within which OAM multiplexing can be efficiently exploited. Starting from these results, we finally propose an application to short range communications of OAM-based systems that can lead to a high level of security in the information exchange.


title: Interpreting the dependence of mutation rates on age and time

abstract: Mutations can arise from the chance misincorporation of nucleotides during DNA replication or from DNA lesions that are not repaired correctly. We introduce a model that relates the source of mutations to their accumulation with cell divisions, providing a framework for understanding how mutation rates depend on sex, age and absolute time. We show that the accrual of mutations should track cell divisions not only when mutations are replicative in origin but also when they are non-replicative and repaired efficiently. One implication is that the higher incidence of cancer in rapidly renewing tissues, an observation ascribed to replication errors, could instead reflect exogenous or endogenous mutagens. We further find that only mutations that arise from inefficiently repaired lesions will accrue according to absolute time; thus, in the absence of selection on mutation rates, the phylogenetic "molecular clock" should not be expected to run steadily across species.


title: Wall divisors and algebraically coisotropic subvarieties of irreducible holomorphic symplectic manifolds

abstract: Rational curves on Hilbert schemes of points on $K3$ surfaces and generalised Kummer manifolds are constructed by using Brill-Noether theory on nodal curves on the underlying surface. It turns out that all wall divisors can be obtained, up to isometry, as dual divisors to such rational curves. The locus covered by the rational curves is then described, thus exhibiting algebraically coisotropic subvarieties that deform to general small deformations of the manifold. This provides strong evidence for a conjecture by Voisin concerning the Chow ring of irreducible holomorphic symplectic manifolds. Some general results concerning the birational geometry of irreducible holomorphic symplectic manifolds are also proved, such as a non-projective contractibility criterion for wall divisors.


title: Conductivity Corrections for Topological Insulators with Spin-Orbit Impurities: A New Hikami-Larkin-Nagaoka Formula

abstract: The Hikami-Larkin-Nagaoka (HLN) formula [Prog. Theor. Phys. 63, 707 (1980)] describes the quantum corrections to the magnetoconductivity of a quasi-2D electron gas (quasi-2DEG) with parabolic dispersion. It predicts a crossover from weak localization to antilocalization as a function of the strength of scattering off spin-orbit impurities. Here, we derive the conductivity correction for massless Dirac fermions in 3D topological insulators (TIs) in the presence of spin-orbit impurities. We show that this correction is always positive and therefore we predict weak antilocalization for every value of the spin-orbit disorder. Furthermore, the correction to the diffusion constant is surprisingly linear in the strength of the impurity spin-orbit. Our results call for a reinterpretation of experimental fits for the magnetoconductivity of 3D TIs which have so far used the standard HLN formula.


title: Do Open Source Software Developers Listen to Their Users?

abstract: In application software, the satisfaction of target users makes the software more acceptable. Open Source Software (OSS) systems have neither the physical nor the commercial boundaries of proprietary software, thus users from all over the world can interact with them. This free access is advantageous, as increasing numbers of users are able to access OSS; there are more chances of improvement. This study examines the way users feedback is handled by OSS developers. In our survey, we have also inquired whether OSS developers consult professional usability experts to improve their projects. According to the results, majority of OSS developers neither consider usability as their top priority nor do they consult usability experts.


title: Static spectropolarimeter concept adapted to space conditions and wide spectrum constraints

abstract: The issues related to moving elements in space and instruments working in broader wavelength ranges lead to a need for robust polarimeters, efficient on a wide spectral domain, and adapted to space conditions. As part of the UVMag consortium, created to develop spectropolarimetric UV facilities in space, such as the Arago mission project, we present an innovative concept of static spectropolarimetry. We studied a static and polychromatic method for spectropolarimetry, applicable to stellar physics. Instead of modulating the polarization information temporally, as usually done in spectropolarimeters, the modulation is performed in a spatial direction, orthogonal to the spectral one. Thanks to the proportionality between phase retardance imposed by a birefringent material and its thickness, birefringent wedges can be used to create this spatial modulation. The light is then spectrally cross-dispersed, and a full-Stokes determination of the polarization over the whole spectrum can be obtained with a single-shot measurement. The use of Magnesium Fluoride wedges, for example, could lead to a compact, static polarimeter working at wavelengths from 0.115 mm up to 7 mm. We present the theory and simulations of this concept, as well as laboratory validation and a practical application to Arago.

categories: astro-ph.IM astro-ph.SR physics.optics physics.space-ph


title: Novel technique to extract experimental symmetry free energy information of nuclear matter

abstract: A new method of accessing information on the symmetry free energy from yields of fragments produced in Fermi-energy heavy-ion collisions is proposed. Furthermore, by means of quantum fluctuation analysis techniques, correlations between extracted symmetry free-energy coefficients with temperature and density were studied. The obtained results are consistent with those of commonly used isoscaling techniques.


title: Personality Dimensions and Temperaments of Engineering Professors and Students - A Survey

abstract: This research work aims to study personality profiles and temperaments of Pakistani software engineering professors and students. In this survey we have collected personality profiles of 18 professors and 92 software engineering students. According to the Myers-Briggs Type Indicator (MBTI) instrument, the most prominent personality type among professors as well as among students is a combination of Introversion, Sensing, Thinking, and Judging (ISTJ). The study shows ITs (Introverts and Thinking) and IJs (Introverts and Judging) are the leading temperaments among the professors. About the students data, the results of the study indicate SJs (Sensing and Judging) and ISs (Introverts and Sensing) as the dominant temperaments.


title: A Business Maturity Model of Software Product Line Engineering

abstract: In the recent past, software product line engineering has become one of the most promising practices in software industry with the potential to substantially increase the software development productivity. Software product line engineering approach spans the dimensions of business, architecture, software engineering process and organization. The increasing popularity of software product line engineering in the software industry necessitates a process maturity evaluation methodology. Accordingly, this paper presents a business maturity model of software product line, which is a methodology to evaluate the current maturity of the business dimension of a software product line in an organization. This model examines the coordination between product line engineering and the business aspects of software product line. It evaluates the maturity of the business dimension of software product line as a function of how a set of business practices are aligned with product line engineering in an organization. Using the model presented in this paper, we conducted two case studies and reported the assessment results. This research contributes towards establishing a comprehensive and unified strategy for a process maturity evaluation of software product lines.


title: Optimal $C^{1,\alpha}$ estimates for a class of elliptic quasilinear equations

abstract: In this article we establish sharp $C^{1,\alpha}$ estimates for weak solutions of singular and degenerate quasilinear elliptic equation $$-\,div\, a(x, \nabla u) = f,$$ which includes the standard $p$-laplacean equation with varying coefficients as a special case. The sharp exponent $\alpha$ is asymptotically optimal and is determined by the H\"older regularity of the coefficients, the exponent $p$ and the $q$-integrability of the source term $f$.


title: Evidence for L-dependence generated by channel coupling: O16 scattering from C12 at 115.9 Mev

abstract: The inclusion of strong coupling to states of projectile and target nuclei for 115.9 MeV \nuc{16}{O} scattering from \nuc{12}{C} leads to an S-matrix which, when subject to $S_{L} \rightarrow V(r) $ inversion, yields highly undulatory local potentials. Previous work has shown that explicitly $L$-dependent non-undulatory potentials are equivalent to undulatory $L$-independent potentials with the same S-matrix. Here we show that $L$-independent equivalents for certain simple model $L$-dependent potentials exhibit undulatory features qualitatively similar to those arising from channel coupling for 115.9 MeV \nuc{16}{O} scattering from \nuc{12}{C}. We discuss the relevance to the question of $L$-dependence as a generic property of nucleus-nucleus interactions.


title: A generalization of majorization that characterizes Shannon entropy

abstract: We introduce a binary relation on the finite discrete probability distributions which generalizes notions of majorization that have been studied in quantum information theory. Motivated by questions in thermodynamics, our relation describes the transitions induced by bistochastic maps in the presence of additional auxiliary systems which may become correlated in the process. We show that this relation is completely characterized by Shannon entropy H, which yields an interpretation of H in resource-theoretic terms, and admits a particularly simple proof of a known characterization of H in terms of natural information-theoretic properties.


title: An Architecture Process Maturity Model of Software Product Line Engineering

abstract: Software architecture has been a key research area in the software engineering community due to its significant role in creating high quality software. The trend of developing product lines rather than single products has made the software product line a viable option in the industry. Software product line architecture is regarded as one of the crucial components in the product lines, since all of the resulting products share this common architecture. The increased popularity of software product lines demands a process maturity evaluation methodology. Consequently, this paper presents an architecture process maturity model for software product line engineering to evaluate the current maturity of the product line architecture development process in an organization. Assessment questionnaires and a rating methodology comprise the framework of this model. The objective of the questionnaires is to collect information about the software product line architecture development process. Thus, in general this work contributes towards the establishment of a comprehensive and unified strategy for the process maturity evaluation of software product line engineering. Furthermore, we conducted two case studies and reported the assessment results, which show the maturity of the architecture development process in two organizations


title: Rotational modulation of the linear polarimetric variability of the cool dwarf TVLM 513$-$46546

abstract: Aims: We aimed to monitor the optical linear polarimetric signal of the magnetized, rapidly rotating M8.5 dwarf TVLM 513$-$46546. Methods: $R$- and $I$-band linear polarimetry images were collected with the ALFOSC instrument of the 2.56-m Nordic Optical Telescope on two consecutive nights covering about 0.5 and 4 rotation cycles in the $R$ and $I$ filters, respectively. We also obtained simultaneous intensity curves by means of differential photometry. The typical precision of the data is $\pm$0.46\% ($R$), $\pm$0.35\% ($I$) in the linear polarization degree and $\pm$9 mmag ($R$), $\pm$1.6 mmag ($I$) in the differential intensity curves. Results: Strong and variable linear polarization is detected in the $R$ and $I$ filters, with values of maximum polarization ($p^{*}$ = 1.30$\pm$0.35 \%) similar for both bands. The intensity and the polarimetric curves present a sinusoid-like pattern with a periodicity of $\sim$1.98 h, which we ascribe to structures in TVLM 513$-$46's surface synchronized with rotation. We found that the peaks of the intensity and polarimetric curves occur with a phase difference of 0.18$\pm$0.01, and that the maximum of the linear polarization happens nearly half a period (0.59$\pm$0.03) after the radio pulse. We discussed different scenarios to account for the observed properties of the light curves.


title: On the Averaged Colmez Conjecture

abstract: The Colmez conjecture, proposed by Colmez, is a conjecture expressing the Faltings height of a CM abelian variety in terms of some linear combination of logarithmic derivatives of Artin L-functions. The aim of this paper to prove an averaged version of the conjecture.


title: Fisher-symmetric informationally complete measurements for pure states

abstract: We introduce a new kind of quantum measurement that is defined to be symmetric in the sense of uniform Fisher information across a set of parameters that injectively represent pure quantum states in the neighborhood of a fiducial pure state. The measurement is locally informationally complete---i.e., it uniquely determines these parameters, as opposed to distinguishing two arbitrary quantum states---and it is maximal in the sense of a multi-parameter quantum Cramer-Rao bound. For a $d$-dimensional quantum system, requiring only local informational completeness allows us to reduce the number of outcomes of the measurement from a minimum close to but below $4d-3$, for the usual notion of global pure-state informational completeness, to $2d-1$.


title: Quantum Waveguide Theory of the Josephson effect in Multiband Superconductors

abstract: We formulate a quantum waveguide theory of the Josephson effect in multiband superconductors, with special emphasis on iron-based materials. By generalizing the boundary conditions of the scattering problem, we first determine the Andreev levels spectrum and then derive an explicit expression for the Josephson current which generalizes the formula of the single band case. In deriving the results, we provide a second quantization field theory allowing to evaluate the current-phase relation and the Josephson current fluctuations in multiband systems. We present results for two different order parameter symmetries,namely $s_\pm$ and $s_{++}$, which are relevant in multiband systems. The obtained results show that the $s_\pm$ symmetry can support $\pi$ states which are absent in the $s_{++}$ case. We also argue a certain fragility of the Josephson current against phase fluctuations in the $s_{++}$ case. The temperature dependence of the Josephson critical current is also analyzed and we find, for both the order parameter symmetries, remarkable violations of the Ambegaokar-Baratoff relation. The results are relevant in view of possible experiments aimed at investigating the order parameter symmetry of multiband superconductors using mesoscopic Josephson junctions.


title: Exploratory Analysis of Quality Practices in Open Source Domain

abstract: Software quality assurance has been a heated topic for several decades, but relatively few analyses were performed on open source software (OSS). As OSS has become very popular in our daily life, many researchers have been keen on the quality practices in this area. Although quality management presents distinct patterns compared with those in closed-source software development, some widely used OSS products have been implemented. Therefore, quality assurance of OSS projects has attracted increased research focuses. In this paper, a survey is conducted to reveal the general quality practices in open source communities. Exploratory analysis has been carried out to disclose those quality related activities. The results are compared with those from closed-source environments and the distinguished features of the quality assurance in OSS projects have been confirmed. Moreover, this study suggests potential directions for OSS developers to follow.


title: The Midpoint Mixed Model with a Missingness Mechanism (M5): A Likelihood-Based Framework for Quantification of Mass Spectrometry Proteomics Data (Preprint)

abstract: Statistical models for proteomics data often estimate protein fold changes between two samples, A and B, as the average peptide intensity from sample A divided by the average peptide intensity from sample B. Such average intensity ratios fail to take full advantage of the experimental design which eliminates unseen confounding variables by processing peptides from both samples under identical conditions. Typically this structure is exploited through the estimation of a protein ratio as the median ratio of matched peptide intensities. This simple solution fails to account for a substantial missing data bias which has led to the development of more sophisticated average intensity models. Here we develop the first statistical model that accounts for nonignorable missingness while utilizing peptide level matched pairs across samples. Our simulation analysis shows that models which fail to utilize peptide level ratios, su.er astonishing losses to accuracy with basic ANOVA estimates having an average MSE 371% higher than median ratio estimates. In turn, median ratio estimates have an average MSE 35% higher than our model estimates. An analysis of breast cancer data reinforces these relationships and shows that our model is capable of increasing the number of proteins estimated by 22%.


title: Determining solubility for finitely generated groups of PL homeomorphisms

abstract: The set of finitely generated subgroups of the group $PL_+(I)$ of orientation-preserving piecewise-linear homeomorphisms of the unit interval includes many important groups, most notably R.~Thompson's group $F$. In this paper we show that every finitely generated subgroup $G<PL_+(I)$ is either soluble, or contains an embedded copy of Brin's group $B$, a finitely generated, non-soluble group, which verifies a conjecture of the first author from 2009. In the case that $G$ is soluble, we show that the derived length of $G$ is bounded above by the number of breakpoints of any finite set of generators. We specify a set of `computable' subgroups of $PL_+(I)$ (which includes R. Thompson's group $F$) and we give an algorithm which determines in finite time whether or not any given finite subset $X$ of such a computable group generates a soluble group. When the group is soluble, the algorithm also determines the derived length of $\langle X\rangle$. Finally, we give a solution of the membership problem for a family of finitely generated soluble subgroups of any computable subgroup of $PL_+(I)$.


title: Atomic loss and gain as a resource for non-equilibrium phase transitions in optical lattices

abstract: Recent breakthroughs in the experimental manipulation of strongly interacting atomic Rydberg gases in lattice potentials have opened a new avenue for the study of many-body phenomena. Considerable efforts are currently being undertaken to achieve clean experimental settings that show a minimal amount of noise and disorder and are close to zero temperature. A complementary direction investigates the interplay between coherent and dissipative processes. Recent experiments have revealed a first glimpse into the emergence of a rich non-equilibrium behavior stemming from the competition of laser excitation, strong interactions and radiative decay of Rydberg atoms. The aim of the present theoretical work is to show that local incoherent loss and gain of atoms can in fact be the source of interesting out-of-equilibrium dynamics. This perspective opens new paths for the exploration of non-equilibrium critical phenomena and, more generally, phase transitions, some of which so far have been rather difficult to study. To demonstrate the richness of the encountered dynamical behavior we consider here three examples. The first two feature local atom loss and gain together with an incoherent excitation of Rydberg states. In this setting either a continuous or a discontinuous phase transition emerges with the former being reminiscent of genuine non-equilibrium transitions of stochastic processes with multiple absorbing states. The third example considers the regime of coherent laser excitation. Here the many-body dynamics is dominated by an equilibrium transition of the "model A" universality class.


title: Relative Cartier Divisors and Laurent Polynomial Extensions

abstract: If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a canonical decomposition for $\mathcal I(A[t,\frac1t],B[t,\frac1t])$.


title: Spectral Fingerprints of Electron-Plasmon Coupling

abstract: We investigate the spectroscopic fingerprints of electron-plasmon coupling in integrated (PES) and angle-resolved photoemission spectroscopy (ARPES). To account for electron-plasmon interactions at a reduced computational cost, we derived the plasmonic polaron model, an approach based on the cumulant expansion of many-body perturbation theory that circumvents the calculation of the GW self-energy. Through the plasmonic polaron model, we predict the complete spectral functions and the effects of electron-plasmon coupling for Si, Ge, GaAs, and diamond. Si, Ge, and GaAs exhibit well-defined plasmonic polaron band structures, i.e., broadened replica of the valence bands redshifted by the plasmon energy. Based on these results, (i) we assign the structures of the plasmon satellite of silicon (as revealed by PES experiments) to plasmonic Van Hove singularities occurring at the L, $\Omega$, and X high-symmetry points and (ii) we predict the ARPES signatures of electron-plasmon coupling for Si, Ge, GaAs, and diamond. Overall, the concept of plasmonic polaron bands emerges as a new paradigm for the interpretation of electronic processes in condensed matter, and the theoretical approach presented here provides a computationally affordable tool to explore its effect in a broad set of materials.


title: On the fate of the Standard Model at finite temperature

abstract: In this paper we revisit and update the computation of thermal corrections to the stability of the electroweak vacuum in the Standard Model. At zero temperature, we make use of the full two-loop effective potential, improved by three-loop beta functions with two-loop matching conditions. At finite temperature, we include one-loop thermal corrections together with resummation of daisy diagrams. We solve numerically---both at zero and finite temperature---the bounce equation, thus providing an accurate description of the thermal tunneling. Assuming a maximum temperature in the early Universe of the order of $10^{18}$ GeV, we find that at finite temperature the instability bound excludes values of the top mass $M_t \gtrsim 173.6$ GeV, with $M_h \simeq 125$ GeV and including uncertainties on the strong coupling. We discuss the validity and temperature-dependence of this bound in the early Universe, with a special focus on the reheating phase after inflation.


title: Identification of a bottom quark-antiquark pair in a single jet with high transverse momentum and its application

abstract: In this paper we introduce a new approach to identify a bottom quark-antiquark pair inside a single jet with high transverse momentum by using the jet substructure in the center-of-mass frame of the jet. We demonstrate that the method can be used to discriminate the boosted heavy particles decaying to a $b\bar{b}$ final state from QCD jets. Applications to searches for the standard model Higgs boson ($H$) decaying to $b\bar{b}$ when produced in association with a weak vector boson are also discussed.


title: Attraction/repulsion switching of non-equilibrium depletion interaction caused by blockade effect in gas of interacting particles. II

abstract: The effect of concentration-dependent switching of the non-equilibrium depletion interaction between obstacles in a gas flow of interacting Brownian particles is presented. When increasing bath fraction exceeds half-filling, the wake-mediated interaction between obstacles switches from effective attraction to repulsion or vice-versa, depending on the mutual alignment of obstacles with respect to the gas flow. It is shown that for an ensemble of small and widely separated obstacles the dissipative interaction takes the form of induced dipole-dipole interaction governed by an anisotropic screened Coulomb-like potential. This allows one to give a qualitative picture of the interaction between obstacles and explain switching effect as a result of changes of anisotropy direction. The non-linear blockade effect is shown to be essential near closely located obstacles, that manifests itself in additional screening of the gas flow and generation of a pronounced step-like profile of gas density distribution. It is established that behavior of the magnitude of dissipative effective interaction is, generally, non-monotonic in relation to both the bath fraction and the external driving field. It has characteristic peaks corresponding to the situation when the common density "coat" formed around the obstacles is most pronounced. The possibility of the dissipative pairing effect is briefly discussed. All the results are obtained within the classical lattice-gas model.


title: A Denotational Semantics for Equilibrium Logic

abstract: In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as G\"odel's G3 logic) that relies on the idea of "denotation" of a formula, that is, a function that collects the set of models of that formula. Using the three-valued logic G3 as a starting point and an ordering relation (for which equilibrium/stable models are minimal elements) we provide several elementary operations for sets of interpretations. By analysing structural properties of the denotation of formulas, we show some expressiveness results for G3 such as, for instance, that conjunction is not expressible in terms of the other connectives. Moreover, the denotational semantics allows us to capture the set of equilibrium models of a formula with a simple and compact set expression. We also use this semantics to provide several formal definitions for entailment relations that are usual in the literature, and further introduce a new one called "strong entailment". We say that $\alpha$ strongly entails $\beta$ when the equilibrium models of $\alpha \wedge \gamma$ are also equilibrium models of $\beta \wedge \gamma$ for any context $\gamma$. We also provide a characterisation of strong entailment in terms of the denotational semantics, and give an example of a sufficient condition that can be applied in some cases.


title: Avrocar: a real flying saucer

abstract: One of the most unusual military aircraft programs V / STOL was the Avro VZ-9 "Avrocar". Designed to be a real flying saucer, the Avrocar was one of the few V / STOL to be developed in complete secrecy. Despite significant changes in the design, during flight tests, the Avrocar was unable to achieve its objectives, and the program was eventually canceled after an expenditure of 10 million US dollars between 1954 and 1961. But the concept of a lift fan, driven by a turbojet engine is not dead, and lives today as a key component of Lockheed X-35 Joint Strike Fighter contender. Was held in a data research and information related to Avrocar project carried out during the Second World War, which was directly linked to advances in aircraft that were built after it, and correlate them with the turbo fan engines used today.


title: Improving Software Effort Estimation Using Neuro-Fuzzy Model with SEER-SEM

abstract: The aims of our research are to evaluate the prediction performance of the proposed neuro-fuzzy model with System Evaluation and Estimation of Resource Software Estimation Model (SEER-SEM) in software estimation practices and to apply the proposed architecture that combines the neuro-fuzzy technique with different algorithmic models. In this paper, an approach combining the neuro-fuzzy technique and the SEER-SEM effort estimation algorithm is described. This proposed model possesses positive characteristics such as learning ability, decreased sensitivity, effective generalization, and knowledge integration for introducing the neuro-fuzzy technique. Moreover, continuous rating values and linguistic values can be inputs of the proposed model for avoiding the large estimation deviation among similar projects. The performance of the proposed model is accessed by designing and conducting evaluation with published projects and industrial data. The evaluation results indicate that estimation with our proposed neuro-fuzzy model containing SEER-SEM is improved in comparison with the estimation results that only use SEER-SEM algorithm. At the same time, the results of this research also demonstrate that the general neuro-fuzzy framework can function with various algorithmic models for improving the performance of software effort estimation.


title: Magicity of neutron-rich isotopes within relativistic self-consistent approaches

abstract: The formation of new shell gaps in intermediate mass neutron-rich nuclei is investigated within the relativistic Hartree-Fock-Bogoliubov theory, and the role of the Lorentz pseudo-vector and tensor interactions is analyzed. Based on the Foldy-Wouthuysen transformation, we discuss in detail the role played by the different terms of the Lorentz pseudo-vector and tensor interactions in the appearing of the $N=16$, 32 and 34 shell gaps. The nuclei $^{24}$O, $^{48}$Si and $^{52,54}$Ca are predicted with a large shell gap and zero ($^{24}$O, $^{52}$Ca) or almost zero ($^{48}$Si, $^{54}$Ca) pairing gap, making them candidates for new magic numbers in exotic nuclei. We find from our analysis that the Lorentz pseudo-vector and tensor interactions induce very specific evolutions of single-particle energies, which could clearly sign their presence and reveal the need for relativistic approaches with exchange interactions.


title: On $\omega \psi$-Perfect Graphs

abstract: In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ \omega, \chi, \Gamma, \alpha, \psi \} $ where $ \omega $ is the clique number, $ \chi $ is the chromatic number, $ \Gamma $ is the Grundy number, $ \alpha $ is the achromatic number and $ \psi $ is the pseudoachromatic number. A graph $ G $ is \emph{$ ab $-perfect}, if for every induced subgraph $ H $ of $G$, $ a(H)$ equals $b(H) $. In this paper, we characterize the $ab$-perfect graphs when $a=\omega$ and $b=\psi$.


title: The long-tail distribution function of mutations in bacteria

abstract: Levy flights in the space of mutations model time evolution of bacterial DNA. Parameters in the model are adjusted in order to fit observations coming from the Long Time Evolution Experiment with E. Coli.


title: Proper quasi-homogeneous domains in flag manifolds and geometric structures

abstract: In this paper we study domains in flag manifolds which are bounded in an affine chart and whose projective automorphism group acts co-compactly. In contrast to the many examples in real projective space, we will show that no examples exist in many flag manifolds. Moreover, in the cases where such domains can exist, we show that they satisfy a natural convexity condition and have an invariant metric which generalizes the Hilbert metric. As an application we give some restrictions on the developing map for certain $(G,X)$-structures.


title: Vector and tensor contributions to the curvature perturbation at second order

abstract: We derive the evolution equation for the second order curvature perturbation using standard techniques of cosmological perturbation theory. We do this for different definitions of the gauge invariant curvature perturbation, arising from different splits of the spatial metric, and compare the expressions. The results are valid at all scales and include all contributions from scalar, vector and tensor perturbations, as well as anisotropic stress, with all our results written purely in terms of gauge invariant quantities. Taking the large-scale approximation, we find that a conserved quantity exists only if, in addition to the non-adiabatic pressure, the transverse traceless part of the anisotropic stress tensor is also negligible. We also find that the version of the gauge invariant curvature perturbation which is exactly conserved is the one defined with the determinant of the spatial part of the inverse metric.


title: A Reinforcement Learning Approach to Online Learning of Decision Trees

abstract: Online decision tree learning algorithms typically examine all features of a new data point to update model parameters. We propose a novel alternative, Reinforcement Learning- based Decision Trees (RLDT), that uses Reinforcement Learning (RL) to actively examine a minimal number of features of a data point to classify it with high accuracy. Furthermore, RLDT optimizes a long term return, providing a better alternative to the traditional myopic greedy approach to growing decision trees. We demonstrate that this approach performs as well as batch learning algorithms and other online decision tree learning algorithms, while making significantly fewer queries about the features of the data points. We also show that RLDT can effectively handle concept drift.


title: MSSM soft terms from supergravity with gauged R-symmetry in de Sitter vacuum

abstract: We work out the phenomenology of a model of supersymmetry breaking in the presence of a tiny (tunable) positive cosmological constant, proposed by the authors in arXiv:1403.1534. It utilises a single chiral multiplet with a gauged shift symmetry, that can be identified with the string dilaton (or an appropriate compactification modulus). The model is coupled to the MSSM, leading to calculable soft supersymmetry breaking masses and a distinct low energy phenomenology that allows to differentiate it from other models of supersymmetry breaking and mediation mechanisms.


title: An Empirical Study on the Procedure to Derive Software Quality Estimation Models

abstract: Software quality assurance has been a heated topic for several decades. If factors that influence software quality can be identified, they may provide more insight for better software development management. More precise quality assurance can be achieved by employing resources according to accurate quality estimation at the early stages of a project. In this paper, a general procedure is proposed to derive software quality estimation models and various techniques are presented to accomplish the tasks in respective steps. Several statistical techniques together with machine learning method are utilized to verify the effectiveness of software metrics. Moreover, a neuro-fuzzy approach is adopted to improve the accuracy of the estimation model. This procedure is carried out based on data from the ISBSG repository to present its empirical value.


title: Prospects for Discovering the Higgs-like Pseudo-Nambu-Goldstone Boson of the Classical Scale Symmetry

abstract: We examine the impact of the expected reach of the LHC and the XENON1T experiments on the parameter space of the minimal classically scale invariant extension of the standard model (SM), where all the mass scales are induced dynamically by means of the Coleman-Weinberg mechanism. In this framework, the SM content is enlarged by the addition of one complex gauge singlet scalar with a scale invariant and $CP$-symmetric potential. The massive pseudoscalar component, protected by the $CP$-symmetry, forms a viable dark matter candidate, and three flavors of the right-handed Majorana neutrinos are included to account for the nonzero masses of the SM neutrinos via the see-saw mechanism. The projected constraints on the parameter space arise by applying the ATLAS heavy Higgs discovery prospects, with an integrated luminosity of 300 and 3000~fb$^{-1}$ at $\sqrt s = 14$~TeV, to the pseudo-Nambu-Goldstone boson of the (approximate) scale symmetry, as well as by utilizing the expected reach of the XENON1T direct detection experiment for the discovery of the pseudoscalar dark matter candidate. A null-signal discovery by these future experiments implies that vast regions of the model's parameter space can be thoroughly explored; the combined projections are expected to confine a mixing between the SM and the singlet sector to very small values, while probing the viability of the TeV~scale pseudoscalar's thermal relic abundance as the dominant dark matter component in the Universe. Furthermore, the vacuum stability and triviality requirements of the framework up to the Planck scale are studied and the viable region of the parameter space is identified. The results are summarized in extensive exclusion plots, incorporating additionally the prior theoretical and experimental bounds for comparison.


title: Myths and Realities about Online Forums in Open Source Software Development: An Empirical Study

abstract: The use of free and open source software (OSS) is gaining momentum due to the ever increasing availability and use of the Internet. Organizations are also now adopting open source software, despite some reservations, in particular regarding the provision and availability of support. Some of the biggest concerns about free and open source software are post release software defects and their rectification, management of dynamic requirements and support to the users. A common belief is that there is no appropriate support available for this class of software. A contradictory argument is that due to the active involvement of Internet users in online forums, there is in fact a large resource available that communicates and manages the provision of support. The research model of this empirical investigation examines the evidence available to assess whether this commonly held belief is based on facts given the current developments in OSS or simply a myth, which has developed around OSS development. We analyzed a dataset consisting of 1880 open source software projects covering a broad range of categories in this investigation. The results show that online forums play a significant role in managing software defects, implementation of new requirements and providing support to the users in open source software and have become a major source of assistance in maintenance of the open source projects.


title: Supersymmetric Backgrounds and Black Holes in ${\cal N}=(1,1)$ Cosmological New Massive Supergravity

abstract: Using an off-shell Killing spinor analysis we perform a systematic investigation of the supersymmetric background and black hole solutions of the ${\cal N}=(1,1)$ Cosmological New Massive Gravity model. The solutions with a null Killing vector are the same pp-wave solutions that one finds in the ${\cal N}=1$ model but we find new solutions with a time-like Killing vector that are absent in the ${\cal N}=1$ case. An example of such a solution is a Lifshitz spacetime. We also consider the supersymmetry properties of the so-called rotating hairy BTZ black holes and logarithmic black holes in an $AdS_3$ background. Furthermore, we show that under certain assumptions there is no supersymmetric Lifshitz black hole solution.


title: Building an OSS Quality Estimation Model with CATREG

abstract: Open Source Software (OSS) has been a popular form in software development. In this paper, we use statistical approaches to derive OSS quality estimation models. Our objective is to build estimation models for the number of defects with metrics at project levels. First CATREG (Categorical regression with optimal scaling) is used to obtain quantifications of the qualitative variables. Then the independent variables are validated using the stepwise linear regression. The process is repeated to acquire optimal quantifications and final regression formula. This modeling process is performed based on data from the OSS communities and is proved to be practically valuable.


title: Topological currents in black phosphorus with broken inversion symmetry

abstract: We examine the nature of topological currents in black phosphorus when its inversion symmetry is deliberately broken. Here, the conduction and valence band edges are located at the $\Gamma$ point of the rectangular Brillouin zone, and they exhibit strong anisotropy along its two crystal axes. We will show below that these salient features lead to a linear transverse neutral topological currents, accompanied also by a non-linear transverse charge current at the Fermi surface. These topological currents are maximal when the in-plane electric field is applied along the zigzag crystal axes, but zero along the armchair direction.


title: Nonlinear plastic modes in disordered solids

abstract: We propose a framework within which a robust mechanical definition of precursors to plastic instabilities, often termed `soft-spots', naturally emerges. They are shown to be collective displacements (modes) $\hat{z}_0$ that correspond to local minima of the `barrier function' $b(\hat{z})$. The latter is derived from the cubic approximation of the variation $\delta U_{\hat{z}}(s)$ of the potential energy upon displacing particles a distance $s$ along $\hat{z}$. We show that modes $\hat{z}_0$ corresponding to low-lying minima of $b(\hat{z})$ lead to transitions over energy barriers in the glass, and are therefore associated with highly asymmetric variations $\delta U_{\hat{z}}(s)$ with $s$. We further demonstrate how a heuristic search for local minima of $b(\hat{z})$ can a-priori detect the locus and geometry of imminent plastic instabilities with remarkable accuracy, at strains as large as $\gamma_c-\gamma \sim 10^{-2}$ away from the instability strain $\gamma_c$, where the non-affine displacements under shear are still largely delocalized. Our findings suggest that the a-priori detection of plastic instabilities can be effectively carried out by the investigation of the landscape of $b(\hat{z})$.


title: On the algebraic structure of rotationally invariant two-dimensional Hamiltonians on the noncommutative phase space

abstract: We study two-dimensional Hamiltonians in phase space with noncommutativity both in coordinates and momenta. We consider the generator of rotations on the noncommutative plane and the Lie algebra generated by Hermitian rotationally invariant quadratic forms of noncommutative dynamical variables. We show that two quantum phases are possible, characterized by the Lie algebras $sl(2,\mathbb{R})$ or $su(2)$ according to the relation between the noncommutativity parameters, with the rotation generator related with the Casimir operator. From this algebraic perspective, we analyze the spectrum of some simple models with nonrelativistic rotationally invariant Hamiltonians in this noncommutative phase space, as the isotropic harmonic oscillator, the Landau problem and the cylindrical well potential. PACS: 03.65.-w; 03.65.Fd MSC: 81R05; 20C35; 22E70


title: Algebraic Solutions for $U^{BF}(5)-O^{BF}(6)$ Quantum Phase Transition in Odd Mass Number Nuclei

abstract: The spherical to deformed $\gamma -unstable$ shape- phase transition in odd-A nuclei is investigated by using the Dual algebraic structures and the affine $SU(1,1)$ Lie Algebra within the framework of the interacting boson - fermion model. The new algebraic solution for A-odd nuclei is introduced. In this model, Single $j = 1/2 $ and $ 3/2 $ fermions are coupled with an even-even boson core. Energy spectra, quadruple electromagnetic transitions and an expectation value of the d-boson number operator are presented. Experimental evidence for the $U^{BF} (5)-O^{BF} (6)$ transition in odd -A $Ba$ and $Rh$ isotopes is presented. The low-states energy spectra and $B(E2)$values for these nuclei have been also calculated and compared with the experimental data.


title: A Neuro-Fuzzy Model for Function Point Calibration

abstract: The need to update the calibration of Function Point (FP) complexity weights is discussed, whose aims are to fit specific software application, to reflect software industry trend, and to improve cost estimation. Neuro-Fuzzy is a technique that incorporates the learning ability from neural network and the ability to capture human knowledge from fuzzy logic. The empirical validation using ISBSG data repository Release 8 shows a 22% improvement in software effort estimation after calibration using Neuro-Fuzzy technique.


title: Mesoscopic higher regularity and subadditivity in elliptic homogenization

abstract: We introduce a new method for obtaining quantitative results in stochastic homogenization for linear elliptic equations in divergence form. Unlike previous works on the topic, our method does not use concentration inequalities (such as Poincar\'e or logarithmic Sobolev inequalities in the probability space) and relies instead on a higher ($C^{k}$, $k \geq 1$) regularity theory for solutions of the heterogeneous equation, which is valid on length scales larger than a certain specified mesoscopic scale. This regularity theory, which is of independent interest, allows us to, in effect, localize the dependence of the solutions on the coefficients and thereby accelerate the rate of convergence of the expected energy of the cell problem by a bootstrap argument. The fluctuations of the energy are then tightly controlled using subadditivity. The convergence of the energy gives control of the scaling of the spatial averages of gradients and fluxes (that is, it quantifies the weak convergence of these quantities) which yields, by a new "multiscale" Poincar\'e inequality, quantitative estimates on the sublinearity of the corrector.


title: Equilibrium cluster fluids: Pair interactions via inverse design

abstract: Inverse methods of statistical mechanics are becoming productive tools in the design of materials with specific microstructures or properties. While initial studies have focused on solid-state design targets (e.g, assembly of colloidal superlattices), one can alternatively design fluid states with desired morphologies. This work addresses the latter and demonstrates how a simple iterative Boltzmann inversion strategy can be used to determine the isotropic pair potential that reproduces the radial distribution function of a fluid of amorphous clusters with prescribed size. The inverse designed pair potential of this "ideal" cluster fluid, with its broad attractive well and narrow repulsive barrier at larger separations, is qualitatively different from the so-called SALR form most commonly associated with equilibrium cluster formation in colloids, which features short-range attractive (SA) and long-range repulsive (LR) contributions. These differences reflect alternative mechanisms for promoting cluster formation with an isotropic pair potential, and they in turn produce structured fluids with qualitatively different static and dynamic properties. Specifically, equilibrium simulations show that the amorphous clusters resulting from the inverse designed potentials display more uniformity in size and shape, and they also show greater spatial and temporal resolution than those resulting from SALR interactions.


title: Vector boson production at hadron colliders: transverse-momentum resummation and leptonic decay

abstract: We consider the transverse-momentum ($q_T$) distribution of Drell-Yan lepton pairs produced, via $W$ and $Z/\gamma^*$ decay, in hadronic collisions. At small values of $q_T$, we resum the logarithmically-enhanced perturbative QCD contributions up to next-to-next-to-leading logarithmic accuracy. Resummed results are consistently combined with the known ${\mathcal O}(\alpha_S^2)$ fixed-order results at intermediate and large values of $q_T$. Our calculation includes the leptonic decay of the vector boson with the corresponding spin correlations, the finite-width effects and the full dependence on the final-state lepton(s) kinematics. The computation is encoded in the numerical program DYRes, which allows the user to apply arbitrary kinematical cuts on the final-state leptons and to compute the corresponding distributions in the form of bin histograms. We present a comparison of our results with some of the available LHC data. The inclusion of the leptonic decay in the resummed calculation requires a theoretical discussion on the $q_T$ recoil due to the transverse momentum of the produced vector boson. We present a $q_T$ recoil procedure that is directly applicable to $q_T$ resummed calculations for generic production processes of high-mass systems in hadron collisions.


title: Analysis and modelling of a rotary forming process for cast aluminum alloy A356

abstract: Spinning of a common aluminum automotive casting alloy A356 (Al-7Si-0.3 Mg) at elevated temperatures has been investigated experimentally with a novel industrial-scale apparatus. This has permitted the implementation of a fully coupled thermomechanical finite element model aimed at quantifying the processing history (stress, strain, strain-rate and temperature) and predicting the final geometry. The geometric predictions of this model have been compared directly to the geometry of the workpieces obtained experimentally. This study is novel in regards to both the size and shape of the component as well as the constitutive material representation employed. The model predictions are in reasonable agreement with experimental results for small deformations, but errors increase for large deformation conditions. The model has also enabled the characterization of the mechanical state which leads to a common spinning defect. Suggestions for improving the accuracy and robustness of the model to provide a predictive tool for industry are discussed.


title: Center problem, Abel equation and the Faa di Bruno Hopf algebra for output feedback

abstract: A combinatorial interpretation is given of Devlin's word problem underlying the classical center-focus problem of Poincare for non-autonomous differential equations. It turns out that the canonical polynomials of Devlin are from the point of view of connected graded Hopf algebras intimately related to the graded components of a Hopf algebra antipode applied to the formal power series of Ferfera. The link is made by passing through control theory since the Abel equation, which describes a center, is equivalent to an output feedback equation, and the Hopf algebra of output feedback is derived from the composition of iterated integrals rather than just the products of iterated integrals, which yields the shuffle algebra. This means that the primary algebraic structure at play in Devlin's approach is actually not the shuffle algebra, but a Faa di Bruno type Hopf algebra, which is defined in terms of the shuffle product but is a distinct algebraic structure.


title: On-chip artificial magnon-polariton device for voltage control of electromagnetically induced transparency

abstract: We demonstrate an on-chip device utilizing the concept of artificial cavity magnon-polariton (CMP) coupling between the microwave cavity mode and the dynamics of the artificial magnetism in a split ring resonator. This on-chip device allows the easy tuning of the artificial CMP gap by using a DC voltage signal, which enables tuneable electrodynamically induced transparency. The high tunability of the artificial magnon-polariton system not only enables the study of the characteristic phenomena associated with distinct coupling regimes, but also may open up avenues for designing novel microwave devices and ultra-sensitive sensors.


title: A Decision Support Tool for Assessing the Maturity of Software Product Line Process

abstract: The software product line aims at the effective utilization of software assets, reducing the time required to deliver a product, improving the quality, and decreasing the cost of software products. Organizations trying to incorporate this concept require an approach to assess the current maturity level of the software product line process in order to make management decisions. A decision support tool for assessing the maturity of the software product line process is developed to implement the fuzzy logic approach, which handles the imprecise and uncertain nature of software process variables. The proposed tool can be used to assess the process maturity level of a software product line. Such knowledge will enable an organization to make crucial management decisions. Four case studies were conducted to validate the tool, and the results of the studies show that the software product line decision support tool provides a direct mechanism to evaluate the current software product line process maturity level within an organization.


title: Exclusive $J/\psi$ and $\Upsilon$ photoproduction and the low $x$ gluon

abstract: We study exclusive vector meson photoproduction, $\gamma p \to V + p$ with $V=J/\psi$ or $\Upsilon$, at NLO in collinear factorisation, in order to examine what may be learnt about the gluon distribution at very low $x$. We examine the factorisation scale dependence of the predictions. We argue that, using knowledge of the NLO corrections, terms enhanced by a large $\ln(1/\xi)$ can be reabsorbed in the LO part by a choice of the factorisation scale. (In these exclusive processes $\xi$ takes the role of Bjorken-$x$.) Then, the scale dependence coming from the remaining NLO contributions has no $\ln(1/\xi)$ enhancements. As a result, we find that predictions for the amplitude of $\Upsilon$ production are stable to within about $\pm 15\%$. This will allow data for the exclusive process $p p \to p\Upsilon p$ at the LHC, particularly from LHCb, to be included in global parton analyses to constrain the gluon PDF down to $x\sim 10^{-5}$. Moreover, the study of exclusive $J/\psi$ photoproduction indicates that the gluon density found in the recent global PDF analyses is too small at low $x$ and low scales.


title: Clues on Software Engineers Learning Styles

abstract: The Myers-Briggs Type Indicator (MBTI) has proved to be a useful instrument for understanding student learning preferences and has enable comparisons of the learning preferences for various personality types. Regarding learning styles, there is no one best combination of characteristics, since each preference has its own advantages and disadvantages. Therefore, it is a fallacy to think that professors can devise a single teaching technique that would always appeal to all students at the same time. The ideas presented in this paper have been taken into account in two 4th year courses, named Software Requirements and Software Design in which the students develop their capstone projects. The results of this investigation may help college instructors to understanding the preferred leaning style of software engineers.


title: A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations

abstract: With sound unification, Definite Clause Grammars and compact expression of combinatorial generation algorithms, logic programming is shown to conveniently host a declarative playground where interesting properties and behaviors emerge from the interaction of heterogenous but deeply connected computational objects. Compact combinatorial generation algorithms are given for several families of lambda terms, including open, closed, simply typed and linear terms as well as type inference and normal order reduction algorithms. We describe a Prolog-based combined lambda term generator and type-inferrer for closed well-typed terms of a given size, in de Bruijn notation. We introduce a compressed de Bruijn representation of lambda terms and define its bijections to standard representations. Our compressed terms facilitate derivation of size-proportionate ranking and unranking algorithms of lambda terms and their inferred simple types. The S and K combinator expressions form a well-known Turing-complete subset of the lambda calculus. We specify evaluation, type inference and combinatorial generation algorithms for SK-combinator trees. In the process, we unravel properties shedding new light on interesting aspects of their structure and distribution. A uniform representation, as binary trees with empty leaves, is given to expressions built with Rosser's X-combinator, natural numbers, lambda terms and simple types. Using this shared representation, ranking/unranking algorithm of lambda terms to tree-based natural numbers are described. Our algorithms, expressed as an incrementally developed literate Prolog program, implement a declarative playground for exploration of representations, encodings and computations with uniformly represented lambda terms, types, combinators and tree-based arithmetic.


title: On the Vanishing of Homology in Random \v{C}ech Complexes

abstract: We compute the homology of random \v{C}ech complexes over a homogeneous Poisson process on the d-dimensional torus, and show that there are, coarsely, two phase transitions. The first transition is analogous to the Erd\H{o}s-R\'enyi phase transition, where the \v{C}ech complex becomes connected. The second transition is where all the other homology groups are computed correctly (almost simultaneously). Our calculations also suggest a finer measurement of scales, where there is a further refinement to this picture and separation between different homology groups.


title: Mobile-Based Video Caching Architecture Based on Billboard Manager

abstract: Video streaming services are very popular today. Increasingly, users can now access multimedia applications and video playback wirelessly on their mobile devices. However, a significant challenge remains in ensuring smooth and uninterrupted transmission of almost any size of video file over a 3G network, and as quickly as possible in order to optimize bandwidth consumption. In this paper, we propose to position our Billboard Manager to provide an optimal transmission rate to enable smooth video playback to a mobile device user connected to a 3G network. Our work focuses on serving user requests by mobile operators from cached resource managed by Billboard Manager, and transmitting the video files from this pool. The aim is to reduce the load placed on bandwidth resources of a mobile operator by routing away as much user requests away from the internet for having to search a video and, subsequently, if located, have it transferred back to the user.


title: Fast and Accurate Recurrent Neural Network Acoustic Models for Speech Recognition

abstract: We have recently shown that deep Long Short-Term Memory (LSTM) recurrent neural networks (RNNs) outperform feed forward deep neural networks (DNNs) as acoustic models for speech recognition. More recently, we have shown that the performance of sequence trained context dependent (CD) hidden Markov model (HMM) acoustic models using such LSTM RNNs can be equaled by sequence trained phone models initialized with connectionist temporal classification (CTC). In this paper, we present techniques that further improve performance of LSTM RNN acoustic models for large vocabulary speech recognition. We show that frame stacking and reduced frame rate lead to more accurate models and faster decoding. CD phone modeling leads to further improvements. We also present initial results for LSTM RNN models outputting words directly.


title: A Framework for Process Assessment of Software Product Line

abstract: Software product line has emerged as an attractive phenomenon within organizations dealing with software development process. It involves assembly of products from existing core assets, commonly known as components, and continuous growth in the core assets as production proceeds. Organizations trying to incorporate the concept of software product line to reduce development time and cost require certain rules to be followed for successful development and management, they also require a direct procedure to evaluate the current maturity level of the process. In this work certain rules for developing and managing a software product line are put forward. Additionally, a fuzzy logic based software product line process assessment tool (SPLPAT) has been designed and implemented on the basis of developed rules for software product line process assessment. SPLPAT can be used to assess the process maturity level of software product line, and it provides an opportunity to handle imprecision and uncertainty present in software process variables. Four case studies were conducted to validate the framework, and results show that SPLPAT provides a direct mechanism to evaluate current software product line process maturity level within an organization. The results of the developed software product line process assessment approach were compared with the existing CMM-level of the organization in order to evaluate the reliability of the presented approach and to find out how effectively an organization can execute software product line process when it has already achieved a certain CMM level.


title: C# Traceability System

abstract: Traceability information is a valuable asset that software development teams can leverage to minimise their risk during production and maintenance of software projects. When maintainers are added to a software project post-production, they have to learn the system from scratch and understand its dynamics before they can begin making appropriate modifications to the source code. The system outlined in this paper extracts traceability information directly from the source code of C# projects, and presents it in such a way that it can be easily used to understand the logic and validate changes to the system.


title: Transition to a labyrinthine phase in a driven granular medium

abstract: Labyrinthine patterns arise in two-dimensional physical systems submitted to competing interactions, ranging from the fields of solid-state physics to hydrodynamics. For systems of interacting particles, labyrinthine and stripe phases were studied in the context of colloidal particles confined into a monolayer, both numerically by means of Monte Carlo simulations and experimentally using superparamagnetic particles. Here we report an experimental observation of a labyrinthine phase in an out-of-equilibrium system constituted of macroscopic particles. Once sufficiently magnetized, they organize into short chains of particles in contact and randomly orientated. We characterize the transition from a granular gas state towards a solid labyrinthine phase, as a function of the ratio of the interaction strength to the kinetic agitation. Spatial local structure is analyzed by means of an accurate particle tracking. Moreover, we explain the formation of these chains using a simple model.


title: A Cautionary Note on the Zagarola and Smits Similarity Parameter for the Turbulent Boundary Layer

abstract: Zagarola and Smits developed an empirical velocity parameter for scaling the outer region of the turbulent boundary layer velocity profile that has been widely applied to experimental datasets. Plots of the scaled defect profiles indicate that most datasets display similar-like behavior using the Zagarola and Smits scaling parameter. In the work herein, it is shown that the common practice of finding similarity behavior using the defect profile is often incomplete in the sense that not all of the criteria for similarity have been checked for compliance. When full compliance is checked, it is found that most of the datasets which display defect similarity do not satisfy all the criteria required for similarity. The nature of this contradiction and noncompliance is described in detail. It is shown that the original datasets used by Zagarola and Smits display this flawed similarity behavior. Hence, a careful reassessment of any claims in the literature is required for those groups that attempted to use the defect profile and the Zagarola and Smits type of velocity scaling parameter to assert similarity of the velocity profile.


title: Framework for Version Control & Dependency Link of Components & Products in a Software Product Line

abstract: Software product line deals with the assembly of products from existing core assets commonly known as components and continuous growth in the core assets as we proceed with production. This idea has emerged as vital in terms of software development from component-based architecture. Since in software product line one has to deal with number of products and components simultaneous therefore there is a need to develop a strategy, which will help to store components and products information in such a way that they can be traced easily for further development. This storage strategy should reflect a relationship between products and components so that product history with reference to components can be traced and vise versa. In this paper we have presented a tree structure based storage strategy for components and products in software product line. This strategy will enable us to store the vital information about components and products with a relationship of their composition and utilization. We implemented this concept and simulated the software product line environment.