An Exact Schedulability Test for Global FP Using State Space Pruning

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

High-Content Analysis of Breast Cancer Using Single-Cell Deep Transfer Learning

High-content analysis has revolutionized cancer drug discovery by identifying substances that alter the phenotype of a cell, which prevents tumor growth and metastasis. The high-resolution biofluorescence images from assays allow precise quantitative measures enabling the distinction of small molecules of a host cell from a tumor. In this work, we are particularly interested in the application of deep neural networks (DNNs), a cutting-edge machine learning method, to the classification of compounds in chemical mechanisms of action (MOAs). Compound classification has been performed using image-based profiling methods sometimes combined with feature reduction methods such as principal component analysis or factor analysis. In this article, we map the input features of each cell to a particular MOA class without using any treatment-level profiles or feature reduction methods. To the best of our knowledge, this is the first application of DNN in this domain, leveraging single-cell information. Furthermore, we use deep transfer learning (DTL) to alleviate the intensive and computational demanding effort of searching the huge parameter's space of a DNN. Results show that using this approach, we obtain a 30% speedup and a 2% accuracy improvement.

Tool for spatial and dynamic representation of artistic performances

This proposal aims to explore the use of available technologies for video representation of sets and performers in order to serve as support for composition processes and artistic performer rehearsals, while focusing in representing the performer’s body and its movements, and its relation with objects belonging to the three-dimensional space of their performances. This project’s main goal is to design and develop a system that can spatially represent the performer and its movements, by means of capturing processes and reconstruction using a camera device, as well as enhance the three-dimensional space where the performance occurs by allowing interaction with virtual objects and by adding a video component, either for documentary purposes, or for live performances effects (for example, using video mapping video techniques in captured video or projection during a performance).

Structural analysis of the timber structure of Ica Cathedral, Peru

Dissertação de mestrado em Structural Analysis of Monuments and Historical Constructions

The funerary topography of the Via XVII necropolis in late antiquity (Braga)

The present paper aims to analyse archaeological evidence associated with the Roman necropolis of Via XVII, in Braga, with a particular emphasis towards its late antiquity occupation and related with data emerging from the excavations conducted across two main different areas. We intend to reflect over the specific features of the fourth-seventh century’s funerary space of one of the most important necropolis of Bracara Augusta.

Implementation of a unified userspace time handling library under the Linux OS

An appropriate assessment of end-to-end network performance presumes highly efficient time tracking and measurement with precise time control of the stopping and resuming of program operation. In this paper, a novel approach to solving the problems of highly efficient and precise time measurements on PC-platforms and on ARM-architectures is proposed. A new unified High Performance Timer and a corresponding software library offer a unified interface to the known time counters and automatically identify the fastest and most reliable time source, available in the user space of a computing system. The research is focused on developing an approach of unified time acquisition from the PC hardware and accordingly substituting the common way of getting the time value through Linux system calls. The presented approach provides a much faster means of obtaining the time values with a nanosecond precision than by using conventional means. Moreover, it is capable of handling the sequential time value, precise sleep functions and process resuming. This ability means the reduction of wasting computer resources during the execution of a sleeping process from 100% (busy-wait) to 1-1.5%, whereas the benefits of very accurate process resuming times on long waits are maintained.

Cat(0) and Cat (-1) dimensions of torsion free

We show that a particular free-by-cyclic group has CAT(0) dimension equal to 2, but CAT(-1) dimension equal to 3. We also classify the minimal proper 2-dimensional CAT(0) actions of this group; they correspond, up to scaling, to a 1-parameter family of locally CAT(0) piecewise Euclidean metrics on a fixed presentation complex for the group. This information is used to produce an infinite family of 2-dimensional hyperbolic groups, which do not act properly by isometries on any proper CAT(0) metric space of dimension 2. This family includes a free-by-cyclic group with free kernel of rank 6.

Una universidad donde confluyen la educación, la investigación y la ciudadanía

