PatchCity: Procedural City Generation using Texture Synthesis

PatchCity is a new approach to the procedural generation of city models. The algorithm uses texture synthesis to create a city layout in the visual style of one or more input examples. Data is provided in vector graphic form from either real or synthetic city definitions. The paper describes the PatchCity algorithm, illustrates its use, and identifies its strengths and limitations. The technique provides a greater range of features and styles of city layout than existing generative methods, thereby achieving results that are more realistic. An open source implementation of the algorithm is available.

A framework for real time MMO game content generation

Com o aumento de plataformas móveis disponíveis no mercado e com o constante incremento na sua capacidade computacional, a possibilidade de executar aplicações e em especial jogos com elevados requisitos de desempenho aumentou consideravelmente. O mercado dos videojogos tem assim um cada vez maior número de potenciais clientes. Em especial, o mercado de jogos massive multiplayer online (MMO) tem-se tornado muito atractivo para as empresas de desenvolvimento de jogos. Estes jogos suportam uma elevada quantidade de jogadores em simultâneo que podem estar a executar o jogo em diferentes plataformas e distribuídos por um "mundo" de jogo extenso. Para incentivar a exploração desse "mundo", distribuem-se de forma inteligente pontos de interesse que podem ser explorados pelo jogador. Esta abordagem leva a um esforço substancial no planeamento e construção desses mundos, gastando tempo e recursos durante a fase de desenvolvimento. Isto representa um problema para as empresas de desenvolvimento de jogos, e em alguns casos, e impraticável suportar tais custos para equipas indie. Nesta tese e apresentada uma abordagem para a criação de mundos para jogos MMO. Estudam-se vários jogos MMO que são casos de sucesso de modo a identificar propriedades comuns nos seus mundos. O objectivo e criar uma framework flexível capaz de gerar mundos com estruturas que respeitam conjuntos de regras definidas por game designers. Para que seja possível usar a abordagem aqui apresentada em v arias aplicações diferentes, foram desenvolvidos dois módulos principais. O primeiro, chamado rule-based-map-generator, contem a lógica e operações necessárias para a criação de mundos. O segundo, chamado blocker, e um wrapper à volta do módulo rule-based-map-generator que gere as comunicações entre servidor e clientes. De uma forma resumida, o objectivo geral e disponibilizar uma framework para facilitar a geração de mundos para jogos MMO, o que normalmente e um processo bastante demorado e aumenta significativamente o custo de produção, através de uma abordagem semi-automática combinando os benefícios de procedural content generation (PCG) com conteúdo gráfico gerado manualmente.

Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif

Réalisé en cotutelle avec l'Université de Grenoble.

Diseño y desarrollo de un prototipo de un videojuego de aventuras con contenido creado procedimentalmente

[ES]Estudio, diseño y desarrollo de un prototipo de videojuego, usando Unity3D y C# como herramientas principales. Dos técnicas de generación procedimental se han usado para generar casi todo el contenido del prototipo: Perlin Noise y BSP.

Biologically inspired vector fields to generate hair directions

This paper describes how biologically inspired vector fields can be used to partially automate the manual and time-consuming process of specifying hair directions. This approach replicates the consequence of stretching of skin from natural hair development process, in contrast to replicating the appearance of hair. The direction of each hair on the surface of an arbitrary 3D model is determined by interpolating the solution vector field that satisfies a set of user-defined constraints describing the stretching of skin. Results found that the generated hair directional pattern closely resembles that found naturally. Further investigation revealed that the presence of naturally occurring hair types and the varying distribution of hair directions induced by the calculated vector field enhanced the realism of hair coats generated using this approach. Aside from hair or fur, this approach can also be applied to hair-like masses such as grass, feathers, or scales.

Procedural modeling facilities for hierarchical object generation

We modify a selection of interactive modeling tools for use in a procedural modeling environment. These tools are selection, extrusion, subdivision and curve shaping. We create human models to demonstrate that these tools are appropriate for use on hierarchical objects. Our tools support the main benefits of procedural modeling, which are: the use of parameterisation to control and very a model, varying levels of detail, increased model complexity, base shape independence and database amplification. We demonstrate scripts which provide each of these benefits.

Procedural and 30-day outcomes following transcatheter aortic valve implantation using the third generation (18 Fr) corevalve revalving system: results from the multicentre, expanded evaluation registry 1-year following CE mark approval

