Modellbildung in der algebraischen Kryptoanalyse

In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle Algorithmen, die eine Lösung solcher Gleichungssysteme finden. Ein Beispiel dafür ist der ElimLin-Algorithmus, der mit Hilfe von linearen Gleichungen das Gleichungssystem iterativ vereinfacht. In der Dissertation wird auf Basis dieses Algorithmus ein neuer Solver für quadratische, dünn besetzte Gleichungssysteme vorgestellt und damit zwei symmetrische Kryptosysteme angegriffen. Dabei sind die Techniken zur Modellierung der Chiffren von entscheidender Bedeutung, so das neue Techniken entwickelt werden, um Kryptosysteme darzustellen. Die Idee für das Modell kommt von Cube-Angriffen. Diese Angriffe sind besonders wirksam gegen Stromchiffren. In der Arbeit werden unterschiedliche Varianten klassifiziert und mögliche Erweiterungen vorgestellt. Das entstandene Modell hingegen, lässt sich auch erfolgreich auf Blockchiffren und auch auf andere Szenarien erweitern. Bei diesen Änderungen muss das Modell nur geringfügig geändert werden.

Maximum Entropy Discrimination

We present a general framework for discriminative estimation based on the maximum entropy principle and its extensions. All calculations involve distributions over structures and/or parameters rather than specific settings and reduce to relative entropy projections. This holds even when the data is not separable within the chosen parametric class, in the context of anomaly detection rather than classification, or when the labels in the training set are uncertain or incomplete. Support vector machines are naturally subsumed under this class and we provide several extensions. We are also able to estimate exactly and efficiently discriminative distributions over tree structures of class-conditional models within this framework. Preliminary experimental results are indicative of the potential in these techniques.

CoDaPack. An Excel and Visual Basic based software of compositional data analysis. Current version and discussion form upcoming versions

In the eighties, John Aitchison (1986) developed a new methodological approach for the statistical analysis of compositional data. This new methodology was implemented in Basic routines grouped under the name CODA and later NEWCODA inMatlab (Aitchison, 1997). After that, several other authors have published extensions to this methodology: Marín-Fernández and others (2000), Barceló-Vidal and others (2001), Pawlowsky-Glahn and Egozcue (2001, 2002) and Egozcue and others (2003). (...)

libLocation: acceso a dispositivos de localización para gvSIG Desktop y Mobile

Inicialmente integrada en el piloto de gvSIG Mobile, la librería libLocation tiene como objetivo dotar a los proyectos gvSIG Desktop y gvSIG Mobile un acceso transparente a fuentes de localización. La librería se fundamenta en las especificaciones JSR-179 -API de localización para J2ME- y JSR-293 -API de localización para J2ME v2.0-, proporcionando una interfaz uniforme a diferentes fuentes de localización, mediante funciones de alto nivel. Asimismo, se extiende la funcionalidad de estas APIs para permitir la gestión de datos específicos del tipo de fuente de localización y el ajuste de parámetros de bajo nivel, además de incorporar métodos de localización adicionales, como la aplicación de correcciones vía protocolo NTRIP. La librería libLocation está actualmente en proceso de desarrollo y será publicada y liberada junto con la versión definitiva de gvSIG Mobile. Junto con libLocation se están desarrollando extensiones que permiten el acceso a esta librería desde gvSIG Desktop y gvSIG Mobile

Enhancing fault management performance of two-step QoS routing algorithms in GMPLS networks

In this paper a novel methodology aimed at minimizing the probability of network failure and the failure impact (in terms of QoS degradation) while optimizing the resource consumption is introduced. A detailed study of MPLS recovery techniques and their GMPLS extensions are also presented. In this scenario, some features for reducing the failure impact and offering minimum failure probabilities at the same time are also analyzed. Novel two-step routing algorithms using this methodology are proposed. Results show that these methods offer high protection levels with optimal resource consumption

Entorn de suport al diagnòstic d'estenosi de caròtida

L’objectiu d’aquest projecte és ampliar la plataforma Starviewer integrant els mòduls necessaris per donar suport al diagnòstic de l’estenosi de caròtida permetent interpretar de forma més fàcil les imatges Angiografia per Ressonància Magnètica (ARM). La plataforma Starviewer és un entorn informàtic que integra funcionalitats bàsiques i avançades pel processament i la visualització d’imatges mèdiques. Està desenvolupat pel Grup d’Informàtica Gràfica de la Universitat de Girona i l’Institut de Diagnòstic per la Imatge (IDI) de l’hospital Dr. Josep Trueta. Una de les limitacions de la plataforma és el no suportar el tractament de lesions del sistema vascular. Per això ens proposem a corregir-ho i ampliar les seves extensions per a poder diagnosticar l’estenosi de caròtida

Physiotherapy cervicothoracic PPIVMs

A script for a streaming video clip modelling the movements of thoracic PPIVMs as performed by a physiotherapist. Access to this clip requires an ISS username and password. Please enter in the format soton\username when prompted. Creation date: 08.02.2008 Academic year: 2007/08 Produced by: School of Health Professions and Rehabilitation Sciences Length of clip: 4 min Level: Level 2 pre-registration neuromusculoskeletal manipulation of the cervicothorax Distribution: Can be viewed by all staff and students at the University of Southampton. Requires an ISS username and password.

Metodología para la evaluación de un servicio de tele-educación multimedia.

