47 research outputs found
EOCG Model
No full textThis Mendeley Data repository "EOCG Model" contains R code to run Empirical Orthogonal Constraint Generation (EOCG), a model aimed at learning a reduced set of dimensions to solve a Multidimensional Knapsack Problem (MKP). The R code also runs the two models ORIGINAL and HYP.
The code has been used in the following research article:
T. Setzer and S. M. Blanc, Corrigendum to “Empirical Orthogonal Constraint Generation for Multi-Dimensional 0/1 Knapsack Problems” [European Journal of Operational Research, 282, 1 (2020), 58–70], https://doi.org/10.1016/j.ejor.2019.12.029. Corresponding author: Thomas Setzer, E-mail address: [email protected]. (DOI of original article: https://doi.org/10.1016/j.ejor.2019.09.016).
Computational results presented in the referenced manuscript are available in folder R/Results.
Guidance on how to read result files is provided in R/Results/readresults.txt
The system simulation for communication network, 1983
No full textThe advent of computers has made it feasible to approach the study of such complex systems by means of simulation. Computer simulation is a design tool to minimize cost, planning, and implementation. Computer simulation also is a well-known and popular technique for studying the behavior of complex systems. The communication network system is one of the complex systems that should be studied by the simulation model. In order to gain a fuller understanding of the simulation of communication a network system, the author made this attempt to develop and document his simulation network program
Dataset for "Who Let The Trolls Out? Towards Understanding State-Sponsored Trolls"
No full textThis is the dataset used for the study "Who Let The Trolls Out? Towards Understanding State-Sponsored Trolls". Savvas Zannettou, Tristan Caulfield, William Setzer, Michael Sirivianos, Gianluca Stringhini, Jeremy Blackburn. Arxiv, 2019. DOI: 10.5281/zenodo.2558560
The dataset consists of the data released by Twitter on October 2018 for Russian and Iranian state-sponsored troll accounts, which is available at https://about.twitter.com/en_us/values/elections-integrity.html#data as well as intermediate data that we generated after processing the raw data.
For instance, we include trained Word2Vec and LDA models, the output of our influence estimation experiments via Hawkes Processes, and a lot of other data necessary to reproduce the results in the paper.
To use the provided data simply download the compressed file from and make sure that the uncompressed data folder is in the same directory as the IPython Notebook.
The code used for this study can be found here: https://github.com/zsavvas/trolls_analysis
Please cite our paper if any publication, of any form and kind results of you using this data:
@article{zannettou2018let,
title={Who let the trolls out? towards understanding state-sponsored trolls},
author={Zannettou, Savvas and Caulfield, Tristan and Setzer, William and Sirivianos, Michael and Stringhini, Gianluca and Blackburn, Jeremy},
journal={arXiv preprint arXiv:1811.03130},
year={2018}
}</pre
Software for "Who Let The Trolls Out? Towards Understanding State-Sponsored Trolls"
No full textThis repository contains the source code for reproducing the results from the paper "Who Let The Trolls Out? Towards Understanding State-Sponsored troll accounts on Twitter" (see https://arxiv.org/abs/1811.03130 for the detailed description on the results). DOI: 10.5281/zenodo.2558560
The data collected and used for this study can be found here: DOI 10.5281/zenodo.2558433
Please appropriately cite the "Who Let The Trolls Out? Towards Understanding State-Sponsored Trolls" paper in any publication, of any form and kind, using this software:
@article{zannettou2018let,
title={Who let the trolls out? towards understanding state-sponsored trolls},
author={Zannettou, Savvas and Caulfield, Tristan and Setzer, William and Sirivianos, Michael and Stringhini, Gianluca and Blackburn, Jeremy},
journal={arXiv preprint arXiv:1811.03130},
year={2018}
}
Acknowledgments:
This project has received funding from the European Union’s Horizon 2020 Research and Innovation program under the Marie Skłodowska-Curie ENCASE project (Grant Agreement No. 691025).
</ul
The payroll system project, 1982
No full textThis thesis is basically concerned with the retrieving and organizing of data files, and providing the methodology to access the data files or fields of data. Virtual array access method and sequential access method are used to access records in a file. The primary objective is to per form the payroll and calculate taxes for the employees
An inventory system for a retail shoe store, 1983
No full textThis thesis describes the design of a perpetual inventory system for a retail shoe store. The parts of this thesis are the following: Analysis of the User's Requirements, Data Collection, Study of the Present System, Design of the New System and Conclusions. Analysis of the user's requirements deals with the information that the user needs of the stock of the store. Data collection describes methods and shows data necessary for this tiiesis. Study of the present system describes the present system, flowchart of the information, reports and cost. Design of the new system shows two alternatives: a manual system and a microcomputer system with analysis of software, analysis of hardware, records, files, schedules for backup files, flowchart of the information and reports. The conclusion gives the results of the thesis. An appendix is included with the description of some software programs for an inventory system
Implementation of the core graphics system on the Zenith Z-100, 1985
No full textThis thesis concerns the implementation of the CORE GRAPHICS SYSTEM on the ZENITH Z-100 microcomputer, using the ms-DOS operating system and the MICROSOFT PASCAL programming language. The system gives the user the ability to create graphic displays via computer utilizing either a printer or a CRT. The basic features of the system, the problems encountered in its implementation, the general principles used, and an operations guide are documented within the paper. There are programming examples to illustrate the usage of the different system commands and there is documented source code of all system subroutines
Proof theory and Martin-Löf Type Theory
No full textIn this article an overview over the work of the author on developing proof theoretic strong extensions of Martin-Loef Type Theory including precise proof theoretic bounds is given. It presents the first publication of the proof theoretically strongest known extensions of Martin-Loef Type Theory, namely the hyper-Mahlo Universe, the hyper-alpha-Mahlo universe, the autononomous Mahlo universe and the Pi_3-reflecting universe. This is part of a proof theoretic program in developing proof theoretic as strong as possible constructive theories in order to obtain a constructive underpinning of strong classical theories with a full proof theoretic analysis
Analysis of the risks and harmful effects of internet use: contributions to public policy child protection and adolescents in the digital age
No full textThe use of internet and on-line video games, in harmony with other human activities, irrespective of the technological device to access, can be addictive and cause adverse effects in various aspects of life of users, potentiated when the users are children and adolescents people in particular phase of biopsychosocial development. The focus of research on the agenda was the analysis of the risks and vice damage, assuming the full protection of children and adolescents in the aspects of education, health and security. Therefore, we sought theoretical references in scientific papers at the global level, empirical evidence on field research with adolescents, and internet Dependent Parent Program Dependence Center for the Impulse Disorder Clinic at the Institute of Psychiatry, University of São Paulo. As children and adolescents are subjects of rights, with priority protection, felt the need for an intervention, and for this have been proposed content and planning methodologies prevention policies to such risks and damage, prepared in inter-institutional and interdisciplinary way. The scientific method used was the policy action research, socially critical and interventionist. For theoretical foundation sought to subsidies in the critical analysis of technological determinism and the risks involved with the design and use of technologies Feenberg (1991), Giddens (1991), Marcuse (1999), Lima Filho (2004, 2005), Andrade (2004) Setzer (2002, 2009), Armstrong and Casement (2001), Smith (2009), among others. The research used a legal basis documents, with support in the Universal Declaration of Human Rights (1948), the Constitution of the Federative Republic of Brazil (1988) and the Statute of Children and Adolescents (1990), who prioritize in terms absolute, children and adolescents in the design and management of public policies for all enforcement spheres. In phases of observation, diagnosis and first records research came from concern about the speech of adolescents from two public schools in Curitiba, in 2009, when the problem of this thesis was designed, the risks and harmful effects of adding internet and electronic games on-line. For the research intervention phase was prepared an action plan in inter-institutional focused on the “Technology and Human Dignity” axis developed in the eleven public hearings in the State of Paraná, coordinated by the author, contemplating structuring content for development of policy public prevention addiction on the Internet, and especially the internet gaming disorder, mental disorder provided by the American Psychiatric Association in the fifth edition of Diagnostical and Statistical Manual of Disorder (DSM V), May 2013. This work resulted in important contributions to the development axis “Technology and Human Dignity” of the first edition of the State Plan for Education in Human Rights of Paraná (PEEDH / PR).O uso da internet e jogos eletrônicos online, em desarmonia com as demais atividades humanas, independentemente do dispositivo tecnológico para acesso, pode se tornar um vício e produzir efeitos nocivos em vários aspectos da vida dos usuários, potencializados quando os usuários são crianças e adolescentes, pessoas em fase especial de desenvolvimento biopsicossocial. O foco da investigação em pauta foi a análise dos riscos e danos do vício em internet, pressupondo a proteção integral das crianças e dos adolescentes nos aspectos de educação, saúde e segurança. Para tanto, buscou-se referências teóricas em artigos científicos no âmbito mundial, evidências empíricas em pesquisas de campo com adolescentes e no Programa de Pais de Dependentes de Internet do Ambulatório de Transtorno de Impulso do Instituto de Psiquiatria da Universidade de São Paulo. Como as crianças e os adolescentes são sujeitos de direito, com prioridade absoluta de proteção, sentiu-se a necessidade de haver uma intervenção e, para isso, foram propostos conteúdos e metodologias de planejamento de políticas de prevenção a esses riscos e danos, elaborados de forma interinstitucional e interdisciplinar. O método científico utilizado foi o de pesquisa-ação política, socialmente crítica e intervencionista. Para fundamentação teórica, buscaram-se subsídios na análise crítica do determinismo tecnológico e dos riscos envolvidos com a concepção e uso das tecnologias de Feenberg (1991), Giddens (1991), Marcuse (1999), Lima Filho (2005), Setzer (2002), Armstrong e Casement (2001), Smith (2009), entre outros. O trabalho de pesquisa utilizou documentos de base legal, com amparo na Declaração Universal dos Direitos Humanos (1948), na Constituição da República Federativa do Brasil (1988) e no Estatuto da Criança e do Adolescente (1990), os quais priorizam, em termos absolutos, as crianças e os adolescentes na formulação e na gestão de políticas públicas para todas as esferas de execução. Nas fases de observação, diagnose e primeiros registros, a pesquisa partiu da preocupação sobre a fala dos adolescentes de duas escolas públicas de Curitiba, em 2009, quando o problema dessa tese foi delineado riscos e efeitos nocivos da adição à internet e em jogos eletrônicos online. Para a fase de intervenção da pesquisa foi elaborado um plano de ação com foco no eixo de “Tecnologia e Dignidade Humana”, desenvolvido durante as onze audiências públicas no Estado do Paraná, coordenadas pela autora, articuladas ao Projeto UFPR Unindo Talentos com apoio da CAPES, contemplando conteúdos estruturantes para elaboração de uma política pública de prevenção ao vício na internet e, sobretudo, da internet gaming disorder, distúrbio mental previsto pela Associação Americana de Psiquiatria na quinta edição do Diagnostical and Statistical Manual of Disorder (DSM V), de maio de 2013. Desse trabalho resultaram contribuições à elaboração do eixo “Tecnologia e Dignidade Humana” da primeira edição do Plano Estadual de Educação em Direitos Humanos do Paraná (PEEDH/PR)
