yusuke1997/dblp-id-title huggingface dataset:
Why and How in the ElipSys OR-parallel CLP System
Distributed Implementation of Programmed Graph Reduction
POMP or How to Design a Massively Parallel Machine with Small Developments
Parallel Complexity in the Design and Analysis on Conurrent Systems
Static Communications in Parallel Scientific Propgrams
SYMPATIX: a SIMD computer performing the low and intermediate levels of image processing
The Lady Programming Environment For Distributed Operating Systems
Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction
GTS: Extracting Full Parallelism Out of DO Loops
Bypass Strategy in Hypercube Multiprocessors by adding Bus Connections
An Improvement in the Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentration Networks
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor
Practical Parallelism using Transputer Arrays
SIMCDL: Simulating Parallel Programming in a Sequential Environment
Exploiting Parallelism in Primitive Operations on Bulk Data Types
Rewriting: An Effective Model of Concurrency
Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU
Pythagoras Project Overview (EP7091)
A Dynamic Algorithm for Online Scheduling of Parallel Processes
Cyclic Weighted Reference Counting without Delay
Garbage Collection in a Distributed Environment
A Goal-Oriented Approach for Mitigating Security and Continuity Risks
Resource Bound Safety in Grid Computing
Why Johnny Can Hack: The Mismatch between Vulnerabilities and Security Protection Standards
Safe Java Native Interface
A Formal Framework for Secure Design and Constraint Checking in UML
Measurement to Support Secure Software Engineering
Simplifying Client-Server Application Development with Secure Reusable Components
Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations
Information Flow Control for Java Based on Path Conditions in Dependence Graphs
Developing Secure Web-Based Applications
A Classification of SQL Injection Attacks and Countermeasures
A Methodical Defense against TOCTTOU Attacks: The EDGI Approach
Using Code Normalization for Fighting Self-Mutating Malware
Two Demonstrations of Economical EAL5+ Development for Tokeneer
Engineering the Tokeneer Enclave Protection Software
2006 IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Arlington, VA, USA, March 16 -17, 2006
Using SPARK-Ada to Model and Verify a MILS Message Router
Dynamic Intransitive Noninterference
UML-Based Modeling and Formal Verification of Authentication Protocols
Using Common Criteria Methodology to Express Informal Security Requirements
An educational intervention for inclusion of deaf students in computing
Proceedings of the XVI Congress of Latin American Women in Computing 2024 (LAWCC 2024) co-located with L Latin American Computer Conference (CLEI 2024), Bahía Blanca, Argentina, August 14, 2024
Proceedings of the XIII Congress of Latin American Women in Computing 2021 (LAWCC 2021) co-located with XLVII Latin American Computer Conference (CLEI 2021), San José, Costa Rica, October 28, 2021
International mobility for enhancing leadership in women engineering students: a case study connecting Colombia and Spain
Participation of university women under regulations and strategies promoting gender equity in STEM/ICT careers in El Salvador
A scientific research overview at the Brazilian Computer Society Congress: a feminine perspective
Adaptation and application of the QSTEMHE questionnaire on gender stereotypes in STEM studies to the Brazilian context
Code Huntresses: promoting gender equity in ICTs
Mobile application as a technological alternative for the inclusion of women in STEM areas: UTN Case Study
Proceedings of the XV Congress of Latin American Women in Computing 2023 (LAWCC 2023) co-located with XLIX Latin American Computer Conference (CLEI 2023), La Paz, Bolivia, October 18-19, 2023
University student dropout prediction for female students in the Computer Engineering career
Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges
Experience in the creation of the JUMI community: Achievement after two years
Challenging the gender gap in STEM with Python and Data Science: case of the National Technical University de Costa Rica
First steps towards gender equity in engineering at Universidad EAFIT in Colombia
The first experiences of the UNA STEM network
Computing for girls in elementary school in Brazil: A mapping of literature
The Brazilian professional, scientific, and technological education system as an instrument for promoting gender equality in computing
A Literature Mapping of the Congress of Latin American Women in Computing (LAWCC) Papers
Results of playful STEM-promotion: Software engineering career: Universidad Técnica Nacional, in 2022
An analysis of the reproduction of gender bias in the speech of Alexa virtual assistant
Niñas Pro: an initiative to educate, inspire and empower women
Analysis of the perception of security at the Concepción campus of Universidad del Bío-Bío
Perceptions of the gender gap in higher education and how to improve female students' integration: A case study in two engineering majors of UTPL
Mapeamento de Iniciativas Brasileiras em STEM no Instagram: Uma Discussão Metodológica
Gender gap perception of computer science students in Costa Rica: a case study in two public universities
Occupational inheritance and the decision for a university career: a study on women IT professionals in Peru
Women's computer science entrepreneurship: case study UTPL
Analysis of the inclusion of female students in STEM/ICT majors at the Gerardo Barrios University of El Salvador: a gender perspective
How and why teach computer science from a gender perspective in schools?
ProgramADAmente: educational and social platform to bring programming closer to girls and teenage girls
Promotion of research: A cornerstone of the Latin American open chair Matilda and the women in engineering
Learning Based on typhlotechnology through the STEAM methodology
Importance of STEM areas and education in the department of La Paz
Analysis of the professional development level of participants of the TecnoGirls project at the Gerardo Barrios University of El Salvador
STEM females Ecuador, initiative, and the labor scenery
GoGirls: gender equity integrated into digital literacy
Hack4women: In search of a framework
An experience on virtual hands-on workshops to bring teenage girls to Computer Science in Uruguay
Initiatives to Reduce the Gender Gap in Senior Management: Actions Developed by Organizations in Chile
Analysis of women's participation in STEM careers preand post- pandemic COVID - 19
Mobility-based anomaly detection in cellular mobile networks
Proceedings of the 2004 ACM Workshop on Wireless Security, Philadelphia, PA, USA, October 1, 2004
Integrity regions: authentication through presence in wireless networks
Using uncertainty in reputation methods to enforce cooperation in ad-hoc networks
Location dependent key management using random key-predistribution in sensor networks
Using signal processing to analyze wireless data traffic
Impact of paging channel overloads or attacks on a cellular network
An authentication framework for hierarchical ad hoc sensor networks
Secure data transmission in mobile ad hoc networks
Efficient key establishment for group-based wireless sensor deployments
RFID: security and privacy for five-cent wireless devices
Traffic analysis-based unlinkability measure for IEEE 802.11b-based communication systems
Proactive security for mobile messaging networks
SeRLoc: secure range-independent localization for wireless sensor networks
Analysis of the 802.11i 4-way handshake
Privacy enhanced cellular access security
Security considerations for IEEE 802.15.4 networks
Group-based key pre-distribution in wireless sensor networks
Alert aggregation in mobile ad hoc networks
The security of vehicular networks
Channel surfing and spatial retreats: defenses against wireless denial of service
SCUBA: Secure Code Update By Attestation in sensor networks
On the security of wireless network access with enhancements
A framework for MAC protocol misbehavior detection in wireless networks
Low-cost attacks against packet delivery, localization and time synchronization services in under-water sensor networks
Proceedings of the 2002 ACM Workshop on Wireless Security, Atlanta, GA, USA, September 28, 2002
On securely enabling intermediary-based services and performance enhancements for wireless mobile users
Performance analysis of elliptic curve cryptography for SSL
Rushing attacks and defense in wireless ad hoc network routing protocols
Location privacy in wireless personal area networks
An on-demand secure routing protocol resilient to byzantine failures
RFID security and privacy concerns
Securing wireless systems via lower layer enforcements
A distributed monitoring mechanism for wireless sensor networks
Wireless LAN location-sensing for security applications
Proceedings of the 2005 ACM Workshop on Wireless Security, Cologne, Germany, September 2, 2005
Strengthening EPC tags against cloning
DoS and authentication in wireless public access networks
Self-organized network-layer security in mobile ad hoc networks
A framework for wireless LAN monitoring and its applications
ESCORT: a decentralized and localized access control system for mobile wireless access to secured domains
Securing IPv6 neighbor and router discovery
Secure time synchronization service for sensor networks
Hotspot-based traceback for mobile ad hoc networks
Secure verification of location claims
JANUS: towards robust and malicious resilient routing in hybrid wireless networks
BISS: building secure routing out of an incomplete set of security associations
Modeling Ad-hoc rushing attack in a negligibility-based security framework
Proceedings of the 2006 ACM Workshop on Wireless Security, Los Angeles, California, USA, September 29, 2006
Fully self-organized peer-to-peer key management for mobile ad hoc networks
A man-in-the-middle attack on UMTS
Visualization of wormholes in sensor networks
Proceedings of the 2003 ACM Workshop on Wireless Security, San Diego, CA, USA, September 19, 2003
Securing ad hoc routing protocols
Detecting identity-based attacks in wireless networks using signalprints
Trust evaluation in ad-hoc networks
Secure wireless gateway
Modeling epidemic spreading in mobile environments
Survivable mobile wireless networks: issues, challenges, and research directions
Content Representation and Similarity of Movies based on Topic Extraction from Subtitles
An AZP-ACO Method for Region-Building
A Novel Updating Scheme for Probabilistic Latent Semantic Indexing
Event Recognition for Unobtrusive Assisted Living
Speech/Music Discrimination Based on Discrete Wavelet Transform
Towards Better Prioritization of Epigenetically Modified DNA Regions
Artificial Intelligence: Theories, Models and Applications, 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings
A Neural NLP toolkit for Greek
Mining Free-Text Medical Notes for Suicide Risk Assessment
Generating Recommendations by Graph Traversal in Social Rating Networks
Game theoretic optimal position computation of collaborating agents for visual area coverage
Artificial Intelligence as Evidence in Criminal Trial
Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings
Semi-Automated Annotation of Phasic Electromyographic Activity
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
Combining Clustering and Classification for Software Quality Evaluation
Self-Adaptive Optimization of Coefficients in Multi-Objective Loss Functions
Improving Zero-Shot Entity Retrieval through Effective Dense Representations
Forecasting Corporate Bankruptcy with an Ensemble of Classifiers
Towards Enriching the Electric Vehicle Knowledge Graph by Linking it to DBpedia
Fuzzy Inference for Student Diagnosis in Adaptive Educational Hypermedia
Intelligent Web Prefetching Based upon User Profiles - The WebNaut Case
Audio Features Selection for Automatic Height Estimation from Speech
Characterization of whole-body muscle activity during reaching movements using space-by-time modularity and functional similarity analysis
Improving Universal Style Transfer using Sub-style Decomposition
An Improved Hybrid Genetic Clustering Algorithm
Relating Defeasible Logic to Extended Logic Programs
Apprenticeship learning of flight trajectories prediction with inverse reinforcement learning
Evaluation of distributed DNA representations on the classification of conserved non-coding elements
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection
Artificial Neural Network Learning: A Comparative Review
The Ramification and Qualification Problems in Temporal Databases
Enhancing NetLogo to Simulate BDI Communicating Agents
A Genetic Programming Environment for System Modeling
Symbolic Authoring for Multilingual Natural Language Generation
Security Assessment in IoT Ecosystems
A Reasoning Framework for Ambient Intelligence
Audio Feature Selection for Recognition of Non-linguistic Vocalization Sounds
Multiagent Reinforcement Learning Methods to Resolve Demand Capacity Balance Problems
Towards Multipolicy Argumentation
Planning with Stochastic Petri-Nets and Neural Nets
Discrimination of Benign from Malignant Breast Lesions Using Statistical Classifiers
Agent-Oriented Software Development
MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation
Multi-inference with Multi-neurules
Mapping Cultural Metadata Schemas to CIDOC Conceptual Reference Model
Introducing Interval Analysis in Fuzzy Cognitive Map Framework
Real-time Bite Detection from Smartwatch Orientation Sensor Data
A Mixture Model Based Markov Random Field for Discovering Patterns in Sequences
Ontology-Based Automatic Image Annotation Exploiting Generalized Qualitative Spatial Semantics
Attitudes and perceptions of Greek drivers towards Autonomous and Connected Vehicles
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling
The Large Language Model GreekLegalRoBERTa
Rule-Based Fuzzy Logic System for Diagnosing Migraine
Flexible Management of Large-Scale Integer Domains in CSPs
Towards Representational Autonomy of Agents in Artificial Environments
An Apache Spark Framework for IoT-enabled Waste Management in Smart Cities
Detecting and Measuring Human Walking in Laser Scans
Advanced Cancer Cell Characterization and Quantification of Microscopy Images
Reducing Impact of Conflicting Data in DDFS by Using Second Order Knowledge
An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students
Energy Balance Forecasting: An Extensive Multivariate Regression Models Comparison
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech
Efficient Training Algorithms for the Probabilistic RBF Network
The Role of Domain Knowledge in a Large Scale Data Mining Project
Classification of occluded 2D objects using deep learning of 3D shape surfaces
Hybridizing AI and Domain Knowledge in Nanotechnology: the Example of Surface Roughness Effects on Wetting Behavior
Proceedings of the 13th Hellenic Conference on Artificial Intelligence, SETN 2024, Piraeus, Greece, September 11-13, 2024
Intelligent Querying of Web Documents Using a Deductive XML Repository
A Profile-Based Method for Authorship Verification
Early Fusion of Visual Representations of Skeletal Data for Human Activity Recognition
Mining Time Series with Mine Time
A Robust Agent Design for Dynamic SCM Environments
Being Logical or Going with the Flow? A Comparison of Complex Event Processing Systems
SETN 2022: 12th Hellenic Conference on Artificial Intelligence, Corfu, Greece, September 7 - 9, 2022
Efficient MapReduce Kernel k-Means for Big Data Clustering
Transformer-Based Music Language Modelling and Transcription
Unsupervised Recognition of ADLs
SWRL2COOL: Object-Oriented Transformation of SWRL in the CLIPS Production Rule Engine
Factors Affecting the Accuracy of an Active Vision Head
Molecular Simulation of Coarse-grained Systems using Machine Learning
Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control
The Projected Dip-means Clustering Algorithm
Planning with Subjective Knowledge in a Multi-Agent Scenario
Measuring Technical Debt in AI-Based Competition Platforms
A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures
Understanding How Visual Context Influences Multimedia Content Analysis Problems
Nature-Inspired Intelligent Techniques for Automated Trading: A Distributional Analysis
A Biologically Inspired Computational Trust Model based on the Perspective of the Trustee
The Limits of Government Surveillance: Law enforcement in the Age of Artificial Intelligence
Post Supervised Based Learning of Feature Weight Values
Detection of Stance-Related Characteristics in Social Media Text
Extending Generalized Arc Consistency
Multi-topic Information Filtering with a Single User Profile
SHARE-ODS: An Ontology Data Service for Search and Rescue Operations
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm
Generalized Adaptive Possibilistic C-Means Clustering Algorithm
Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design
Remarks on the Ethical Behavior of Artificial Intelligence (short paper)
Feature Evaluation Metrics for Population Genomic Data
Detecting Human Features in Summaries - Symbol Sequence Statistical Regularity
Ground Resistance Estimation Using Feed-Forward Neural Networks, Linear Regression and Feature Selection Models
Segmento: An R-based Visualization-rich System for Customer Segmentation and Targeting
Exploiting Cross-Document Relations for Multi-document Evolving Summarization
An evaluation framework for comparing causal inference models
Prediction of Aircraft Aluminum Alloys Tensile Mechanical Properties Degradation Using Support Vector Machines
A biologically inspired computational trust model for open multi-agent systems which is resilient to trustor population changes
Incremental Relevance Vector Machine with Kernel Learning
Overview of Wave Probe-Based High-Resolution Subsurface Sensing, Imaging, and Vision
Unsupervised Web Name Disambiguation Using Semantic Similarity and Single-Pass Clustering
Fuzzy Causal Maps in Business Modeling and Performance-Driven Process Re-engineering
Vertex Incremental Path Consistency for Qualitative Constraint Networks
Identifying Retweetable Tweets with a Personalized Global Classifier
Improving the Sequence Alignment Method by Quantum Multi-Pattern Recognition
FarFetched: Entity-centric Reasoning and Claim Validation for the Greek Language based on Textually Represented Environments
Bridging Ontology Evolution and Belief Change
Combining PENCIL with AMDIM for image classification with noisy and sparsely labeled data
Minimax Search and Reinforcement Learning for Adversarial Tetris
Role Identification from Free Text Using Hidden Markov Models
Towards an Imitation System for Learning Robots
Constraint Programming MapReduce'd
Greek2MathTex: A Greek Speech-to-Text Framework for LaTeX Equations Generation
Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars
Datasets and Performance Metrics for Greek Named Entity Recognition
Detecting Censorable Content on Sina Weibo: A Pilot Study
A Multi-criteria Protocol for Multi-agent Negotiations
The Performance Impact of Combining Agent Factorization with Different Learning Algorithms for Multiagent Coordination
Online policies and multimodal data processing for the same day delivery problem
Design and Implementation of a Robotic Competition
Data Analysis in Digital Marketing using Machine learning and Artificial Intelligence Techniques, Ethical and Legal Dimensions, State of the Art
Comparing Prior and Learned Time Representations in Transformer Models of Timeseries
Artificial Life Simulation of Humans and Lower Animals: From Biomechanics to Intelligence
Machine Learning Methods for Emulating Personality Traits in a Gamified Environment
A Nature Inspired metaheuristic for Optimal Leveling of Resources in Project Management
Greedy Unsupervised Multiple Kernel Learning
Definition and Extraction of Visual Landmarks for Indoor Robot Navigation
Support Vector Machines with Clustering for Training with Very Large Datasets
A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty
Classification of Instagram photos: topic modelling vs transfer learning
Construction and Repair: A Hybrid Approach to Search in CSPs
A Sparse Regression Mixture Model for Clustering Time-Series
Tensor-based Trajectory Data Mining: A Block-Term Decomposition Approach
Clustering Software Metric Values Extracted from C# Code for Maintainability Assessment
Multi-fidelity Bayesian Optimization for Efficiently Sampling the Design Space of Functionalized Nanoporous Materials
Versatile Car Sharing Modelling for Sustainable Mobility with Embedded Intelligent Modules
An Efficient Hardware Implementation for AI Applications
El Greco: a 3d-printed humanoid that anybody can afford
Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure
DRAMa: An IoT-enabled Distributed Reputation Agent Model
Hybrid Computational Intelligence Schemes in Complex Domains: An Extended Review
Preliminary Notions of Arguments from Commonsense Knowledge
Compressing Audio Visual Speech Recognition Models With Parameterized Hypercomplex Layers
Ensemble Feature Selection using Rank Aggregation Methods for Population Genomic Data
The Inclusion Criterion for Data Clustering Quality
Non-negative Matrix Factorization for Endoscopic Video Summarization
Transparency Metrics for Artificial Intelligence-Driven Applications in Healthcare
Speaker Verification based on extraction of Deep Features
Iterated Belief Revision and Dalal's Operator
Automatic Identification of Marine Geomorphologic Features Using Convolutional Neural Networks in seafloor Digital Elevation Models: Segmentation of DEM for Marine Geomorphologic Feature Mapping with Deep Learning Algorithms
Towards Automatic Synthesis of Educational Resources Through Automated Planning
Policies Production System for Ambient Intelligence Environments
Sequential Sparse Adaptive Possibilistic Clustering
Distributed Instance Retrieval in $E^{DDL} _{HQ^+}$ $\mathcal{SHIQ}$ Representation Framework
Off-the-Shelf Neural Network Architectures for Forex Time Series Prediction come at a Cost
Workshops of the 11th EETN Conference on Artificial Intelligence 2020 co-located with the 11th EETN Conference on Artificial Intelligence (SETN 2020), Athens, Greece, September 2-4, 2020
The Large Scale Artificial Intelligence Applications - An Analysis of AI-Supported Estimation of OS Software Projects
Weighted Reservoir Sampling On Evolving Streams: A Sampling Algorithmic Framework For Stream Event Identification
CSPCONS: A Communicating Sequential Prolog with Constraints
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
Skin Lesions Characterisation Utilising Clustering Algorithms
Automatic Dataset Type Recognition for Association Rule Mining
Music Performer Verification Based on Learning Ensembles
Drug-Drug Interaction Classification Using Attention Based Neural Networks
Grid Search for Operator and Parameter Control in Differential Evolution
Evolutionary Optimization of a Neural Network Controller for Car Racing Simulation
Tutorial on Explainable Deep Reinforcement Learning: One framework, three paradigms and many challenges
Violence Content Classification Using Audio Features
Greek sign language alphabet recognition using the leap motion device
Fuzzy Representation and Synthesis of Concepts in Engineering Design
Large Scale Multikernel RVM for Object Detection
Reasoning about Actions with Loops
Mining Bilingual Lexical Equivalences Out of Parallel Corpora
Scheduling Drones to Recharge Electric Vehicles