Comparison of Work Scheduling Using Constraint Programming or Auctions

Business processes designers take into account the resources that the processes would need, but, due to the variable cost of certain parameters (like energy) or other circumstances, this scheduling must be done when business process enactment. In this report we formalize the energy aware resource cost, including time and usage dependent rates. We also present a constraint programming approach and an auction-based approach to solve the mentioned problem including a comparison of them and a comparison of the proposed algorithms for solving them

A new efficient approach to the direct restricted active space self-consistent field method

An implicitly parallel method for integral-block driven restricted active space self-consistent field (RASSCF) algorithms is presented. The approach is based on a model space representation of the RAS active orbitals with an efficient expansion of the model subspaces. The applicability of the method is demonstrated with a RASSCF investigation of the first two excited states of indole

Calculation of Franck-Condon factors including anharmonicity: simulation of the C2 H4+ X̃2B 3u←C2 H4X̃1 Ag band in the photoelectron spectrum of ethylene

Our new simple method for calculating accurate Franck-Condon factors including nondiagonal (i.e., mode-mode) anharmonic coupling is used to simulate the C2H4+X2B 3u←C2H4X̃1 Ag band in the photoelectron spectrum. An improved vibrational basis set truncation algorithm, which permits very efficient computations, is employed. Because the torsional mode is highly anharmonic it is separated from the other modes and treated exactly. All other modes are treated through the second-order perturbation theory. The perturbation-theory corrections are significant and lead to a good agreement with experiment, although the separability assumption for torsion causes the C2 D4 results to be not as good as those for C2 H4. A variational formulation to overcome this circumstance, and deal with large anharmonicities in general, is suggested

The curvature of the conical intersection seam: an approximate second-order analysis

We present a method for analyzing the curvature (second derivatives) of the conical intersection hyperline at an optimized critical point. Our method uses the projected Hessians of the degenerate states after elimination of the two branching space coordinates, and is equivalent to a frequency calculation on a single Born-Oppenheimer potential-energy surface. Based on the projected Hessians, we develop an equation for the energy as a function of a set of curvilinear coordinates where the degeneracy is preserved to second order (i.e., the conical intersection hyperline). The curvature of the potential-energy surface in these coordinates is the curvature of the conical intersection hyperline itself, and thus determines whether one has a minimum or saddle point on the hyperline. The equation used to classify optimized conical intersection points depends in a simple way on the first- and second-order degeneracy splittings calculated at these points. As an example, for fulvene, we show that the two optimized conical intersection points of C2v symmetry are saddle points on the intersection hyperline. Accordingly, there are further intersection points of lower energy, and one of C2 symmetry - presented here for the first time - is found to be the global minimum in the intersection space

La titulatura faraònica dels emperadors romans: un cas particular de la imitatio Alexandri

Estudi realitzat a partir d’una estada a la University of Oxford, Gran Bretanya, entre 2010 i 2012. Durant l’estada postdoctoral a la University of Oxford s’han efectuat dos estudis relacionats amb l’onomàstica dels faraons d’Egipte i que constitueixen una continuació de l’anàlisi de la titulatura d’Alexandre el Gran realitzada prèviament per l’investigador en la seva recerca doctoral. El primer estudi examina la titulatura faraònica dels emperadors romans en comparació amb la d’Alexandre i, en especial, la significació ideològica i política dels paral•lelismes onomàstics existents entre elles, els quals han estat analitzats en el marc de la imitatio-aemulatio-comparatio Alexandri. Per al cas d’August, s’ha arribat a la conclusió que l’adopció de determinats apel•latius egipcis utilitzats anteriorment per Alexandre pot ser interpretada com un exemple local o estrictament egipci d’imitatio Alexandri, mentre que, en relació amb la resta d’emperadors, atès que les seves titulatures faraòniques es basen o imiten la del primer emperador, aquestes represes han de ser vistes més aviat com un exemple d’imitatio (o comparatio) Augusti. El segon estudi versa sobre la titulatura faraònica egípcia i la tradició annalística. A partir d’una anàlisi comparativa dels protocols onomàstics dels fundadores de cadascuna de les dinasties, s’ha intentat determinar si determinats noms o epítets s’empren de forma recurrent i d’una manera deliberada per tal de senyalar canvis dinàstics, és a dir, noves realitats polítiques. En concret, s’ha pretès establir fins a quin punt determinats recursos onomàstics tenen el seu reflex en la divisió en dinasties de Manetó i, alhora, determinar en quina mesura l’estudi de l’onomàstica faraònica pot contribuir al coneixement de com els egipcis conceptualitzaren i organitzaren el seu propi passat.

ReacTIVision en CUDA : aprovechando las capacidades de la computación paralela en GPU

