Mark A. J. Song - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 47 from 47

2024

Longitudinal Data Analysis Based on Triadic Rules to Describe of the Psychological Reactions During COVID 19 PandemicLincoln A. N. Coutinho, Mark A. J. Song, Luis E. Zárate. biostec 2024: 323-329 [doi]

Application of Formal Concept Analysis to Characterize Driving Behaviors and Socio-Cultural Factors Related to DrivingDiogo Miranda, Luis E. Zárate, Mark A. J. Song. biostec 2024: 56-62 [doi]

Triadic Rules for Analysis of Productive and Well-Being Social in Activity-Based Working EnvironmentsThiago H. C. Oliveira, Mark A. J. Song, Luis E. Zárate. biostec 2024: 293-299 [doi]

2023

Parallelism in the Generation of Concepts Through the Formal Context Object Partitioning Using the In-Close 4 AlgorithmAndré Alves, Luis E. Zárate, Henrique C. Freitas, Mark A. J. Song. ICEIS 2023: 195-202 [doi]

2022

Predicting Depression in Children and Adolescents using the SHAP ApproachMarcelo Balbino, Renata Santana, Maycoln Teodoro, Mark A. J. Song, Luis Enrique Zárate, Cristiane Nobre. biostec 2022: 514-521 [doi]

A Review of the Main Factors, Computational Methods, and Databases Used in Depression StudiesAriane C. B. da Silva, Renata C. Santana, Thiago H. N. de Lima, Maycoln L. M. Teodoro, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre. biostec 2022: 413-420 [doi]

Selection of Representative Instances using Ant Colony: A Case Study in a Database of Children and Adolescents with Attention-Deficit/Hyperactivity DisorderHenrique R. Hott, Caroline Jandre, Pedro H. S. Xavier, Amal Miloud-Aouidate, Débora M. Miranda, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre. biostec 2022: 103-110 [doi]

Formal Concept Analysis Applied to a Longitudinal Study of COVID-19Paulo Lana, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song. ICEIS 2022: 148-154 [doi]

Computing triadic generators and association rules from triadic contextsRokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim. AMAI, 90(11-12):1083-1105, 2022. [doi]

Temporal Evolution of Topics on TwitterDaniel Pereira, Wladmir C. Brandão, Mark A. J. Song. webist 2022: 113-119 [doi]

Application of Formal Concept Analysis and Data Mining to Characterize Infant Mortality in Two Regions of the State of Minas GeraisDeivid Santos, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song. ICEIS 2022: 155-162 [doi]

Data Balancing using Deep Convolutional Generative Adversarial Networks (DCGAN) in Patients with Congenital Syndrome by Zika VirusÉrika G. Assis, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre. biostec 2022: 93-102 [doi]

2021

Triadic concept approximationKaio H. A. Ananias, Rokia Missaoui, Pedro H. B. Ruas, Luis Enrique Zárate, Mark A. J. Song. isci, 572:126-146, 2021. [doi]

Applying Formal Concept Analysis for the Recognition of Infant Mortality PatternsLorenzo Marzano, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song. medinfo 2022: 762-766 [doi]

Interpreting the Human Longevity Profile Through Triadic Rules - A Case Study Based on the ELSA-UK Longitudinal StudyMarta D. M. Noronha, Cristiane Neri Nobre, Mark A. J. Song, Luis Enrique Zárate. medinfo 2022: 782-786 [doi]

An open computing language-based parallel Brute Force algorithm for formal concept analysis on heterogeneous architecturesJoão P. P. Novais, Lucas Andrade Maciel, Matheus Alcântara Souza, Mark A. J. Song, Henrique C. Freitas. concurrency, 33(18), 2021. [doi]

Mining the Groceries Database using Triadic Concept AnalysisPedro H. B. Ruas, Rokia Missaoui, Mark A. J. Song, Léonard Kwuida. icfca 2022: 36-43 [doi]

Characterizing Infant Mortality Using Data Mining - A Case Study in Two Brazilian States - Santa Catarina and AmapáWanderson L. Soares, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre. medinfo 2022: 772-776 [doi]

2020

