25,979 Works

quanteda/readtext: CRAN version 0.75

Kenneth Benoit, Adam Obeng, Aki Matsuo, Kohei Watanabe, Stefan Müller, Paul Nulty, Jirkalewandowski & Johannes Gruber
Adds docid_field argument for columnar data (#155) More robust to importing large JSON objects (#154)

Gamification and Learning Environments — Protocol for the Systematic Literature Review

Maria Rauschenberger, Andreas Willems, Menno Ternieden & Jörg Thomaschewski
Gamification and Learning Environments - Protocol for a Systematic Literature Review Supplement of the paper: Rauschenberger, M., Willems, A. , Ternieden, M. & Thomaschewski, J. (2018). Towards the use of gamification frameworks in learning environments. Journal of Interactive Learning Research, 30(2). Abstract: Gamification is an established concept to apply game elements in different contexts to engage and motivate users. Gamification has been successfully used in various use cases and application as well as general frameworks...

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17

Dirk Beyer & Thomas Lemberger
Replication package for the article 'Dirk Beyer and Thomas Lemberger: "Software Verification: Testing vs. Model Checking", Proc. HVC, Springer, 2017.' It contains TBF in the version used in the article, as well as the benchmark-definition files that are necessary to run our experiments with BenchExec. For space reasons, CPAchecker, CBMC, ESBMC, and FShell-w2t are not included, but can be downloaded separately (cf. README). Abstract: In practice, software testing has been the established method for finding...

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17

Dirk Beyer & Thomas Lemberger
Replication package for the article 'Dirk Beyer and Thomas Lemberger: "Software Verification: Testing vs. Model Checking", Proc. HVC, Springer, 2017.' It contains TBF in the version used in the article, as well as the benchmark-definition files that are necessary to run our experiments with BenchExec. For space reasons, CPAchecker, CBMC, ESBMC, and FShell-w2t are not included, but can be downloaded separately (cf. README). Abstract: In practice, software testing has been the established method for finding...

Replication Package for Article "Symbolic Execution with CEGAR", Proc. ISoLA'16

Dirk Beyer & Thomas Lemberger
Replication package for the article 'Dirk Beyer and Thomas Lemberger: "Symbolic Execution with CEGAR", Proc. ISoLA, Springer, 2016.' It contains CPAchecker in the version used in the paper, as well as the benchmark-definition files necessary to run our experiments with BenchExec. Abstract: Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the...

Replication Package for Article "Symbolic Execution with CEGAR", Proc. ISoLA'16

Dirk Beyer & Thomas Lemberger
Replication package for the article 'Dirk Beyer and Thomas Lemberger: "Symbolic Execution with CEGAR", Proc. ISoLA, Springer, 2016.' It contains CPAchecker in the version used in the paper, as well as the benchmark-definition files necessary to run our experiments with BenchExec. Abstract: Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the...

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)

Dirk Beyer, Thomas Lemberger & Philipp Wendler
Ubuntu 16.04 LTS with the following modifications: GCC version: 5.4.0-6ubuntu1~16.04.5 Kernel: 4.13.0-26-generic Updated all installed packages (date: 2018/01/17) Removed libreoffice*, thunderbird packages, update-manager, unattended-upgrades, outdated kernel-headers and their now unneeded dependencies Installed gcc-multilib, build-essential, ant, cmake 3.5.1 and openjdk-8-jdk Installed BenchExec-1.4 (with dependency python3-tempita) Modified kernel boot parameters for benchexec: Added `swapaccount=1` Added gnome-terminal to the dock Removed Amazon and Software Center from the dock Change log for version 1.1.0: Allow benchmarks with SV-COMP resources:...

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS)

Dirk Beyer, Thomas Lemberger & Philipp Wendler
Ubuntu 16.04 LTS with the following modifications: GCC version: 5.4.0-6ubuntu1~16.04.5 Kernel: 4.13.0-26-generic Updated all installed packages (date: 2018/01/17) Removed libreoffice*, thunderbird packages, update-manager, unattended-upgrades, outdated kernel-headers and their now unneeded dependencies Installed gcc-multilib, build-essential, ant, cmake 3.5.1 and openjdk-8-jdk Installed BenchExec-1.4 (with dependency python3-tempita) Modified kernel boot parameters for benchexec: Added `swapaccount=1` Added gnome-terminal to the dock Removed Amazon and Software Center from the dock Change log for version 1.1.0: Allow benchmarks with SV-COMP resources:...

Replication Package (Virtual Machine) for Article "Boosting k‑Induction with Continuously‑Refined Invariants", Proc. CAV'15

Dirk Beyer, Matthias Dangl & Philipp Wendler
We provide a virtual machine with an installation of the tools that can be used to easily reproduce our experimental results. The username is cav, the password is ae. This virtual machine has been approved by the CAV Artifact Evaluation Committee.