AIMS: To describe the procedural performance and 30-day outcomes following implantation using the 18 Fr CoreValve Revalving System (CRS) as part of the multicentre, expanded evaluation registry, 1-year after obtaining CE mark approval. METHODS AND RESULTS: Patients with symptomatic severe aortic stenosis and logistic Euroscore > or =15%, or age > or =75 years, or age > or =65 years associated with pre-defined risk factors, and for whom a physician proctor and a clinical specialist were in attendance during the implantation and who collected the clinical data, were included. From April 2007, to April 2008, 646 patients with a mean age of 81 +/- 6.6 years, mean aortic valve area 0.6 +/- 0.2 cm2, and logistic EuroSCORE of 23.1 +/- 13.8% were recruited. After valve implantation, the mean transaortic valve gradient decreased from 49.4 +/- 13.9 to 3 +/- 2 mmHg. All patients had paravalvular aortic regurgitation < or = grade 2. The rate of procedural success was 97%. The procedural mortality rate was 1.5%. At 30 days, the all-cause mortality rate (i.e, including procedural) was 8% and the combined rate of death, stroke and myocardial infarction was 9.3%. CONCLUSIONS: The results of this study demonstrate the high rate of procedural success and a low 30-day mortality in a large cohort of high-risk patients undergoing transcatheter aortic valve implantation (TAVI) with the CRS.

Attacking human implants: a new generation of cybercrime

Human ICT implants, such as RFID implants, cochlear implants, cardiac pacemakers, Deep Brain Stimulation, bionic limbs connected to the nervous system, and networked cognitive prostheses, are becoming increasingly complex. With ever-growing data processing functionalities in these implants, privacy and security become vital concerns. Electronic attacks on human ICT implants can cause significant harm, both to implant subjects and to their environment. This paper explores the vulnerabilities which human implants pose to crime victimisation in light of recent technological developments, and analyses how the law can deal with emerging challenges of what may well become the next generation of cybercrime: attacks targeted at technology implanted in the human body. After a state-of-the-art description of relevant types of human implants and a discussion how these implants challenge existing perceptions of the human body, we describe how various modes of attacks, such as sniffing, hacking, data interference, and denial of service, can be committed against implants. Subsequently, we analyse how these attacks can be assessed under current substantive and procedural criminal law, drawing on examples from UK and Dutch law. The possibilities and limitations of cybercrime provisions (eg, unlawful access, system interference) and bodily integrity provisions (eg, battery, assault, causing bodily harm) to deal with human-implant attacks are analysed. Based on this assessment, the paper concludes that attacks on human implants are not only a new generation in the evolution of cybercrime, but also raise fundamental questions on how criminal law conceives of attacks. Traditional distinctions between physical and non-physical modes of attack, between human bodies and things, between exterior and interior of the body need to be re-interpreted in light of developments in human implants. As the human body and technology become increasingly intertwined, cybercrime legislation and body-integrity crime legislation will also become intertwined, posing a new puzzle that legislators and practitioners will sooner or later have to solve.

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Percutaneous aortic valve replacement for severe aortic stenosis in high-risk patients using the second- and current third-generation self-expanding CoreValve prosthesis: device success and 30-day clinical outcome

OBJECTIVES: We sought to determine both the procedural performance and safety of percutaneous implantation of the second (21-French [F])- and third (18-F)-generation CoreValve aortic valve prosthesis (CoreValve Inc., Irvine, California). BACKGROUND: Percutaneous aortic valve replacement represents an emerging alternative therapy for high-risk and inoperable patients with severe symptomatic aortic valve stenosis. METHODS: Patients with: 1) symptomatic, severe aortic valve stenosis (area <1 cm2); 2) age > or =80 years with a logistic EuroSCORE > or =20% (21-F group) or age > or =75 years with a logistic EuroSCORE > or =15% (18-F group); or 3) age > or =65 years plus additional prespecified risk factors were included. Introduction of the 18-F device enabled the transition from a multidisciplinary approach involving general anesthesia, surgical cut-down, and cardiopulmonary bypass to a truly percutaneous approach under local anesthesia without hemodynamic support. RESULTS: A total of 86 patients (21-F, n = 50; 18-F, n = 36) with a mean valve area of 0.66 +/- 0.19 cm2 (21-F) and 0.54 +/- 0.15 cm2 (18-F), a mean age of 81.3 +/- 5.2 years (21-F) and 83.4 +/- 6.7 years (18-F), and a mean logistic EuroSCORE of 23.4 +/- 13.5% (21-F) and 19.1 +/- 11.1% (18-F) were recruited. Acute device success was 88%. Successful device implantation resulted in a marked reduction of aortic transvalvular gradients (mean pre 43.7 mm Hg vs. post 9.0 mm Hg, p < 0.001) with aortic regurgitation grade remaining unchanged. Acute procedural success rate was 74% (21-F: 78%; 18-F: 69%). Procedural mortality was 6%. Overall 30-day mortality rate was 12%; the combined rate of death, stroke, and myocardial infarction was 22%. CONCLUSIONS: Treatment of severe aortic valve stenosis in high-risk patients with percutaneous implantation of the CoreValve prosthesis is feasible and associated with a lower mortality rate than predicted by risk algorithms.

Transapical transcatheter aortic valve implantation using the second-generation self-expanding Symetis ACURATE TA valve

