This report describes de design of an experiment that intends to compare two variants of a modeldriven system development method, so as to assess the impact of requirements engineering practice in the quality of the conceptual models. The conceptual...
We investigate oscillation death in systems of coupled nonlinear oscillators with feedback loop. We find that feedback results in oscillation death both in small sets or large ensembles. More importantly, the death zone in parameter space is signific...
The main aim of this paper is to discuss recent results on the adaptation of the Fokas-Gel'fand procedure for constructing soliton surfaces in Lie algebras, which was originally derived for PDEs [Grundland, Post 2011], to the case of integrable ODEs...
Today's competitive environment drives the enterprises to extend their focus and collaborate with their business partners to carry out the necessities. Tight coordination among business partners assists to share and integrate the service logic global...
Today's cyber defense tools are mostly watchers. They are not active doers. To be sure, watching too is a demanding affair. These tools monitor the traffic and events; they detect malicious signatures, patterns and anomalies; they might classify and...
The $μν$SSM solves the $μ$ problem of the MSSM and generates correct neutrino masses by simply using right-handed neutrinos. This mechanism implies that only dimensionless trilinear terms, breaking R-parity, are present in the superpotential. We p...
The Automated Model Evaluation (AutoEval) framework entertains the possibility of evaluating a trained machine learning model without resorting to a labeled testing set. Despite the promise and some decent results, the existing AutoEval methods heavi...
This paper reports on a simulated evolution project, which had the goal of simulating the refractive components of the PM eye of Australian netting spider diopis subrufus on a desktop computer. The model for the simulation is the anatomy of the eye d...
Probabilistic graphical models combine the graph theory and probability theory to give a multivariate statistical modeling. They provide a unified description of uncertainty using probability and complexity using the graphical model. Especially, grap...
Egorov and March plotted the product of resistivity and the copper spin-lattice relaxation time vs. temperature for yttrium barium copper oxide finding a minimum at temperature T greater than the superconducting temperature, heralding an electronic p...
Round Robin, considered as the most widely adopted CPU scheduling algorithm, undergoes severe problems directly related to quantum size. If time quantum chosen is too large, the response time of the processes is considered too high. On the other hand...
In this paper we report findings from a study of social network site use in a UK Government department. We have investigated this from a managerial, organisational perspective. We found at the study site that there are already several social network...
We propose a framework by which websites can coordinate to detect credential stuffing on individual user accounts. Our detection algorithm teases apart normal login behavior (involving password reuse, entering correct passwords into the wrong sites,...
Objectives: Stress hormones have been associated with temporal discounting. Although time-discount rate is shown to be stable over a long term, no study to date examines whether individual differences in stress hormones could predict individuals' tim...
In this paper, we investigate the degrees of freedom ($\dof$) of penalized $\ell_1$ minimization (also known as the Lasso) for linear regression models. We give a closed-form expression of the $\dof$ of the Lasso response. Namely, we show that for an...
We present an overview of a modeling environment, consisting of a coupled atmosphere-wildfire model, utilities for visualization, data processing, and diagnostics, open source software repositories, and a community wiki. The fire model, called SFIRE,...
Let F be a set of relational trees and let Forbh(F) be the class of all structures that admit no homomorphism from any tree in F; all this happens over a fixed finite relational signature $σ$. There is a natural way to expand Forbh(F) by unary rel...
We present a study of the Kelvin-Helmholtz instability in a weakly ionised, multifluid MHD plasma with parameters matching those of a typical molecular cloud. The instability is capable of transforming well-ordered flows into disordered flows. As a r...