ACL 2016 Proceedings Template
This document contains instructions for preparing ACL 2016 submissions and camera-ready manuscripts. The document itself conforms to its own specifications, and is therefore an example of what your manuscript should look like. Papers are required to conform to all the directions reported in this document. By using the provided LaTeX and BibTeX styles (acl2016.sty, acl2016.bst), the required formatting will be enabled by default.
Persistencia Políglota Caso de estudio: MongoDB y Neo4j
Con el auge de los sistemas de bases de datos NoSQL los cuales implementan modelos de datos diferentes al relacional como son las bases de datos documentales o de grafos, ha surgido el concepto de Persistencia Políglota. Ésta sostiene que debido a la gran variedad y cantidad de representación de los datos, y los diversos servicios que pueden dar las aplicaciones hoy en día; es necesario el uso de más de un tipo de sistema de almacenamiento para ser capaz de cubrir de forma eficiente todas las necesidades de la aplicación que use dicho sistema. En este trabajo se busca dar una idea general de las Aplicaciones de Persistencia Políglota describiendo las posibles arquitecturas que hacen uso de las bases de datos NoSQL y su funcionamiento, se estudian algunos casos de éxito y se lleva a cabo un caso de estudio usando MongoDB y Neo4j.
Jesús Arévalo, Jefferson Santiago, Luinel Andrade
An Overview of Visualization in Mathematics, Programming and Big Data
Visualization is a descriptive way to ensure the audience attention and to make people better understand the content of a given topic. Nowadays, in the world of science and technology, visualization has become a necessity. However, it is a huge challenge to visualize varying amounts of data in a static or dynamic form. In this paper we describe the role, value and importance of visualization in maths and science. In particular, we are going to explain in details the benefits and shortages of visualization in three main domains: Mathematics, Programming and Big Data. Moreover, we will show the future challenges of visualization and our perspective how to better approach and face with the recent problems through technical solutions.
Seminário de Andamento PPGEE/UFRGS
Estas instruções fornecem as orientações básicas para a preparação de um artigo para o Seminário de Andamento do Programa de Pós-Graduação em Engenharia Elétrica (PPGEE) da Universidade Federal do Rio Grande do Sul (UFRGS).
Blockchain Multiparty Computation Markets at Scale
We explore ways of allowing for the offloading of computationally rigorous tasks from devices with slow logical processors onto a network of anonymous peer-processors. Recent advances in secret sharing schemes, decentralized consensus mechanisms, and multiparty computation (MPC) protocols are combined to create a P2P MPC market. Unlike other computational "clouds", ours is able to generically compute any arithmetic circuit, providing a viable platform for processing on the semantic web. Finally, we show that such a system works in a hostile environment, that it scales well, and that it adapts very easily to any future advances in the complexity theoretic cryptography used. Specifically, we show that the feasibility of our system can only improve, and is historically guaranteed to do so.
Review of Fault Tolerance Techniques in Distributed System
Distributed system is a collection of independent systems which can communicate with each other by transferring massages. There are some major issues in distributed systems but we focus in this paper on fault tolerance. It is the system’s ability to work in the condition when there occur any type of some fault in the system, like failure in communication, hardware or resources. It is a very important issue in distributed system, in this paper we present a survey of different types of fault tolerance techniques and their comparison.
GenNet: A Tool for Qualitative and Quantitative Modelling of Gene Regulatory Networks
Gene regulatory networks have an important role to study the behaviour of genes. By analysing
these Gene Regulatory Networks we can get the detailed information i.e. the occurrence of diseases by
changing behaviour of GRNs. Many different approaches are used (i.e. qualitative modelling and hybrid
modelling) and various tools (i.e. GenoTech, GINsim) have been developed to model and simulate gene
regulatory networks. GenoTech allows the user to specify a GRN on Graphical User Interface (GUI) according
to the asynchronous multivalued logical functions of René Thomas, and to simulate and/or analyse its
qualitative dynamical behaviour. René
Thomas discrete modelling of gene regulatory network (GRN) is a
well known approach to study the dynamics of genes. It deals with some parameters which reflect the possible
targets of trajectories. Those parameters are priory unknown. These unknown parameters are fetched using
another model checking tool SMBioNet. SMBioNet produces all the possible parameters satisfying the given
Computational Logic Tree (CTL) formula as input. This approach involving logical parameters and conditions
also known as qualitative modelling of GRN. However, this approach neglects the time delays for a gene to
pass from one level of expression to another one i.e. inhibition to activation and vice versa. To find out these
time delays, another modelling tool HyTech is used to perform hybrid modelling of GRN.
We have developed a Java based tool called GenNet http://asanian.com/gennet to facilitate the
model checking user by providing a unique GUI layout for both qualitative and quantitative modelling of GRNs.
As we discussed, three separate modelling tools are used for complete modelling and analysis of a GRN. This
process is much lengthy and takes too much time. GenNet assists the modelling users by providing some extra
features i.e. CTL editor, parameters filtering and input/output files management.
GenNet takes a GRN network as input and does all the rest of computations i.e. CTL verification,
K-parameters generation, parameter implication to GRN, state graph, hybrid modelling and parameter
filtration automatically. GenNet serves the user by computing the results within seconds that were taking hours
and days of manual computation