Creative accounting: Some ethical issues of macro- and micro-manipulation

This paper examines two principal categories of manipulative behaviour. The term'macro-manipulation' is used to describe the lobbying of regulators to persuadethem to produce regulation that is more favourable to the interests of preparers.'Micro-manipulation' describes the management of accounting figures to produce abiased view at the entity level. Both categories of manipulation can be viewed asattempts at creativity by financial statement preparers. The paper analyses twocases of manipulation which are considered in an ethical context. The paperconcludes that the manipulations described in it can be regarded as morallyreprehensible. They are not fair to users, they involve an unjust exercise ofpower, and they tend to weaken the authority of accounting regulators.

Periodic orbits of integrable birational maps on the plane: blending dynamics and algebraic geometry, the Lyness' case

Contingut del Pòster presentat al congrés New Trends in Dynamical Systems

Noninvasive functional and structural exploration of human subcortical structures with high resolution

Projecte de recerca elaborat a partir d’una estada al Max Planck Institute for Human Cognitive and Brain Sciences, Alemanya, entre 2010 i 2012. El principal objectiu d’aquest projecte era estudiar en detall les estructures subcorticals, en concret, el rol dels ganglis basals en control cognitiu durant processament lingüístic i no-lingüístic. Per tal d’assolir una diferenciació minuciosa en els diferents nuclis dels ganglis basals s’utilitzà ressonància magnètica d’ultra-alt camp i alta resolució (7T-MRI). El còrtex prefrontal lateral i els ganglis basals treballant conjuntament per a mitjançar memòria de treball i la regulació “top-down” de la cognició. Aquest circuit regula l’equilibri entre respostes automàtiques i d’alt-ordre cognitiu. Es crearen tres condicions experimentals principals: frases/seqüències noambigües, no-gramatical i ambigües. Les frases/seqüències no-ambigües haurien de provocar una resposta automàtica, mentre les frases/seqüències ambigües i no-gramaticals produïren un conflicte amb la resposta automàtica, i per tant, requeririen una resposta de d’alt-ordre cognitiu. Dins del domini de la resposta de control, la ambigüitat i no-gramaticalitat representen dues dimensions diferents de la resolució de conflicte, mentre per una frase/seqüència temporalment ambigua existeix una interpretació correcte, aquest no és el cas per a les frases/seqüències no-gramaticals. A més, el disseny experimental incloïa una manipulació lingüística i nolingüística, la qual posà a prova la hipòtesi que els efectes són de domini-general; així com una manipulació semàntica i sintàctica que avaluà les diferències entre el processament d’ambigüitat/error “intrínseca” vs. “estructural”. Els resultats del primer experiment (sintax-lingüístic) mostraren un gradient rostroventralcaudodorsal de control cognitiu dins del nucli caudat, això és, les regions més rostrals sostenint els nivells més alts de processament cognitiu

Macaulay style formulas for sparse resultants

We present formulas for computing the resultant of sparse polyno- mials as a quotient of two determinants, the denominator being a minor of the numerator. These formulas extend the original formulation given by Macaulay for homogeneous polynomials.

Entropic transport in confined media: a challenge for computational studies in biological and soft-matter systems

Transport in small-scale biological and soft-matter systems typically occurs under confinement conditions in which particles proceed through obstacles and irregularities of the boundaries that may significantly alter their trajectories. A transport model that assimilates the confinement to the presence of entropic barriers provides an efficient approach to quantify its effect on the particle current and the diffusion coefficient. We review the main peculiarities of entropic transport and treat two cases in which confinement effects play a crucial role, with the appearance of emergent properties. The presence of entropic barriers modifies the mean first-passage time distribution and therefore plays a very important role in ion transport through micro- and nano-channels. The functionality of molecular motors, modeled as Brownian ratchets, is strongly affected when the motor proceeds in a confined medium that may constitute another source of rectification. The interplay between ratchet and entropic rectification gives rise to a wide variety of dynamical behaviors, not observed when the Brownian motor proceeds in an unbounded medium. Entropic transport offers new venues of transport control and particle manipulation and new ways to engineer more efficient devices for transport at the nanoscale.

