A5073638984- Data Management and Algorithms
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Multi-Agent Systems and Negotiation
- Advanced Database Systems and Queries
- Traffic Prediction and Management Techniques
- Context-Aware Activity Recognition Systems
- Numerical Methods and Algorithms
- IoT and Edge/Fog Computing
- Constraint Satisfaction and Optimization
- Bayesian Modeling and Causal Inference
- Network Security and Intrusion Detection
- Service-Oriented Architecture and Web Services
- History and Theory of Mathematics
- Mathematical and Theoretical Analysis
- AI-based Problem Solving and Planning
- Time Series Analysis and Forecasting
Ollscoil na Gaillimhe – University of Galway
2015-2019
Our world and our lives are changing in many ways. Communication, networking, computing technologies among the most influential enablers that shape today. Digital data connected worlds of physical objects, people, devices rapidly way we work, travel, socialize, interact with surroundings, they have a profound impact on different domains, such as healthcare, environmental monitoring, urban systems, control management applications, several other areas. Cities currently face an increasing...
Stream reasoning is an emerging research area focused on providing continuous solutions for data streams. The exponential growth in the availability of streaming Web has seriously hindered applicability state-of-the-art expressive reasoners, limiting their to process information a scalable way. In this scenario, order reduce amount reason upon at each iteration, we can leverage advances query processing over Semantic Following principle, previous work have combined semantic and non-monotonic...
Stream reasoning is an emerging research area focused on providing continuous solutions for data streams. The high expressiveness of non-monotonic enables complex decision making by managing defaults, commonsense, preferences, recursion, and non-determinism, but it computationally intensive. exponential growth in the availability streaming Web has seriously hindered applicability state-of-the-art reasoners to be applied information a scalable way. In this paper, we address issue scalability...
Smart city applications in the Big Data era require not only techniques dedicated to dynamicity handling, but also ability take into account contextual information, user preferences and requirements, real-time events provide optimal solutions automatic configuration for end user. In this paper, we present a specific functionality design implementation of declarative decision support component that exploits requirements automatically configurations smart applications. The key property...
Integral of single variable functions is an important issue in calculus. This problem widely applied many fields such as physics, economics, etc. Systems for automatic solving integral problems are necessary tools education. They support students and teachers learning teaching. Current computer algebra systems Maple, Mathematica, etc can solve problems. However, they output the result only or limited to give complete solution. paper presents a model representing knowledge about proposes some...
Enterprise Communication Systems are designed in such a way to maximise the efficiency of communication and collaboration within enterprise. With users becoming mobile, Internet Things (IoT) can play crucial role this process, but is far from being seamlessly integrated into modern online communications. In paper, we present semantic infrastructure for gathering, integrating reasoning upon heterogeneous, distributed continuously changing data streams by means technologies rule-based...