Resumen tomado del autor. Esta investigación ha sido financiada por el operador global de comunicaciones Telecable de Asturias SAU en el entorno de los proyectos NuevaMedia, Telemedia y ModelMedia

Simulador educacional de un servicio de audio_vídeo bajo demanda.

Resumen tomado de la publicación. Esta investigación ha sido financiada por el operador global de comunicaciones Telecable de Asturias SAU y el periódico La Nueva España en el entorno de los proyectos NuevaMedia, TeleMedia y ModelMedia, además de contar con el apoyo del proyecto INTEGRAMEDIA del Plan Nacional de I+D (TSI2004-00979). En el título, donde pone 'audio guión bajo vídeo' debería haberse escrito 'audio barra inclinada vídeo'

Laser Safety in higher education - Classic video!

Vintage video (1986) on laser safety, presented by Dr. Gillian Rice. This is a 37 minute video, explaining the hazards which are likely to be encountered and ways to reduce those hazards in teaching and research laboratories in higher education. Presented in 5 parts: Part 1 (1:49) Laser radiation and the body Part 2 (8:49) Classes of laser Part 3 (13:32) Safety measures Part 4 (21:32) Other risks: precautions Part 5 (31:49) Summary

Additional Exam Responsibilities video

This video is for students with specific learning differences that mean that they are entitled to use a computer to type written examinations rather than writing them longhand. It show them how to use the special AER workstations that provide a cut-down version of Microsoft Word and absolutely no access to the Internet.

Análisis de los procesos de internacionalización en el sector petrolero : Ecopetrol, Petrobras Y Exxonmobil

El presente trabajo se centra en el fenómeno de la internacionalización dentro del sector petrolero. Para esto, se escogió a tres empresas: Ecopetrol, por ser la empresa colombiana más grande; Petrobras, el mayor representante de Latinoamérica; y Exxon Mobil, un gigante del petróleo a nivel mundial. Estas empresas, que se encuentran en diferentes etapas dentro de su proceso de la internacionalización, muestran comportamientos estratégicos similares. Son precisamente estas similitudes las que permitieron proponer un modelo de internacionalización generalizado para las diferentes empresas que componen dicho sector económico. Para alcanzar dicho modelo, se recurrió a diferentes teorías de internacionalización desarrolladas por varias escuelas de negocios en el mundo, tales como el Modelo Ecléctico, el de Uppsala o la Teoría de Redes. Cabe destacar que dicho modelo propuesto es una aproximación teórica a la realidad empresarial de las compañías petroleras, usando como marco de referencia una muestra pequeña de este tipo de organizaciones. Dentro de este modelo, los altos matices de complejidad propios del fenómeno de la internacionalización se ven reducidos de manera considerable, como parte del ejercicio académico propuesto en el presente estudio.

Casos de internacionalización de empresas colombianas Formesan S.A.S Y SQL Software S.A.

El presente trabajo de investigación se basa en la descripción y análisis de las diferentes rutas existentes para la internacionalización de empresas. Así mismo, se conocerá a mayor profundidad el concepto de internacionalización, sus ventajas e implicaciones y diferentes modelos que aplican a este concepto. De igual forma, este estudio muestra las diferencias estratégicas que pueden existir entre los sectores, teniendo en cuenta que Formesan S.A.S. pertenece al sector de la construcción y SQL Software S.A., al sector del software y tecnologías de la información y comunicaciones. A partir de la comparación y análisis del proceso de internacionalización de estas empresas, se puede evidenciar que no existe una ruta específica por la cual toman la decisión de internacionalizarse, sino que en muchos casos, éstas deciden realizarlo desde la búsqueda de oportunidades y la motivación que tengan los empresarios para que esto suceda. Si bien, la internacionalización no es un proceso que está ligado a un modelo teórico sino más bien está asociado a una experiencia dada por las condiciones y decisiones que el empresario decide tomar al querer hacer de su empresa una compañía global.

Stream Reasoning with Linked Data

Slides describing streaming data, data stream processing systems and stream reasoning Also we have some description of CSPARQL

WAIS seminar: Application Performance Monitoring and Architecture Discovery with Kieker

Wednesday 23rd April 2014 Speaker(s): Willi Hasselbring Organiser: Leslie Carr Time: 23/04/2014 14:00-15:00 Location: B32/3077 File size: 802Mb Abstract The internal behavior of large-scale software systems cannot be determined on the basis of static (e.g., source code) analysis alone. Kieker provides complementary dynamic analysis capabilities, i.e., monitoring/profiling and analyzing a software system's runtime behavior. Application Performance Monitoring is concerned with continuously observing a software system's performance-specific runtime behavior, including analyses like assessing service level compliance or detecting and diagnosing performance problems. Architecture Discovery is concerned with extracting architectural information from an existing software system, including both structural and behavioral aspects like identifying architectural entities (e.g., components and classes) and their interactions (e.g., local or remote procedure calls). In addition to the Architecture Discovery of Java systems, Kieker supports Architecture Discovery for other platforms, including legacy systems, for instance, inplemented in C#, C++, Visual Basic 6, COBOL or Perl. Thanks to Kieker's extensible architecture it is easy to implement and use custom extensions and plugins. Kieker was designed for continuous monitoring in production systems inducing only a very low overhead, which has been evaluated in extensive benchmark experiments. Please, refer to http://kieker-monitoring.net/ for more information.