Perioperative stress in dogs underwent elective surgery: evaluation of the antioxidant activity

Projecte de recerca elaborat a partir d’una estada al Department of Biological Science a la University of Lincoln, a la Gran Bretanya, entre octubre i desembre del 2006. L'objectiu del present assaig va ser desciure les respostes antioxidants d'estrès en gossos sotmesos a cirurgia electiva, en condicions de pràctica clínica normals, durant les fases de preoperatori i postoperatori.Setze gossos van ser sotmesos a orquiectomia o ovariohisterectomia electives, utilitzant un protocol quirúrgic estàndard. Durant les fases preoperatoria i postoperatoria, cada animal va ser confinat a la Unitat de Cures Intensives, temps durant el qual es va estudiar la seva resposta antioxidant. Els valors obtinguts a diferents temps van ser comparats amb el valor basal, que s'havia obtingut del mateix animal estant aquest en el seu ambient habitual. No es van detectar variacions significants causades per l'estrès perioperatori. Els valors màxims es van observar durant la fase preoperatoria, just després que l'animal fós confinat a la Unitat de Cures Intensives, moment en el que l'estrès percebut era degut a les amenaces psicològiques de una àrea restringida i de la manipulació per persones desonegudes. L'abscència de variacions significants podrien ser degudes al sistema i el temps d'emmagatzement de les mostres. En humana s'han descrit les alteracions en l'activitat dels antioxidants sèrics després d'un mes d'emmagatzematent. Per definir l'estabilitat, després de la recollida de mostres, de l'activitat dels antioxidants en sèrum de gos és necessari realitzar més estudis.

A right to a national space of communication? : on Stateless nations, their right to a space of communication of their own

Hem establert les bases metodològiques i teòriques per investigar la pregunta “Tenen les nacions sense estat el dret de controlar el seu propi espai de comunicació?”. La investigació ajusta el concepte d’espai de comunicació a la teoria política, cercant els seus límits en els drets individuals i, des de la perspectiva del liberalisme 2, aportant la justificació del seu control en quant que plataforma que incideix en la conservació i supervivència d’una cultura nacional. El primer article i fase de la tesi és l’adaptació i definició del concepte espai de comunicació. Fins ara, la recerca ha proposat diferents models d’espai de comunicació entenent si es tracta d’una visió emfatitzant la distribució i la producció de material marcat amb els símbols de la identitat nacional de la societat emissora, o bé si emfatitza la idea d’un espai de circulació de fluxos comunicatiu ajustat a un territori tradicionalment vinculat a una identitat nacional o nació sense estat. Igualment, es distingeix la dimensió d’emissió –sortir del territori al món- i la de recepció –fluxos informatius rebuts des del món al territori, concretament, al ciutadà; el paper d’intervenció de les institucions democràtiques és diferent en una dimensió o una altra i, per tant, també són diferents els drets afectats i les teories o principis que neguen o justifiquen el control de l’espai de comunicació. També s’ha indagat en les teories sobre els efectes cognitius dels mitjans de comunicació per relacionar-los amb la construcció nacional com a cohesió simbòlica i cultural. Si bé els mitjans no poden fer canviar de pensament immediatament, sí que poden conformar a llarg termini una percepció nacional general. Una comunitat és imaginada, donada la distància física dels seus components, i la comunicació social és, juntament amb l’educació, el principal factor de construcció nacional, avui en dia.

Correcció d'exercicis de lògica per l'ACME

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Human synthetic lethal inference as potential anti-cancer target gene detection

