jesusjda

'''
Created on Jul 15, 2019

@author: Jesus Doménech
@email jdomenec@ucm.es
'''

# TO INSTALL: run following commands
# pip3 install -U sklearn numpy
# - if you want to plot you will also need matplotlib

jesusjda

//  Created by Samir Genaim on 13/02/2017.
//  Modified by Jesus Domenech on 06/11/2017.
//
// compile with:
//   g++ widening_with_token_ppl.cc -I/usr/local/src/ppl-1.2/src -I/usr/local/src/ppl-1.2 -I/opt/local/include -L/opt/local/lib -lppl -lgmp
#include <iostream>
#include "ppl_header.hh"
using namespace std;
void
print_constraints(const Constraint_System& cs,

jesusjda

/*! ELPRank.user.js v1.3 | (c) 2014 Pablo Cabeza 
 *  license: http://opensource.org/licenses/mit-license.php  
 */

// ==UserScript==
// @name         ELPRank
// @namespace    https://gist.github.com/43dc185975386ab5eedf
// @version      1.3
// @description  To find UCM ELP Sakai forum posts ranking, use from *forums* tab, or else it won't work
// @author       Pablo Cabeza

jesusjda

/*! cv-autologin.user.js v1.0 | (c) 2014 Pablo Cabeza | MIT license: http://opensource.org/licenses/mit-license.php */

// ==UserScript==
// @name         cv-autologin
// @namespace    https://gist.github.com/2b50eaf5e4912cbf8d35
// @version      1.0
// @description  To login automatically into UCM unified login
// @author       Pablo Cabeza
// @include      https://sso.ucm.es/simplesaml/module.php/userpasswordcaptcha/loginuserpass.php*
// @include      http://www.ucm.es/campusvirtual*