DSpace Community:
http://hdl.handle.net/2117/127
Wed, 01 Jul 2015 23:17:57 GMT
20150701T23:17:57Z
webmaster.bupc@upc.edu
Universitat Politècnica de Catalunya. Servei de Biblioteques i Documentació
no

Nonlinear equations for fractional Laplacians, I: Regularity, maximum principles, and Hamiltonian estimates
http://hdl.handle.net/2117/22391
Title: Nonlinear equations for fractional Laplacians, I: Regularity, maximum principles, and Hamiltonian estimates
Authors: Cabré Vilagut, Xavier; Sire, Yannick
Abstract: This is the first of two articles dealing with the equation ()sv = f (v) in Rn, with s ¿ (0,1), where ()s stands for the fractional Laplacian — the in¿nitesimal generator of a Lévy process. This equation can be realized as a local linear degenerate elliptic equation in Rn+1+ together with a nonlinear Neumann boundary condition on ¿Rn+1 + =Rn.
In this ¿rst article, we establish necessary conditions on the nonlinearity f to admit certain type of solutions, with special interest in bounded increasing solutions in all of R. These necessary conditions (which will be proven in a followup paper to be also suficient for the existence of a bounded increasing solution) are derived from an equality and an estimate involving a Hamiltonian — in the spirit of a result of Modica for the Laplacian. Our proofs are uniform ass ¿1, establishing in the limit the corresponding known results for the Laplacian.
In addition, we study regularity issues, as well as maximum and Harnack principles associated to the equation.
http://hdl.handle.net/2117/22391
Cabré Vilagut, Xavier; Sire, Yannick
no
This is the first of two articles dealing with the equation ()sv = f (v) in Rn, with s ¿ (0,1), where ()s stands for the fractional Laplacian — the in¿nitesimal generator of a Lévy process. This equation can be realized as a local linear degenerate elliptic equation in Rn+1+ together with a nonlinear Neumann boundary condition on ¿Rn+1 + =Rn.
In this ¿rst article, we establish necessary conditions on the nonlinearity f to admit certain type of solutions, with special interest in bounded increasing solutions in all of R. These necessary conditions (which will be proven in a followup paper to be also suficient for the existence of a bounded increasing solution) are derived from an equality and an estimate involving a Hamiltonian — in the spirit of a result of Modica for the Laplacian. Our proofs are uniform ass ¿1, establishing in the limit the corresponding known results for the Laplacian.
In addition, we study regularity issues, as well as maximum and Harnack principles associated to the equation.

Estructuras Ainfinito en la opérada de cactus
http://hdl.handle.net/2117/22097
Title: Estructuras Ainfinito en la opérada de cactus
Authors: Gálvez Carrillo, Maria Immaculada; Lombardi, Leandro; Tonks, Andrew
Abstract: Diversas versiones de la opérada de cactus inicialmente definida por Voronov han sido estudiadas. Es conocida su equivalencia débil con la opérada de pequeños discos. Se conoce pues que la opérada de cactus admite una acción de la opérada de Gerstenhaber salvo homotopía. En este proyecto, nuestro objetivo es obtener una realización explícita de dicha acción. Por el momento, hemos construido una acción explícita de la opérada A8 en la opérada de cactus, que presentamos en este póster
http://hdl.handle.net/2117/22097
Gálvez Carrillo, Maria Immaculada; Lombardi, Leandro; Tonks, Andrew
no
Diversas versiones de la opérada de cactus inicialmente definida por Voronov han sido estudiadas. Es conocida su equivalencia débil con la opérada de pequeños discos. Se conoce pues que la opérada de cactus admite una acción de la opérada de Gerstenhaber salvo homotopía. En este proyecto, nuestro objetivo es obtener una realización explícita de dicha acción. Por el momento, hemos construido una acción explícita de la opérada A8 en la opérada de cactus, que presentamos en este póster

