Representación simbólica de preguntas: el proyecto ReSim

En aquest article presentem el projecte ReSim: representació simbòlica de preguntes, que ha consistit en la creació d'un sistema automàtic capaç de representar en un llenguatge formal una pregunta en llenguatge natural. Tenint en compte la complexitat de l'objectiu, el projecte es va centrar en un àmbit temàtic concret. El tipus de representació usada està basada en el model de les Estructures Lèxico-Conceptuals de Jackendoff 1990.

Disseny de firmware per mòdul USB de microcontroladors PIC

Disseny o programació d'un codiinformàtic (firmware) que controli el mòdul USB d'un microcontrolador PIC per poder serutilitzat com a base o punt de partida pel disseny d'aplicacions senzilles, on la necessitatprincipal sigui l'intercanvi de dades entre un ordinador personal i un hardware microcontrolat.Es parteix d'un coneixement bàsic del protocol USB, sense ésser necessari conèixer enprofunditat el funcionament d'aquesta interfície de comunicació, qüestió que per altra bandano és necessària perquè les especificacions són molt àmplies i recullen molts supòsits defuncionament específics que no seran d'aplicació per la majoria de dissenys.Per assolir l'objectiu fixat, s'ha orientat el projecte a desenvolupar una aplicacióconcreta per tal d’ acotar els paràmetres defuncionament de la interfície USB, ja que les especificacions són molt àmplies i cal focalitzarel nostre interés per saber quines parts d'aquestes especificacions ens seran d'aplicació, també per les possibilitats que dona de control, detecció i correcció d'errors, en saber quina finalitates persegueix i com es suposa que ha de funcionar la nostra aplicació. I com a última raó, haver desenvolupat una aplicació, és també una garantia de funcionamentdel codi resultant i permet demostrar que s'ha assolit l'objectiu inicial.L'aplicació escollida a dissenyar en aquest projecte és un lector electrònic de targetes ambxip integrat (com les bancàries o identificatives) amb un microcontrolador PIC amb mòdulUSB, de manera que, des d’un ordinador i via el port USB, es puguin enviar comandes aaquest tipus de targetes i rebre les corresponents respostes

Desenvolupament de prototips (Android/LibGDX i Unity), per a la producció d'un videojoc d'acció lateral amb plataformes (Ouroboros)

Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc

Implementació de software de gestió

Disseny de software de gestió per a una empresa d'aparells elevadors.

Estudi de la usabilitat en la plataforma Garlanet

Al ser el nostre TFC orientat a la interacció humana amb els ordinadors, ens centrarem en realitzar un estudi de la usabilitat de la plataforma Garlanet, actualment en la seva versió 0.2. Un cop coneguem el seu rendiment, plantejarem les millores que creguem necessàries per a optimitzar tot el possible els serveis de la plataforma que requereixen interacció amb l'usuari; en aquest cas, l'aplicació general. Finalment, realitzarem una proposta de disseny per poder dur la implementació final a diversos dispositius mòbils, com poden ser les plataformes Android i iOS (iPad i iPhone).

Estudio de implantación de red y servicios Linux

Creación de una estructura de red que permita redireccionar el tráfico entre las redes WLAN y hacia Internet desde un punto central de un centro educativo, de forma que sea dinámico realizar cambios sobre la configuración desde una sola máquina.

Les alfabetitzacions digitals

El tema de l"alfabetització digital (o electrònica) requereix unes distincions inicials que la situïn en l"interior d"un marc teòric des del qual s"analitzarà. Altrament, la imatge més immediata que evoca és l"aprenentatge de determinades tècniques, i potser alguna competència associada, en una concepció funcional de l"alfabetització, és a dir, l"adequació d"una alfabetització genèrica al context pràctic que han introduït les tecnologies informàtiques i comunicatives: aprendre a usar els ordinadors, les aplicacions generals, el processador de textos, el correu electrònic, els navegadors i un llarg etcètera difícil de delimitar. És clar que aquest enfocament és necessari, i no es posa en qüestió, però pensar-lo com a únic deixa fora les aproximacions diferents del que és l"alfabetització, i alhora redueix la revolució digital a un conjunt d"aplicacions.

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Recursos i Restriccions de la Xarxa en Ciències de Biomèdiques

