Automated deduction in Topology: two different approaches by Vincenzo Cutello

Get full text

Decidability results for classes of purely universal formulae and quantifiers elimination in set theory by Domenico Cantone, Vincenzo Cutello, Alberto Policriti

Get full text

A Machine Learning Approach to Simulate Gene Expression and Infer Gene Regulatory Networks by Francesco Zito, Vincenzo Cutello, Mario Pavone

Get full text

Discovering anomalies in big data: a review focused on the application of metaheuristics and machine learning techniques by Claudia Cavallaro, Vincenzo Cutello, Mario Pavone, Francesco Zito

Get full text

Optimization Algorithms for Detection of Social Interactions by Vincenzo Cutello, Georgia Fargetta, Mario Pavone, Rocco A. Scollo

Get full text

Group Dynamics in Memory-Enhanced Ant Colonies: The Influence of Colony Division on a Maze Navigation Problem by Claudia Cavallaro, Carolina Crespi, Vincenzo Cutello, Mario Pavone, Francesco Zito

Get full text

Discovering Entities Similarities in Biological Networks Using a Hybrid Immune Algorithm by Rocco A. Scollo, Antonio G. Spampinato, Georgia Fargetta, Vincenzo Cutello, Mario Pavone

Get full text