J2 effect and elliptic inclined periodic orbits in the collision threebody problem
http://hdl.handle.net/2117/21117
Title: J2 effect and elliptic inclined periodic orbits in the collision threebody problem
Authors: Barrabes, Esther; Cors Iglesias, Josep Maria; Pinyol, Conxita; Soler Villanueva, Jaume
Abstract: The existence of a new class of inclined periodic orbits of the collision restricted
three{body problem is shown. The symmetric periodic solutions found are perturbations of elliptic
kepler orbits and they exist only for special values of the inclination and are related to the motion
of a satellite around an oblate planet.
http://hdl.handle.net/2117/21117
Barrabes, Esther; Cors Iglesias, Josep Maria; Pinyol, Conxita; Soler Villanueva, Jaume
no
collision restricted threebody problem, periodic orbits, symmetric orbits, critical inclination, continuation method
The existence of a new class of inclined periodic orbits of the collision restricted
three{body problem is shown. The symmetric periodic solutions found are perturbations of elliptic
kepler orbits and they exist only for special values of the inclination and are related to the motion
of a satellite around an oblate planet.

Nonisomorphic Hopf Galois structures with isomorphic underlying Hopf algebras
http://hdl.handle.net/2117/28490
Title: Nonisomorphic Hopf Galois structures with isomorphic underlying Hopf algebras
Authors: Crespo, Teresa; Río Doval, Ana; Vela del Olmo, Mª Montserrat
Abstract: We give a degree 8 nonnormal separable extension having two nonisomorphic Hopf Galois structures with isomorphic underlying Hopf algebras.
Wed, 01 Jul 2015 11:16:43 GMT
http://hdl.handle.net/2117/28490
20150701T11:16:43Z
Crespo, Teresa; Río Doval, Ana; Vela del Olmo, Mª Montserrat
no
Hopf algebra, Separable field extension, Galois theory, Hopf Galois structure
We give a degree 8 nonnormal separable extension having two nonisomorphic Hopf Galois structures with isomorphic underlying Hopf algebras.

Northsouth components of the annual asymmetry in the ionosphere
http://hdl.handle.net/2117/28489
Title: Northsouth components of the annual asymmetry in the ionosphere
Authors: Gulyaeva, Tamara L.; Arikan, Feza; Hernández Pajares, Manuel; Veselovsky, I.S.
Abstract: A retrospective study of the asymmetry in the ionosphere during the solstices is made using the different geospace parameters in the North and South magnetic hemispheres. Data of total electron content (TEC) and global electron content (GEC) produced from global ionospheric maps, GIMTEC for 19992013, the ionospheric electron content (IEC) measured by TOPEXJason 1 and 2 satellites for 20012012, the F2 layer critical frequency and peak height measured on board ISIS 1, ISIS 2, and IK19 satellites during 19691982, and the earthquakes M5+ occurrences for 19992013 are analyzed. Annual asymmetry is observed with GEC and IEC for the years of observation with asymmetry index, AI, showing January > July excess from 0.02 to 0.25. The coincident pattern of JanuarytoJuly asymmetry ratio of TEC and IEC colocated along the magnetic longitude sector of 270 degrees +/ 5 degrees E in the Pacific Ocean is obtained varying with local time and magnetic latitude. The sea/land differences in the F2 layer peak electron density, NmF2, and the peak height, h(m)F(2), gathered with topside sounding data exhibit tilted ionosphere along the seashores with denser electron population at greater peak heights over the sea. The topside peak electron density NmF2, TEC, IEC, and the hemisphere part of GEC are dominant in the South hemisphere which resembles the pattern for seismic activity with dominant earthquake occurrence in the South magnetic hemisphere. Though the study is made for the hemispheric and annual asymmetry during solstices in the ionosphere, the conclusions seem valid for other aspects of seismicionospheric associations with tectonic plate boundaries representing zones of enhanced risk for space weather.
Wed, 01 Jul 2015 11:09:52 GMT
http://hdl.handle.net/2117/28489
20150701T11:09:52Z
Gulyaeva, Tamara L.; Arikan, Feza; Hernández Pajares, Manuel; Veselovsky, I.S.
no
GLOBAL ELECTRONCONTENT, SOLARACTIVITY, EARTHQUAKE, TEC, ANOMALIES, MAPS, CALIBRATION, ATMOSPHERE, LATITUDES, SATELLITE
A retrospective study of the asymmetry in the ionosphere during the solstices is made using the different geospace parameters in the North and South magnetic hemispheres. Data of total electron content (TEC) and global electron content (GEC) produced from global ionospheric maps, GIMTEC for 19992013, the ionospheric electron content (IEC) measured by TOPEXJason 1 and 2 satellites for 20012012, the F2 layer critical frequency and peak height measured on board ISIS 1, ISIS 2, and IK19 satellites during 19691982, and the earthquakes M5+ occurrences for 19992013 are analyzed. Annual asymmetry is observed with GEC and IEC for the years of observation with asymmetry index, AI, showing January > July excess from 0.02 to 0.25. The coincident pattern of JanuarytoJuly asymmetry ratio of TEC and IEC colocated along the magnetic longitude sector of 270 degrees +/ 5 degrees E in the Pacific Ocean is obtained varying with local time and magnetic latitude. The sea/land differences in the F2 layer peak electron density, NmF2, and the peak height, h(m)F(2), gathered with topside sounding data exhibit tilted ionosphere along the seashores with denser electron population at greater peak heights over the sea. The topside peak electron density NmF2, TEC, IEC, and the hemisphere part of GEC are dominant in the South hemisphere which resembles the pattern for seismic activity with dominant earthquake occurrence in the South magnetic hemisphere. Though the study is made for the hemispheric and annual asymmetry during solstices in the ionosphere, the conclusions seem valid for other aspects of seismicionospheric associations with tectonic plate boundaries representing zones of enhanced risk for space weather.

Almost every tree with m edges decomposes K2m,2m
http://hdl.handle.net/2117/28488
Title: Almost every tree with m edges decomposes K2m,2m
Authors: Drmota, Michael; Lladó Sánchez, Ana M.
Abstract: We show that asymptotically almost surely a tree with m edges decomposes the complete bipartite graph K2m,2m, a result connected to a conjecture of Graham and Häggkvist. The result also implies that asymptotically almost surely a tree with m edges decomposes the complete graph with O(m2) edges. An ingredient of the proof consists in showing that the bipartition classes of the base tree of a random tree have roughly equal size. © Cambridge University Press 2013.
Wed, 01 Jul 2015 11:06:35 GMT
http://hdl.handle.net/2117/28488
20150701T11:06:35Z
Drmota, Michael; Lladó Sánchez, Ana M.
no
Bipartition, Complete bipartite graphs, Complete graphs, Equal sizes, Random tree
We show that asymptotically almost surely a tree with m edges decomposes the complete bipartite graph K2m,2m, a result connected to a conjecture of Graham and Häggkvist. The result also implies that asymptotically almost surely a tree with m edges decomposes the complete graph with O(m2) edges. An ingredient of the proof consists in showing that the bipartition classes of the base tree of a random tree have roughly equal size. © Cambridge University Press 2013.

Classification of numerical 3semigroups by means of Lshapes
http://hdl.handle.net/2117/28487
Title: Classification of numerical 3semigroups by means of Lshapes
Authors: Aguiló Gost, Francisco de Asis L.; Marijuan López, Carlos
Abstract: We recall Lshapes, which are minimal distance diagrams, related to weighted 2Cayley digraphs, and we give the number and the relation between minimal distance diagrams related to the same digraph. On the other hand, we consider some classes of numerical semigroups useful in the study of curve singularity. Then, we associate Lshapes to each numerical 3semigroup and we describe some main invariants of numerical 3semigroups in terms of their associated Lshapes. Finally, we give a characterization of the parameters of the Lshapes associated with a numerical 3semigroup in terms of its generators, and we use it to classify the numerical 3semigroups of interest in curve singularity.
Wed, 01 Jul 2015 11:02:05 GMT
http://hdl.handle.net/2117/28487
20150701T11:02:05Z
Aguiló Gost, Francisco de Asis L.; Marijuan López, Carlos
no
Numerical semigroup, Symmetric, Free, Curve plane semigroup, Cayley digraph, Lshape, Frobenius number, NETWORKS
We recall Lshapes, which are minimal distance diagrams, related to weighted 2Cayley digraphs, and we give the number and the relation between minimal distance diagrams related to the same digraph. On the other hand, we consider some classes of numerical semigroups useful in the study of curve singularity. Then, we associate Lshapes to each numerical 3semigroup and we describe some main invariants of numerical 3semigroups in terms of their associated Lshapes. Finally, we give a characterization of the parameters of the Lshapes associated with a numerical 3semigroup in terms of its generators, and we use it to classify the numerical 3semigroups of interest in curve singularity.

Distribution and mitigation of higherorder ionospheric effects on precise GNSS processing
http://hdl.handle.net/2117/28486
Title: Distribution and mitigation of higherorder ionospheric effects on precise GNSS processing
Authors: Hernández Pajares, Manuel; Aragon Angel, Maria Angeles; Defraigne, Pascale; Bergeot, Nicolas; Prieto Cerdeira, Roberto; García Rigo, Alberto
Abstract: Higherorder ionospheric effects (I2+) are one of the main limiting factors in very precise Global Navigation Satellite Systems (GNSS) processing, for applications where millimeter accuracy is demanded. This paper summarizes a comprehensive study of the I2+ effects in range and in GNSS precise products such as receiver position and clock, tropospheric delay, geocenter offset, and GNSS satellite position and clock. All the relevant higherorder contributions are considered: second and third orders, geometric bending, and slant total electron content (dSTEC) bending (i.e., the difference between the STEC for straight and bent paths). Using a realistic simulation with representative solar maximum conditions on GPS signals, both the effects and mitigation errors are analyzed. The usage of the combination of multifrequency L band observations has to be rejected due to its increased noise level. The results of the study show that the main two effects in range are the secondorder ionospheric and dSTEC terms, with peak values up to 2 cm. Their combined impacts on the precise GNSS satellite products affects the satellite Z coordinates (up to +1 cm) and satellite clocks (more than ±20 ps). Other precise products are affected at the millimeter level. After correction the impact on all the precise GNSS products is reduced below 5 mm. We finally show that the I2+ impact on a Precise Point Positioning (PPP) user is lower than the current uncertainties of the PPP solutions, after applying consistently the precise products (satellite orbits and clocks) obtained under I2+ correction
Wed, 01 Jul 2015 10:56:01 GMT
http://hdl.handle.net/2117/28486
20150701T10:56:01Z
Hernández Pajares, Manuel; Aragon Angel, Maria Angeles; Defraigne, Pascale; Bergeot, Nicolas; Prieto Cerdeira, Roberto; García Rigo, Alberto
no
higher order ionospheric effects, precise geodesy based on GNSS data, precise ionospheric modeling of GNSS observations
Higherorder ionospheric effects (I2+) are one of the main limiting factors in very precise Global Navigation Satellite Systems (GNSS) processing, for applications where millimeter accuracy is demanded. This paper summarizes a comprehensive study of the I2+ effects in range and in GNSS precise products such as receiver position and clock, tropospheric delay, geocenter offset, and GNSS satellite position and clock. All the relevant higherorder contributions are considered: second and third orders, geometric bending, and slant total electron content (dSTEC) bending (i.e., the difference between the STEC for straight and bent paths). Using a realistic simulation with representative solar maximum conditions on GPS signals, both the effects and mitigation errors are analyzed. The usage of the combination of multifrequency L band observations has to be rejected due to its increased noise level. The results of the study show that the main two effects in range are the secondorder ionospheric and dSTEC terms, with peak values up to 2 cm. Their combined impacts on the precise GNSS satellite products affects the satellite Z coordinates (up to +1 cm) and satellite clocks (more than ±20 ps). Other precise products are affected at the millimeter level. After correction the impact on all the precise GNSS products is reduced below 5 mm. We finally show that the I2+ impact on a Precise Point Positioning (PPP) user is lower than the current uncertainties of the PPP solutions, after applying consistently the precise products (satellite orbits and clocks) obtained under I2+ correction

Permutation 2groups I: structure and splitness
http://hdl.handle.net/2117/28484
Title: Permutation 2groups I: structure and splitness
Authors: Elgueta Montó, Josep
Abstract: By a 2group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2group and a oneobject 2group. By a permutation 2group we mean the 2group Sym(G) of selfequivalences of a groupoid G and natural isomorphisms between them, with the product given by composition of selfequivalences. These generalize the symmetric groups Sn, n >= 1, obtained when G is a finite discrete groupoid.; After introducing the wreath 2product Sn (sic) G of the symmetric group Sn with an arbitrary 2group G, it is shown that for any (finite type) groupoid G the permutation 2group Sym(G) is equivalent to a product of wreath 2products of the form Sn (sic) Sym(G) for a group G thought of as a oneobject groupoid. This is next used to compute the homotopy invariants of Sym(G) which classify it up to equivalence. Using a previously shown splitness criterion for strict 2groups, it is then proved that Sym(G) can be nonsplit, and that the step from the trivial groupoid to an arbitrary oneobject groupoid is the only source of nonsplitness. Various examples of permutation 2groups are explicitly computed, in particular the permutation 2group of the underlying groupoid of a (finite type) 2group. It also follows from well known results about the symmetric groups that the permutation 2group of the groupoid of all finite sets and bijections between them is equivalent to the direct product 2group Z(2)[1] x Z(2)[0] where Z(2)[0] and Z(2)[1] stand for the group Z(2) thought of as a discrete and a oneobject 2group, respectively. (C) 2014 Elsevier Inc. All rights reserved.
Wed, 01 Jul 2015 10:49:52 GMT
http://hdl.handle.net/2117/28484
20150701T10:49:52Z
Elgueta Montó, Josep
no
Groupoid, Categorical group, Split 2group, Permutation 2group, ALGEBRAICGEOMETRY, HOMOTOPY TYPES, CATEGORIES, REPRESENTATION, GROUPOIDS
By a 2group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2group and a oneobject 2group. By a permutation 2group we mean the 2group Sym(G) of selfequivalences of a groupoid G and natural isomorphisms between them, with the product given by composition of selfequivalences. These generalize the symmetric groups Sn, n >= 1, obtained when G is a finite discrete groupoid.; After introducing the wreath 2product Sn (sic) G of the symmetric group Sn with an arbitrary 2group G, it is shown that for any (finite type) groupoid G the permutation 2group Sym(G) is equivalent to a product of wreath 2products of the form Sn (sic) Sym(G) for a group G thought of as a oneobject groupoid. This is next used to compute the homotopy invariants of Sym(G) which classify it up to equivalence. Using a previously shown splitness criterion for strict 2groups, it is then proved that Sym(G) can be nonsplit, and that the step from the trivial groupoid to an arbitrary oneobject groupoid is the only source of nonsplitness. Various examples of permutation 2groups are explicitly computed, in particular the permutation 2group of the underlying groupoid of a (finite type) 2group. It also follows from well known results about the symmetric groups that the permutation 2group of the groupoid of all finite sets and bijections between them is equivalent to the direct product 2group Z(2)[1] x Z(2)[0] where Z(2)[0] and Z(2)[1] stand for the group Z(2) thought of as a discrete and a oneobject 2group, respectively. (C) 2014 Elsevier Inc. All rights reserved.

Conditions of consistency for multicomponent stellar systems. II. Is a pointaxial symmetric model suitable for the Galaxy?
http://hdl.handle.net/2117/28482
Title: Conditions of consistency for multicomponent stellar systems. II. Is a pointaxial symmetric model suitable for the Galaxy?
Authors: Cubarsí Morera, Rafael
Abstract: Under a common potential, a finite mixture of ellipsoidal velocity distributions satisfying the Boltzmann collisionless
equation provides a set of integrability conditions that may constrain the population kinematics. They are referred to as
conditions of consistency and were discussed in a previous paper on mixtures of axisymmetric populations. As a corollary,
these conditions are now extended to pointaxial symmetry, that is, point symmetry around the rotation axis or bisymmetry,
by determining which potentials are connected with a more flexible superposition of stellar populations. Under pointaxial
symmetry, the potential is still axisymmetric, but the velocity and mass distributions are not necessarily. A pointaxial stellar
system is, in a natural way, consistent with a flat velocity distribution of a disc population. Therefore, no additional integrability
conditions are required to solve the Boltzmann collisionless equation for such a population. For other populations, if the
potential is additively separable in cylindrical coordinates, the populations are not kinematically constrained, although under
pointaxial symmetry, the potential is reduced to the harmonic function, which, for the Galaxy, is proven to be nonrealistic.
In contrast, a nonseparable potential provides additional conditions of consistency. When mean velocities for the populations
are unconstrained, the potential becomes quasistationary, being a particular case of the axisymmetric model. Then, the radial
and vertical mean velocities of the populations can differ and produce an apparent vertex deviation of the whole velocity
distribution. However, single population velocity ellipsoids still have no vertex deviation in the Galactic plane and no tilt in
their intersection with a meridional Galactic plane. If the thick disc and halo ellipsoids actually have nonvanishing tilt, as the
surveys of the solar neighbourhood that include RAdial Velocity Experiment (RAVE) data seem to show, the pointaxial model
is unable to fit the local velocity distribution. Conversely, the axisymmetric model is capable of making a better approach. If,
in the end, more accurate data confirm a negligible tilt of the populations, then the pointaxisymmetric model will be able to
describe nonaxisymmetric mass and velocity distributions, although in the Galactic plane the velocity distribution will still be
axisymmetric.
Wed, 01 Jul 2015 08:38:01 GMT
http://hdl.handle.net/2117/28482
20150701T08:38:01Z
Cubarsí Morera, Rafael
no
galaxies: kinematics and dynamics – Galaxy: solar neighbourhood – galaxies: statistics
Under a common potential, a finite mixture of ellipsoidal velocity distributions satisfying the Boltzmann collisionless
equation provides a set of integrability conditions that may constrain the population kinematics. They are referred to as
conditions of consistency and were discussed in a previous paper on mixtures of axisymmetric populations. As a corollary,
these conditions are now extended to pointaxial symmetry, that is, point symmetry around the rotation axis or bisymmetry,
by determining which potentials are connected with a more flexible superposition of stellar populations. Under pointaxial
symmetry, the potential is still axisymmetric, but the velocity and mass distributions are not necessarily. A pointaxial stellar
system is, in a natural way, consistent with a flat velocity distribution of a disc population. Therefore, no additional integrability
conditions are required to solve the Boltzmann collisionless equation for such a population. For other populations, if the
potential is additively separable in cylindrical coordinates, the populations are not kinematically constrained, although under
pointaxial symmetry, the potential is reduced to the harmonic function, which, for the Galaxy, is proven to be nonrealistic.
In contrast, a nonseparable potential provides additional conditions of consistency. When mean velocities for the populations
are unconstrained, the potential becomes quasistationary, being a particular case of the axisymmetric model. Then, the radial
and vertical mean velocities of the populations can differ and produce an apparent vertex deviation of the whole velocity
distribution. However, single population velocity ellipsoids still have no vertex deviation in the Galactic plane and no tilt in
their intersection with a meridional Galactic plane. If the thick disc and halo ellipsoids actually have nonvanishing tilt, as the
surveys of the solar neighbourhood that include RAdial Velocity Experiment (RAVE) data seem to show, the pointaxial model
is unable to fit the local velocity distribution. Conversely, the axisymmetric model is capable of making a better approach. If,
in the end, more accurate data confirm a negligible tilt of the populations, then the pointaxisymmetric model will be able to
describe nonaxisymmetric mass and velocity distributions, although in the Galactic plane the velocity distribution will still be
axisymmetric.

Using specification and description language to formalize multiagent systems
http://hdl.handle.net/2117/28481
Title: Using specification and description language to formalize multiagent systems
Authors: Fonseca Casas, Pau
Abstract: Simulation is a multidisciplinary field of study used in different scopes, involving people with different areas of knowledge and backgrounds. Formal languages become important tools in order to build, understand, and maintain the simulation models. The formalization of an intelligent agent is not an easy task because of the complex behavior it owns. In this study, we apply a formal and graphical language, called Specification and Description Language, to formalize an intelligent agent. This formalization captures the complete and unambiguous behavior of the agents and simplifies the understanding of the agents’ behaviors because of the graphic structure of the language. This formal representation of the model also simplifies joining multiagent system (MAS) models and interaction models through the formalization. In addition, because Specification and Description Language is a standard language, several tools are capable of understanding the model, which leads to an automatic implementation.
Wed, 01 Jul 2015 08:31:37 GMT
http://hdl.handle.net/2117/28481
20150701T08:31:37Z
Fonseca Casas, Pau
no
Simulation is a multidisciplinary field of study used in different scopes, involving people with different areas of knowledge and backgrounds. Formal languages become important tools in order to build, understand, and maintain the simulation models. The formalization of an intelligent agent is not an easy task because of the complex behavior it owns. In this study, we apply a formal and graphical language, called Specification and Description Language, to formalize an intelligent agent. This formalization captures the complete and unambiguous behavior of the agents and simplifies the understanding of the agents’ behaviors because of the graphic structure of the language. This formal representation of the model also simplifies joining multiagent system (MAS) models and interaction models through the formalization. In addition, because Specification and Description Language is a standard language, several tools are capable of understanding the model, which leads to an automatic implementation.

A data mining approach to identify cognitive NeuroRehabilitation Range in Traumatic Brain Injury patients
http://hdl.handle.net/2117/28480
Title: A data mining approach to identify cognitive NeuroRehabilitation Range in Traumatic Brain Injury patients
Authors: García Rudolph, Alejandro; Gibert Oliveras, Karina
Abstract: Cognitive rehabilitation (CR) treatment consists of hierarchically organized tasks that require repetitive use of impaired cognitive functions in a progressively more demanding sequence. Active monitoring of the progress of the subjects is therefore required, and the difficulty of the tasks must be progressively increased, always pushing the subjects to reach a goal just beyond what they can attain. There is an important lack of wellestablished criteria by which to identify the right tasks to propose to the patient. In this paper, the NeuroRehabilitation Range (NRR) is introduced as a means of identifying formal operational models. These are to provide the therapist with dynamic decision support information for assigning the most appropriate CR plan to each patient. Data mining techniques are used to build datadriven models for NRR. The Sectorized and Annotated Plane (SAP) is proposed as a visual tool by which to identify NRR, and two datadriven methods to build the SAP are introduced and compared. Application to a specific representative cognitive task is presented. The results obtained suggest that the current clinical hypothesis about NRR might be reconsidered. Prior knowledge in the area is taken into account to introduce the number of task executions and task performance into NRR models and a new model is proposed which outperforms the current clinical hypothesis. The NRR is introduced as a key concept to provide an operational model identifying when a patient is experiencing activities in his or her Zone of Proximal Development and, consequently, experiencing maximum improvement. For the first time, data collected through a CR platform has been used to find a model for the NRR. © 2014 Elsevier Ltd. All rights reserved.
Wed, 01 Jul 2015 08:22:03 GMT
http://hdl.handle.net/2117/28480
20150701T08:22:03Z
García Rudolph, Alejandro; Gibert Oliveras, Karina
no
Algorithms, Machine learning, Statistics
Cognitive rehabilitation (CR) treatment consists of hierarchically organized tasks that require repetitive use of impaired cognitive functions in a progressively more demanding sequence. Active monitoring of the progress of the subjects is therefore required, and the difficulty of the tasks must be progressively increased, always pushing the subjects to reach a goal just beyond what they can attain. There is an important lack of wellestablished criteria by which to identify the right tasks to propose to the patient. In this paper, the NeuroRehabilitation Range (NRR) is introduced as a means of identifying formal operational models. These are to provide the therapist with dynamic decision support information for assigning the most appropriate CR plan to each patient. Data mining techniques are used to build datadriven models for NRR. The Sectorized and Annotated Plane (SAP) is proposed as a visual tool by which to identify NRR, and two datadriven methods to build the SAP are introduced and compared. Application to a specific representative cognitive task is presented. The results obtained suggest that the current clinical hypothesis about NRR might be reconsidered. Prior knowledge in the area is taken into account to introduce the number of task executions and task performance into NRR models and a new model is proposed which outperforms the current clinical hypothesis. The NRR is introduced as a key concept to provide an operational model identifying when a patient is experiencing activities in his or her Zone of Proximal Development and, consequently, experiencing maximum improvement. For the first time, data collected through a CR platform has been used to find a model for the NRR. © 2014 Elsevier Ltd. All rights reserved.

A surface mesh smoothing and untangling method independent of the CAD parameterization
http://hdl.handle.net/2117/28479
Title: A surface mesh smoothing and untangling method independent of the CAD parameterization
Authors: Gargallo Peiró, Abel; Roca Navarro, Xevi; Sarrate Ramos, Josep
Abstract: A method to optimize triangular and quadrilateral meshes on parameterized surfaces is proposed. The optimization procedure relocates the nodes on the surface to improve the quality (smooth) and ensures that the elements are not inverted (untangle). We detail how to express any measure for planar elements in terms of the parametric coordinates of the nodes. The extended measures can be used to check the quality and validity of a surface mesh. Then, we detail how to optimize any Jacobianbased distortion measure to obtain smoothed and untangled meshes with the nodes on the surface. We prove that this method is independent of the surface parameterization. Thus, it can optimize meshes on CAD surfaces defined by lowquality parameterizations. The examples show that the method can optimize meshes composed by a large number of inverted elements. Finally, the method can be extended to obtain highorder meshes with the nodes on the CAD surfaces.
Wed, 01 Jul 2015 08:01:33 GMT
http://hdl.handle.net/2117/28479
20150701T08:01:33Z
Gargallo Peiró, Abel; Roca Navarro, Xevi; Sarrate Ramos, Josep
no
Mesh quality, Mesh optimization, Smoothing and untangling, CAD surfaces, QUALITY METRICS, INITIAL MESHES, OPTIMIZATION, IMPROVEMENT, TRIANGULATIONS
A method to optimize triangular and quadrilateral meshes on parameterized surfaces is proposed. The optimization procedure relocates the nodes on the surface to improve the quality (smooth) and ensures that the elements are not inverted (untangle). We detail how to express any measure for planar elements in terms of the parametric coordinates of the nodes. The extended measures can be used to check the quality and validity of a surface mesh. Then, we detail how to optimize any Jacobianbased distortion measure to obtain smoothed and untangled meshes with the nodes on the surface. We prove that this method is independent of the surface parameterization. Thus, it can optimize meshes on CAD surfaces defined by lowquality parameterizations. The examples show that the method can optimize meshes composed by a large number of inverted elements. Finally, the method can be extended to obtain highorder meshes with the nodes on the CAD surfaces.

Passenger flow simulation in a hub airport: an application to the Barcelona International Airport
http://hdl.handle.net/2117/28478
Title: Passenger flow simulation in a hub airport: an application to the Barcelona International Airport
Authors: Fonseca Casas, Pau; Casanovas Garcia, Josep; Ferran, Xavier
Abstract: This paper describes a conceptual model intended to be applied in a general approach to the microsimulation of hub airports terminals. The proposed methodology is illustrated with the development of a simulation model originally intended to help in the design of the new terminal at Barcelona International Airport. This model represents in detail, among many other elements, passengers’ flows in the different areas of these complex facilities. Agentbased simulation techniques were included to represent the different actors’ behaviors, and a formal representation of the model using Specification and Description Language (SDL) was used to represent the complexity of all the system elements. To preprocess a diverse and considerable amount of raw data provided by airport designers and other sources to feed the simulation environment Flight Planner Manager was developed as a toolkit to parameterize the different model factors and to generate required specific input data. This project was conducted over 3 years leading to the development of a system not only conceived to assess in the airport initial design process but also to constitute a recurrent decision taking instrument to dynamically optimize terminal management and operations.
Wed, 01 Jul 2015 07:58:10 GMT
http://hdl.handle.net/2117/28478
20150701T07:58:10Z
Fonseca Casas, Pau; Casanovas Garcia, Josep; Ferran, Xavier
no
Airport microsimulation, Specification and Description Language (SDL), Agent Based Simulation (ABS), Barcelona Airport
This paper describes a conceptual model intended to be applied in a general approach to the microsimulation of hub airports terminals. The proposed methodology is illustrated with the development of a simulation model originally intended to help in the design of the new terminal at Barcelona International Airport. This model represents in detail, among many other elements, passengers’ flows in the different areas of these complex facilities. Agentbased simulation techniques were included to represent the different actors’ behaviors, and a formal representation of the model using Specification and Description Language (SDL) was used to represent the complexity of all the system elements. To preprocess a diverse and considerable amount of raw data provided by airport designers and other sources to feed the simulation environment Flight Planner Manager was developed as a toolkit to parameterize the different model factors and to generate required specific input data. This project was conducted over 3 years leading to the development of a system not only conceived to assess in the airport initial design process but also to constitute a recurrent decision taking instrument to dynamically optimize terminal management and operations.

Mixed intelligentmultivariate missing imputation
http://hdl.handle.net/2117/28477
Title: Mixed intelligentmultivariate missing imputation
Authors: Gibert Oliveras, Karina
Abstract: In real applications, important rates of missing data are often found and have to be preprocessed before the analysis. The literature for missing imputation is abundant. However, the most precise imputation methods require long time, and sometimes speci c software; this implies a signi cant delay to get nal results. The Mixed IntelligentMultivariate Missing Im
putation (MIMMI) method is proposed as a hybrid missing imputation methodology based on clustering. MIMMI is a non parametric method that combines the prior expert knowledge
with multivariate analysis without requiring assumptions on the probabilistic models of the variables (normality, exponentiality, etc). The proposed imputation values implicitly take into account the joint distribution of all variables and can be determined in a relatively short time. MIMMI uses the conditional mean according to the selfunderlying structure of the dataset. It provides a good tradeo between accuracy and both simplicity and required time to data preparation. The mechanics of the method is illustrated with some casestudies, both synthetic and real applications related with human behavior. In both cases, acceptable quality results were obtained in short time.
Wed, 01 Jul 2015 07:45:19 GMT
http://hdl.handle.net/2117/28477
20150701T07:45:19Z
Gibert Oliveras, Karina
no
BORDERLINE PERSONALITYDISORDER, HEALTH SYSTEMS, clustering, multivariate imputation, prior expert knowledge
In real applications, important rates of missing data are often found and have to be preprocessed before the analysis. The literature for missing imputation is abundant. However, the most precise imputation methods require long time, and sometimes speci c software; this implies a signi cant delay to get nal results. The Mixed IntelligentMultivariate Missing Im
putation (MIMMI) method is proposed as a hybrid missing imputation methodology based on clustering. MIMMI is a non parametric method that combines the prior expert knowledge
with multivariate analysis without requiring assumptions on the probabilistic models of the variables (normality, exponentiality, etc). The proposed imputation values implicitly take into account the joint distribution of all variables and can be determined in a relatively short time. MIMMI uses the conditional mean according to the selfunderlying structure of the dataset. It provides a good tradeo between accuracy and both simplicity and required time to data preparation. The mechanics of the method is illustrated with some casestudies, both synthetic and real applications related with human behavior. In both cases, acceptable quality results were obtained in short time.