La xarxa Internet, entesa com un consorci format per usuaris, ordinadors, elements de comunicació, coneixements i aplicacions, és una innovació tecnològica que obre la porta a noves modalitats de treball i de relació entre les persones i les organitzacions en què estan agrupades. En el cas de les ciències biomèdiques, una gran part del seu èxit rau a oferir un substrat metodològic molt adient a la necessitat intrínseca de tractar dades i informacions i comunicar-les a d"altres professionals perquè la recerca progressi o a la societat per a difondre els coneixements. La medicina es beneficia en el mateix sentit, però l"impacte és mes gran, ja que hom pot preveure un canvi radical en el paradigma de l"actuació clínica. La clàssica relació metge-pacient haurà d"incorporar nous elements amb el grau de responsabilitat corresponent. Cal acceptar el fet d"Internet amb un esperit científic alhora suficientment crític per a copsar tots els beneficis que se"n poden obtenir i totes les restriccions i limitacions que per raons tècniques o ètiques s"hagin d"acceptar.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Trust region versus line search for computing the optical flow

We consider the numerical treatment of the optical flow problem by evaluating the performance of the trust region method versus the line search method. To the best of our knowledge, the trust region method is studied here for the first time for variational optical flow computation. Four different optical flow models are used to test the performance of the proposed algorithm combining linear and nonlinear data terms with quadratic and TV regularization. We show that trust region often performs better than line search; especially in the presence of non-linearity and non-convexity in the model.

Comentaris sobre alguns aspectes de la relació 'ètica/religió'

En el títol d'aquesta Tribuna se'ns pro posa parlar sobre la relació entre l'ètica i la religió. Plantejar en l'espai d'una revista pedagògica la qüestió «ètica/religió' és encetar al hora molts temes. Però potser el primer i més immediat és el que fa referència a la normativa fins ara vigent que plantejava la necessitat d'optar entre l'assignatura d'ètica i la de religió. No entrarem en consideracions sobre els motius que van provocar aquesta situació, sinó que tan sols expressarem la nostra opinió sobre l'alternativa esmentada.

Llicenciat en Psicopedagogia. Un títol polèmic?

Necessariament l'enfocament i contingut d'aquest article ha de diferir de la resta de treballs que en aquest número de la revista aborden els altres títols de l'Àmbit dé Ciències de l'Educació. La raó és molt simple: en aquest moment encara no ha conclos a la UB el procés d'elaboració i aprovació del Pla d'estudis del títol de Ilicenciat en Psicopedagogia. Potser hauria estat més adequat no incloure-hi cap comentari del Pla. La insisténcia, tal vegada en forma de raó estética, perqué no quedés el 'buit' d'un títol, la gestació del qual no ha estat exempta de polémica, ha minat la resisténcia inicial. Assumint el risc d'allo que és provisional, el contingut d'aquest treball tindra un elevat ingredient técnic, deixant de banda opinions i argumentacions de caracter disciplinari i aportant elements d'informació sobre el procés, encara inacabat, d'elaboració d'aquest Pla d'estudis.

Unidirectional quantum walks: Evolution and exit times

In this paper we focus our attention on a particle that follows a unidirectional quantum walk, an alternative version of the currently widespread discrete-time quantum walk on a line. Here the walker at each time step can either remain in place or move in a fixed direction, e.g., rightward or upward. While both formulations are essentially equivalent, the present approach leads us to consider discrete Fourier transforms, which eventually results in obtaining explicit expressions for the wave functions in terms of finite sums and allows the use of efficient algorithms based on the fast Fourier transform. The wave functions here obtained govern the probability of finding the particle at any given location but determine as well the exit-time probability of the walker from a fixed interval, which is also analyzed.