In the past 35 years, parallel computing has drawn increasing interest from the academic communit... more In the past 35 years, parallel computing has drawn increasing interest from the academic community, especially in solving complex optimization problems that require large amounts of computational power. The use of parallel (multi-core and distributed) architectures is a natural and effective alternative to speeding up search methods, such as metaheuristics, and to enhancing the quality of the solutions. This survey focuses particularly on studies that adopt high-performance computing techniques to design, implement, and experiment trajectory-based metaheuristics, which pose a great challenge to high-performance computing and represent a large gap in the operations research literature. We outline the contributions from 1987 to the present, and the result is a complete overview of the current state-of-the-art with respect to multi-core and distributed trajectory-based metaheuristics. Basic notions of high-performance computing are introduced, and different taxonomies for multi-core an...
2021 IEEE Fourth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2021
Recognition (OSR) is about dealing with unknown situations that were not learned by the models du... more Recognition (OSR) is about dealing with unknown situations that were not learned by the models during training. In this paper, we provide a survey of existing works about OSR and distinguish their respective advantages and disadvantages to help out new researchers interested in the subject. The categorization of OSR models is provided along with an extensive summary of recent progress. Additionally, the relationships between OSR and its related tasks including multi-class classification and novelty detection are analyzed. It is concluded that OSR can appropriately deal with unknown instances in the real-world where capturing all possible classes in the training data is not practical. Lastly, applications of OSR are highlighted and some new directions for future research topics are suggested.
2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017
Anti-virus vendors receive hundreds of thousands of malware to be analysed each day. Some are new... more Anti-virus vendors receive hundreds of thousands of malware to be analysed each day. Some are new malware while others are variations or evolutions of existing malware. Because analyzing each malware sample by hand is impossible, automated techniques to analyse and categorize incoming samples are needed. In this work, we explore various machine learning features extracted from malware samples through static analysis for classification of malware binaries into already known malware families. We present a new feature based on control statement shingling that has a comparable accuracy to ordinary opcode n-gram based features while requiring smaller dimensions. This, in turn, results in a shorter training time.
International Journal of Future Computer and Communication, 2016
In 1998, he graduated in computer science from FIT. In 2000, he obtained his master's degree in s... more In 1998, he graduated in computer science from FIT. In 2000, he obtained his master's degree in software engineering from FIT. His master had focused on software test automation. From 2000 till 2012, he was a system analyst and project manager at Omani government. In May 2016, he is going to graduate and he going back to work with Omani government, Muscat. His research interests are in general areas of Natural language processing (NLP), social network, and data mining.
Computer Science & Information Technology ( CS & IT ), 2016
Despite all existing methods to identify a person, such as fingerprint, iris, and facial recognit... more Despite all existing methods to identify a person, such as fingerprint, iris, and facial recognition, the personal name is still one of the most common ways to identify an individual. In this paper, we propose two novel algorithms: The first one uses sound techniques to create a multi-dimensional vector representation of names to compute a degree of similarity. This algorithm compares names that are written in different languages (cross-language) and transliterated names in English. The second algorithm builds on the first one and measures the similarities between full names, taking into account the full name structure. We evaluate the algorithms for transliterated names and across languages using Arabic and English as an example. Significant results are achieved by both algorithms compared with other existing algorithms.
Este trabalho apresenta dois métodos para a solução do Problema de Minimização de Pilhas Abertas ... more Este trabalho apresenta dois métodos para a solução do Problema de Minimização de Pilhas Abertas (ou MOSP, de Minimization of Open Stacks Problem), um problema de sequenciamento de padrões oriundo do contexto de produção de peças, cuja aplicação industrial é direta. O primeiro é relativo a uma heurística baseada em teoria de grafos e critérios gulosos, enquanto o segundo é relativo a um método de programação dinâmica. Os resultados do experimento realizado comprovam a eficácia das simplificações propostas quando comparadas com os métodos da literatura.
Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting dat... more Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting data, generating digital signatures or exchanging keying material during the initial phases of a secure communication. Regarding encryption, the best-known scheme based on ECC is the Elliptic Curve Integrated Encryption Scheme (ECIES). A Java implementation of ECIES is presented in this paper, showing all the options associated to the encryption scheme that can be configured by the user.
This work stresses the fact that all current proposals for electronic voting schemes disclose the... more This work stresses the fact that all current proposals for electronic voting schemes disclose the final tally of the votes. In certain situations, like jury voting, this may be undesirable. We present a robust and universally verifiable Membership Testing Scheme (MTS) that allows, among other things, a collection of voters to cast votes and determine whether their tally belongs to some pre-specified small set (e.g., exceeds a given threshold)-our scheme discloses no additional information than that implied from the knowledge of such membership. We discuss several extensions of our basic MTS. All the constructions presented combine features of two parallel lines of research concerning electronic voting schemes, those based on MIX-networks and in homomorphic encryption.
This work stresses the fact that all current proposals for electronic voting schemes disclose the... more This work stresses the fact that all current proposals for electronic voting schemes disclose the final tally of the votes. In certain situations, like jury voting, this may be undesirable. We present a robust and universally verifiable Membership Testing Scheme (MTS) that allows, among other things, a collection of voters to cast votes and determine whether their tally belongs to some pre-specified small set (e.g., exceeds a given threshold) -our scheme discloses no additional information than that implied from the knowledge of such membership. We discuss several extensions of our basic MTS. All the constructions presented combine features of two parallel lines of research concerning electronic voting schemes, those based on MIX-networks and in homomorphic encryption.
Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting dat... more Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting data, generating digital signatures or exchanging keying material during the initial phases of a secure communication. Regarding encryption, the best-known scheme based on ECC is the Elliptic Curve Integrated Encryption Scheme (ECIES). A Java implementation of ECIES is presented in this paper, showing all the options associated to the encryption scheme that can be configured by the user.
In the past 35 years, parallel computing has drawn increasing interest from the academic communit... more In the past 35 years, parallel computing has drawn increasing interest from the academic community, especially in solving complex optimization problems that require large amounts of computational power. The use of parallel (multi-core and distributed) architectures is a natural and effective alternative to speeding up search methods, such as metaheuristics, and to enhancing the quality of the solutions. This survey focuses particularly on studies that adopt high-performance computing techniques to design, implement, and experiment trajectory-based metaheuristics, which pose a great challenge to high-performance computing and represent a large gap in the operations research literature. We outline the contributions from 1987 to the present, and the result is a complete overview of the current state-of-the-art with respect to multi-core and distributed trajectory-based metaheuristics. Basic notions of high-performance computing are introduced, and different taxonomies for multi-core an...
2021 IEEE Fourth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2021
Recognition (OSR) is about dealing with unknown situations that were not learned by the models du... more Recognition (OSR) is about dealing with unknown situations that were not learned by the models during training. In this paper, we provide a survey of existing works about OSR and distinguish their respective advantages and disadvantages to help out new researchers interested in the subject. The categorization of OSR models is provided along with an extensive summary of recent progress. Additionally, the relationships between OSR and its related tasks including multi-class classification and novelty detection are analyzed. It is concluded that OSR can appropriately deal with unknown instances in the real-world where capturing all possible classes in the training data is not practical. Lastly, applications of OSR are highlighted and some new directions for future research topics are suggested.
2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017
Anti-virus vendors receive hundreds of thousands of malware to be analysed each day. Some are new... more Anti-virus vendors receive hundreds of thousands of malware to be analysed each day. Some are new malware while others are variations or evolutions of existing malware. Because analyzing each malware sample by hand is impossible, automated techniques to analyse and categorize incoming samples are needed. In this work, we explore various machine learning features extracted from malware samples through static analysis for classification of malware binaries into already known malware families. We present a new feature based on control statement shingling that has a comparable accuracy to ordinary opcode n-gram based features while requiring smaller dimensions. This, in turn, results in a shorter training time.
International Journal of Future Computer and Communication, 2016
In 1998, he graduated in computer science from FIT. In 2000, he obtained his master's degree in s... more In 1998, he graduated in computer science from FIT. In 2000, he obtained his master's degree in software engineering from FIT. His master had focused on software test automation. From 2000 till 2012, he was a system analyst and project manager at Omani government. In May 2016, he is going to graduate and he going back to work with Omani government, Muscat. His research interests are in general areas of Natural language processing (NLP), social network, and data mining.
Computer Science & Information Technology ( CS & IT ), 2016
Despite all existing methods to identify a person, such as fingerprint, iris, and facial recognit... more Despite all existing methods to identify a person, such as fingerprint, iris, and facial recognition, the personal name is still one of the most common ways to identify an individual. In this paper, we propose two novel algorithms: The first one uses sound techniques to create a multi-dimensional vector representation of names to compute a degree of similarity. This algorithm compares names that are written in different languages (cross-language) and transliterated names in English. The second algorithm builds on the first one and measures the similarities between full names, taking into account the full name structure. We evaluate the algorithms for transliterated names and across languages using Arabic and English as an example. Significant results are achieved by both algorithms compared with other existing algorithms.
Este trabalho apresenta dois métodos para a solução do Problema de Minimização de Pilhas Abertas ... more Este trabalho apresenta dois métodos para a solução do Problema de Minimização de Pilhas Abertas (ou MOSP, de Minimization of Open Stacks Problem), um problema de sequenciamento de padrões oriundo do contexto de produção de peças, cuja aplicação industrial é direta. O primeiro é relativo a uma heurística baseada em teoria de grafos e critérios gulosos, enquanto o segundo é relativo a um método de programação dinâmica. Os resultados do experimento realizado comprovam a eficácia das simplificações propostas quando comparadas com os métodos da literatura.
Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting dat... more Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting data, generating digital signatures or exchanging keying material during the initial phases of a secure communication. Regarding encryption, the best-known scheme based on ECC is the Elliptic Curve Integrated Encryption Scheme (ECIES). A Java implementation of ECIES is presented in this paper, showing all the options associated to the encryption scheme that can be configured by the user.
This work stresses the fact that all current proposals for electronic voting schemes disclose the... more This work stresses the fact that all current proposals for electronic voting schemes disclose the final tally of the votes. In certain situations, like jury voting, this may be undesirable. We present a robust and universally verifiable Membership Testing Scheme (MTS) that allows, among other things, a collection of voters to cast votes and determine whether their tally belongs to some pre-specified small set (e.g., exceeds a given threshold)-our scheme discloses no additional information than that implied from the knowledge of such membership. We discuss several extensions of our basic MTS. All the constructions presented combine features of two parallel lines of research concerning electronic voting schemes, those based on MIX-networks and in homomorphic encryption.
This work stresses the fact that all current proposals for electronic voting schemes disclose the... more This work stresses the fact that all current proposals for electronic voting schemes disclose the final tally of the votes. In certain situations, like jury voting, this may be undesirable. We present a robust and universally verifiable Membership Testing Scheme (MTS) that allows, among other things, a collection of voters to cast votes and determine whether their tally belongs to some pre-specified small set (e.g., exceeds a given threshold) -our scheme discloses no additional information than that implied from the knowledge of such membership. We discuss several extensions of our basic MTS. All the constructions presented combine features of two parallel lines of research concerning electronic voting schemes, those based on MIX-networks and in homomorphic encryption.
Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting dat... more Elliptic Curve Cryptography (ECC) is a branch of Cryptography that can be used for encrypting data, generating digital signatures or exchanging keying material during the initial phases of a secure communication. Regarding encryption, the best-known scheme based on ECC is the Elliptic Curve Integrated Encryption Scheme (ECIES). A Java implementation of ECIES is presented in this paper, showing all the options associated to the encryption scheme that can be configured by the user.
Uploads
Papers by Marco Carvalho