El projecte de recerca s'ha basat en el projecte Miquel Martí i Pol, que ha consistit en la creació i manteniment d'un jardí dedicat a la memòria del poeta, amb persones en situació d'exclusió social (per motius de malaltia mental, immigració, pobresa) i estudiants de teràpia ocupacional de la Universitat de Vic, des d'una sinergia única entre la Universitat de Vic i institucions públiques, socials i empresarials. La recerca ve a cobrir la falta de coneixement sobre l'impacte terapèutic de la jardineria, com afirmava Sempik al 2003. Així mateix, genera coneixements sobre l'ocupació humana, la ciutadania, les comunitats inclusives, les aliances estratègiques i sobre noves praxis educatives en el marc del nou Espai Europeu d'Educació Superior (EEES). El marc teòric s'ha basat en una visió transdisciplinària, des de l'educació, la filosofia, la psicologia, la sociologia, la teràpia ocupacional, la política, l'ecologia i l'antropologia. S'ha desenvolupat una recerca inspirada per la investigació acció participativa que ha aprofundit en el significat que ha tingut aquesta experiència per a les persones implicades en el procés de creació del jardí: les persones procedents de col•lectius en situació d'exclusió, els estudiants, així com els representants de les institucions públiques, socials, empresarials i la pròpia Universitat de Vic. Així es van desenvolupar una sèrie d'entrevistes a fons i formularis amb 5 jardiners; 2 estudiants; la Consellera d'Acció Social de l'Ajuntament de Vic; el Conseller d'Acció Social del Consell Comarcal d'Osona; el President de Caritas; la terapeuta ocupacional de la Fundació Centre Mèdic Psicopedagògic d'Osona; la Rectora de la Universitat de Vic; la Directora de l'EUCS i el President del Rotary Club. Els temes que han sorgit en la recerca són: La construcció de l'ocupació significativa; la jardineria com a font de benestar; un espai de bellesa; la dignitat de la ciutadania; la creació de comunitats inclusives; una Universitat al servei de la Humanitat: noves praxis educatives; l'art de les aliances estratègiques i de les sinergies. Els coneixements generats tenen relació amb els estudis de teràpia ocupacional, així com per a educació social, infermeria, psicologia i ciències ambientals. A més a més són una aposta per al desenvolupament de noves praxis educatives en el nou EEES. El treball ha estat qualificat com a excel•lent per unanimitat del tribunal.

Improving the effort concept: a revision of the traditional approach in the context of controlled Dynamic Stochastic Environments

The objective of this paper is to re-evaluate the attitude to effort of a risk-averse decision-maker in an evolving environment. In the classic analysis, the space of efforts is generally discretized. More realistic, this new approach emploies a continuum of effort levels. The presence of multiple possible efforts and performance levels provides a better basis for explaining real economic phenomena. The traditional approach (see, Laffont, J. J. & Tirole, J., 1993, Salanie, B., 1997, Laffont, J.J. and Martimort, D, 2002, among others) does not take into account the potential effect of the system dynamics on the agent's behavior to effort over time. In the context of a Principal-agent relationship, not only the incentives of the Principal can determine the private agent to allocate a good effort, but also the evolution of the dynamic system. The incentives can be ineffective when the environment does not incite the agent to invest a good effort. This explains why, some effici

Photodynamic therapy : a pathway for enhanced delivery of liposomal doxorubicin to tumors

