NOVA Math

Home NOVA Math

NOVA Math

Timed Measurement Theory

2024, INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, Skapinakis,E;Costa,JF

Read More

Cube-Based Isomorph-Free Finite Model Finding

2024, Frontiers in Artificial Intelligence and Applications - ECAI 2024, Chow,C;Janota,M;Araújo,J

Read More

Strategies for Worker Training and Information in Occupational Safety and Health (OSH); [Estratégias para a formação e informação aos trabalhadores no âmbito da segurança e saúde no trabalho]

2024, European Public and Social Innovation Review, Dias,A;Santos,C

Read More

On partial endomorphisms of a star graph

2024, QUAESTIONES MATHEMATICAE, Dimitrova,I;Fernandes,VH;Koppitz,J

Read More

Assessing changes in intra- and inter-annual precipitation variability using advanced statistical inference techniques

2024, JOURNAL OF WATER AND CLIMATE CHANGE, Moreira,EE;Augusto,V

Read More

SAT-Based Techniques for Lexicographically Smallest Finite Models

2024, THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, Janota,M;Chow,C;Araujo,J;Codish,M;Vojtechovsky,P

Read More

On monoids of endomorphisms of a cycle graph

2024, MATHEMATICA SLOVACA, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM

Read More

AN EXPLICIT MILSTEIN-TYPE SCHEME FOR INTERACTING PARTICLESYSTEMS AND MCKEAN-VLASOV SDES WITH COMMON NOISE ANDNON-DIFFERENTIABLE DRIFT COEFFICIENTS

2024, ANNALS OF APPLIED PROBABILITY, Biswas,S;Kumar,C;Neelima;Dos Reis,G;Reisinger,C

Read More

Exploring glioma heterogeneity through omics networks: from gene network discovery to causal insights and patient stratification

2024, BIODATA MINING, Kastendiek,N;Coletti,R;Gross,T;Lopes,MB

Read More

Priority-Elastic net for binary disease outcome prediction based on multi-omics data

2024, BIODATA MINING, Musib,L;Coletti,R;Lopes,MB;Mourino,H;Carrasquinha,E

Read More