Institute of Computing

Institute of Computing

"ADNet: Computer-aided diagnosis for Alzheimer's disease using whole-brain 3D convolutional neural network"
"Heuristics for allocating servers in video on demand services over hybrid clouds"
"LinkedScales: multiscale databases"
"Reproducibility and reuse of experiments in eScience: Workflows, ontologies and scripts"
"Towards Secure Cryptographic Software Development"
"A study on evaluating user experience in pervasive, ubiquitous and socio-enactive scenarios"
The Tutte 3-flow conjecture for nearly even graphs
Learning from Data Approaches to the History Fitting Problem
Efficient and effective approaches for searching time series
Approaches to vehicle routing problems with energy considerations and selective backhauls
Acceleration of seismic processing methods with OpenCL
Accelerating FHE for arbitrary computation
Accelerating capsule neural networks with Lanes
Equitable access in ubiquitous computing environments: study and evaluation tool
Assisted adaptation of semantic annotations on RDF bases
Domain adaptation in semantic segmentation models for application in precision agriculture
Domain adaptation for emotion detection in tweets using tree structures
Domain Adaptation via Subspace Learning and Kernel Methods
Automatic parameter adjustment for extreme optimization algorithm applied to automatic test case generation
Algorithm for positioning multimedia services in hierarchical cloud-fog environments
Machine learning algorithms to improve data quality and inference performance in monitoring applications
Approximation and parameterized algorithms for pairwise connectivity problems
Approximation algorithms for the two-dimensional minimum sum packing problem
Approximation algorithms for terminal location and allocation problems
Approximation algorithms for network problems with vertex constraints
Approximation algorithms for routing and connectivity problems with multiple distance functions
Topology and Power Aware Virtual Machine Scheduling Algorithms in Data Centers
Algorithms and mathematical formulations for arc routing problems
Exact and heuristic algorithms for packing problems: color alternation, uncertainty and in smart grids
Exact and heuristic algorithms for coverage routing problems
Exact and heuristic algorithms for a car sharing problem
Exact algorithms for the quadratic packing problem
Exact algorithms for the quadratic packing problem
Algorithms for Augmented Suffix Ordering
Resource allocation in elastic optical networks based on spatial division multiplexing
Obstacle-aware road side unit allocation with different signal propagation models
Importance sampling of light subpaths in bidirectional path tracing
Expanding software approaches with the ACCEPT framework
Analyzing the BizDev interface in a business context: a case of developers working in business
Analysis of the stability of hedonic games
Analysis of the feasibility of gait as biometrics using data from motion sensors: towards the creation of robust user profiles
Analysis of time side channels in dynamic binary translators
Graph-based spatiotemporal data analysis for passing difficulty classification in football
Performance analysis and optimization of ArchC simulators
Analysis of lung images to detect COVID-19 and classify disease severity
Analysis of microtomographic images of oil reservoir samples
Skin lesion analysis using generative adversarial networks
Hardware-supported malware analysis
Analysis of deep neural network explainability methods for Elsagate Classification
Neural architecture search analysis for object detection
Analysis of air pollutants using virtual sensors
Analysis of transportation problems from the perspective of game theory
Analysis of intrinsic and extrinsic properties of biometric samples for detection of presentational attacks
Sentiment analysis on Twitter
Analysis and optimization for data coherence between CPU and GPU
Forensic analysis of social media to detect fake news and phishing attacks through text decomposition
Visual analysis applied to image analysis
Semantic annotation for recommending educational content
Application of self-supervised learning for scene recognition in child sexual abuse images
Application of deep reinforcement learning in the locomotion of humanoid robots
Application of recurrent neural networks to the design of antibodies from the amino acid sequence of epitopes
Learning Image Features by Convolutional Networks under Supervised Data Constraint
Model-Based Learning for Humanoid Robots
Model-Based Learning for Humanoid Robots
Object affordance learning through robotic interaction
Machine learning applied to open geographic data
Learning graph-based representations and correspondences for classification tasks
Learning in non-Euclidean domains: from graphs to generative modeling
Imitation Learning for Mobile Robot Control
Imitation Learning for Mobile Robot Control
Transformer-based few-sample learning for scene classification in child sexual abuse images
Deep Reinforcement Learning for Bipedal Locomotion
Presentation and evaluation of a method for over-the-air updates for IoT devices
Improving direct convolution by vectorized packing and ISA extensions
Architecture and mechanisms for migrating virtual machines in fog computing
Deep hierarchical architecture for low-data learning
Arte Factus: study and socially conscious co-design of socioenactive digital artifacts
Rowhammer-based injection attacks and their effects on aged memories
Variational attention for image classification
Attribution of authorship of short messages
Parallel scan automation in OpenMP
Guided Virtual Patient Authoring for Students in Learning Prognosis
Assessment of humanization in chatbots
Quality assessment and segmentation of fingerprint images using directional information
Evaluation of self-supervised models for out-of-distribution and data-poor scenarios
Evaluation of attention-based models for classifying violence in videos
Semi-automatic quality assessment of requirements in natural language based on checklist
Load Balancing and User Association in HetNets
Hybrid Narrative and Clinical Knowledge Base for Emergency Medicine Training
BrkgaCuda 2.0: a library for the biased random-key genetic algorithm on GPUs
Capturing context with your smartphone using wireless networks
Discriminative characteristics for image blur detection
CENTRIST3D: a spatiotemporal descriptor for anomaly detection in crowd videos
Classification of musculoskeletal images using deep machine learning
Classification of routes to identify inconsistencies in intelligent transport systems
Multi-label classification of chest x-rays using deep machine learning
Classification of Lung Nodules Based on Deep Convolutional Neural Networks
Compact, backpropagation-free convolutional encoders for the analysis of chest computed tomography images with lung anomalies
Smart urban solid waste collection: a case study based on LoRaWAN
Comparison of incomplete genomes using succinct de Bruijn graphs
Components and breakpoints in time series in remote sensing image analysis
Efficient computation of inferences with approximate convolution
Message switching in optical networks a new switching paradigm
Dominating sets in cubic graphs
Connoisseur: analysis of provenance in paintings
Building knowledge graphs using textual documents to analyze scientific literature
Theoretical and practical contributions to cryptography based on the Ring-LWE problem: twisted dips and discrete Galois transform
Admission control and resource allocation in 5G network slicing
Intelligent control of a quadcopter by reinforcement learning
High-Performance Elliptic Curve Cryptography: A SIMD Approach for Modern Curves
Discovery of neuroimaging biomarkers associated with Alzheimer's disease
Discovering phase behavior through clustering time-varying independent microarchitectural features
Deep Convolutional Descriptors for Sparse and Dense Registration in RGB-D SLAM
Student performance in an introductory programming course and long-term knowledge
Development and evaluation of localization techniques for vehicular networks and intelligent transport systems
Design and evaluation of human-data interaction
Design and development of scenarios for ubiquitous computing systems from the user's perspective
Design and development of a tangible table and objects with embedded technology for a socio-enactive experience
Design for all and inclusive education: involving teachers in the creation of technologies
Socially conscious design of human spaces with the internet of things
Detection of complex events in videos based on visual rhythms
Detection of face presentation attacks on mobile devices
Deepfake detection using computer vision and machine learning techniques
Detection of violent events in video sequences based on the histogram operator of the Census transform
Detection of adversarial examples based on defense and counterattack committees
Detection of lung nodules in computed tomography images
Detection of non-technical losses in the electrical grid using time series representations
Detecting people falling in videos using multi-channel convolutional neural networks
Detection and tracking of chickens: a new computational methodology for monitoring patterns in commercial poultry
Detecting misuse of cryptographic methods with machine learning
Automated and quantitative diagnosis of Schistosoma mansoni eggs
χ-diperfect digraphs
DrPin: A dynamic binary instrumenter for multiple processor architectures
Towards Efficient Bandwidth Usage in Cellular Networks: RAN Slicing for LTE and Multi-Stream Traffic Forwarding over Multiple Paths
In-line circle packaging
High-performance RISC-V emulation
Cryptographic engineering of privacy-preserving algorithms
Scaling applications with software requirements across grids and private clouds
Digital Video Stabilization: Methods, Datasets, and Evaluation
Digital video stabilization: algorithms and evaluation
Saliency estimation in multiple image domains using a flexible framework
Strategies for clustering nodes and dynamic resource allocation in IEEE 802.11ah networks
Comparative study of fault detectors under different computer network conditions
Retrospective observational study of the impact of phlebotomy-derived blood loss: an approach using machine learning
Evocycle: artificial life in an ecosystem of bio-inspired algorithms
Exploring DRAM replacement with NVM in main memory through simulation
Exploring cognitive functions in robotics
Exploring Hardware-Software co-design and Dynamic Duty Cycle for energy efficiency in Coherent Transmission ASIC DSP
Extensions and applications of genomic rank distance
Extensions to base-delta-immediate compression
Minutiae Extraction in Contactless Fingerprint Images Using Deep Convolutional Networks
Iterative Optimal Path Forest: A Framework for Graph-Based Data Clustering
Formulations and algorithms for the maximum area polygonization problem
Formulations for the key allocation problem with uncertainty
Formulations for the green vehicle routing problem
Isogeny formulas for alternative models of elliptic curves
Controlled generation of natural language sentences for Portuguese based on transformer-based learning architectures: Results in the e-commerce domain
Generation of adaptation plans based on quality models for Cloud platforms
Superpixel generation by iterative generative forest using object information
Mobility-Aware Resource Management for Vehicular Edge Computing
Management and orchestration driven by slicing 4G/5G mobile networks into core and transport
Energy-efficient management of radio resources in LTE networks
Guidelines for evaluating systems in socio-enactive scenarios
Enabling OpenMP Task Parallelism on Multi-FPGAs
Heuristics and approximation algorithms for advertising placement problems
Heuristics for allocating servers in video on demand services over hybrid clouds
Heuristics for genome rearrangement problems with multiplied genes
Heuristics for vehicle routing problems with uncertainty
High Performance Collision Cross Section (HPCCS) use of HPC techniques to accelerate the calculation of the cross section of shock
Homophily by topics in the spread of memes in online social networks
IaRa: dataflow programming with the MLIR tool
Implementation and optimization of broadcast operation in OmpCluster distributed runtime
Efficient implementation of Curve25519 for ARM microcontrollers
Efficient software implementation of the Merkle signature scheme and its variants
Software implementation of authenticated ciphers for ARM processors
Secure and efficient implementation of encryption based on QC-MDPC codes
Including older adults with cognitive impairment in participatory design – evaluating and adapting design techniques, challenges and lessons learned
Inclusion of Dynamic Execution Context to Improve CFI Policy Assessment
Spectral indices based on genetic programming for remote sensing image classification
Geographic location inference from images
InRob-UML – a method for Interoperability and Robustness testing for real-time embedded systems using UML models
Integration and performance analysis of parallel RISC-V architectures
Software and hardware interfaces for approximate memories
Investigating natural user interfaces (NUIs) – technologies and interaction in the context of accessibility
Non-cooperative facility location games and cost perception
Strategy-proof and budget-balanced auctions for multi-passenger ridesharing
Auctions and resource allocation in mobile edge computing
LIFT-SLAM: a feature-based visual SLAM method with deep learning
LinkedScales: multiscale databases
Text localization in scene images using lightweight convolutional networks
Link maintenance on the semantic web
Prediction-based software maintenance: a machine learning perspective
Mapping conflicts between QoS attributes in monitoring SOA applications
Mapping of computing subareas
Protection mechanisms against stream hijacking attacks
Mechanisms for scheduling MapReduce applications of different priorities
Mechanisms for bandwidth management in passive optical Ethernet networks with tenant clients of multiple optical network units
Mediation of systems co-design processes and the empowerment of lesbian, gay, bisexual and transgender (LGBT) people
Complex network measurements in graph-based spatiotemporal analysis of football games
Improving visual information in image-based question tasks with scene graph data using self-supervised learning
Improving text recognition accuracy using syntax-based techniques
Improving loss functions and feature utilization for self-supervised single-image depth estimation from monocular videos
Improving hardware/software co-design in transactional memory: a phase-based approach and elimination of excess instrumentation
Improving Knowledge Sharing in Ticket Repositories: A Genetic Algorithm Approach to Feature Selection
Improving the performance and programmability of compiler-generated transactional code through language-level constructs
Self-supervised methods for learning visual representations
Methods based on integer programming applied to cutting, packing and scaling
Modeling for 3D image segmentation of the electron density of ligands into chemical classes with deep learning
Models with proportion between operations and rigid and flexible intergenic regions
Deep generative models for clustering: a semi-supervised and unsupervised approach
Restricted and intergenic models for ordering by reversals and transpositions
Monitoring the evolution of coupling of microservices-based architectures: a method to detect signs of architectural erosion
Monitoring and cost optimization of HPC applications in the cloud
MOPC-DARTS: a framework for multi-objective optimization applied to neural architecture search
MSOFEC: multi-layer fog-cloud orchestration for service placement in industrial internet of things
MultiCloud Tournament: a cloud federation architecture aimed at preventing Free-Riders by encouraging resource sharing
Towards better tools and methodologies for teaching computational thinking to children
NNC – a flexible neural network compiler
The batched DOACROSS algorithm
The role of synchrony in Paxos' performance
The balanced connected k-partition problem: polyhedra and algorithms
The problem of ordering permutations using rearrangements of prefixes and suffixes
The mist node location problem
The traveling referee problem: complexity, modeling and algorithms
Monocular visual odometry based on epipolar geometry
Photonics opportunities in modern computing systems
Ordering permutations by operations of limited size
Ordering signed permutations by reversals and transpositions
Combinatorial optimization in public transport planning (tentative)
Tensor Partitioning Optimization for Convolution on Multicore NPUs
Parallelization of DOACROSS loops using component annotations and Loop-Carried probability
Partitioning Eulerian graphs into circuits
Partitioning Convolutional Neural Networks for Inference on Constrained Internet of Things Devices
PB3Opt: a strategy to select clusters of computers in the computing cloud for high-performance computing loads
Parallel code profiling for the OpenMP Cluster distributed task runtime
Accelerated pooling: creating a hardware-accelerated implementation based on Im2col and Col2im
Positioning MECs in protected 5G cellular networks
Predicting Protein Secondary Structures Using Machine Learning and BLAST
Relevance prediction in information retrieval systems
Prediction of remaining time of process instances in process mining considering context in event logs
Predicting and generating Parkinson's EMG signals with neural networks
Electric vehicle sharing problem: complexity, models and algorithms
Capacitated vehicle routing problem with time windows and stochastic clients
Geometric and related problem of location of installations
Parking ticket issues and network design with leasing
Problems of ordering permutations by weighted operations
Combinatorial optimization problems in cartographic data visualization
Partition problems in graphs and digraphs
Geometric decomposition problems
Bug feedback processing using deep neural networks
User-assisted design of a neural network for brain tumor segmentation
Promoting biodiversity spreadsheet interoperability through purpose recognition
PROST: A framework for developing programmable devices for IoT
Protection in elastic optical networks with spatial multiplexing
Protocols for private set intersection (PSI) and private classification based on Naive Bayes
Providing robustness to workflow schedulers sensitive to available bandwidth uncertainties
Quality of Service Provision in Fog Computing Networks
RAM-VO: a recurrent attentional model for visual odometry
Fine-grained person re-identification with semantic segmentation maps and saliency
Convex graph recoloring
Action recognition in videos based on the fusion of visual rhythm representations
Emotion recognition from facial expressions in cross-dataset using convolutional neural networks
Face recognition exploiting part-based representations
Pattern recognition in facial expressions: algorithms and applications
Source code pattern recognition and rewriting for MLIR using string-based automata
Recognition in an open scenario for different classifiers
Retrieval and exploration of video collections based on hierarchical clustering
Generative adversarial networks for denoising seismic data
Software-defined, service-oriented, mobility-aware networks for service provision in urban environments
Convolutional neural networks based on visual rhythms and adaptive fusion for a multi-channel architecture applied to human action recognition
Multi-channel convolutional neural networks for action recognition in video sequences based on spatiotemporal information
Interpretable neural networks with opt-out for tabular data
Relationships between teaching materials through the extraction of implicit topics
Representation of shapes by truncated Euclidean distance
Autoencoder-based spatiotemporal representation for action recognition in videos
Out-of-Core representation of three-dimensional triangular meshes for rendering large volumes of data
Image-based time series representations for satellite image classification
Revealing gender biases in court decisions with natural language processing
Reinforcement Learning-Based Routing for Software-Defined Networks
Infrastructure-free, collaborative vehicular traffic routing for intelligent transportation systems
Core and spectrum routing and allocation in optical networks with spatial division multiplexing
L(h, k) labeling in graph classes
Graceful labeling and semistrong labeling in graphs
Towards Secure Cryptographic Software Development
Scientific Semantic Metasearch (SSM): a platform for retrieving scientific data
Automatic segmentation of liver tumors from computed tomography images based on 2D and 3D deep neural networks
Automatic segmentation of lungs and trachea in chest computed tomography image
Hierarchical image segmentation based on iterative generative forest recursions
Interactive image segmentation: From graph-based algorithms to feature annotation
Semantic segmentation with global mixture of Gaussian Priors
Color selection for dental restorations aided by computer vision techniques
Selecting Efficient Virtual Machines for Training Deep Learning Models in the Cloud
Multi-scale morphological simplification based on extreme relations: improvements and applications
Concurrent simulations in SystemC TLM-2
Model-based self-adaptive testing system for Dynamic SOA
Tangible computing systems and communication design in inclusive educational contexts
Visual SLAM and Visual Odometry with Semantic-Based Dynamic Object Filtering
SMAFramework: framework for integrating urban data aware of spatio-temporal correlation in smart cities
On the feasibility of using SOA metrics to assess cohesion during microservices evolution
On characterizing temporal patterns for remote sensing image analysis
About circuits, strings and kernels in digraphs
On the spatial dilemma linking deep reenactment and learning from disentangled video representations
Exact and heuristic solutions to optimal polygon construction problems
Exact solutions to the brigadista's geometric problem and variants
Suggestions for routes for human-powered vehicles in the context of selective collection of urban solid waste
Automatic summarization of football videos based on visual rhythm
Multilingual abstractive summarization of podcasts using Longformers
Single image super-resolution based on capsule neural networks
Architectural support for approximate computing
Medium access control techniques for massive machine-type communication in cellular networks
Autonomous and self-adaptive systems techniques to support dynamic software product lines
Super resolution techniques for forensic science and other applications
Techniques for comparing 4D seismic images in oil fields
Robustness testing of implementations and applications using CoAP through fuzzing techniques
Web Services security tests based on attack patterns represented in state models
Standardized tests for security settings on mobile devices
Techniques for continuous authentication on mobile devices from walking mode
TokenSSI: self-sovereign identity for distributed energy generation
Automatic transfer to FPGA accelerators
Curricular learning transfer for complex grammar acquisition in language models
An Energy Aware Data Aggregation Algorithm for Wireless Sensor Networks
An approximation algorithm for the vertex-weighted q-metric Steiner tree problem
An exact algorithm for the block relocation problem using new lower bounds
An annotation-based framework for semantic enrichment of textual documents
A semi-autonomous framework for training Machine Learning models with a focus on Fairness metrics
A comparative study of text detection and recognition approaches for constrained computing scenarios
A comparative study of RSS-based indoor localization methods
A computational study of the brigadista problem in graphs
A computational study of the Selective Brigade Problem in Graphs
A computational study of the problem of perfect gnosticism
A fault injection framework for executable UML models
A framework for reinforcement learning in bipedal robotics
A framework for context-aware approximate computing
A framework for designing socially conscious persuasive systems
A metamodel to support the formalization of coding conventions
A virtual network manager model for big data processing frameworks in private and hybrid clouds
A districting problem applied to advance billing in service networks
A problem of eternal domination: graph classes, resolution methods and practical perspective
An approach and tool for model-based testing of software product lines
A latent space analysis on encoder-decoder models to improve representation learning for image semantic segmentation task
An analysis of Genetic Probability Systems as high integrity software
A reusable software architecture for cooperative multi-UAV systems
An exploration of associative processing with the RV-Across simulator
A software implementation of the FALCON algorithm on the ARM platform
A language for generating patterns for detection and rewriting in MLIR compilers
A hybrid solution to the 3D localization and synchronization problems in WSNs
UpKG: a framework for inserting new domains into knowledge graphs
Using machine learning to predict overflow in sewage lifts
Use of non-functional requirements in software effort estimation: systematic review and experimental results
Using high-level concepts, visual and auditory characteristics to detect violence in videos
Using Limited Devices to Execute Custom Code in the Internet of Things
Using Transformers and Emoji to classify the sentiment of texts from social networks
Two-Step Face Verification for Mobile
Full virtualization, paravirtualization and light virtualization: performance comparison of virtualized cloud computing resources with VMware ESXi, QEMU / KVM, VirtIO and Docker Drivers
Views in Graph Databases: A Multi-Focus Approach for Heterogeneous Data
Scientific visualization of cyclical temporal patterns in phenology studies
Visualizing data over time in similarity trees
WASIS - Bioacoustic Species Identification based on Multiple Descriptor Extraction and Classification Algorithms
WorkflowHunt: a hybrid search engine for scientific workflow repositories
​​​​​​​"Image analysis for detection of diabetic retinopathy"
​​​​​​"Cloudboss - a tool for orchestrating the execution of numerical simulations in the cloud"
​​​​​​"LEON3-CONF: LEON3 processor with instruction and data confidentiality."
​​​​​​​"Heuristic techniques for large-scale scenarios of the cable-trench problem"
​​​​​​"Using a game to teach computational thinking and assess learning"
Register at the Computing Institute

twitter_icofacebook_ico