Abstract Part I : Background : Isolated lung perfusion (ILP) was designed for the treatment of loco-regional malignancies of the lung. In contrast to intravenous (IV) drug application, ILP allows for a selective administration of cytostatic agents such as doxorubicin to the lung while sparing non-affected tissues. However, the clinical results with ILP were disappointing. Doxorubicinbased ILP on sarcoma rodent lungs suggested high overall doxorubicin concentrations within the perfused lung but a poor penetration of the cytostatic agent into tumors. The same holds true for liposomal-encapsulated macromolecular doxorubicin (LiporubicinTM) In specific conditions, low-dose photodynamic therapy (PDT) can enhance the distribution of macromolecules across the endothelial bamer in solid tumors. It was recently postulated that tumor neovessels were more responsive to PDT than the normal vasculature. We therefore hypothesized that Visudyne®-mediated PDT could selectively increase liposomal doxorubicin (LiporubicinTM) uptake in sarcoma tumors to rodent lungs during intravenous (IV) drug administration and isolated lung perfusion (ILP). Material and Methods : A sarcoma tumor was generated in the left lung of Fisher rats by subpleural injection of a sarcoma cell ,suspension via thoracotomy. Ten days later, LiporubicinTM is administered IV or by single pass antegrade ILP, with or without Visudyne® -mediated low-dose PDT pre-treatment of the sarcoma bearing lung. The drug concentration and distribution were assessed separately in tumors and lung tissues by high pressure liquid chromatography (HPLC) and fluorescence microscopy (FNI~, respectively. Results : PDT pretreatment before IV LiporubicinTM administration resulted in a significantly higher tumor drug uptake and tumor to lung drug ratio compared to IV drug injection alone without affecting the blood flow and drug distribution in the lung. PDT pre-treatment before LiporubicinTM-based ILP also resulted in a higher tumor drug uptake and a higher tumor to lung drug ratio compared to ILP alone, however, these differences were not significant due to a heterogeneous blood flow drug distribution during ILP which was further accentuated by PDT. Conclusions : Low-dose Visudyne®-mediated PDT pre-treatment has the potential to selectively enhance liposomal encapsulated doxorubicin uptake in tumors but not in normal lung tissue after IV drug application in a rat model of sarcoma tumors to the lung which opens new perspectives for the treatment of superficially spreading chemoresistant tumors of the chest cavity such as mesothelioma or malignant effusion. However, the impact of PDT on macromolecular drug uptake during ILP is limited since its therapeutic advantage is circumvented by ILP-induced heterogeneicity of blood flow and drug distribution Abstract Part II Background : Photodynamic therapy (PDT) with Visudyne® acts by direct cellular phototoxicity and/or by an indirect vascular-mediated effect. Here, we demonstrate that the vessel integrity interruption by PDT can promote the extravasation of a macromolecular agent in normal tissue. To obtain extravasation in normal tissue PDT conditions were one order of magnitude more intensive than the ones in tissue containing neovessels reported in the literature. Material and Methods : Fluorescein isothiocyanate dextran (FITC-D, 2000kDa), a macromolecular agent, was intravenously injected 10 minutes before (LKO group, n=14) or 2 hours (LK2 group, n=16) after Visudyne® mediated PDT in nude mice bearing a dorsal skin fold chamber. Control animals had no PDT (CTRL group, n=8). The extravasation of FITC-D from blood vessels in striated muscle tissue was observed in both groups in real-time for up to 2500 seconds after injection. We also monitored PDT-induced leukocyte rolling in-vivo and assessed, by histology, the corresponding inflammatory reaction score in the dorsal skin fold chambers. Results : In all animals, at the applied PDT conditions, FITC-D extravasation was significantly enhanced in the PDT treated areas as compared to the surrounding non-treated areas (p<0.0001). There was no FITC-D leakage in the control animals. Animals from the LKO group had significantly less FITC-D extravasation than those from the LK2 group (p = 0.0002). In the LKO group FITC-D leakage correlated significantly with the inflammation (p < 0.001). Conclusions: At the selected conditions, Visudyne-mediated PDT promotes vascular leakage and FITC-D extravasation into the interstitial space of normal tissue. The intensity of vascular leakage depends on the time interval between PDT and FITC-D injection. This concept could be used to locally modulate the delivery of macromolecules in vivo. Résumé : La perfusion cytostatique isolée du poumon permet une administration sélective des agents cytostatiques sans implication de la circulation systémique avec une forte accumulation au niveau du poumon mais une faible pénétration dans les tumeurs. La thérapie photodynamique (PDT) qui consiste en l'application d'un sensibilisateur activé par lumière laser non- thermique d'une longueur d'onde définie permet dans certaines conditions, une augmentation de la pénétration des agents cytostatiques macromoléculaires à travers la barrière endothéliale tumorale. Nous avons exploré cet avantage thérapeutique de la PDT dans un modèle expérimental afin d'augmenter d'une manière sélective la pénétration tumorale de la doxorubicin pegylée, liposomal- encapsulée macromoléculaire (Liporubicin). Une tumeur sarcomateuse a été générée au niveau du poumon de rongeur suivie d'administration de Liporubicin, soit par voie intraveineuse soit par perfusion isolée du poumon (ILP). Une partie des animaux ont reçus un prétraitement de la tumeur et du poumon sous jacent par PDT avec Visudyne comme photosensibilisateur. Les résultats ont démontrés que la PDT permet, sous certaines conditions, une augmentation sélective de Liporubicin dans les tumeurs mais pas dans le parenchyme pulmonaire sous jacent. Après administration intraveineuse de Liporubicin et prétraitement par PDT, l'accumulation dans les tumeurs était significative par rapport au poumon, et aux tumeurs sans PDT. Le même phénomène est observé après ILP du poumon. Cependant, les différences avec ou sans PDT n'étaient pas significatives lié à und distribution hétérogène de Liporubicin dans le poumon perfusé après ILP. Dans une deuxième partie de l'expérimentation, nous avons exploré la microscopie intra-vitale pour déterminer l'extravasion des substances macromoléculaires (FITS) à travers la barrière endothéliale avec ou sans Visudyne-PDT au niveau des chambres dorsales des souris nues. Les résultats montrent qu'après PDT, l'extravasion de FITS a été augmentée de manière significative par rapport au tissu non traité. L'intensité de l'extravasion de FITS dépendait également de l'intervalle entre PDT et injection de FITS. En conclusion, les expérimentations montrent que la PDT est capable, sous certaines conditions, d'augmenter de manière significative l'extravasion des macromolécules à travers la barrière endothéliale et leur accumulation dans des tumeurs mais pas dans le parenchyme pulmonaire. Ces résultats permettent une nouvelle perspective de traitement pour des tumeurs superficielles intrathoraciques chimio-résistent comme l'épanchement pleural malin ou le mésothéliome pleural.

What is the Jacobian of a Riemann surface with boundary?

We define the Jacobian of a Riemann surface with analytically parametrized boundary components. These Jacobians belong to a moduli space of "open abelian varieties" which satisfies gluing axioms similar to those of Riemann surfaces, and therefore allows a notion of "conformal field theory" to be defined on this space. We further prove that chiral conformal field theories corresponding to even lattices factor through this moduli space of open abelian varieties.

Noncooperative Oligopoly in Markets with a Continuum of Traders: A Limit Theorem µa la Cournot

In this paper, we consider an exchange economy µa la Shitovitz (1973), with atoms and an atomless set. We associate with it a strategic market game of the kind first proposed by Lloyd S. Shapley and known as the Shapley window model. We analyze the relationship between the set of the Cournot-Nash equilibrium allocations of the strategic market game and the Walras equilibrium allocations of the exchange economy with which it is associated. We show, with an example, that even when atoms are countably in¯nite, any Cournot-Nash equilibrium allocation of the game is not a Walras equilibrium of the underlying exchange economy. Accordingly, in the original spirit of Cournot (1838), we par- tially replicate the mixed exchange economy by increasing the number of atoms, without a®ecting the atomless part, and ensuring that the measure space of agents remains finite. We show that any sequence of Cournot-Nash equilibrium allocations of the strategic market games associated with the partially replicated exchange economies approximates a Walras equilibrium allocation of the original exchange economy.

A well-posedness theory in measures for some kinetic models of collective motion

We present existence, uniqueness and continuous dependence results for some kinetic equations motivated by models for the collective behavior of large groups of individuals. Models of this kind have been recently proposed to study the behavior of large groups of animals, such as flocks of birds, swarms, or schools of fish. Our aim is to give a well-posedness theory for general models which possibly include a variety of effects: an interaction through a potential, such as a short-range repulsion and long-range attraction; a velocity-averaging effect where individuals try to adapt their own velocity to that of other individuals in their surroundings; and self-propulsion effects, which take into account effects on one individual that are independent of the others. We develop our theory in a space of measures, using mass transportation distances. As consequences of our theory we show also the convergence of particle systems to their corresponding kinetic equations, and the local-in-time convergence to the hydrodynamic limit for one of the models.

Structural prediction of peptides bound to MHC class I.

An ab initio structure prediction approach adapted to the peptide-major histocompatibility complex (MHC) class I system is presented. Based on structure comparisons of a large set of peptide-MHC class I complexes, a molecular dynamics protocol is proposed using simulated annealing (SA) cycles to sample the conformational space of the peptide in its fixed MHC environment. A set of 14 peptide-human leukocyte antigen (HLA) A0201 and 27 peptide-non-HLA A0201 complexes for which X-ray structures are available is used to test the accuracy of the prediction method. For each complex, 1000 peptide conformers are obtained from the SA sampling. A graph theory clustering algorithm based on heavy atom root-mean-square deviation (RMSD) values is applied to the sampled conformers. The clusters are ranked using cluster size, mean effective or conformational free energies, with solvation free energies computed using Generalized Born MV 2 (GB-MV2) and Poisson-Boltzmann (PB) continuum models. The final conformation is chosen as the center of the best-ranked cluster. With conformational free energies, the overall prediction success is 83% using a 1.00 Angstroms crystal RMSD criterion for main-chain atoms, and 76% using a 1.50 Angstroms RMSD criterion for heavy atoms. The prediction success is even higher for the set of 14 peptide-HLA A0201 complexes: 100% of the peptides have main-chain RMSD values &lt; or =1.00 Angstroms and 93% of the peptides have heavy atom RMSD values &lt; or =1.50 Angstroms. This structure prediction method can be applied to complexes of natural or modified antigenic peptides in their MHC environment with the aim to perform rational structure-based optimizations of tumor vaccines.

On the stability of the optimal value and the optimal set in optimization problems

The paper develops a stability theory for the optimal value and the optimal set mapping of optimization problems posed in a Banach space. The problems considered in this paper have an arbitrary number of inequality constraints involving lower semicontinuous (not necessarily convex) functions and one closed abstract constraint set. The considered perturbations lead to problems of the same type as the nominal one (with the same space of variables and the same number of constraints), where the abstract constraint set can also be perturbed. The spaces of functions involved in the problems (objective and constraints) are equipped with the metric of the uniform convergence on the bounded sets, meanwhile in the space of closed sets we consider, coherently, the Attouch-Wets topology. The paper examines, in a unified way, the lower and upper semicontinuity of the optimal value function, and the closedness, lower and upper semicontinuity (in the sense of Berge) of the optimal set mapping. This paper can be seen as a second part of the stability theory presented in [17], where we studied the stability of the feasible set mapping (completed here with the analysis of the Lipschitz-like property).