En aquest projecte final de carrera es decriurà el procés realitzat per tal d'aconseguir que l'aplicació reacTICision aprofiti les capacitats de la computació paral·lela en GPU mitjançant la tecnologia CUDA de NVIDIA. Amb aquest objectiu es realitzarà un estudi de la tecnologia CUDA i el funcionament de reacTIVision així com un anàlisi dels resultats obtinguts

Discursos de gènere, nacionalisme i respostes col•lectives de les dones a Catalunya i Irlanda

El projecte realitzat se situa en el marc de la història contemporània, i s’ha centrat en primer lloc, en l’anàlisi, des d’una perspectiva comparativa, del desenvolupament dels discursos de gènere a Catalunya durant la Dictadura Franquista i a la Irlanda postcolonial. Mitjançant l’anàlisi del discurs, s’han estudiat els models de feminitat imposats pel Franquisme i les seves bases ideològiques com són el valors catòlics i l’antindividualisme. En el cas irlandès, s’ha analitzat com, a través de determinades institucions gestionades per l’Església Catòlica, es controlaven aquelles dones que es desviaven del model de gènere que propugnava l’Estat Irlandès, molt similar al proposat pel Franquisme i també basat en els catolicisme. De la mateix manera, s’ha estudiat com el feminisme Català i irlandès dels anys 1970 i 1980 van contrarestar aquests models de gènere imposats, a través de l’anàlisi d’un conjunt d’expressions culturals produïdes per ambdós moviments feministes. La perspectiva comparativa del projecte ha permès: El coneixement dels mecanismes culturals de repressió de les dones així com la seva institucionalització. Revelant els paral•lelismes pel que fa a les polítiques de gènere entre els dos casos estudiats malgrat diferències significatives entre els dos contextos (Catalunya es troba sota una dictadura, Irlanda és un Estat democràtic). La importància de l’agència de les dones i les seves diverses estratègies de resistència, especialment a través d’expressions culturals més efímeres o considerades frívoles que, malgrat el poc reconeixement que han obtingut, són molt eficaces en la deconstrucció de discursos de gènere repressius envers les dones. Ha posat de manifest, també, la importància de l’experiència i les pràctiques personals i íntimes com a pràctiques de resistència. Així mateix, ha visibilitzat les dinàmiques pròpies de moviments feministes.

Bartók i els seus dos últims concerts

La idea inicial d’aquest projecte rau en el meu interès per aprofundir en dues obres: una, escrita per a viola, i l’altra, per a piano. La controvèrsia musicològica sobre l’autenticitat del Concert per a viola de Bartók, una obra cabdal dins del repertori d’aquest instrument, i la coincidència cronològica que aquest concert manté amb el Concert per a piano núm. 3 d’aquest mateix compositor han estat, finalment, el focus central de Bartók i els seus dos últims concerts. Mitjançant la informació extreta de llibres sobre el compositor, articles, tesis i partitures, les pàgines següents són el reflex del meu apropament als últims anys de la vida de Bartók, a la història que s’amaga darrere d’ambdues obres i als paral·lelismes que conté aquesta música.

Alteracions de l’excitabilitat cortico-espinal en pacients amb dany axonal difús d’origen traumàtic

Aquest treball ha estat dirigit a investigar les característiques de l’excitabilitat cortical del sistema motor en el dany axonal difús (DAD), conseqüència d’un Traumatisme Cranioencefàlic greu (TCE). Hem aplicat diversos paradigmes d'estimulació magnètica transcranial (TMS) de polsos simples, sobre l'escorça motora, per avaluar l'excitabilitat cortical i els mecanismes excitatoris i inhibitoris. Els paràmetres inclouen el llindar motor en repòs (MT), l’àrea sota la corba dels potencials motors evocats compostos (MEP), corbes d’estímul resposta, la variabilitat dels MEPs i la durada del període de silenci (SP). El grup de pacients en general va mostrar un MT més alt que els pacients, àrees dels MEPs més petites, i menor increment en les corbes en comparació amb els controls normals (p <0,05). Les alteracions en l'excitabilitat van ser significativament més pronunciades amb l'augment de la gravetat del DAD (p <0,005) i la presència de deteriorament motor (p <0,05), mentre que la coexistència de lesions focals no va afectar el grau dels canvis del MEPs. La variabilitat dels MEPs va ser significativament menor en el grup que presentava sols dèficit motor (P<0,05). La inhibició cortical, segons mostrava la durada del SP, no va mostrar diferències significatives en cap dels grups de pacients. En conclusió, les nostres troballes reforcen el concepte de que l’alteració dels fenòmens excitatoris i inhibitoris en l'escorça motora no son processos paral•lels, i aporten informació sobre els diferents patrons d’alteració en el DAD. A més, aquestes dades suggereixen que les alteracions en els mecanismes excitatoris corticoespinals es determinen principalment per la gravetat del DAD i mostren una relació significativa amb l’afectació clínica en relació a la funció motora després d'un TCE greu que afecta difusament les connexions corticals del sistema motor. Des d'un punt de vista clínic, aquest estudi indica que la neurofisiologia hauria de ser considerada com una exploració complementaria a l’exploració neurològica en el TCE greu.