Background: Two genes are called synthetic lethal (SL) if mutation of either alone is not lethal, but mutation of both leads to death or a significant decrease in organism's fitness. The detection of SL gene pairs constitutes a promising alternative for anti-cancer therapy. As cancer cells exhibit a large number of mutations, the identification of these mutated genes' SL partners may provide specific anti-cancer drug candidates, with minor perturbations to the healthy cells. Since existent SL data is mainly restricted to yeast screenings, the road towards human SL candidates is limited to inference methods. Results: In the present work, we use phylogenetic analysis and database manipulation (BioGRID for interactions, Ensembl and NCBI for homology, Gene Ontology for GO attributes) in order to reconstruct the phylogenetically-inferred SL gene network for human. In addition, available data on cancer mutated genes (COSMIC and Cancer Gene Census databases) as well as on existent approved drugs (DrugBank database) supports our selection of cancer-therapy candidates.Conclusions: Our work provides a complementary alternative to the current methods for drug discovering and gene target identification in anti-cancer research. Novel SL screening analysis and the use of highly curated databases would contribute to improve the results of this methodology.

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

Comunicar la ciudad desde el paisaje: hacia una teoría del landscape branding

La necesidad de descodificar los significados inherentes al paisaje, la interactuación sociedadpaisaje (comunicación intra e interpersonal) y, más recientemente, los usos de paisaje a modo de aparador territorial mediático en el ámbito, por ejemplo, de la comunicación publicitaria, del citymarketing o del place branding (comunicación masiva), sirven para plantear el estudio de lo que, de algún modo, representa la persuasión del paisaje, la cual incluye claros tintes emocionales y simbólicos y, por tanto, también comunicacionales. El paisaje en su condición de imagen y/o rostro del territorio acumula la esencia del mensaje implícito en el espacio, posicionándose, de este modo, como la gran metáfora comunicativa de la ciudad. En este sentido, el trabajo de comunicación específico con el intangible paisajístico, unido a la reciente explosión de las denominadas geografías emocionales, plantea una teoría del mensaje territorial basada en la unión de las variables geografía, paisaje, emoción y comunicación. Históricamente, de los estudios de paisaje se han ocupado los geógrafos, arquitectos, historiadores, sociólogos o ambientólogos, entre muchos otros, sin embargo, el paisaje se ha mantenido poco explorado desde la perspectiva de la comunicación. En este sentido, es notoria la proliferación de análisis que ponen el acento en el papel que desarrolla el territorio como mediador de procesos de comunicación o en el estudio de procesos de retroalimentación entre la sociedad y sus espacios (cognición y/o percepción). El actual mercadeo identitario con los lugares se concreta en la creciente producción de marcas territoriales, las cuales acumulan, en los últimos tiempos, un importante protagonismo.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Comunicar la ciudad desde el paisaje: hacia una teoría del landscape branding

The need to decode landscape meanings, the society- landscape interaction (intra- and inter-personal communication) and, more recently, the uses of landscape as a territorial sight linked to advertising communication, citymarketing or place branding (mass communication) highlights the study of landscape persuasion, which includes clear emotional, symbolic and, therefore, communicative aspects. The landscape, as a territory image or face, gathers the essence of the implicit message in the space, thus working as a great metaphor for city communication. Regarding the foregoing, specific communication research with intangible landscapes —together with the recent emergence of emotional geographies— suggests a new territorial message theory based on the union of geographical, landscape, emotional and communicational variables. Landscape has historically been studied by geographers, architects, historians or sociologists, among others researchers, but it has not been analysed from communicational viewpoints. In this sense, the proliferation of analyses highlighting the role played by the territory as a communication mediator in the interaction process between society and its spaces (cognition and/or perception) is also remarkable. Current sales of territorial identities lead to increases in the production of territory brands, which have gathered a noticeable relevance within the last years.

Stability and manipulation in representative democracies

This paper is devoted to the analysis of all constitutions equipped with electoral systems involving two step procedures. First, one candidate is elected in every jurisdiction by the electors in that jurisdiction, according to some aggregation procedure. Second, another aggregation procedure collects the names of the jurisdictional winners in order to designate the final winner. It appears that whenever individuals are allowed to change jurisdiction when casting their ballot, they are able to manipulate the result of the election except in very few cases. When imposing a paretian condition on every jurisdictions voting rule, it is shown that, in the case of any finite number of candidates, any two steps voting rule that is not manipulable by movement of the electors necessarily gives to every voter the power of overruling the unanimity on its own. A characterization of the set of these rules is next provided in the case of two candidates.