An FCA-based Approach to Direct Edges in a Causal Bayesian Network: A Pilot Study using a Surgery Data SetWalisson Ferreira de Carvalho, Mark A. J. Song, Luis E. Zárate. ICEIS 2020: 116-123 [doi]

Extraction of qualitative behavior rules for industrial processes from reduced concept latticeSérgio M. Dias, Luis E. Zárate, Mark A. J. Song, Newton José Vieira, Ch. Aswani Kumar. ida, 24(3):643-663, 2020. [doi]

Pattern Discovery in Triadic ContextsRokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song. iccs 2020: 117-131 [doi]

Applying binary decision diagram to extract concepts from triadic formal contextJulio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song. SAC 2020: 466-469 [doi]

Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal ContextsJulio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song. access, 8:134161-134175, 2020. [doi]

Characterization of long-lived and non-long lived profiles through biclusteringMarta D. M. Noronha, Marcos W. Rodrigues, Caio Eduardo Ribeiro, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate. SAC 2020: 473-476 [doi]

2019

Manipulating Triadic Concept Analysis Contexts through Binary Decision DiagramsKaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song. ICEIS 2019: 182-189 [doi]

2018

2017

Professional Competence Identification Through Formal Concept AnalysisPaula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate. ICEIS 2018: 34-56 [doi]

Formal Concept Analysis Applied to Professional Social Networks AnalysisPaula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate. ICEIS 2017: 123-134 [doi]

2015

Using implications from FCA to represent a two mode network dataSebastiao M. Neto, Mark A. J. Song, Luiz E. Zarate, Sérgio M. Dias. seke 2015: 256-259 [doi]

Minimal Cover of Implication Rules to Represent Two Mode NetworksSebastiao M. Neto, Luis E. Zárate, Mark A. J. Song, Sérgio M. Dias. webi 2015: 211-218 [doi]

2013

SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA AlgorithmsAndrei Rimsa, Mark A. J. Song, Luis E. Zárate. SMC 2013: 3464-3470 [doi]

2012

A symbolic model checking appproach to verifying transact-SQLRodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song. SMC 2012: 1735-1741 [doi]

2009

Distributed BMC: A Depth-First Approach to Explore Clause SymmetryS. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song. ECBS 2009: 89-94 [doi]

Handling Large Formal Context Using BDD - Perspectives and LimitationsAndrei Rimsa, Luis E. Zárate, Mark A. J. Song. icfca 2009: 194-209 [doi]

Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and LimitationsAndrei Rimsa, Luis E. Zárate, Mark A. J. Song. iccS 2009: 367-376 [doi]

2007

Exploring Clause Symmetry in a Distributed Bounded Model Checking AlgorithmHugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate. ECBS 2007: 531-538 [doi]

FCANN Method Applications for Knowledge Extraction From Previously Trained ANNLuis E. Zárate, Sergio M. Dias, Mark A. J. Song. ijcnn 2007: 649-654 [doi]

2006

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systemsAdriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho. ecr, 6(3-4):265-303, 2006. [doi]

SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case StudyMark A. J. Song, Luis E. Zárate, Sergio M. Dias, A. Alvarez, B. Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, N. Vieira. seke 2006: 631-638

2005

Formal Verification of Transactional SystemsMark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos. webist 2005: 194-197

Formal Verification of Transactional Systems Based on UML SpecificationsMark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate. seke 2005: 199-204

2003

A Software Engineering Process to Specify and Verify E-Commerce SystemsMark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.. serp 2003: 419-425

Extending UML to Specify and Verify E-commerce SystemsMark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.. seke 2003: 306-313

2002

A Formal Methodology to Specify E-commerce SystemsAdriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos. icfem 2002: 180-191 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Mark A. J. Song'

Viewing Publication 1 - 47 from 47

2024

2023

2022

2021

2020

2019

2018

2017

2015

2013

2012

2009

2007

2006

2005

2003

2002

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Mark A. J. Song'

Viewing Publication 1 - 47 from 47

2024

2023

2022

2021

2020

2019

2018

2017

2015

2013

2012

2009

2007

2006

2005

2003

2002

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1