Transapical transcatheter aortic valve implantation (TA-TAVI) is the recognized first choice surgical TAVI access. Expansion of this well-established treatment modality with subsequent broader patient inclusion has accelerated development of second-generation TA-TAVI devices. The Swiss ACURATE TA Symetis valve allows for excellent anatomical positioning, resulting in a very low incidence of paravalvular leaks. The self-expanding stent features an hourglass shape to wedge the native aortic valve annulus. A specially designed delivery system facilitates controlled release aided by tactile operator feedback. The ACURATE TA valve made of three native porcine non-coronary leaflets has received CE approval in September 2011. Since then, this valve is the third most frequently implanted TAVI device with over 1200 implants in Europe and South America. Results from the Symetis ACURATE TA™ Valve Implantation ('SAVI') Registry showed a procedural success rate of 98.0% and a survival rate of 93.2% at 30 days. This presentation provides technical considerations and detailed procedural aspects of device implantation.

Procedural Results and Clinical Outcomes of Transcatheter Aortic Valve Implantation in Switzerland: An Observational Cohort Study of Sapien 3 Versus Sapien XT Transcatheter Heart Valves.

BACKGROUND New generation transcatheter heart valves (THV) may improve clinical outcomes of transcatheter aortic valve implantation. METHODS AND RESULTS In a nationwide, prospective, multicenter cohort study (Swiss Transcatheter Aortic Valve Implantation Registry, NCT01368250), outcomes of consecutive transfemoral transcatheter aortic valve implantation patients treated with the Sapien 3 THV (S3) versus the Sapien XT THV (XT) were investigated. An overall of 153 consecutive S3 patients were compared with 445 consecutive XT patients. Postprocedural mean transprosthetic gradient (6.5±3.0 versus 7.8±6.3 mm Hg, P=0.17) did not differ between S3 and XT patients, respectively. The rate of more than mild paravalvular regurgitation (1.3% versus 5.3%, P=0.04) and of vascular (5.3% versus 16.9%, P<0.01) complications were significantly lower in S3 patients. A higher rate of new permanent pacemaker implantations was observed in patients receiving the S3 valve (17.0% versus 11.0%, P=0.01). There were no significant differences for disabling stroke (S3 1.3% versus XT 3.1%, P=0.29) and all-cause mortality (S3 3.3% versus XT 4.5%, P=0.27). CONCLUSIONS The use of the new generation S3 balloon-expandable THV reduced the risk of more than mild paravalvular regurgitation and vascular complications but was associated with an increased permanent pacemaker rate compared with the XT. Transcatheter aortic valve implantation using the newest generation balloon-expandable THV is associated with a low risk of stroke and favorable clinical outcomes. CLINICAL TRIAL REGISTRATION URL: http://www.clinicaltrials.gov. Unique identifier: NCT01368250.

First generation versus second generation drug-eluting stents for the treatment of bifurcations: 5-year follow-up of the LEADERS all-comers randomized trial.

BACKGROUND Historically, percutaneous coronary intervention (PCI) of bifurcation lesions was associated with worse procedural and clinical outcomes when compared with PCI of non-bifurcation lesions. Newer generation drug-eluting stents (DES) might improve long-term clinical outcomes after bifurcation PCI. METHODS AND RESULTS The LEADERS trial was a 10-center, assessor-blind, non-inferiority, all-comers trial, randomizing 1,707 patients to treatment with a biolimus A9(TM) -eluting stent (BES) with an abluminal biodegradable polymer or a sirolimus-eluting stent (SES) with a durable polymer (ClinicalTrials.gov Identifier: NCT00389220). Five-year clinical outcomes were compared between patients with and without bifurcation lesions and between BES and SES in the bifurcation lesion subgroup. There were 497 (29%) patients with at least 1 bifurcation lesion (BES = 258; SES = 239). At 5-year follow-up, the composite endpoint of cardiac death, myocardial infarction (MI) and clinically-indicated (CI) target vessel revascularization (TVR) was observed more frequently in the bifurcation group (26.6% vs. 22.4%, P = 0.049). Within the bifurcation lesion subgroup, no differences were observed in (cardiac) death or MI rates between BES and SES. However, CI target lesion revascularization (TLR) (10.1% vs. 15.9%, P = 0.0495), and CI TVR (12.0% vs. 19.2%, P = 0.023) rates were significantly lower in the BES group. Definite/probable stent thrombosis (ST) rate was numerically lower in the BES group (3.1% vs. 5.9%, P = 0.15). Very late (>1 year) definite/probable ST rates trended to be lower with BES (0.4% vs. 3.1%, P = 0.057). CONCLUSIONS In the treatment of bifurcation lesions, use of BES led to superior long-term efficacy compared with SES. Safety outcomes were comparable between BES and SES, with an observed trend toward a lower rate of very late definite/probable ST between 1 and 5 years with the BES. © 2015 Wiley Periodicals, Inc.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.