Marcus Vinicius dos Santos

Marcus Vinicius dos Santos
Ryerson University · Department of Computer Science

PhD

About

19
Publications
2,626
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
52
Citations
Introduction
Presently I am an associate professor at the department of computer science, Ryerson University, Canada. My research interests reside in advancing the understanding and application of evolutionary computing systems.
Additional affiliations
January 2009 - present
Ryerson University
Education
March 2000
University of São Paulo
Field of study
  • Computer Engineering

Publications

Publications (19)
Conference Paper
A method that uses Ant Colonies as a Model-based Search to Cartesian Genetic Programming (CGP) to induce computer programs is presented. Candidate problem solutions are encoded using a CGP representation. Ants generate problem solutions guided by pheromone traces of entities and nodes of the CGP representation. The pheromone values are updated base...
Article
Full-text available
Abstract—This paper presents a novel use of Genetic Programming, Co-Evolution and Interactive Fitness to evolve algorithms for the game of Tic-Tac-Toe. The selected tree-structured algorithms are evaluated based on a fitness-less double-game strategy and then compete against a human player. This paper will outline the evolution process which leads...
Article
In the production of Hard Disk Drive (HDD), the pattern of HDD defect distribution gives the information about the defective component of HDD. This paper presents a pattern classification method for the HDD defect distribution. Five features of the pattern are developed and an Adaptive Neuro-Fuzzy Inference System (ANFIS) is applied to classify the...
Conference Paper
A Probabilistic Model Building Genetic Programming technique for automatic program synthesis is introduced. The approach, called Probabilistic Developmental Program Evolution (PDPE), draws on the Probabilistic Incremental Program Evolution (PIPE) learning algorithm, but employs the Developmental Genetic Programming representations of Gene Expressio...
Conference Paper
This paper presents the preliminary results of a unique method of neuroevolution called Probabilistic Developmental Neuroevolution (PDNE). PDNE builds upon Gene Expression Programming (GEP) and Probabilistic Incremental Program Evolution (PIPE). Instead of building a Probabilistic Prototype Tree, as in PIPE, a Probabilistic Prototype Chromosome is...
Article
Full-text available
Gene Expression Programming (GEP) is a genetic algorithm that evolves linear chromosomes encoding nonlinear (tree-like) structures. In the original GEP algorithm, the genome size is problem specific and is determined through trial and error. In this work, a method for adaptive control of the genome size is presented. The approach introduces mutatio...
Article
Full-text available
The work presented here is about employing a theory of updates to study geomet- rically observable changes that occur in spatial informati on about image sequences of a dynamic scene. The logical framework consists of a formalism for specifying the geometrical content of a scene, as well as the changes that occur in this geom- etry, and an algorith...
Chapter
An evolutionary system for derivation of fuzzy classification rules is presented. This system uses two populations: one of fuzzy classification rules, and one of membership function definitions. A constrained-syntax genetic programming evolves the first population and a mutation-based evolutionary algorithm evolves the second population. These two...
Conference Paper
Full-text available
This work presents an evolutionary algorithm for automatic ontology mapping, which attempts to map similar objects based on their hierarchical structures from an unclassified to a classified ontology. Alignment is performed by swapping branches between the two ontologies and comparing their similarities to find possible missing terms in the unclass...
Conference Paper
Neural networks are a common choice for solving classification problems, but require experimental adjustments of the topology, weights and thresholds to be effective. Success has been seen in the development of neural networks with evolutionary algorithms, making the extension of this work to classification problems a logical step. This paper prese...
Conference Paper
This paper presents an artificial immune system, using a Zig-Bee wireless mesh, to detect the onset of frost in an agricultural setting. The system was first tested using a small simulation and further validated by a physical implementation. The implementation validated the hypothesis by testing the application in a real-world setting, but also rev...
Article
A parallel hybrid framework that combines gene expression programming (GEP) as the evolutionary problem-solving methodology and alternative meta-heuristics for tuning parameter values of the parallel GEP runs is presented. The implementation of this framework is based on a client–server architecture which includes clients that use GEP to evolve can...
Conference Paper
Full-text available
Transaction logic (TR) is a formalism that accounts for the specification and execution of update phenomena in arbitrary logical theory, specially logic programs and databases. In fact, from a theoretical standpoint, the planning activity could be seen as such a kind of phenomenon, where the execution of plan actions update a world model. This pape...
Conference Paper
Full-text available
This paper presents an approach based on a Horn fragment of Concurrent Transaction Logic (CTR) for semantic description and execution of programming languages. The Horn notation is used in much the same way that plain Horn logic is used to specify semantics of programming languages. However, CTR extends that framework a deductive database language...
Conference Paper
In this work we propose to use a Horn fragment of Concurrent Transaction Logic ( CTR{\mathcal CTR}) as an intuitive logic framework to specify semantics of concurrent programming languages. Using Horn logic to specify a programming language has been suggested before [5,6,2]. By specifying a programming language we mean writing semantics, all thre...
Article
Full-text available
The increasing importance of e-learning, and in particular distance learning, has been a boosting element for the emergence of Internet based education services. As we move into the information age, tremendous efforts are made in the design and development of new information and communication technologies for educational services, providing for a p...
Article
Full-text available
This paper extends a logic-based framework for robot scene interpretation by using the notion of path semantics. The main contributions of this approach are two fold. First, a logic language designed to account for the phenomenon of state changes in databases is extended with the concept of ab-duction and further applied on the task of robot sensor...
Article
Full-text available
This paper addresses the problem of using logical deduc-tions to find an explanation for changes occurred in image se-quences from a mobile robot. The logic framework consists of a formalism for specifying changes in image sequences, a path-based semantics for interpreting such specifications, and an algorithm for constructing explanations for chan...

Network

Cited By