71 items found

Licenses: Academic Free License 3.0 Groups: Others

Filter Results
  • Method

    Fuzzy Logic Visual Network (FLVN): A neuro-symbolic approach for visual featu...

    Neuro-symbolic integration aims at harnessing the power of symbolic knowledge representation combined with the learning capabilities of deep neural networks. In particular,...
    • The resource: 'Fuzzy Logic Visual Network ...' is not accessible as guest user. You must login to access it!
  • Access required...

    ×

    Application

    Private BrainyBot

    BrainyBot (BB) is a robot infrastructure that can be programmed to solve turn-based, single player board games, such a Candy Crush Saga, Ball Sort Puzzle, 2048 and whatever...
  • Access required...

    ×

    Application

    Private ThinkEngine

    ThinkEngine is a tool that allows to integrate declarative automated reasoning modules in 3D simulations and videogames in the Unity development engine.
  • Access required...

    ×

    Method

    Private ltlf2asp

    Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...
  • Access required...

    ×

    Application

    Private neXSim

    neXSim is a web-based prototype system implementing "implementing a logic based framework for characterising nexus of similarity within knowledge bases", namely expressing in...
  • Access required...

    ×

    Method

    Private Cybersecurity NER BERT-base-cased model

    This method includes a Python script and files of a BERT-base-cased model fine-tuned on our Cybersecurity NER dataset. The method requires as input a list of sentences that...
  • Dataset

    Stroke and sepsi

    The considered stroke dataset (DOI:10.17632/x8ygrw87jw.1, DOI:10.1016/j.artmed.2019.101723) was pre-processed by removing attributes with more than 30% missing values, by...
    • The resource: 'Stroke and sepsi' is not accessible as guest user. You must login to access it!
  • Method

    Cybersecurity NER RoBERTa-base model

    This method includes a Python script and files of a RoBERTa-base model fine-tuned on our Cybersecurity NER dataset. The method requires as input a list of sentences that will...
    • JSON
      The resource: 'config' is not accessible as guest user. You must login to access it!
    • TXT
      The resource: 'merges' is not accessible as guest user. You must login to access it!
    • BIN
      The resource: 'model' is not accessible as guest user. You must login to access it!
    • JSON
      The resource: 'model_args' is not accessible as guest user. You must login to access it!
    • ZIP
      The resource: 'scheduler' is not accessible as guest user. You must login to access it!
    • JSON
      The resource: 'special_tokens_map' is not accessible as guest user. You must login to access it!
    • JSON
      The resource: 'tokenizer_config' is not accessible as guest user. You must login to access it!
    • ZIP
      The resource: 'training_args' is not accessible as guest user. You must login to access it!
    • JSON
      The resource: 'tokenizer' is not accessible as guest user. You must login to access it!
    • JSON
      The resource: 'vocab' is not accessible as guest user. You must login to access it!
    • ZIP
      The resource: 'optimizer' is not accessible as guest user. You must login to access it!
    • py
      The resource: 'inference' is not accessible as guest user. You must login to access it!
  • Dataset

    Human and mouse gene regulatory networks

    The dataset was built by considering gene expression data related to 6 different organs (liver, lung, brain, skin, bone marrow, heart), obtained by control samples available...
    • The resource: 'Human and mouse gene ...' is not accessible as guest user. You must login to access it!
  • Access required...

    ×

    Application

    Private mamtorch library

    Python Multiply-And-Max/min (MAM) torch-compatible kernel library (https://github.com/SSIGPRO/mamtorch). With this library, it is possible to substitute standard neurons with...
  • Dataset

    RAN and NWDAF data from Cellular Network in Catania

    Dataset containing various RAN and UEs metrics collected from 4 BSs deployed at Piazza D'Uomo, Catania. Metrics can be used for machine learning-based studies for physical...
    • The resource: 'Dataset' is not accessible as guest user. You must login to access it!
  • Access required...

    ×

    Dataset

    Private RF UAVs in anechoic chamber at different distances.

    Dataset containing measurements of RF signals from two DJI M100 UAVs using a USRP X310 in an anechoic chamber. I/Q samples were exclusively collected in the downlink channel....
  • Experiment

    Simulation of urban impact of navigation services

    This experiment performs a simulation (using SUMO) of the urban impact of two navigation services (TomTom and OpenRoutingService) in the city of Milan, Italy.
  • Dataset

    Spotify Tracks Dataset (full)

    The dataset is created exploiting the Spotify API and the tracks id provided by the authors of https://www.kaggle.com/datasets/maharshipandya/-spotify-tracks-dataset.... The...
    • The resource: 'std_full' is not accessible as guest user. You must login to access it!
  • Dataset

    Spotify track dataset (small)

    The dataset is created exploiting the Spotify API and the tracks id provided by the authors of https://www.kaggle.com/datasets/maharshipandya/-spotify-tracks-dataset.... The...
    • ZIP
      The resource: 'std_small' is not accessible as guest user. You must login to access it!
  • Dataset

    Santorini Tweets July-August 2021

    This dataset contains 225.501 tweets written by 141.277 users. These tweets are geolocated in Santorini, or they contain the word or the hashtag "santorini" in the text. They...
    • ZIP
      The resource: 'tweet_santorini.csv' is not accessible as guest user. You must login to access it!
  • Dataset

    Synthetic Dataset for Causal Analysis

    The dataset is a synthetic version of the well-known German Credit dataset (https://archive.ics.uci.edu/dataset/144/statlog+german+credit+data). It includes variables such as...
    • CSV
      The resource: 'synthetic german data' is not accessible as guest user. You must login to access it!
  • Dataset

    FANCY Dataset

    (NLI) FANCY (FActivity, Negation, Common-sense, hYpernimy) is a new dataset with 4000 sentence pairs concerning complex linguistic phenomena such as factivity, negation,...
    • The resource: 'FANCY Dataset' is not accessible as guest user. You must login to access it!
  • Dataset

    Visual Analytics for Perfomance Analysis: Dataset of preprocessed distributed...

    The dataset includes execution traces from Train-ticket, an established open-source microservices system.The execution traces have been generated across various scenarios, and...
    • The resource: 'Github repository' is not accessible as guest user. You must login to access it!
  • Dataset

    FAIR-SWENG: dataset on gender fairness in software engineering academic lands...

    The dataset contains academic performance metrics of Software Engineers worldwide.