yusuke1997/dblp-id-title huggingface dataset:
Perspectivas do alinhamento estratégico entre negócios e tecnologia da informação em empresas de software do Porto Digital: um prisma de divergentes facetas
Estrutura eletronica de compostos de interesse biologico
Data classification in complex networks via pattern conformation, data importance and structural optimization
CMOS nanofluidics
A Lei de Acesso à Informação na Bahia: Cidadania e Eficácia Social
Reversibility for efficient computing
The Application of Digital Information and Communication Technologies in an English for Specific Purposes Course for the Legal Area (Uso de Tecnologias Digitais da Informação e Comunicação em um Curso de Inglês para Fins Específicos na Área Jurídica)
A utilização da química computacional em processos químicos relacionados à ionização por electrospray
Mineração de mídias sociais como ferramenta para a análise da tríade da persona virtual
Performance engineering of multicore software: developing a science of fast code for the post-Moore era
A design for a high-density focused ultrasound array addressing and driving system
Observer-based monitors and distributed wave controllers for electromechanical disturbances in power systems
Methods for engineering sub-2-cycle mode-locked lasers
Coherent control of polarized neutron interferometry
Statistical dependence estimation for object interaction and matching
Modelos de redes neurais baseados em entrada para calibrar a precipitação média de um sistema de previsão por conjuntos
Techniques for efficient radio frequency power conversion
High-energy sub-cycle optical waveform synthesizer
A trust model applyed to information technology management processes
Arquitetura neural cognitiva para controle inteligente de robôs móveis em labirintos dinâmicos
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída
Comprehensive inverse modeling for the study of carrier transport models in sub-50nm metal oxide semiconductor field-effect transistors
Discovering acyclic dependency relationships by evolutionary computation
Learning task-specific similarity
Anatomy-based modeling of human foot
TTOOL: modelo para planejamento pedagógico e instrumentalização de professores no processo de ensino-aprendizagem e avaliação em educação online
Automatic intrusion recovery with system-wide history
A rede social corporativa nos processos e nos modelos de negócios: um estudo sobre seus impactos
Geração procedural de ambientes virtuais semânticos
Identificação de relações de importância entre elementos de maturidade de alinhamento negócios-TI e tipos estratégicos
Mineração de opiniões baseada em aspectos para revisões de medicamentos
Infrastructure for model management and model diagnosis
Supermaneuverable perching
Uma contribuição a teoria dos codigos geometricamente uniformes hiperbolicos
Orquestração de técnicas e mecanismos de economia de energia consciente do desempenho das aplicações em nuvem (Performance-Aware Energy-Efficient Cloud Orchestration)
Simulator and location-aware routing protocol for mobile ad hoc acoustic networks of AUVs
Uso da geoestatistica e de recursos de geoprocessamento no diagnostico da degradação de um solo argiloso sob pastagem no estado de Mato Grosso
Universal semantic communication
Modelagem automática de cenas com iluminação local a partir de imagens
Desenvolvimento do modelo dinamico de estagios de não equilibrio e simulação de colunas de destilação convencional e extrativa
Técnicas de parsing para gramática livre de contexto lexicalizada da língua portuguesa
Reference tree networks: virtual machine and implementation
Programas computacionais como ferramentas socioculturais na formação inicial de professores de química: da aprendizagem de conceitos químicos à prática pedagógica
Scheduling algorithms for dependent tasks represented by directed acyclic graphs on computational grids
Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho
Point source optical propagation in a multiple scattering medium
Produção colaborativa e diálogo-problematizador mediados pelas tecnologias da informação e comunicação livres
The multiperiod cutting stock problem
TECNOLOGIA Assistiva e Computacional: Contribuições para O atendimento Educacional Especializado e Desafios Na formação de Professores
Characterization and shaping of ATM traffic flows in the user environment
Artificial markets and intelligent agents
A continuous-time multi-stage noise-shaping delta-sigma modulator for next generation wireless applications
Low cost accelerated simulation for application in nanoengineering materials
Secure Communication by Coherence Modulation at the Photon Counting Level
Efficient implementation of applicative languages
Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem
The Theory of Hospitality and the process of adoption of mobile and wireless information technologies (A Teoria da Hospitalidade e o processo de adoção de tecnologias da informação móveis e sem fio)
Bootstrap e mínimos quadrados generalizados com matriz de covariancia estimada
Empregando ciência cidadã para rotular polígonos de imagens segmentadas
Detecção de intrusos em redes de computadores com uso de códigos corretores de erros e medidas de informação
Deterministic approach to polarization mode dispersion
Enhancing spectrum utilization through cooperation and cognition in wireless systems
Interpolação de vistas em video utilizando malhas 3D adaptativas
Study and implementation of reconfigurable control structures applied to chemical processes
Tracking futsal players using particle filter and court plane coordenates
Concepção, desenvolvimento e avaliação de um sistema de ensino virtual
ELICERE: a process for defining dependability goals for critical computer system: case study apply to space area (ELICERE: o processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial)
Source code metrics tracking on free and open source projects
Um modelo para planejar, implementar e acompanhar a estratégia de CRM (Customer Relationship Management)
Simulation, analysis and computational characterization of fingering patterns in fluids displacement on porous media
Extensible Query Processing in an Object-Oriented Database
Optimization and Execution Techniques for Queries With Expensive Methods
Conceptual modeling for XML
File System Performance and Transaction Support
Ein schneller adaptiver Löser für elliptische Randwertaufgaben auf Seriell- und Parallelrechnern
Heterogeneous parallel computing
Nonclassicality and entanglement of optical fields and their application to quantum cryptography
Revisiting generalization for deep learning: PAC-Bayes, flat minima, and generative models
A pragmatic approach to the formal specification of interactive systems
Towards constructive specification transformation
Reliable file storage in a distributed computing system
A PROLOG based framework for combined simulation / knowledge based systems
Mobile code offloading for multiple resources
Future developments and trends in use of picture archiving and communication systems
Studies on the generalisation of Gaussian processes and Bayesian neural networks
Multi-species evolutionary algorithms for complex optimisation problems
Applications of neural networks to control systems
Artificial and crowd intelligence based recommender system framework
Classroom simulation for trainee teachers using 3D virtual environments and simulated smartbot student behaviours
Variational algorithms for approximate Bayesian inference
Networks, acts and artefacts: exploring actor network theory through letterboxing
Android malware detection using machine learning to mitigate adversarial evasion attacks
Pattern classification via unsupervised learners
Adaptive optimistic simulation of multi-agent systems
TempoMiner : towards mining time-oriented data
Distributed boosting algorithms
Agent-based resource management for IP networks
Terminology-based knowledge acquisition
Datapath and memory co-optimization for FPGA-based computation
Using existing DBMS functionality to implement improved security
Technology and the family car: situating media use in family life
Digital planning in the smart city: the transition towards digital urban planning in English local authorities
A Diagrammatic Formalism for the Modular Representation of Agent Interaction Protocols
Physics-informed machine learning: from concepts to real-world applications
Performance related decision support for process modelling
Authorization and antichains
Definitive programming : a paradigm for exploratory programming
Convolved Gaussian process priors for multivariate regression with applications to dynamical systems
Evolutionary algorithms with mixed strategy
Requirements Dilemma
An automatic distribution tool
Multi-hop wireless networks with network coding techniques
Implementing high-level parallelism on computational GRIDs
Practical interference mitigation for Wi-Fi systems
Loop Closing Detection in SLAM Using Scene Appearance
Impact analysis of enterprise resource planning post-implementation modifications
Analysis of the microbiome and host-transcriptome in psoriasis and atopic dermatitis
Abstract interpretation using domain theory
Existential Types for Variance - Java Wildcards and Ownership Types
Architectural patterns for Parallel Programming : models for performance estimation
Theory and modelling of wavelength tunable laser transmitters with enhanced tuning range and their modulation performance
Analysing crowd behaviours using mobile sensing
Enforcing role-based and category-based access control in Java: a hybrid approach
Design of robust asynchronous reconfigurable controllers for parallel synchronization using embedded graphs
Using interior point algorithms for the solution of linear programs with special structural features
Guaranteeing generalisation in neural networks
Convention emergence and destabilisation in multi-agent systems
A study of bisimulation theory for session types
Parallel processing in computer aided control system design
An association rule dynamics and classification approach to event detection and tracking in Twitter
Argumentation as a practical foundation for decision theory
Modeling security requirements for context aware system using UML
Models and simulation of blockchain systems
Software-implemented attack tolerance for critical information retrieval
An evaluation of user support strategies for managed learning in a multi user virtual environment
Multiple objective optimisation of data and control paths in a behavioural silicon compiler
The development of a novel suspension arm with 2-dimensional actuation, for use in advanced hard disk drives
Artificial life as a vehicle for anomalies detection on industrial control system: the behaviour of bird swarms and how it can be applied in ICS
Code generation and structured architectures
On computational ecosystems in media arts
Transform layered stochastic gradient-type adaptive filtering structures
Information processing in neural networks
What is an internet?: Norbert Wiener and the society of control
Exploiting timed coloured Petri nets in control and analysis of Graphplan
A dynamic interoperability model for an emergent middleware framework
A methodology for the development of embedded knowledge-based procedures
Secure channel free public key encryption with multiple keywords search
Privacy preserving search in large encrypted databases
Integrated process and control system design
A systems analysis of neural connectivity and functionality in Caenorhabditis elegans
Time optimal control methods arising from the study of overhead cranes
Object-oriented analysis and design of computational intelligence systems
Context-aware and adaptable eLearning systems
Motion-based interaction for head-mounted displays
Querying distributed heterogeneous structured and semi-structured data sources
Customer acceptance of electronic service delivery : : extending the technology acceptance model
Depth estimation from a single holoscopic 3D image and image up-sampling with deep-learning
Application of data processing by computer to surveying
Estimation of worst-case execution time using statistical analysis
Semantics-enriched workflow creation and management system with an application to document image analysis and recognition
Data representations in high-level programming languages
Hybrid tissue surface shape measurement and hyperspectral imaging using a multispectral structured lighting endoscope
Evaluating similarity-based visualisations as interfaces for image browsing
An early intervention model for quality assurance of the schema development process
Enhancing OSPF to provide adaptive traffic distribution with networks for improved QoS performance
Advances in the theory of channel simulation: from quantum communication to quantum sensing
Process-oriented tool support for user interface adaptation design
Negotiating socially optimal allocations of resources with argumentation
Tree-structured graphical models and image analysis
Intelligent agents-based networks security
The idea of a cognitive science
Models of visual attention in deep residual CNNs
A novel value analysis method for process network optimisation
Games for modal and temporal logics
Knowledge management in digital libraries
A natural language processing approach to generate SBVR and OCL
The detection and quantification of symmetry in 2D shape
Human-robot spatial interaction using probabilistic qualitative representations
Neural style transfer for images, videos and reliefs
Semantic mapping of road scenes
Schedulability analysis for the abort-and-restart model
Accent modelling and adaptation in automatic speech recognition
Polarized light field imaging for reflectance separation and transparent object acquisition
Combinations of time series forecasts : when and why are they beneficial?
Optimizing hardware granularity in parallel systems
Composite web search
A dynamically reconfigurable parallel pipelined system for real time image processing applications
Distrubuting entanglement for quantum computing
The classical simulation of noisy quantum computers: a polyhedral approach
Techniques of design optimisation for algorithms implemented in software
A study on reusing resources of speech synthesis for closely-related languages
Lexical database enrichment through semi-automated morphological analysis
Human interaction with digital ink : legibility measurement and structural analysis
Efficient algorithms for online learning over graphs
Program development in Æµc
Specialising dynamic techniques for implementing the Ruby programming language
Simulating interactions among multiple characters
Intelligent methods for pattern recognition and optimisation
Application of multipath routing for congestion control, load balancing and QoS provisioning in mobile ad hoc networks
Multimedia application support in open distributed systems
Multiple perspectives driven goal-oriented requirements elicitation
Contour-based shape description and analysis for shape retrieval and classification
Finding robust solutions against environmental changes
Adaptive information retrieval employing formal concept analysis
Action selection methods using reinforcement learning
A toolkit for model checking of electronic contracts
The geometry of implementation
Operating system design for distributed programming environments
Artificial intelligence and uncertainty in power system operation
An Odyssey with complexity and network science : from the brain to social organisation
Optimisation of a weightless neural network using particle swarms
The use of BCL in a list processing environment
Program transformation of embedded systems
Integrating adaptive services in grid resource brokering
Analogue imprecision in MLPs implications and learning improvements
Enhancing performance of conventional computer networks employing selected SDN principles
Assessing language lateralisation using functional transcranial Doppler sonography
Investigating the influence of natural variations in the quality of the visual image for visual and audiovisual speech recognition
The selection of rapid prototyping processes based on feature extraction from STL models
The representation of shape: understanding the role of symmetry in haptic and visual inputs
Weakly supervised learning of objects and attributes
Agile methodology implementation in Lebanon
Strengthening finite set constraint solvers through active use of problem structure, symmetries and cardinality restrictions
Equality in global commerce: towards a theory of justice in world trade law
Localisation for virtual environments
An IoT enabled system for marine data acquisition and cartography
Access point deployment optimisation in communication-based train control systems
Algorithm engineering : string processing
Computational tools for the processing and analysis of time-course metabolomic data
The effect of sedation on conscious processing : computational analysis of the EEG response to auditory irregularity
Norm awareness for virtual characters behaviour: a socio-cognitive approach
A structured approach to rapid simulation model development
Automatic discourse structure generation using rhetorical structure theory
Preference focussed many-objective evolutionary computation
Parameterisation of Markovian queueing models for IT systems
Coding techniques in lattice-based cryptography
Image clustering and Video Summarisation using ant-inspired methods
Study of an adaptive and multifunctional computational behaviour generation model for virtual creatures
Unsupervised ensemble learning and its application to temporal data clustering
CHERI: a RISC capability machine for practical memory safety
Spectrum sharing systems for improving spectral efficiency in cognitive cellular network
Magnetic field modelling of machine and multiple machine systems using dynamic reluctance mesh modelling
Quality of service routing for real-time traffic
Advancing user authentication and access management
Robust acoustic speech feature prediction from Mel frequency cepstral coefficients
The effect of program structure on program behaviour in virtual memory systems
Best response dynamics in simultaneous and sequential network design games
A distributed architecture for multimedia communication systems
"Moments to talk about": designing for the eudaimonic gameplay experience
Building the Arabic learner corpus and a system for Arabic error annotation
Sociality, community and productivity in Virtual Citizen Science
Bayesian learning for multi-agent coordination
Fuzzy interpolation and its adaptation
Some engineering applications of digital computation
Aspects of computer network security
Trust evaluation in the IoT environment
Semi-automated co-reference identification in digital humanities collections
Mapping of support vector machines on field programmable gate arrays
Interpreted dependency networks : a general framework for belief revision
An exploration of graph algorithms and graph databases
Beyond the pixels: learning and utilising video compression features for localisation of digital tampering
The formal semantics of deterministic dataflow programs
Multi-objective optimisation using sharing in swarm optimisation algorithms
The time-course and quality of ideation: singular tasks, sequential tasks and support for well-formed ideas
Efficient streaming for high fidelity imaging
Theoretical and empirical evaluation of diversity-preserving mechanisms in evolutionary algorithms: on the rigorous runtime analysis of diversity-preserving mechanisms in evolutionary algorithms
Hang on a minute : a Bourdieusian perspective on Enterprise 2.0
Individual recognition from low quality and occluded images and videos using GAN
Compact information technology enabled systems for intelligent process monitoring
The effects of crosslinking byproducts on the electrical properties of low density polyethylene
Performance evaluation of virtualization with cloud computing
Face recognition enhancement through the use of depth maps and deep learning
Adversarial thresholding semi-bandits
Energy and performance aware resource management in heterogeneous cloud datacenters
Visual-only person and word recognition: from lip motion dynamics
Single-handed interaction techniques for mobile and wearable computing
UML Qos profile exploration for the specifications of a generic QoS metamodel for designing and developing good quality web services
Towards an adaptive computer-assisted learning system
Systematic techniques for language processing
A Digital System Design Language
Voice source cepstrum processing for speaker identification
Architectural Reasoning for Safety Critical Software Applications
An improved uncertainty in multi-criteria decision making model based on type-2 fuzzy TOPSIS
Mixability and predictive complexity
Semantic methods for functional hybrid modelling
A graphics design system for artists
A general purpose parallel computer
Enhancing recommendations in specialist search through semantic-based techniques and multiple resources
Model indexing using parametrised features
A compiled functional language with a Martin-Lof type system
Adaptive hypermedia, learning styles and strategies within the educational paradigm
Transformation techniques in data mining
A semiotic approach to the use of metaphor in human-computer interfaces
Induction and coinduction schemes in category theory
The IT performance in Saudi Arabian hospitals
Intelligent facial expression recognition with unsupervised facial point detection and evolutionary feature optimization
Support logic programming and its implementation in Prolog
Modelling and testing the definitions of teleworking within a local council environment
Moving beyond parallel data for neutral machine translation
Compensation for distortion in the imaging process for 3-D surfaces
Phase relationships in stereoscopic computation
Message passing: how software engineers use talk
Model translation : a UML-based specification technique and active implementation approach
Improving performance of P2P networks through semantic topological adaptation
Body image: representation and constraints on measurement in real and virtual worlds
Modelling artificial stimulation and response in peripheral nerves including ephaptic interactions
Application of formal methods to digital system design
Higher-level hardware synthesis
An evaluative framework to measure the maturity of Free/Open Source Software (F/OSS) from user perspectives
Geometric and probabilistic methods for non-Euclidean image analysis
A framework for hierarchical time-oriented data visualisation
The centralization of scientific computation in Britain, 1925-1955
The crossroads of categorical algebra and game semantics: an investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages
A guidance control strategy for an unmanned submersible
Circuit-level modelling and simulation of carbon nanotube devices
Analysing the content of Web 2.0 documents by using a hybrid approach
3D digital relief generation
Modification and design of non-linear system behaviour using fuzzy logic and describing function methods
A practical framework for training sigma-pi neural networks with an application in rotation invariant pattern recognition
Controlling beyond high definition media in future networks
Thematic indexing in video databases
Deep binary representation learning for single/cross-modal data retrieval
Provenance-based data traceability model and policy enforcement framework for cloud services
Experimental evaluation of a CPU live migration on ARM based bare metal instances
Large scale retinal modeling for the design of new generation retinal prostheses
Access control scheme for delay/disruption tolerant networks (DTNs)
A comprehensive and flexible methodology for the development of effective database systems
Analysis of hand-over-face gestures in natural expressions
Achieving policy driven auto-adaptive behaviour using dynamic framed aspects
Informed selection and use of training examples for knowledge refinement
A vision-based approach for assisting functional assessment involving activities of daily living