128 resultados para answer set programming
Resumo:
Podeu consultar el document senser de la "XVI Setmana de Cinema Formatiu" a: http://hdl.handle.net/2445/22523
Resumo:
El comentari crític de set obres sobre retòrica i persuasió, publicades recentment, ofereix una visió de diverses perspectives teòriques i també de les aplicacions a situacions comunicatives específiques. Les obres són El arte de hablar , de José Antonio Hernández Guerrero i María del Carmen García Tejera; Retórica , de Giambattista Vico, editada per primera vegada en castellà; 40 jocs per parlar català , de Jacqueline Jacquet, Sílvia Casulleras, Núria Mirabet; Acròbates de l'emoció , d'Amadeu Viana; Tres finestres obertes al món de la comunicació , de Ricard Morant i Miquel Peñarroya; El lenguaje de la negociación , de Joan Mulholland; i Tècniques de negociació i resolució de conflictes , de Carles Mendieta i Suñé.
Resumo:
In this paper we prove that the Mas-Colell bargaining set coincides with the core for three-player balanced and superadditive cooperative games. This is no longer true without the superadditivity condition or for games with more than three-players. Furthermore, under the same assumptions, the coincidence between the Mas-Collel and the individual rational bargaining set (Vohra (1991)) is revealed. Keywords: Cooperative game, Mas-Colell bargaining set, balancedness, individual rational bargaining set. JEL classi fication: C71, D63, D71.
Resumo:
Gene set enrichment (GSE) analysis is a popular framework for condensing information from gene expression profiles into a pathway or signature summary. The strengths of this approach over single gene analysis include noise and dimension reduction, as well as greater biological interpretability. As molecular profiling experiments move beyond simple case-control studies, robust and flexible GSE methodologies are needed that can model pathway activity within highly heterogeneous data sets. To address this challenge, we introduce Gene Set Variation Analysis (GSVA), a GSE method that estimates variation of pathway activity over a sample population in an unsupervised manner. We demonstrate the robustness of GSVA in a comparison with current state of the art sample-wise enrichment methods. Further, we provide examples of its utility in differential pathway activity and survival analysis. Lastly, we show how GSVA works analogously with data from both microarray and RNA-seq experiments. GSVA provides increased power to detect subtle pathway activity changes over a sample population in comparison to corresponding methods. While GSE methods are generally regarded as end points of a bioinformatic analysis, GSVA constitutes a starting point to build pathway-centric models of biology. Moreover, GSVA contributes to the current need of GSE methods for RNA-seq data. GSVA is an open source software package for R which forms part of the Bioconductor project and can be downloaded at http://www.bioconductor.org.
Resumo:
We present a machine learning approach to modeling bowing control parametercontours in violin performance. Using accurate sensing techniqueswe obtain relevant timbre-related bowing control parameters such as bowtransversal velocity, bow pressing force, and bow-bridge distance of eachperformed note. Each performed note is represented by a curve parametervector and a number of note classes are defined. The principal componentsof the data represented by the set of curve parameter vectors are obtainedfor each class. Once curve parameter vectors are expressed in the new spacedefined by the principal components, we train a model based on inductivelogic programming, able to predict curve parameter vectors used for renderingbowing controls. We evaluate the prediction results and show the potentialof the model by predicting bowing control parameter contours from anannotated input score.
Resumo:
The choice network revenue management (RM) model incorporates customer purchase behavioras customers purchasing products with certain probabilities that are a function of the offeredassortment of products, and is the appropriate model for airline and hotel network revenuemanagement, dynamic sales of bundles, and dynamic assortment optimization. The underlyingstochastic dynamic program is intractable and even its certainty-equivalence approximation, inthe form of a linear program called Choice Deterministic Linear Program (CDLP) is difficultto solve in most cases. The separation problem for CDLP is NP-complete for MNL with justtwo segments when their consideration sets overlap; the affine approximation of the dynamicprogram is NP-complete for even a single-segment MNL. This is in contrast to the independentclass(perfect-segmentation) case where even the piecewise-linear approximation has been shownto be tractable. In this paper we investigate the piecewise-linear approximation for network RMunder a general discrete-choice model of demand. We show that the gap between the CDLP andthe piecewise-linear bounds is within a factor of at most 2. We then show that the piecewiselinearapproximation is polynomially-time solvable for a fixed consideration set size, bringing itinto the realm of tractability for small consideration sets; small consideration sets are a reasonablemodeling tradeoff in many practical applications. Our solution relies on showing that forany discrete-choice model the separation problem for the linear program of the piecewise-linearapproximation can be solved exactly by a Lagrangian relaxation. We give modeling extensionsand show by numerical experiments the improvements from using piecewise-linear approximationfunctions.
Resumo:
Avui en dia s’ha convertit en una necessitat tenir cura del medi ambient i optimitzar els recursos naturals. En el camp per estalviar energia s’han fet grans progressos i disposem d’un gran ventall de dispositius que ens ajuden i ens faciliten l’optimització del consum d’energia. Però és una realitat que en l’estalvi del consum d’aigua el progrés ha estat molt menor i es limita molt a donar consells i repartir dosificadors d’aigua. Qui no ha vist carrers o jardins o cases inundades amb milers de litres d’aigua? Aquesta realitat m’ha portat a dissenyar i desenvolupar un prototip que em permeti tenir un millor control del consum d’aigua. El prototip, a trets principals, consta d’un sensor, una electrovàlvula i una placa Arduino Atmega. El sensor ens permet mesurar els litres consumits durant un cert període de temps. Passat aquest temps de mostreig es compara els litres consumits amb el consum habitual, en aquell període de temps. En cas de sobrepassar el volum programat es tancarà l’electrovàlvula de forma automàtica i rebrem un SMS al telèfon. L’activació de l’alarma es pot ajustar que sigui al igualar-se els dos valors, litres programats i litres consumits. També es pot programar el percentatge que cal sobrepassar de litres consumits per activar l’alarma, com el temps de mostreig. El fet de poder programar tots aquests valors ens permet fer un ajust ideal per a la instal·lació que es vol tenir controlada. A més, el prototip es pot utilitzar per enviar a la companyia d’aigua el valor del comptador de forma automàtica. D’aquesta forma la companyia d’aigua també optimitza recursos estalviant-se el desplaçament de personal a la instal·lació per fer la lectura corresponent. El prototip està basat amb un Arduino Atmega que ens permet el processament de les dades programades i capturades pel sensor. També s’ha incorporat una pantalla TFT Touch 2’8”, que permet visualitzar i programar els valors d’una forma molt més intuïtiva. Per enviar els SMS s’utilitza una placa d’Arduino Cel·lular Shield - SM5100B, a la qual només cal afegir una targeta SIM. A priori, el prototip té un elevat cost al fabricar una sola unitat i pot semblar poc útil. Però ens pot estalviar alguna sorpresa en les factures d’aigua si tenim una fuita i no ens n’adonem fins a veure el rebut de la companyia. Si es fabriqués a grans quantitats es podria abaratir el preu i fer-lo encara més engrescador.
Resumo:
Let $ E_{\lambda}(z)=\lambda {\rm exp}(z), \lambda\in \mathbb{C}$, be the complex exponential family. For all functions in the family there is a unique asymptotic value at 0 (and no critical values). For a fixed $ \lambda$, the set of points in $ \mathbb{C}$ with orbit tending to infinity is called the escaping set. We prove that the escaping set of $ E_{\lambda}$ with $ \lambda$ Misiurewicz (that is, a parameter for which the orbit of the singular value is strictly preperiodic) is a connected set.
Resumo:
We uncover the global organization of clustering in real complex networks. To this end, we ask whether triangles in real networks organize as in maximally random graphs with given degree and clustering distributions, or as in maximally ordered graph models where triangles are forced into modules. The answer comes by way of exploring m-core landscapes, where the m-core is defined, akin to the k-core, as the maximal subgraph with edges participating in at least m triangles. This property defines a set of nested subgraphs that, contrarily to k-cores, is able to distinguish between hierarchical and modular architectures. We find that the clustering organization in real networks is neither completely random nor ordered although, surprisingly, it is more random than modular. This supports the idea that the structure of real networks may in fact be the outcome of self-organized processes based on local optimization rules, in contrast to global optimization principles.
Resumo:
La hibridació de les noves tecnologies amb la posada en escena, en obres i espais de representació, està obrint noves formes d'aproximació al fet dramatúrgic. Així s'ha esdevingut en la història del teatre sobre l'escriptura, l'escenografia o l'acció actoral. El que aquí volem tractar és com les tecnologies interactives poden representar un altre d'aquests moments d'inflexió. Aquest article parteix de l'experiència obtinguda en la direcció, juntament amb Montse Figueras, de la instal·lació Prometzeus presentada a la sala Muncunill de Terrassa el 2004. Una aproximació amateur en l’experimentació de noves dramatúrgies que feia ús de tecnologies audiovisuals interactives. Volem presentar una primera reflexió sobre la qüestió i exposar set d'aquestes possibles reformulacions. Set punts on les tecnologies interactives reformulen el llenguatge teatral.
Resumo:
In this note we introduce the Lorenz stable set and provide an axiomatic characterization in terms of constrained egalitarianism and projection consistency. On the domain of all coalitional games, we find that this solution connects the weak constrained egalitarian solution (Dutta and Ray, 1989) with their strong counterpart (Dutta and Ray, 1991)
Resumo:
In this paper, an advanced technique for the generation of deformation maps using synthetic aperture radar (SAR) data is presented. The algorithm estimates the linear and nonlinear components of the displacement, the error of the digital elevation model (DEM) used to cancel the topographic terms, and the atmospheric artifacts from a reduced set of low spatial resolution interferograms. The pixel candidates are selected from those presenting a good coherence level in the whole set of interferograms and the resulting nonuniform mesh tessellated with the Delauney triangulation to establish connections among them. The linear component of movement and DEM error are estimated adjusting a linear model to the data only on the connections. Later on, this information, once unwrapped to retrieve the absolute values, is used to calculate the nonlinear component of movement and atmospheric artifacts with alternate filtering techniques in both the temporal and spatial domains. The method presents high flexibility with respect to the required number of images and the baselines length. However, better results are obtained with large datasets of short baseline interferograms. The technique has been tested with European Remote Sensing SAR data from an area of Catalonia (Spain) and validated with on-field precise leveling measurements.