Contribución al diseño de GNSS-SDR, un receptor GNSS de código abierto

[ANGLÈS] This project introduces GNSS-SDR, an open source Global Navigation Satellite System software-defined receiver. The lack of reconfigurability of current commercial-of-the-shelf receivers and the advent of new radionavigation signals and systems make software receivers an appealing approach to design new architectures and signal processing algorithms. With the aim of exploring the full potential of this forthcoming scenario with a plurality of new signal structures and frequency bands available for positioning, this paper describes the software architecture design and provides details about its implementation, targeting a multiband, multisystem GNSS receiver. The result is a testbed for GNSS signal processing that allows any kind of customization, including interchangeability of signal sources, signal processing algorithms, interoperability with other systems, output formats, and the offering of interfaces to all the intermediate signals, parameters and variables. The source code release under the GNU General Public License (GPL) secures practical usability, inspection, and continuous improvement by the research community, allowing the discussion based on tangible code and the analysis of results obtained with real signals. The source code is complemented by a development ecosystem, consisting of a website (http://gnss-sdr.org), as well as a revision control system, instructions for users and developers, and communication tools. The project shows in detail the design of the initial blocks of the Signal Processing Plane of the receiver: signal conditioner, the acquisition block and the receiver channel, the project also extends the functionality of the acquisition and tracking modules of the GNSS-SDR receiver to track the new Galileo E1 signals available. Each section provides a theoretical analysis, implementation details of each block and subsequent testing to confirm the calculations with both synthetically generated signals and with real signals from satellites in space.

MSISpIC: A Probabilistic Scan Matching Algorithm Using a Mechanical Scanned Imaging Sonar

This paper compares two well known scan matching algorithms: the MbICP and the pIC. As a result of the study, it is proposed the MSISpIC, a probabilistic scan matching algorithm for the localization of an Autonomous Underwater Vehicle (AUV). The technique uses range scans gathered with a Mechanical Scanning Imaging Sonar (MSIS), and the robot displacement estimated through dead-reckoning with the help of a Doppler Velocity Log (DVL) and a Motion Reference Unit (MRU). The proposed method is an extension of the pIC algorithm. Its major contribution consists in: 1) using an EKF to estimate the local path traveled by the robot while grabbing the scan as well as its uncertainty and 2) proposing a method to group into a unique scan, with a convenient uncertainty model, all the data grabbed along the path described by the robot. The algorithm has been tested on an AUV guided along a 600m path within a marina environment with satisfactory results

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Escacs, un sistema intel·ligent

Des dels inicis dels ordinadors com a màquines programables, l’home ha intentat dotar-los de certa intel•ligència per tal de pensar o raonar el més semblant possible als humans. Un d’aquests intents ha sigut fer que la màquina sigui capaç de pensar de tal manera que estudiï jugades i guanyi partides d’escacs. En l’actualitat amb els actuals sistemes multi tasca, orientat a objectes i accés a memòria i gràcies al potent hardware del que disposem, comptem amb una gran varietat de programes que es dediquen a jugar a escacs. Però no hi ha només programes petits, hi ha fins i tot màquines senceres dedicades a calcular i estudiar jugades per tal de guanyar als millors jugadors del món. L’objectiu del meu treball és dur a terme un estudi i implementació d’un d’aquests programes, per això es divideix en dues parts. La part teòrica o de l’estudi, consta d’un estudi dels sistemes d’intel•ligència artificial que es dediquen a jugar a escacs, estudi i cerca d’una funció d’avaluació vàlida i estudi dels algorismes de cerca. La part pràctica del treball es basa en la implementació d’un sistema intel•ligent capaç de jugar a escacs amb certa lògica. Aquesta implementació es porta a terme amb l’ajuda de les llibreries SDL, utilitzant l’algorisme minimax amb poda alfa-beta i codi c++. Com a conclusió del projecte m’agradaria remarcar que l’estudi realitzat m’ha deixat veure que crear un joc d’escacs no era tan fàcil com jo pensava però m’ha aportat la satisfacció d’aplicar tot el que he après durant la carrera i de descobrir moltes altres coses noves.