Replication Package (Virtual Machine) for Article "Boosting k‑Induction with Continuously‑Refined Invariants", Proc. CAV'15

Dirk Beyer, Matthias Dangl & Philipp Wendler
We provide a virtual machine with an installation of the tools that can be used to easily reproduce our experimental results. The username is cav, the password is ae. This virtual machine has been approved by the CAV Artifact Evaluation Committee.

Subsetting scripts for - Act your age: Dingo scents code for age and wild dingoes can decipher that signal

Benjamin J.J. Walker
This repository contains the R code scripts required to allocate and then subset compound identities from GC-MS text files which were converted to .csv, in the paper: Act your age: Dingo scents code for age and wild dingoes can decipher that signal This code can be adapted to any text file that contains data from gas chromatography-mass spectrometry outputs. It compares both the weighted and reverse scores of an identity, and selects those identities with...

ctlee/gamer: Release v2.0.2

Chris Lee, Jbmoody, Justin Laughlin & Michael Holst
Major update to Python bindings, documentation, and code stability. Major components include libGAMer (the main library), PyGAMer (Python access to libGAMer functions), and BlendGAMer (Blender addon). Additional information can be found in the documentation https://gamer.readthedocs.io/en/latest/ PyGAMer: PyGAMer can be found on PyPi and pip installed: https://pypi.org/project/pygamer/ BlendGAMer: The below BlendGAMer prebuilt binaries are addons built for Blender 2.79b 64 bit. Note that they will conflict with previous releases of the addon. You must go in...

Jhsmit/ColiCoords: ColiCoords 0.1.4

Jochem Smit
Another 100 commits! Features: Updated examples and docs Added perimeter transformation Added slider to IterCellPlot Added anglular distributions at cell's poles Bugfixes: Various storm rendering fixes Binary image annotation bugfixes Many more small bugfixes Other storm_weight for rendering storm now False by default

raphaelvallat/pingouin: v0.2.7

Raphael Vallat, LegrandNico & Arthur Paulino
This is a minor release, mainly to fix dependency issues between scipy and statsmodels. Dependencies a. Pingouin now requires statsmodels>=0.10.0 (latest release June 2019) and is compatible with SciPy 1.3.0. Enhancements a. Added support for long-format dataframe in pingouin.sphericity and pingouin.epsilon. b. Added support for two within-factors interaction in pingouin.sphericity and pingouin.epsilon (for the former, granted that at least one of them has no more than two levels.) New functions a. Added pingouin.power_rm_anova function.

gher-ulg/DIVAnd.jl: v2.4.0

Alexander Barth, Jmbeckers, Charles Troupin, Meliezer & Username12
A changelog is being generated, please check back in a few minutes.

SystemsGenetics/KINC: Version 3.3.0

Josh B, Ben Shealy, Stephen Ficklin & Cwytko
Upgraded ACE dependency to v3.1.0 Added CUDA support Added corrpower analytic Added and improved Python scripts for auxiliary tasks

ga4gh/tool-registry-service-schemas: 2.0.0-beta.3

Denis Yuen, Gary Luu, Brian O'Connor, Susheel Varma, Chris Llanwarne, Yasset Perez-Riverol, Paolo Di Tommaso, Olivier Sallou, Michael R. Crusoe, Jeff Gentry, Geraldine Van Der Auwera & David Mohs
APIs for discovering genomics tools, their metadata and their containers

CognitiveComputationLab/ccobra: Pre-Release 15.1 (Hotfix)

Nicolas Riesterer & Shadownox
Fixes a variety of errors: Fix incorrect lists for valid/invalid syllogisms Fix use of person_train benchmark data Fix potential issue with referenced item object in predict function

scikit-hep/uproot: 3.7.2

Jim Pivarski, Pratyush Das, Dmitri Smirnov, Chris Burr, Matthew Feickert, Noah Biederbeck, Jonas Rembser, Henry Schreiner, Hans Dembinski, Benkrikler, R. Marcel, Daniel Marley, Ruggero Turra, Nicholas Smith, Michele Peresano & Chao Gu
Fixes #294 with #295: uproot.pandas.iterate assumes Python 3's absolute imports, so for Python 2 to work, we need from __future__ import absolute_import at the top of every file in uproot. (Thanks, @chrisburr!)

JuliaAlgebra/MultivariatePolynomials.jl: v0.2.9

Benoît Legat, Sascha Timme, Robin Deits, Joey Huchette, David De Laat, Elliot Saba & Paul Breiding
A changelog is being generated, please check back in a few minutes.

cffconvert

Jurriaan H. Spaaks, Tom Klaver, Stefan Verhoeven & Stephan Druskat
Can now raise exception when validating

Registration Year

  • 2018
    25,979

Resource Types

  • Software
    25,979

Data Centers

  • Zenodo
    25,979