1,723,386 research outputs found
Graduate School of Informatics 20th Anniversary Issue
Full text linkごあいさつ /京都大学大学院情報学研究科長 中村佳正 [1]これからの情報学で注意すべきことは？ /長尾 [3]情報学研究科創立20周年に寄せて /富田眞治 [7]開かれた同窓会, 超交流の10年 /情報学研究科同窓会 会長 粂直人 [13]研究科20年史 [17]: 知能情報学専攻 [17]: 社会情報学専攻 [39]: 先端数理科学専攻 [65]: 数理工学専攻 [75]: システム科学専攻 [95]: 通信情報システム専攻 [122]情報学研究科と情報学系 /佐藤亨 [147]研究科建物の現状 /太田快人 [153]グローバル30と国際コース /山本章博 [155]アジア情報学セミナー /永持仁 [161]ICTイノベーション /鹿島久嗣 [177]京都大学デザインスクール /石田亨 [179]資料集栄誉・表彰 [183]情報学シンポジウムプログラム [199]博士学位授与 [209]修士論文タイトル [237]就職関連データ [297]教員配置一覧 [309]この10年間の招へい研究員 (客員教授・准教授) [331]この10年間の研究科での定年退職者 (早期退職者含む) [335]物故者 [337]編集後
Compositional modelling of immune response and virus transmission dynamics – Supplementary data
No full textThis repository contains calibration and simulation data accompanying the paper of the same title about the interaction of the adaptive immune response and transmission of SARS-CoV-2. All data is reproducible from the software at https://git.sr.ht/~wwaites/immune-transmission however reproduction is computationally expensive. For this reason the data is made available separately here.Waites, William. (2021). Compositional modelling of immune response and virus transmission dynamics – Supplementary data, [dataset]. University of Edinburgh. School of Informatics. https://doi.org/10.7488/ds/3162
Central complex EPG-PFL3 modulation model simulation data
No full textCentral complex model simulations data. This dataset regroups the different experiment conducted on an EPG-PFL3 synaptic modulation model of the insect central complex to explain landmark guidance behaviour. Each folder includes all the XY-theta data and the neuron activity for the different condition tested.Goulard, Roman. (2021). Central complex EPG-PFL3 modulation model simulation data, [dataset]. University of Edinburgh. School of Informatics. Institute of Perception, Action & Behaviour. https://doi.org/10.7488/ds/2999
Path-ZVA Implementation
No full textThis Java project is an implementation of the algorithm presented in the paper 'Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems' by Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, and Sandeep Juneja. This implementation was used to create the tables in the paper - however, the general set-up should make it straightforward to extend the program with different models or importance sampling schemes.Reijsbergen, Daniel. (2017). Path-ZVA Implementation, [software]. University of Edinburgh. School of Informatics. LFCS - Laboratory for Foundations of Computer Science. http://dx.doi.org/10.7488/ds/1977
CAD files for an insect inspired biorobot
No full textData in support of University of Edinburgh PhD thesis titled "Using a quadcopter to model the visual navigation behaviours of flying insects".Stankiewicz, Jan; Webb, Barbara. (2020). CAD files for an insect inspired biorobot, [dataset]. University of Edinburgh. School of informatics. Institute of Perception, Action and Behaviour. https://doi.org/10.7488/ds/2911
A Survey on Developer-Centred Security - Literature Review of Publications on Security Studies
No full textOur research reports a systematic literature review of 49 publications on security studies with software developer participants. These attached files are: - A BibTeX file: includes all 49 references in BibTex format. - An Excel spreadsheet: our analysis of each publication. Each row represents a publication and columns represent features that we analysed such as number of participants, whether there was a clear research question, or whether the paper reports ethics. - Database queries: actual queries that we executed on databases.Tahaei, Mohammad; Vaniea, Kami. (2019). A Survey on Developer-Centred Security, [dataset]. University of Edinburgh. School of Informatics. https://doi.org/10.7488/ds/2535
School of Informatics, Indiana University, Bloomington
No full textIn 1998 Indiana University took initial steps toward creating its first entirely new school in more than a quarter century, the School of Informatics. This school would go on to open its doors to students in the fall of 2000. IU defines informatics as the art, science, and human dimensions of information technology. The School of Informatics was the first of its kind in the nation and today has more than 1,853 graduates.Use of this image is restricted to projects related to Destination Indiana. IHS may not reproduce.Indiana University Journe
Biorobot log data for visual navigation with transverse oscillating route following (TORF)
No full textThe purpose of this work was to develop a flying robot that can navigate using a bee-inspired visual route following approach. To this end we performed several missions in which an aerial robot with an onboard camera and processing unit flies along a predefined route and samples images of the ground. Thereafter, it tries to autonomously navigate back along the learned route by comparing the current view with the bank of views acquired on the learning flight. By centring an oscillatory flight path on the most familiar views, the biorobot can traverse the route without any additional information. See attached video (torf_operation_5x_speed.mp4) for a visual impression. This dataset contains all the data used to generate the figures in the associated publication. This includes information about the state of the robot and in some cases, the images acquired along the way. The data structures are defined in the attached “readme” file. The software used to generate this data is hosted at: https://github.com/jannsta1/torfStankiewicz, JT. (2021). Biorobot log data for visual navigation with transverse oscillating route following (TORF), [dataset]. University of Edinburgh. School of informatics. Institute of Perception, Action and Behaviour. https://doi.org/10.7488/ds/2970
Cookie Synchronization HTTP Requests
No full textThe dataset was created as part of a Masters Thesis aiming to automatically detect cookie synchronization. The dataset contains information about all the HTTP requests made when using Selenium to visit the top 2000 most popular websites were visited.Struzinski, Bartosz; Vaniea, Kami. (2022). Cookie Synchronization HTTP Requests, 2022 [dataset]. University of Edinburgh, School of Informatics, Labratory for the Foundations of Computer Science (LFCS), Security Group. https://doi.org/10.7488/ds/3441
GPU Acceleration of FSM Input Execution: Artifacts
No full textIn model-based development, software is implemented and verified based on a model of the required system. Finite State Machines (FSMs) are widely used as models in several domains but validating that they accurately represent the required behaviour requires the execution of many input sequences, which is often expensive and time-consuming. We research the use of Graphics Processing Units (GPUs) to accelerate FSM input execution for the purposes of FSM model validation. This dataset contains the experimental data and scripts associated with our work on improving the performance and scalability of this approach, which is published in the below paper. The dataset contains the following: 1. subject FSMs used in experimentation, 2. a C program for the generation of input sequences input sequences based on the all-transition-pair coverage criterion, 3. an implementation of the input reduction algorithm used in the paper, 4. experimental data for input execution time on the GPU and a 16-core CPU, 5. R scripts for result analysis and plot generation, used in the paperYaneva-Cormack, Vanya. (2021). GPU Acceleration of FSM Input Execution: Artifacts, [software]. University of Edinburgh. School of Informatics. https://doi.org/10.7488/ds/3143
- …
