6,582 research outputs found

    DeVoS: Deniable Yet Verifiable Vote Updating

    Get PDF
    peer reviewedInternet voting systems are supposed to meet the same high standards as traditional paper-based systems when used in real political elections: freedom of choice, universal and equal suffrage, secrecy of the ballot, and independent verifiability of the election result. Although numerous Internet voting systems have been proposed to achieve these challenging goals simultaneously, few come close in reality. We propose a novel publicly verifiable and practically efficient Internet voting system, DeVoS, that advances the state of the art. The main feature of DeVoS is its ability to protect voters' freedom of choice in several dimensions. First, voters in DeVoS can intuitively update their votes in a way that is deniable to observers but verifiable by the voters; in this way voters can secretly overwrite potentially coerced votes. Second, in addition to (basic) vote privacy, DeVoS also guarantees strong participation privacy by end-to-end hiding which voters have submitted ballots and which have not. Finally, DeVoS is fully compatible with Perfectly Private Audit Trail, a state-of-the-art Internet voting protocol with practical everlasting privacy. In combination, DeVoS offers a new way to secure free Internet elections with strong and long-term privacy properties

    Multidisciplinary perspectives on Artificial Intelligence and the law

    Get PDF
    This open access book presents an interdisciplinary, multi-authored, edited collection of chapters on Artificial Intelligence (‘AI’) and the Law. AI technology has come to play a central role in the modern data economy. Through a combination of increased computing power, the growing availability of data and the advancement of algorithms, AI has now become an umbrella term for some of the most transformational technological breakthroughs of this age. The importance of AI stems from both the opportunities that it offers and the challenges that it entails. While AI applications hold the promise of economic growth and efficiency gains, they also create significant risks and uncertainty. The potential and perils of AI have thus come to dominate modern discussions of technology and ethics – and although AI was initially allowed to largely develop without guidelines or rules, few would deny that the law is set to play a fundamental role in shaping the future of AI. As the debate over AI is far from over, the need for rigorous analysis has never been greater. This book thus brings together contributors from different fields and backgrounds to explore how the law might provide answers to some of the most pressing questions raised by AI. An outcome of the Católica Research Centre for the Future of Law and its interdisciplinary working group on Law and Artificial Intelligence, it includes contributions by leading scholars in the fields of technology, ethics and the law.info:eu-repo/semantics/publishedVersio

    Inovação na diplomacia cultural: o caso da China

    Get PDF
    This study focuses on the innovation of China’s cultural diplomacy (CCD) by means of the Confucius Institute (CI). The main contents revolve around the following research goals: 1) to understand the strategic framework and practical path of CCD, and to clarify the context of its inheritance and innovation; 2) to analyze whether the CI, epitomized as a crucial innovation of CCD, has improved China’s national image in Portuguese-speaking countries (PSCs) and enhanced the attraction and international competitiveness of Chinese culture; and 3) to explore how China can better formulate its CD strategy in line with the exigencies of the modern era. The study combines the methods of literature review, case study, and questionnaire research to explore the topics from different perspectives to strengthen the scientific nature of the research results. In addition to the introduction and conclusion, the thesis is divided into five chapters. Chapter 1 discusses the connotation and value of CD. Chapter 2 expounds the development and innovation of CCD. Chapter 3 systematically summarizes China’s cultural interaction in its diplomatic process with PSCs. Chapter 4 elaborates on the CI in terms of its operation mode and diplomatic means. Chapter 5 forms the core of the study and involves empirical analysis of case-study and questionnaire data. It aims to investigate the functions, public image, influence, and practical means of CIs in the process of CD. Major findings indicate that CIs in PSCs have achieved ideal social feedback and play a positive role in shaping the image of China. However, according to the different continents where CIs are located, the survey results show distinct characteristics which are closely related to China’s different foreign policies towards Latin America, Europe, and Africa and are determined by the historical experiences and national conditions of the various countries. The future task for CCD is to clarify China’s institutional roots and the cultural genes behind its development by using cultural exchanges and China’s fluid culture to convey a message of China’s pursuit of peace, development, and cooperation.Este estudo tem como foco a inovação da Diplomacia Cultural da China (DCC) através do Instituto Confúcio (IC). Os principais conteúdos giram em torno dos seguintes objetivos de investigação: 1) compreender o enquadramento estratégico e o percurso prático da Diplomacia Cultural da China e clarificar o contexto da sua herança e inovação; 2) analisar se o IC, exemplo de inovação crucial da Diplomacia Cultural da China, melhorou a imagem nacional da China nos Países de Língua Oficial Portuguesa (PALOP) e aumentou a atração e competitividade internacional da cultura chinesa; e 3) explorar como a China pode formular melhor a sua estratégia de Diplomacia Cultural, de acordo com as exigências da era moderna. O estudo combina os métodos de revisão de literatura, estudo de caso e pesquisa de questionário para explorar os tópicos de diferentes perspetivas com o objetivo de fortalecer a natureza científica dos resultados de investigação. Além da introdução e da conclusão, a tese está dividida em cinco capítulos. O Capítulo 1 discute a conotação e o valor de Diplomacia Cultural (DC). O Capítulo 2 expõe o desenvolvimento e a inovação da Diplomacia Cultural da China (DCC). O Capítulo 3 resume sistematicamente a interação cultural da China no seu processo diplomático com os Países de Língua Oficial Portuguesa (PALOP). O Capítulo 4 discorre sobre o papel do IC em termos do seu modo de operar e dos seus meios diplomáticos. O Capítulo 5 constitui o núcleo da tese e envolve a análise empírica dos dados do estudo de caso e do questionário. Tem como objetivo investigar as funções, a imagem pública, a influência e os meios práticos dos IC no processo de Diplomacia Cultural (DC). As principais descobertas indicam que os IC nos PALOP alcançaram o feedback social ideal e desempenham um papel positivo na formação da imagem da China. No entanto, de acordo com os diferentes continentes onde os IC estão situados, os resultados da pesquisa apresentam caraterísticas distintas que estão intimamente relacionadas com as diferentes políticas externas da China para a América Latina, a Europa e a África e são determinadas pelas experiências históricas e pelas condições nacionais dos vários países. A futura tarefa da Diplomacia Cultural da China (DCC) será a de esclarecer as raízes institucionais da China e os genes culturais por trás do seu desenvolvimento, usando intercâmbios culturais e a cultura fluida da China para transmitir uma mensagem de busca de paz, de desenvolvimento e de cooperação por parte da China.Programa Doutoral em Políticas Pública

    Natural and Technological Hazards in Urban Areas

    Get PDF
    Natural hazard events and technological accidents are separate causes of environmental impacts. Natural hazards are physical phenomena active in geological times, whereas technological hazards result from actions or facilities created by humans. In our time, combined natural and man-made hazards have been induced. Overpopulation and urban development in areas prone to natural hazards increase the impact of natural disasters worldwide. Additionally, urban areas are frequently characterized by intense industrial activity and rapid, poorly planned growth that threatens the environment and degrades the quality of life. Therefore, proper urban planning is crucial to minimize fatalities and reduce the environmental and economic impacts that accompany both natural and technological hazardous events

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Ecos de la academia: Revista de la Facultad de Educación, Ciencia y Tecnología - FECYT Nro 4

    Get PDF
    Ecos de la academia, Revista de la Facultad de Educación Ciencia y Tecnología es una publicación científica de la Universidad Técnica del Norte, con revisión por pares a doble ciego que publica artículos en idioma español, quichua, portugués e inglés. Se edita con una frecuencia semestral con dos números por año.En ella se divulgan trabajos originales e inéditos generados por los investigadores, docentes y estudiantes de la FECYT, y contribuciones de profesionales de instituciones docentes e investigativas dentro y fuera del país, con calidad, originalidad y relevancia en las áreas de ciencias sociales y tecnología aplicada.Los orígenes de la fotografía en la segunda ciudad de Cataluña: Reus, 1839-1903. Hábitos de consumo y uso de medios digitales en los estudiantes de la Universidad Técnica del Norte. Gastronomía, historia y cultura afrodescendiente de las comunidades Chota y Salinas en Imbabura, Ecuador. Los organizadores gráficos: elementos y procedimientos básicos para su diseño. Análisis del desempeño profesional del graduado de la carrera de Licenciatura en Inglés de la Universidad Técnica del Norte. Uso del software Aleks como complemento en la asignatura de Fundamentos de Matemáticas del curso de nivelación EPN-SENECYT. La educación de postgrado y la enseñanza de Redes Neuronales Artificiales como herramienta versátil para egresados. Home is an uneasty place: Afroperipheralism anda diasporic sensibilities in Wayde Compton’s “The Instrumental”. Respuesta de la carrera de Educación Básica a las necesidades sociales en la Zona 1 del Ecuador. Programa SaludArte: Salud, Alimentación y Movimiento entran a las escuelas para mejorar la calidad educativa. Tendencias de consumo turístico de los Millennials en la ciudad de Ibarra. Los Grupos de Investigación como estrategias para desarrollo de la investigación científica en las instituciones de educación superior ecuatorianas. Paradigmas y modelos pedagógicos de los postulados científicos en el espacio de aula en la Universidad Técnica de Ambato. Predicting academic performance in traditional environments at higher-education institutions using data mining: A review. El Proyecto de Investigación “Muros que hablan. Un recorrido por los graffitis de Imbabura”. Construcción de la marca ciudad. Normas de presentación de artículos científicos en la revista Ecos de la Academia

    Japanese Expert Teachers' Understanding of the Application of Rhythm in Judo: a New Pedagogy

    Get PDF
    Aim The aim of this research is to understand the application of rhythm in judo through the experience of expert Japanese coaches. Background Scientists and experienced coaches agree rhythm is an important skill in people’s everyday life. There is currently no research that investigates the importance of rhythm in judo. People with a highly developed sense of rhythm, move properly, breathe properly, or begin and finish work at the right time. Where sport is concerned, motion and dance can play an important role not only in the improvement of performance, but also in the reduction, or even prevention of, injuries. Those who are naturally musically inclined (have a musical ear) may find they can improve their technique faster than others, and this is something that, by investigating the way expert coaches understand the application of rhythm in judo, this research seeks to understand. As Lange, (1970) stated, factors of movement are ‘weight, space, time, and flow on the background of the general flux of movement in proportional arrangements’ (Bradley, 2008; Selioni, 2013; Youngerman, 1976), therefore, this research will investigate the interaction of body and mind. Dance training as well as judo are somatic experiences that have as their ultimate goal the attainment of a skilled body. With quality training an athlete gains an increased awareness of their body which leads to better control of movement and is very important for judo athletes. This training is found in Japanese kabuki dance (Hahn, 2007), the Greek syrtaki dance (Zografou & Pateraki, 2007), and in walking techniques used in the traditional and Olympic sports of Japanese judo and Greek wrestling. Methods Interpretative phenomenological analysis (IPA) was the most suitable data analysis approach for this study for a number of reasons, mainly because it was considered to most closely reflect the author's realist epistemological view. The idiographic approach and framework, particularly on IPA, was regarded as a useful framework in which the current topic could meaningfully be explored. As this study is one of the first to explore this new thematic area, IPA was the preferred approach to address the goal of providing a detailed account of the expert’s experience. Therefore, semi-structured interviews were used as a data source. This is the most conventional form of data collection using IPA and most closely reflects the researcher-participant relationship. Semi-structured interviews provide considerable flexibility by allowing the researcher to be guided by the phenomena of interest to the participant. In this study, purposive sampling was achieved using inclusion criteria pertaining to the research question. Using the ranking system criteria based on the belt in combination with age employed by the International Judo Federation (IJF) and Kodokan Judo Institute, six expert coaches of forty years old and over with a minimum belt rank of 6th dan were selected as a sample. Results Both interviews and the codification process contributed to new findings regarding the application of rhythm to judo, and judo itself as a pedagogical tool. The diagrammatic model can be considered a 'guideline' to the phenomena deemed most significant. The personal significance of rhythm in judo was evidenced by the frequency with which the interviewees naturally referred to it during the interviews. A number of interviewees said that it was important for rhythm to be second nature. Rhythm was also described as an integrated and representative element in the context of training. This framework was seen as essential in providing the reader with a contextualised understanding of the phenomena considered most important for the current research. Interviewees reported various motives for employing training in rhythm such as faster technical development, better attack/defence, fitness, speed, skills acquisition, personal and spiritual growth, competition results. Conclusions This study offers first-hand accounts from professional coaches of a previously unknown phenomena, namely the use of rhythm in judo, and sheds insight on how judo experts understand rhythm in terms of training, competition, and personal growth. These findings suggest that outside of training, coaches play an important role in teaching, mentoring, and leading students. In conclusion, the research revealed four important points which form the basis of a new method of teaching judo: pedagogy, skills, rhythm and movement

    Towards A Practical High-Assurance Systems Programming Language

    Full text link
    Writing correct and performant low-level systems code is a notoriously demanding job, even for experienced developers. To make the matter worse, formally reasoning about their correctness properties introduces yet another level of complexity to the task. It requires considerable expertise in both systems programming and formal verification. The development can be extremely costly due to the sheer complexity of the systems and the nuances in them, if not assisted with appropriate tools that provide abstraction and automation. Cogent is designed to alleviate the burden on developers when writing and verifying systems code. It is a high-level functional language with a certifying compiler, which automatically proves the correctness of the compiled code and also provides a purely functional abstraction of the low-level program to the developer. Equational reasoning techniques can then be used to prove functional correctness properties of the program on top of this abstract semantics, which is notably less laborious than directly verifying the C code. To make Cogent a more approachable and effective tool for developing real-world systems, we further strengthen the framework by extending the core language and its ecosystem. Specifically, we enrich the language to allow users to control the memory representation of algebraic data types, while retaining the automatic proof with a data layout refinement calculus. We repurpose existing tools in a novel way and develop an intuitive foreign function interface, which provides users a seamless experience when using Cogent in conjunction with native C. We augment the Cogent ecosystem with a property-based testing framework, which helps developers better understand the impact formal verification has on their programs and enables a progressive approach to producing high-assurance systems. Finally we explore refinement type systems, which we plan to incorporate into Cogent for more expressiveness and better integration of systems programmers with the verification process
    corecore