44 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
Simultaneous magnetic resonance imaging of pH, perfusion and renal filtration using hyperpolarized 13C-labelled Z-OMPD
No full textAbstract pH alterations are a hallmark of many pathologies including cancer and kidney disease. Here, we introduce [1,5-13C2]Z-OMPD as a hyperpolarized extracellular pH and perfusion sensor for MRI which allows to generate a multiparametric fingerprint of renal disease status and to detect local tumor acidification. Exceptional long T1 of two minutes at 1 T, high pH sensitivity of up to 1.9 ppm per pH unit and suitability of using the C1-label as internal frequency reference enables pH imaging in vivo of three pH compartments in healthy rat kidneys. Spectrally selective targeting of both 13C-resonances enables simultaneous imaging of perfusion and filtration in 3D and pH in 2D within one minute to quantify renal blood flow, glomerular filtration rates and renal pH in healthy and hydronephrotic kidneys with superior sensitivity compared to clinical routine methods. Imaging multiple biomarkers within a single session renders [1,5-13C2]Z-OMPD a promising new hyperpolarized agent for oncology and nephrology
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
