yusuke1997/dblp-id-title huggingface dataset:
Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi
Planejamento estratégico, gestão do conhecimento e inteligência de negócios: proposição de um modelo de aplicação à sucessão de empresas juniores
An AUV Systems Model Predictive Control Approach
A dependability framework for WSN-based aquatic monitoring systems
Collision Avoidance on Unmanned Aerial Vehicles using Deep Neural Networks
Recriar espaços e ambientes de aprendizagem : uma nova perspectiva sobre as comunidades virtuais de aprendizagem para jovens
The GOALS approach: business and software modeling traceability by means of human-computer interaction: enterprise modeling language and method
An Evaluation Framework for Safe Cooperative Vehicle Platooning
Positioning Systems for Underground Tunnel Environments
New Models of Reliability in the New Generation of Internet of Things
Efficient adaptive query processing on large database systems available in the cloud environment
Gerir conhecimento em centros de investigação: barreiras/facilitadores
Síntese de imagem: controlo progressivo do nível de realismo e arquitecturas paralelas
Ontologias com suporte em metadados para interoperabilidade entre arquitetura empresarial e business intelligence
Sistema de informação e simulação para o ensino do marketing electrónico
Perceptions of quality in e-learning: a case study
Expressividade emocional em comunicação mediada por computador
Weighted coupled cell networks and invariant synchrony patterns
Power Sharing for a Multi-Source Low-Voltage Urban Microgrid
Dynamic end-to-end reliable causal delivery middleware for geo-replicated services
Numerical surgery: Modeling, simulation and visualization in real time
Rapid prototyping of ubiquitous computing environments
Weighted computations: semantics and program logics
Automatic information and safety systems for driving assistance
Embedded-systems-oriented virtualization framework with functionality farming
Interactive acquisition of spatial information from images for multimedia applications
Framework for the development of successful web 2.0 tools and application
Navigation system based in motion tracking sensor for percutaneous renal access
Encaminhamento diferenciado para comunicações em grupo com requisitos de qualidade de serviço
Resilience in the Internet of Things for Smart City Applications
Intelligent support system for CVA diagnosis by cerebral computerized tomography
Steps towards interoperability in healthcare environment
Smart power conditioners for electric railway power grids
Data-centric artificial intelligence in the context of computer vision
Adoção e difusão de aplicações das tecnologias da informação: iniciativas lançadas no âmbito de processos de implantação de aplicações em organizações - estudo de práticas profissionais e proposta de ferramenta de suporte
Novas funcionalidades para dispositivos médicos invasivos com imagem
Hybrid methods based on optimization and machine learning in engineering
Transição de Portugal para uma sociedade em rede: estudo das desigualdades de acesso à informação, 1997-2012
Sincronização extremo-a-extremo para serviços com restrições de tempo-real suportados na rede digital integrada de banda larga
Imagética contemporânea e pós-imagem : a marca do software e o uso de ferramentas borderline no caso uturn
Learning Biosignals with Deep Learning
E-generation: especificação de uma arquitectura para intranets educacionais baseada em agentes
Artefacto sopro: um quase-medium: a condição da interface tecnológica nas práticas artísticas interativas
Anotação estrutural de documentos e sua semântica : especificação da sintaxe, semântica e estilo para documentos
Experimental validation of microgrids: exploiting the role of plug-in electric vehicles, active load control and micro-generation units
Metalearning for multiple-domain Transfer Learning
Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Sistemas isolados com produção eólica : Controlo e segurança com redes neuronais
Uncertainty and incompleteness handling in context-aware systems
An uncertainty prediction approach for active learning - application to earth observation
Readout circuit for time-based automotive sensors
An agile and adaptive holonic architecture for manufacturing control
GPS-independent Localization for Road Vehicles using Cooperation and Magnetic Anomalies
A construção da identidade em ambientes digitais: estudo de caso sobre a construção da identidade online no Sapo Campus e em ambientes informais
Natural language generation in the context of multimodal interaction in Portuguese : Data-to-text based in automatic translation
Mecanismos de checkpointing para aplicações paralelas de cálculo científico
System for automated motion analysis during gait using an RGB-D camera
Reconfigurable Custom Computing for Population-Based Optimization Metaheuristics: Accelerating Genetic Algorithms with FPGAs
Learning coordination in multi-agent systems
Context aware Sensor Networks
Planning search missions using a small size AUV
Modelo de orientação de cegos baseado em visão por computador e informação contextual
Lightweight trustworthy high-level software design
Large-scale Geo-referenced Sensing Using Personal Mobile Devices
Context-based Human-Machine Interaction Framework for Arti ficial Social Companions
From Human Motor Control to Human-like Motion in Robotics: planning, learning and controlling manipulation in Anthropomorphic Robotic Systems
DSL based Automatic Generation of Q&A Systems
Large-scale Simulation of Vehicular Ad Hoc Networks
Gamificação no ensino superior online
Spectrum-Based Fault Diagnosis in Multi-Agent Systems
Inteligência de negócios aplicada: a proposta de um modelo para gestão de recebíveis de empreendimentos imobiliários baseada em dados
Expectativas de agentes policiais sobre Big Data no sistema de policiamento e investigação criminal em Portugal
Production control system for Lean and agile processes
Design para a interação periférica no contexto móvel
Digital window: an opening between domestic spatially and digital information
Scalable adaptive collaborative filtering
Métodos de tratamento digital de imagem: aplicação no arquivo, processamento e análise de imagens de oftalmologia
Toward robots as socially aware partners in human-robot interactive tasks
Trade-offs between privacy and efficiency on databases
Detection of vulnerabilities and automatic protection for web applications
MIMO transmission for 4G wireless communications
Sistema de predição de avarias em máquinas de unidades fabris globalmente dispersas
Analog/Mixed Signal Circuit Design with Transparent Oxide Semiconductor Thin-Film Transistors
Parâmetros de Adoção de Tecnologias de E-Learning no Ensino Superior: Um Estudo de Caso
FastGraph - unsupervised location and mapping in wireless networks
TVCOMmunity: arquiteturas, avaliação, contextos educativos
Authentication of Amadeo de Souza-Cardoso Paintings and Drawings With Deep Learning
Advanced functionalities for the future Smart Secondary Substation
Linear Logic and Coordination for Parallel Programming
Database replication for enterprise applications
Development and validation of a TRM-based strengthening solution for masonry resorting to natural fibers and environmentally friendly surface modifications
Robust Perception System for Autonomous Precise Landing of UAVs in Offshore Wind Farms
Dynamic inductive wireless power transfer for lightweight electric vehicles
User-level software-defined storage data planes
Gestão da informação e do conhecimento e capital intelectual em redes de pequenas e médias empresas
Tensor-based Event Detection
Towards Efficient Mobile IoT with Heterogeneous Networks
Para uma herança cultural significante: uma intervenção do ponto de vista do design
Reverse engineering of web applications
Cyber vulnerabilities in the aviation ecosystem: reducing the attack surface through an international aviation trust framework
Controlo e cooperação de robôs móveis autónomos omnidireccionais
Application-driven Wireless Sensor Networks
Coprodução de interfaces tecnopolíticas: hacking cívico para o desenvolvimento local em Lisboa
Obtenção de informação numa estrutura de cooperação interorganizacional: um estudo na rede PME inovação COTEC em Portugal
Especificação normativa de agentes institucionais e da interacção entre agentes
Uma experiência em e-learning local e a distância numa escola de formação inicial de professores de Química em Angola
Safety verification for ROS software
M3L: exploring synergies between metabolic modelling and machine learning for studying plants
A robotic gripper for handling non-rigid products
Artificial intelligence collaborative robot for patient-specific laser treatment of vascular lesions
HPC management and engineering in the hybrid cloud
Multi-cue visual tracking for human-robot interaction
Visible light communication based indoor localization
Real-time Limited Preemptive Scheduling
Machine learning algorithms and organs-on-chips as new technologies for the modeling of human cardiac toxicity and disease
Beyond distributed transactions through exactly-once exchanges
Sistemas de apoio à participação pública : um modelo de escrita em colaboração
Information systems and quality management systems: researching lifecycle synergies
Multicast Routing Protocols for Mobile AdHoc NETworks
Energyware engineering: techniques and tools for green software development
Bridging Vision and Language over Time with Neural Cross-modal Embeddings
O GIF Animado como facilitador das narrativas visuais do jornalismo digital e da cultura participativa
Secure and safe virtualization-based framework for embedded systems development
Business and technology integrated management
Comunicação humano-robô através de linguagem falada
Improved humanoid gait using learning-based analysis of a new wearable 3D force system
Trabalho Conjunto em Ambientes Complexos
Numerical simulations on heterogeneous systems: dynamic workload and power management
Development of an intelligent computer vision system for identification, characterization and analysis of yarn quality
Articulation in multimodal silent speech interface for European Portuguese
A long term goal recommender approach for learning environments
Towards certified program logics for the verification of imperative programs
Estudos de simulação assistidos por computador : desenvolvimento e teste de estratégias integradas a evaporadores de duplo efeito
Aquisição e processamento de informação tridimensional
AI-Enhanced Indoor Localization System for Autonomous Mobile Robots
Architectural reconfiguration of interacting services
Decision making behaviour in team sports : informational constraints and the dynamics of interpersonal coordination in rugby union
A New Probabilistic Methodology to Support an Emotive Dialog Between a Human and a Robot
Design of neuro-fuzzy models by evolutionary and gradient-based algorithms
Detecção de erros com base no comportamento
Desenvolvimento de sistemas de carregamento bidirecionais para veículos elétricos com novos modos de operação para Smart Grids
Erro em imagiologia médica
Negotiation in group decision support systems - An approach based in argumentation and satisfaction
Energy- efficient and SLA-based management of IaaS Cloud Data Centers
Organisational transactions with embedded control
Gestão digital da propriedade intelectual de conhecimento científico e educacional
Compressive Classification: Analysis Designs and Geometrical Interpretation
Adoção e sucesso de sistemas de informação integrados (ERP)
Luminescent smart labels for the new generation of optical sensing and Internet of Things
Comunicação educativa no ensino de ciências naturais na educação infantil: um estudo no curso de formação inicial de professores
Robust distributed data aggregation
The principles of insect navigation applied to flying and roving robots: from vision to olfaction
Computing Aggregate Quantities in Large-Scale and Dense Sensor Networks
Studies on the impact of assistive communication devices on the quality of life of patients with amyotrophic lateral sclerosis
Sistemas Inteligentes para Medição da Pressão Intra-abdominal
Collaborative knowledge representation processes and techniques to support domain experts in conceptual modeling
Massive Scale Streaming Graphs: Evolving Network Analysis and Mining
Advancing the design and implementation of Big Data Warehousing Systems
O impacto da utilização de sistemas inteligentes na mitigação das causas de insucesso das alianças estratégicas em Portugal
DeepRetro: a computational framework for retrosynthesis and pathway design towards optimizing compound bioproduction
Dependability Evaluation of Wireless Visual Sensor Networks
Hybrid Legged-Wheeled Locomotion System for Robotic Vehicles
Framework for collaborative knowledge management in organizations
HAL-ASOS - hardware assisted Linux for application specific operating system
Resource discovery for arbitrary scale systems
Design, implementation and evaluation of model-driven spreadsheets
Sistema de conceitos para actividades de intervenção de sistemas de informação
A relational approach to bidirectional transformation
On the formal verification of specifications based on typestates with access permissions
Complex networks and data mining: toward a new perspective for the understanding of complex systems
Towards a transactional and analytical data management system for Big Data
Low-pressure resonant MEMS accelerometers for automotive applications
Integrating dataflow and non-dataflow real-time application models on multi-core platforms
Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning
Knowledge management framework based on brain models and human physiology
Source-to-source Programmable Performance Engineering For High-Performance Computing
Contribuições para a localização e mapeamento em robótica através da identificação visual de lugares
Spectrum-based Diagnosis for Run-time Systems
Application of data mining techniques to jet grouting columns design
Facial video based physiological variables estimation in dark environments
Network Coding Protocols with Delay and Energy Constraints
Towards a Transactional and Analytical Data Management System for Big Data
AFRANCI: multi-layer architecture for cognitive agents
Regressão com redes neuronais e máquinas de vectores de suporte aplicada à estimação do peso fetal
Broadcast cancellation in unstructured networks
2MPspe: um modelo de melhoria do processo de desenvolvimento de software para pequenas empresas
Argumentation mining from text using semantic approaches
Real-Time Scheduling on Heterogeneous Multiprocessors
Highly reconfigurable smart component system
Optimizing Energy Efficiency for Train Operation Constrained to Scheduling
Image processing for displacement measurements
Novos colonos: comunicação, representação e apropriação do espaço em mundos virtuais online : a comunidade portuguesa em Second Life
Improving industry 4.0 through service science: a framework to the portuguese ornamental stone sector in BIM procurement contex
Democracia, participação e sociedade da informação: saliência da participação e da democracia nos documentos das políticas públicas globais para a sociedade da informação, na União Europeia e nos Estados Membros, de 1994 a 2000
Sustainable modular IoT solution for smart cities applications supported by machine learning algorithms
Matrices as arrows: why categories of matrices matter
Multimodal perception for robotics in forestry operations
Relational databases digital preservation
Gestão do conhecimento nas bibliotecas técnico-acadêmicas: proposta de modelo a partir de um estudo de caso no Brasil
Moving Path Following Control System for Fixed-Wing Unmanned Aerial Vehicles
Distributed and interactive solutions for ubiquitous telemedicine
Integrated Verification of Cryptographic Security Proofs and Implementations
Using predictive and descriptive cognitive models for evaluation of interactive computing systems
Beyond the artefact and techno-centricity: towards process-centric understanding of architecture - alternative facilitation strategies and proposals
Towards trustworthy TrustZone-assisted TEEs
Contributions on Deep Transfer Learning
Nova topologia de conversor bidirecional unificado para sistema de tração e carregamento de baterias em veículos elétricos
Semantics of multiple inheritance with exceptions in hierarchically structured logic theories
Hotel revenue management: using data science to predict booking cancellations
Requirements change management based on web usage mining
Integration of different radio access technologies for vehicular connectivity
Framework para os fatores críticos de sucesso na adoção de sistemas de e-learning 3.0
Automated Macular Edema Detection and Segmentation in Optical Coherence Tomography Using Deep Learning
Network Coding for Cooperation in Dynamic Wireless Networks
Pattern Recognition in Pigmented Skin Lesion Images using Ensemble Methods
Student-Centered Learning Environment for Self-Regulated Project-Based Learning in Higher Education
Affective robotics for socio-emotional development in children with autism spectrum disorders
The brushstroke and materials of Amadeo de Souza-Cardoso combined in an authentication tool
O ensino e a aprendizagem da Química e da Bioquímica no ensino superior apoiado nas novas tecnologias da informação e da comunicação
Implementierungskonzepte für Non-Standard-Datenbanksysteme
Glue: A Deductive Database Programming Language
Programming Data Structures in Logic
Quantization Design for Structured Overcomplete Expansions
Pointer Swizzling Techniques for Object-Oriented Database Systems
Concurrent data structures : methodologies and inherent limitations
Graph-Theoretic Problems from the Viewpoint of Formal Methods (כותר נוסף בעברית: בעיות בתורת הגרפים מנקודת המבט של אימות פורמלי)
Network intrusion prevention systems : signature-based and anomaly detection (עם תקציר בעברית ושער נוסף: מערכות למניעת חדירות לרשת.)
Breaking Barriers for the Satisfiability and Coloring Problems
Aspects of Opinion aggregation : and its Application to Elections, Cryptocurrency, and Graphical Models (כותר נוסף בעברית: היבטים בצבירת דעות : ויישומם בבחירות, במטבעות מבוזרים ובמודלים גרפיים)
On the formula complexity of simple Boolean functions (על סבוכיות הנסחא של פונקציות בוליאניות פשוטות.)
Bridging the gap : Byzantine faults and self-stabilization (עם תקציר בעברית ושער נוסף: שילוב של שגיאות ביזנטיות עם התייצבות עצמית.; Byzantine faults and self-stabilization.)
Multiagent learning systems (למידה בסביבות מרובות סוכנים.)
השפעת הוראה מונחית תבניות במדעי המחשב על מיומנויות בפתרון בעיות אלגוריתמיות
Customizable Information Network Analysis
ניתוח תחבירי מכני של משפט בעברית (A mechanical algorithm for finding the syntactic structure of a Hebrew sentence)
Multicast communication for high availability (ניצול תקשורת מרובת-יעדים להגברת הזמינות במערכת מבוזרת.; נצול תקשרת מרבת-יעדים להגברת הזמינות במערכת מבזרת)
Algorithmic Game Theory and Graphs
Information and communication in mechanism design (אינפורמציה ותקשורת בתכנון מנגנונים.)
Dynamic management of jobs in grids (ניהול קבוצות תהליכים בסריג חישובי.)
Frugal Counting
Linear automata: approximation and extension problems
Similarity search in metric databases
The Complexity of Database Inconsistency Measures
On stability in statistical machine learning (עם תקציר בעברית ושער נוסף: על יציבות בלמידה חישובית סטטיסטית.)
Tracking Viruses in 3D Images across Time using Deep Neural Networks
A game theoretic approach to communication protocols (עם תקציר בעברית, תכן ושער נוסף: ניתוח ותכנון פרוטוקטלי תקשורת בעזרת תורת המשחקים.)
Anytime algorithms for learning anytime classifiers
Probabilistic Models in Genetics
Mechanisms for automated negotiation among autonomous agents (מנגנונים למשא ומתן אוטומטי בין סוכנים עצמאים.)
Nets and processes
Deep Learning Methods for Applications Driven by Visual and Textual Content
Phase Transitions in Random Simplicial Complexes (כותר נוסף בעברית: מעברי פאזה בקומפלקסים סימפליציאליים מקריים)
Exploration and analysis of high-dimensional visual feature space
Lock-free synchronization and coordination
Derandomization, hard functions, and average-case complexity (דה-רנדומיזציה, פונקציות קשות וסיבוכיות ממוצעת.)
Modular development of typed unification grammars: a mathematical and computational infrastracture for grammar engineering
Computational aspects of molecular evolution
שיטה נומרית חדשה לפתרון בעית המגע של תורת הגמישות (The new numerical solution for contact problem of the theory of elasticity.)
Bargaining sets for cooperative games without side payments. (קבוצות מקוח עבור משחקים שתופיים בלי תשלומי צד.)
A Semantic Structural Approach to Text Simplification (כותר נוסף בעברית: גישה סמנטית מבנית לפישוט טקסט)
Post-Quantum Resettably-Sound Zero-Knowledge
Novel relations between transcript features and gene expression: systems biology, computational models, and computational synthetic biology
Virtual reality for diagnostic assessment of schizophrenia deficits (מציאות מדומה עבור הערכה אבחונית של הפרעות בסכיזופרניה.)
Data Provenance for Non-Experts
Learning methods for modeling high-dimensional distributions
Public keys and private keys in quantum cryptography (מפתחות פומביים ומפתחות פרטיים בקריפטוגרפיה קוונטית.)
On representation, deformation and approximation of discrete surfaces
Adaptive Monte Carlo methods for Bayesian inference
Lower bounds on the sizes of constant weight error correcting codes
Communication-efficient Algorithms for Distributed Stream Mining
פתרונות חיובים עבור משוואות אליפטיות מסדר שני (Positive solutions of second order elliptic equations.)
Holographic ROM and dynamic VLSI circuits reconfiguration for parallel computer architecture (זכרון הולוגרפי לשנויים דינמיים במעגלים מכללים.)
Alleviating virtualization bottlenecks
Egocentric Video Analysis (שער נוסף בעברית: ניתוח וידאו ממצלמות ראש.)
Fault tolerance in small neuronal networks (סבולת שגיאה ברשתות נוירונים קטנות)
Efficient genetic linkage computations for general pedigrees
על הבעיה הוריאציונית הלא מקומית
Exploitation of electromagnetic properties for medical diagnostic (עם תקציר בעברית ושער נוסף: ניצול תכונות של קרינה אלקטרומגנטית לאבחון רפואי.)
Topics in Representation Learning
Topics in property testing
Quadratic dynamical systems and theoretical aspects of genetic algorithms (מערכות דינמיות רבועיות והבטים תיאורטיים של אלגוריתמים גנטיים.)
Probabilistic analyses of interpolation in computer vision (נתוח הסתברותי של אינטרפולציה בעבוד תמונות.)
Computational voting theory, algorithmic game theory and the connections between them (עם תקציר בעברית ושער נוסף: תורת הבחירות החישוביות, תורת המשחקים האלגוריתמית והקשרים ביניהן.)
Robust and Interpretable Machine Reasoning Over Text
Topics in private information retrieval
Representation learning theory (שער נוסף בעברית: תורת למידת הייצוג‏)
Geometry in Numerical Algorithms
Teachers' training in personalized ubiquitous educational environments
Mining large-scale genomic and proteomic data : algorithms, tools and inference (כריית מידע גנומי ופרוטאומי.)
A system toproduce CAI courses from logically structured educational material
Leveraging Machine Learning Algorithms in Online Portfolio Selection
Relaxed multi-commodity flow and its application to the design of approximation algorithms
Subspace codes and distributed storage codes
Parallel repetition theorems for games on expanders and related problems
Statistical and computational methods for studying genomic spatial structure and properties
Architectures for fault-tolerant middleware services
Dynamicity and Multi-Commodity in Networks
Overcomplete dictionaries for sparse representation of signals
הפרוק של מטריצה סימטרית ושימושים באופטימיזציה לא לינארית (The decomposition of a symmetric matrix and applications in nonlinear optimization.)
Scheduling and load balancing
Lower bounds and structural results in property testing of dense combinatorial structures
Mathematical modeling and numerical simulation of controlled drug release (שער נוסף בעברית: מודלים מתמטיים והדמיה נומרית לשחרור מבוקר של תרופות.)
Resource Placement in Cloud Computing and Network Applications
Machine learning algorithms and robustness
Efficient Monitoring of Distributed Data Streams
Intersection graphs of paths on a grid
Robust algorithms and data structures for information retrieval (אלגוריתמים ומבני נתונים עמידים לשליפת נתונים.)