827 resultados para representation theorems
Resumo:
The process of constituency boundary revision in Ireland, designed to satisfy what is perceived as a rigid requirement that a uniform deputy-population ratio be maintained across constituencies, has traditionally consumed a great deal of the time of politicians and officials. For almost two decades after a High Court ruling in 1961, the process was a political one, was highly contentious, and was marked by serious allegations of ministerial gerrymandering. The introduction in 1979 of constituency commissions made up of officials neutralised, for the most part, charges that the system had become too politicised, but it continued the process of micro-management of constituency boundaries. This article suggests that the continuing problems caused by this system – notably, the permanently changing nature of constituency boundaries and resulting difficulties of geographical identification – could be resolved by reversion to the procedure that is normal in proportional representation systems: periodic post-census allocation of seats to constituencies whose boundaries are based on those of recognised local government units and which are stable over time. This reform, replacing the principle of redistricting by the principle of reapportionment, would result in more recognisable constituencies, more predictable boundary trajectories over time, and a more efficient, fairer, and speedier process of revision.
Resumo:
SOUZA, Anderson A. S. ; SANTANA, André M. ; BRITTO, Ricardo S. ; GONÇALVES, Luiz Marcos G. ; MEDEIROS, Adelardo A. D. Representation of Odometry Errors on Occupancy Grids. In: INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, 5., 2008, Funchal, Portugal. Proceedings... Funchal, Portugal: ICINCO, 2008.
Resumo:
This article examines the role of new social media in the articulation and representation of the refugee and diasporic “voice.” The article problematizes the individualist, de-politicized, de-contextualized, and aestheticized representation of refugee/diasporic voices. It argues that new social media enable refugees and diaspora members to exercise agency in managing the creation, production, and dissemination of their voices and to engage in hybrid (on- and offline) activism. These new territories for self-representation challenge our conventional understanding of refugee/diaspora voices. The article is based on research with young Congolese living in the diaspora, and it describes the Geno-cost project created by the Congolese Action Youth Platform (CAYP) and JJ Bola’s spoken-word piece, “Refuge.” The first shows agency in the creation of analytical and activist voices that promote counter-hegemonic narratives of violence in the eastern Democratic Republic of Congo, while the second is an example of aesthetic expressions performed online and offline that reveal agency through authorship and ownership of one’s voice. The examples highlight the role that new social media play in challenging mainstream politics of representation of refugee/diaspora voices.
Resumo:
Les courriels Spams (courriels indésirables ou pourriels) imposent des coûts annuels extrêmement lourds en termes de temps, d’espace de stockage et d’argent aux utilisateurs privés et aux entreprises. Afin de lutter efficacement contre le problème des spams, il ne suffit pas d’arrêter les messages de spam qui sont livrés à la boîte de réception de l’utilisateur. Il est obligatoire, soit d’essayer de trouver et de persécuter les spammeurs qui, généralement, se cachent derrière des réseaux complexes de dispositifs infectés, ou d’analyser le comportement des spammeurs afin de trouver des stratégies de défense appropriées. Cependant, une telle tâche est difficile en raison des techniques de camouflage, ce qui nécessite une analyse manuelle des spams corrélés pour trouver les spammeurs. Pour faciliter une telle analyse, qui doit être effectuée sur de grandes quantités des courriels non classés, nous proposons une méthodologie de regroupement catégorique, nommé CCTree, permettant de diviser un grand volume de spams en des campagnes, et ce, en se basant sur leur similarité structurale. Nous montrons l’efficacité et l’efficience de notre algorithme de clustering proposé par plusieurs expériences. Ensuite, une approche d’auto-apprentissage est proposée pour étiqueter les campagnes de spam en se basant sur le but des spammeur, par exemple, phishing. Les campagnes de spam marquées sont utilisées afin de former un classificateur, qui peut être appliqué dans la classification des nouveaux courriels de spam. En outre, les campagnes marquées, avec un ensemble de quatre autres critères de classement, sont ordonnées selon les priorités des enquêteurs. Finalement, une structure basée sur le semiring est proposée pour la représentation abstraite de CCTree. Le schéma abstrait de CCTree, nommé CCTree terme, est appliqué pour formaliser la parallélisation du CCTree. Grâce à un certain nombre d’analyses mathématiques et de résultats expérimentaux, nous montrons l’efficience et l’efficacité du cadre proposé.
Resumo:
Giovanni Sartori famously wrote that political parties do not need to be mini-republics, yet today parties in many parliamentary democracies are moving in this direction by giving their members direct votes over important decisions, including selecting party leaders and settling policy issues. This paper explores some of the implications of these changes. It asks whether the addition of membership rights affects the types of members who are attracted: do we find a bigger gap between the preferences of party members and of party voters in parties that are more plebiscitary, as literature on members' motivations might lead us to expect? The paper examines this question both cross-sectionally and longitudinally using opinion data from the European Social Survey and newly-available party organizational data from the Political Party Database project.
Resumo:
Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include base-converters, binary adders and multipliers, and compilers. In this paper we give a number of different approaches to specifying representation changers (pointwise, functional, and relational), and present a simple technique that can be used to derive functional programs from the specifications.
Resumo:
SOUZA, Anderson A. S. ; SANTANA, André M. ; BRITTO, Ricardo S. ; GONÇALVES, Luiz Marcos G. ; MEDEIROS, Adelardo A. D. Representation of Odometry Errors on Occupancy Grids. In: INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, 5., 2008, Funchal, Portugal. Proceedings... Funchal, Portugal: ICINCO, 2008.
Resumo:
This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.
Resumo:
Increasing the size of training data in many computer vision tasks has shown to be very effective. Using large scale image datasets (e.g. ImageNet) with simple learning techniques (e.g. linear classifiers) one can achieve state-of-the-art performance in object recognition compared to sophisticated learning techniques on smaller image sets. Semantic search on visual data has become very popular. There are billions of images on the internet and the number is increasing every day. Dealing with large scale image sets is intense per se. They take a significant amount of memory that makes it impossible to process the images with complex algorithms on single CPU machines. Finding an efficient image representation can be a key to attack this problem. A representation being efficient is not enough for image understanding. It should be comprehensive and rich in carrying semantic information. In this proposal we develop an approach to computing binary codes that provide a rich and efficient image representation. We demonstrate several tasks in which binary features can be very effective. We show how binary features can speed up large scale image classification. We present learning techniques to learn the binary features from supervised image set (With different types of semantic supervision; class labels, textual descriptions). We propose several problems that are very important in finding and using efficient image representation.
Resumo:
Theories of sparse signal representation, wherein a signal is decomposed as the sum of a small number of constituent elements, play increasing roles in both mathematical signal processing and neuroscience. This happens despite the differences between signal models in the two domains. After reviewing preliminary material on sparse signal models, I use work on compressed sensing for the electron tomography of biological structures as a target for exploring the efficacy of sparse signal reconstruction in a challenging application domain. My research in this area addresses a topic of keen interest to the biological microscopy community, and has resulted in the development of tomographic reconstruction software which is competitive with the state of the art in its field. Moving from the linear signal domain into the nonlinear dynamics of neural encoding, I explain the sparse coding hypothesis in neuroscience and its relationship with olfaction in locusts. I implement a numerical ODE model of the activity of neural populations responsible for sparse odor coding in locusts as part of a project involving offset spiking in the Kenyon cells. I also explain the validation procedures we have devised to help assess the model's similarity to the biology. The thesis concludes with the development of a new, simplified model of locust olfactory network activity, which seeks with some success to explain statistical properties of the sparse coding processes carried out in the network.