Search results for "General Computer Science"
showing 10 items of 895 documents
Decremental 2- and 3-connectivity on planar graphs
1996
We study the problem of maintaining the 2-edge-, 2-vertex-, and 3-edge-connected components of a dynamic planar graph subject to edge deletions. The 2-edge-connected components can be maintained in a total ofO(n logn) time under any sequence of at mostO(n) deletions. This givesO(logn) amortized time per deletion. The 2-vertex- and 3-edge-connected components can be maintained in a total ofO(n log2n) time. This givesO(log2n) amortized time per deletion. The space required by all our data structures isO(n). All our time bounds improve previous bounds.
A graph colouring model for assigning a heterogeneous workforce to a given schedule
1996
Abstract We analyze a heterogeneous workforce assignment problem in which the minimum number of workers required to carry out a machine load plan is calculated. The problem is formulated as a restricted vertex colouring problem and a branch and bound algorithm is presented. The special characteristics of the graph to be coloured allow an efficient implementation of the branch and bound. Computational results show that the algorithm can solve problems of 50 activities, 5, 10 and 15 machines and between 2 to 15 different types of workers in just a few seconds.
A suggested role for secondary flow in the stimulation of the cochlear hair cell
1985
The mammalian Corti organ and the reptilian basilar papilla are structures with a curved surface, which vibrate in a fluid medium. This paper is concerned with the role played by the geometric shape of these organs in cochlear hydrodynamics. In association with vibrating structures such as these organs, it can be expected that a stationary current will be initiated due to a nonlinear phenomenon in the boundary layer known as secondary flow. This phenomenon may explain the source of the mechanical nonlinearity in the cochlea.
Simulating mechanical consequences of voluntary movement upon whole-body equilibrium: the arm-raising paradigm revisited.
2001
Voluntary arm-raising movement performed during the upright human stance position imposes a perturbation to an already unstable bipedal posture characterised by a high body centre of mass (CoM). Inertial forces due to arm acceleration and displacement of the CoM of the arm which alters the CoM position of the whole body represent the two sources of disequilibrium. A current model of postural control explains equilibrium maintenance through the action of anticipatory postural adjustments (APAs) that would offset any destabilising effect of the voluntary movement. The purpose of this paper was to quantify, using computer simulation, the postural perturbation due to arm raising movement. The m…
Wavefront sensing using a graphical user interface
2015
Contract grant sponsor: Ministerio de Economia y Competividad; Contract grant number: FIS2011-23175; Contract grant sponsor: Generalitat Valenciana; Contract grant number: PROMETEOII/2014/072; Contract grant sponsor: Universitat de Valencia; Contract grant number: UV-SFPIE_DINV14-222801
Turing instability and traveling fronts for a nonlinear reaction–diffusion system with cross-diffusion
2012
In this work we investigate the phenomena of pattern formation and wave propagation for a reaction–diffusion system with nonlinear diffusion. We show how cross-diffusion destabilizes uniform equilibrium and is responsible for the initiation of spatial patterns. Near marginal stability, through a weakly nonlinear analysis, we are able to predict the shape and the amplitude of the pattern. For the amplitude, in the supercritical and in the subcritical case, we derive the cubic and the quintic Stuart–Landau equation respectively. When the size of the spatial domain is large, and the initial perturbation is localized, the pattern is formed sequentially and invades the whole domain as a travelin…
Modeling a non-stationary bots’ arrival process at an e-commerce Web site
2017
Abstract The paper concerns the issue of modeling and generating a representative Web workload for Web server performance evaluation through simulation experiments. Web traffic analysis has been done from two decades, usually based on Web server log data. However, while the character of the overall Web traffic has been extensively studied and modeled, relatively few studies have been devoted to the analysis of Web traffic generated by Internet robots (Web bots). Moreover, the overwhelming majority of studies concern the traffic on non e-commerce websites. In this paper we address the problem of modeling a realistic arrival process of bots’ requests on an e-commerce Web server. Based on real…
Theoretical study on hydrogen storage capacity of expanded h-BN systems
2017
In this work, the hydrogen storage capacity of the expanded hexagonal Boron Nitride (eh-BN) systems has been presented. We have employed a new equation of state (EOS) for hydrogen gas to figure out the hydrogen density distribution profiles in the eh-BN systems. In this regard, the environmental conditions (i.e., temperature and pressure) are considered in the prediction procedure using DFT single point calculations. The eh-BN systems with different layer spacings are studied by PBE method with consideration of the long range dispersion corrections. On account of the in-plane polar bonds, a series of adsorption positions are considered. Additionally, the adsorption energy and hydrogen densi…
Written arguments and collaborative speech acts in practising the argumentative power of language through chat debates
2007
Abstract This study deals with the quality of argumentation and collaboration in students’ chat debates. The argumentative interaction between students is analysed by categorising their speech turns into seven functional categories. The argumentative task-related parts of the students’ discussions are further analysed into collaborative and non-collaborative speech acts. Argumentation patterns are revealed when the results of both analyses are combined with observations on the students’ writing styles. Students ( n = 24) participated in 12 dyadic debates concerning either nuclear power (NP) or genetically modified organisms (GMO). We found that the majority (67.2%) of the speech turns in N…
The dual and the double of a Hopf algebroid are Hopf algebroids
2017
Let $H$ be a $\times$-bialgebra in the sense of Takeuchi. We show that if $H$ is $\times$-Hopf, and if $H$ fulfills the finiteness condition necessary to define its skew dual $H^\vee$, then the coopposite of the latter is $\times$-Hopf as well. If in addition the coopposite $\times$-bialgebra of $H$ is $\times$-Hopf, then the coopposite of the Drinfeld double of $H$ is $\times$-Hopf, as is the Drinfeld double itself, under an additional finiteness condition.