This page has only limited features, please log in for full access.

Unclaimed
Radosław Klimek
AGH University of Science and Technology

Honors and Awards

The user has no records in this section


Career Timeline

The user has no records in this section.


Short Biography

The user biography is not available.
Following
Followers
Co Authors
The list of users this user is following is empty.
Following: 0 users

Feed

Conference paper
Published: 09 June 2021 in Transactions on Petri Nets and Other Models of Concurrency XV
Reads 0
Downloads 0

The knowledge of the individual trajectories of citizens’ mobility in the urban space is critical for smart cities. The data concerning trajectories from the providers of mobile phone services are still difficult to be obtained in practice and one of the considerable obstacles here are legal aspects. We have designed and implemented the tourist trajectories generator for objects located in a selected but arbitrary urban area. A generation process is based on the random selection of the pre-defined profiles of tourist activeness, including mobility patterns. It is possible to generate a practically unlimited number of trajectories, if needed, and they may also be directed at the certain specific types of behaviours. Thus obtained large sets of data may be used for understanding urban behaviours, calibrating urban models, recommending systems under construction, as well as anticipating the smart city further software testing.

ACS Style

Radosław Klimek; Arkadiusz Olesek. Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. Transactions on Petri Nets and Other Models of Concurrency XV 2021, 623 -630.

AMA Style

Radosław Klimek, Arkadiusz Olesek. Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. Transactions on Petri Nets and Other Models of Concurrency XV. 2021; ():623-630.

Chicago/Turabian Style

Radosław Klimek; Arkadiusz Olesek. 2021. "Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions." Transactions on Petri Nets and Other Models of Concurrency XV , no. : 623-630.

Journal article
Published: 10 May 2021 in Atmosphere
Reads 0
Downloads 0

Air pollution is one of the main factors affecting human health. Air quality is especially important in the tourist areas developed with facilities for outdoor activities. During the winter season of 2017/2018, the concentrations of particulate matter (PM10, PM2.5, PM1), CO, O3, and NO2 were studied in 12 attractive tourist villages in the surroundings of the Czorsztyn Reservoir in southern Poland. Air pollutant measurements were performed continuously, using a single ground-based Alphasense air sensor. Our assessment of human health risk (HHRA), arising from inhalation exposure to air contaminants, was calculated for both local inhabitants and tourists, based on actual measured values. It was found that pollutant concentrations exceeded both permissible and recommended levels of PM10 and PM2.5. The mean total noncarcinogenic risk values were equal to 9.58 (unitless) for adults and 9.68 (unitless) for children and infants, under the resident exposure scenario. However, under the tourist exposure scenario, the mean total risk was equal to 1.63 (unitless) for adults and 1.64 (unitless) for children and infants. The risk to tourists was lower than that to inhabitants due to shorter exposure times. The target non-carcinogenic value of 1, calculated for PM10, PM2.5, and NO2, was significantly exceeded in total risk, under the residential exposure scenario, in reference to all the local subpopulations. In the majority of the investigated locations, the total risk exceeded the value of 1, under the tourist scenario, for all the subpopulations analysed. PM2.5 was recognised to be the most important contaminant in our risk analysis, in view of its share in the total risk value.

ACS Style

Agnieszka Gruszecka-Kosowska; Jacek Dajda; Ewa Adamiec; Edeltrauda Helios-Rybicka; Marek Kisiel-Dorohinicki; Radosław Klimek; Dariusz Pałka; Jarosław Wąs. Human Health Risk Assessment of Air Pollution in the Regions of Unsustainable Heating Sources. Case Study—The Tourist Areas of Southern Poland. Atmosphere 2021, 12, 615 .

AMA Style

Agnieszka Gruszecka-Kosowska, Jacek Dajda, Ewa Adamiec, Edeltrauda Helios-Rybicka, Marek Kisiel-Dorohinicki, Radosław Klimek, Dariusz Pałka, Jarosław Wąs. Human Health Risk Assessment of Air Pollution in the Regions of Unsustainable Heating Sources. Case Study—The Tourist Areas of Southern Poland. Atmosphere. 2021; 12 (5):615.

Chicago/Turabian Style

Agnieszka Gruszecka-Kosowska; Jacek Dajda; Ewa Adamiec; Edeltrauda Helios-Rybicka; Marek Kisiel-Dorohinicki; Radosław Klimek; Dariusz Pałka; Jarosław Wąs. 2021. "Human Health Risk Assessment of Air Pollution in the Regions of Unsustainable Heating Sources. Case Study—The Tourist Areas of Southern Poland." Atmosphere 12, no. 5: 615.

Journal article
Published: 15 October 2020 in Sensors
Reads 0
Downloads 0

Queue systems are practically used in various institutions and commercial enterprises constituting a challenge for the intelligent environments in smart cities. The management of the flow of customers guarantees the elimination or reduction of the queues as well as the economic benefits which follow the clients’ satisfaction of a better quality of service. An intelligent queue management system has been proposed which is designed as the pro-active and context-aware ecosystem based on multiple low-level sensors and devices constituting the IoT (Internet of Things) network. The designed context-driven system is characterised by user friendliness, as well as the client behaviour recognition and understanding which generate actions that support clients, establishing wealthy environments. A prototype version of the system has been proposed which has been validated by formal analysis and simulation. This prototype can be used as a necessary experience and as a reference point when building a target system and meeting requirements typical for context-aware and pro-active systems based on IoT networks which process massive data streams.

ACS Style

Radosław Klimek. Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments. Sensors 2020, 20, 1 .

AMA Style

Radosław Klimek. Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments. Sensors. 2020; 20 (20):1.

Chicago/Turabian Style

Radosław Klimek. 2020. "Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments." Sensors 20, no. 20: 1.

Conference paper
Published: 15 June 2020 in Lecture Notes in Computer Science
Reads 0
Downloads 0

Context-aware pervasive systems are complex, due to the need to gather detailed environmental information and to perform a variety of context reasoning processes in order to adapt behaviours accordingly. These operations are merged seamlessly. We show the feasibility and vitality of a fully designed system for mountain rescue operations, with various aspects of the contextual processing in middleware, as well as analyse its context life cycle. The system is verified through intensive experiments with a rich set of categorised context data. The contextual processing is shown in different weather scenarios. The service is geared towards software development, converging IoT (Internet of Things) and cloud computing with specific reference to smart application scenarios.

ACS Style

Radosław Klimek. Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. Lecture Notes in Computer Science 2020, 273 -287.

AMA Style

Radosław Klimek. Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. Lecture Notes in Computer Science. 2020; ():273-287.

Chicago/Turabian Style

Radosław Klimek. 2020. "Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers." Lecture Notes in Computer Science , no. : 273-287.

Journal article
Published: 13 July 2019 in Atmosphere
Reads 0
Downloads 0

The aim of this study was to assess air quality by using medium-cost sensors in recreational areas that are not covered by permanent monitoring. Concentrations of air pollutants PM2.5, PM10, PM1, CO, O 3 , NO 2 in the Niedzica recreational area in southern Poland were obtained. The research revealed that in cold weather, particulate matter concentrations significantly exceeded acceptable levels determined for PM2.5 and PM10. The most important factor that affects air quality within the studied area seems to be the combustion of poor quality fuels for heating purposes. The information obtained by the research presented could be a useful tool for local authorities to make environmental decisions, based on the potential health impacts of poor air quality levels on the population.

ACS Style

Ewa Adamiec; Jacek Dajda; Agnieszka Gruszecka-Kosowska; Edeltrauda Helios-Rybicka; Marek Kisiel-Dorohinicki; Radosław Klimek; Dariusz Pałka; Jarosław Wąs. Using Medium-Cost Sensors to Estimate Air Quality in Remote Locations. Case Study of Niedzica, Southern Poland. Atmosphere 2019, 10, 393 .

AMA Style

Ewa Adamiec, Jacek Dajda, Agnieszka Gruszecka-Kosowska, Edeltrauda Helios-Rybicka, Marek Kisiel-Dorohinicki, Radosław Klimek, Dariusz Pałka, Jarosław Wąs. Using Medium-Cost Sensors to Estimate Air Quality in Remote Locations. Case Study of Niedzica, Southern Poland. Atmosphere. 2019; 10 (7):393.

Chicago/Turabian Style

Ewa Adamiec; Jacek Dajda; Agnieszka Gruszecka-Kosowska; Edeltrauda Helios-Rybicka; Marek Kisiel-Dorohinicki; Radosław Klimek; Dariusz Pałka; Jarosław Wąs. 2019. "Using Medium-Cost Sensors to Estimate Air Quality in Remote Locations. Case Study of Niedzica, Southern Poland." Atmosphere 10, no. 7: 393.

Journal article
Published: 14 March 2019 in Sustainability
Reads 0
Downloads 0

Mobile phone network data, routinely collected by its providers, possess very valuable encoded information about human behaviors. Intensive tourist activities in urban spaces bring smartness via mobile phone fingerprints into the understanding of an urban ecosystem. Due to the diverse processes that govern mobile communication, mining the geolocations of individuals seems to be non-trivial, tedious, and even irregular, which can lead to an incomplete trajectory. Enriching trajectories with infrastructural facilities is another challenge. We provide a unified approach, comprised of both informal and formal elements, to obtain a common framework, which maps pervasive datasets into a collection of individual patterns in urban spaces, to obtain context-enhanced trajectory reconstructions. Through the algorithmization of the approach, we acquire a study that provides new insights on individual and anonymized tourist behaviors. In order to obtain individual behaviors, it is necessary to carry out an arduous extraction process. We propose a multi-agent system architecture and predefined message streams, which are transported on a message-broker platform. We also propose all of the basic algorithms that compose the prototype of the entire multi-agent system. All algorithms were formally analyzed due to termination and time complexity. System evaluation, together with a few basic experiments, was also carried out. The performance evaluation results authenticate system feasibility, credibility, and vitality. Those factors prove its effectiveness and the possibility to build the target system, whilst supporting every urban ecosystem. The system would also strongly influence municipal services to understand urban context and operate more effectively in order to support tourist activities to become safer and more comfortable.

ACS Style

Radosław Klimek. Towards Recognising Individual Behaviours from Pervasive Mobile Datasets in Urban Spaces. Sustainability 2019, 11, 1563 .

AMA Style

Radosław Klimek. Towards Recognising Individual Behaviours from Pervasive Mobile Datasets in Urban Spaces. Sustainability. 2019; 11 (6):1563.

Chicago/Turabian Style

Radosław Klimek. 2019. "Towards Recognising Individual Behaviours from Pervasive Mobile Datasets in Urban Spaces." Sustainability 11, no. 6: 1563.

Journal article
Published: 19 February 2019 in Journal of Logical and Algebraic Methods in Programming
Reads 0
Downloads 0

This work relates to the automatic generation of logical specifications extracted directly from workflow-oriented behavioural models of software. The aim is to present a unified framework, which gives formal foundations and an algorithm for the logical specification generation process, allowing for further implementation works. Logical specifications are considered as sets of temporal logic formulas. The extraction process relies on the assumption that the entire developed model is structured purely by predefined workflow patterns. We are proposing a method to automatically transform behavioural models into logical specifications. This pattern-based feature-compositional approach, which we have denoted as ΠC, allows us to preserve the logical satisfiability, whilst guaranteeing expressiveness and naturality. Applying these concepts with user-friendly notations enables us to form a stronger link between the benefits of possessing behavioural model logical specifications, obtained automatically and on demand, with the ability to routinely analyse the developed software models in a logical style.

ACS Style

Radosław Klimek. Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of Logical and Algebraic Methods in Programming 2019, 104, 201 -226.

AMA Style

Radosław Klimek. Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of Logical and Algebraic Methods in Programming. 2019; 104 ():201-226.

Chicago/Turabian Style

Radosław Klimek. 2019. "Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models." Journal of Logical and Algebraic Methods in Programming 104, no. : 201-226.

Conference paper
Published: 14 January 2019 in MATEC Web of Conferences
Reads 0
Downloads 0

The satisfiability problem (SAT) is one of the classical and also most important problems of the theoretical computer science and has a direct bearing on numerous practical cases. It is one of the most prominent problems in artificial intelligence and has important applications in many fields, such as hardware and software verification, test-case generation, AI planning, scheduling, and data structures that allow efficient implementation of search space pruning. In recent years, there has been a huge development in SAT solvers, especially CDCL-based solvers (Conflict-Driven Clause-Learning) for propositional logic formulas. The goal of this paper is to design and implement a simple but effective system for random generation of long and complex logical formulas with a variety of difficulties encoded inside. The resulting logical formulas, i.e. problem instances, could be used for testing existing SAT solvers. The entire system would be widely available as a web application in the client-server architecture. The proposed system enables generation of syntactically correct logical formulas with a random structure, encoded in a manner understandable to SAT Solvers. Logical formulas can be presented in different formats. A number of parameters affect the form of generated instances, their complexity and physical dimensions. The randomness factor can be entered to every generated formula. The developed application is easy to modify and open for further extensions. The final part of the paper describes examples of solvers’ tests of logical formulas generated by the implemented generator.

ACS Style

Radosław Klimek; Katarzyna Grobler-Dębska; Edyta Kucharska. System for automatic generation of logical formulas. MATEC Web of Conferences 2019, 252, 03005 .

AMA Style

Radosław Klimek, Katarzyna Grobler-Dębska, Edyta Kucharska. System for automatic generation of logical formulas. MATEC Web of Conferences. 2019; 252 ():03005.

Chicago/Turabian Style

Radosław Klimek; Katarzyna Grobler-Dębska; Edyta Kucharska. 2019. "System for automatic generation of logical formulas." MATEC Web of Conferences 252, no. : 03005.

Conference paper
Published: 14 January 2019 in MATEC Web of Conferences
Reads 0
Downloads 0

The paper presents a collective decision making in dynamic vehicle routing problem. In contrast to the static problem, a part or all of the customers’ companies are revealed dynamically during the design or execution of the routes. The problem is modelled using the algebraic-logical meta-model (ALMM) methodology, which enables making collective decisions in successive process stages, not separately for individual vehicles. ALMM is considered to be the rule according to which the availability of companies is determined. The steps and schematics of the general algorithm that take into account the dynamic appearance of new companies are shown. The proposed approach belongs to trajectory-based metaheuristics methods.

ACS Style

Edyta Kucharska; Katarzyna Grobler-Dębska; Radosław Klimek. Collective decision making in dynamic vehicle routing problem. MATEC Web of Conferences 2019, 252, 03003 .

AMA Style

Edyta Kucharska, Katarzyna Grobler-Dębska, Radosław Klimek. Collective decision making in dynamic vehicle routing problem. MATEC Web of Conferences. 2019; 252 ():03003.

Chicago/Turabian Style

Edyta Kucharska; Katarzyna Grobler-Dębska; Radosław Klimek. 2019. "Collective decision making in dynamic vehicle routing problem." MATEC Web of Conferences 252, no. : 03003.

Conference paper
Published: 26 September 2018 in Proceedings of the 2018 Federated Conference on Computer Science and Information Systems
Reads 0
Downloads 0
ACS Style

Radosław Klimek. Visualization of logical formulas. Proceedings of the 2018 Federated Conference on Computer Science and Information Systems 2018, 15, 419 -424.

AMA Style

Radosław Klimek. Visualization of logical formulas. Proceedings of the 2018 Federated Conference on Computer Science and Information Systems. 2018; 15 ():419-424.

Chicago/Turabian Style

Radosław Klimek. 2018. "Visualization of logical formulas." Proceedings of the 2018 Federated Conference on Computer Science and Information Systems 15, no. : 419-424.

Conference paper
Published: 11 May 2018 in Computer Vision
Reads 0
Downloads 0

Discovering and modeling preferences has an important meaning in the modern IT systems, also in the intelligent and multi-agent systems which are context sensitive and should be proactive. The preference modelling enables understanding the needs of objects working within intelligent spaces, in an intelligent city. There was presented a proposal for a system, which, based on logical reasoning and using advanced SAT solvers, is able to analyze data from social networks for preference determination in relation to its own presented offers from different domains. The basic algorithms of the system were presented as well as the validation of practical application.

ACS Style

Radosław Klimek. System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. Computer Vision 2018, 387 -397.

AMA Style

Radosław Klimek. System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. Computer Vision. 2018; ():387-397.

Chicago/Turabian Style

Radosław Klimek. 2018. "System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers." Computer Vision , no. : 387-397.

Conference paper
Published: 11 May 2018 in Computer Vision
Reads 0
Downloads 0

A smart gun idea fits within the smart city concept where the extensive use of information and telecommunication technologies improves working efficiency as well as safety and comfort of residents. There was proposed a system based on Internet of Things (IoT) concept. It detects danger to life and health of policemen and provides them support from other patrols and municipal services. This kind of concept, very different from the previous ones, has already been shown in a prototype version.

ACS Style

Radosław Klimek; Zuzanna Drwiła; Patrycja Dzienisik. Proposal of a Smart Gun System Supporting Police Interventions. Computer Vision 2018, 677 -688.

AMA Style

Radosław Klimek, Zuzanna Drwiła, Patrycja Dzienisik. Proposal of a Smart Gun System Supporting Police Interventions. Computer Vision. 2018; ():677-688.

Chicago/Turabian Style

Radosław Klimek; Zuzanna Drwiła; Patrycja Dzienisik. 2018. "Proposal of a Smart Gun System Supporting Police Interventions." Computer Vision , no. : 677-688.

Journal article
Published: 09 May 2018 in IEEE Access
Reads 0
Downloads 0

Intelligent environments combine physical spaces with pervasive computing technologies to provide context-aware, people-centred, and ambient-assisted strengthening of the activities of inhabitants in their daily lives. We propose a system to support mountain rescuers in their daily tasks. The system explores the activities of the mountain hikers, by analyzing data gathered from wireless sensor and mobile networks which cooperatively monitor an environment. The system utilizes message streaming brokers to transport data within the system. Massive amounts of data are pre-processed into formats, to allow analysis by logical SAT solvers. Pairing brokers and solvers as advanced technologies is challenging. The processed data contains valuable information about human activities and context situations, providing a basis for context reasoning and prediction. The resulting pro-active, hierarchical, and real-time smart decisions provide warnings about threatening situations, making tourists' stays safer. This combination of acting on predicted context, data streaming platforms, and logical solvers is a novel and innovative aspect of this approach. This strictly modeled system, intensively experimented, allows us to bridge the gap between the low-level observations produced by mobile and sensor networks and the high level smart services which support human activities.

ACS Style

Radoslaw Klimek. Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. IEEE Access 2018, 6, 27127 -27155.

AMA Style

Radoslaw Klimek. Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. IEEE Access. 2018; 6 ():27127-27155.

Chicago/Turabian Style

Radoslaw Klimek. 2018. "Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services." IEEE Access 6, no. : 27127-27155.

Conference paper
Published: 24 September 2017 in Position Papers of the 2017 Federated Conference on Computer Science and Information Systems
Reads 0
Downloads 0
ACS Style

Radosław Klimek. Context-aware and pro-active queue management systems in intelligent environments. Position Papers of the 2017 Federated Conference on Computer Science and Information Systems 2017, 11, 1077 -1084.

AMA Style

Radosław Klimek. Context-aware and pro-active queue management systems in intelligent environments. Position Papers of the 2017 Federated Conference on Computer Science and Information Systems. 2017; 11 ():1077-1084.

Chicago/Turabian Style

Radosław Klimek. 2017. "Context-aware and pro-active queue management systems in intelligent environments." Position Papers of the 2017 Federated Conference on Computer Science and Information Systems 11, no. : 1077-1084.

Conference paper
Published: 24 May 2017 in Computer Vision
Reads 0
Downloads 0

Outdoor smart lighting is more and more popular since it is regarded as a significant example of an ideal and friendly environment. Systems controlling outdoor lighting, considered as context-aware software, are challenging. A multi-agent system for outdoor street lighting, dealing with intelligent software applications in pervasive computing, has been proposed. Smart scenarios, typical for such an intelligent environment, are presented. An agent-based architecture for a multi-agent system, dealing with the well-known framework JADE, is proposed. It allows further testing of these smart scenarios. This is the first proposal and the beginning of a greater work for implementation and testing of smart lighting scenarios carried out in the agent systems. This work describes the rationale of efforts for achieving ecosystems also working in the IoT paradigm by focusing on a rural environment, featuring data collection, as well as event detections and coordinated reactions.

ACS Style

Radosław Klimek. Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. Computer Vision 2017, 255 -266.

AMA Style

Radosław Klimek. Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. Computer Vision. 2017; ():255-266.

Chicago/Turabian Style

Radosław Klimek. 2017. "Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment." Computer Vision , no. : 255-266.

Conference paper
Published: 24 May 2017 in Computer Vision
Reads 0
Downloads 0

Intelligent environments provide people-centered computing to support people in their daily lifes. Understanding human behavior and context information is crucial to provide context-aware and pro-active services for all actors of smart spaces. On the other hand, mobile phone network data, collected by suppliers, provide valuable information about human locations and behaviors. This paper presents a unified approach comprising both informal (use cases) and more formal (algorithms) elements which enable obtaining a common framework that use information encoded into pervasive datasets to generate, through context-based reasoning, decisions which support actors operating in a smart space. The system is designed to support mountain rescuers. It provides pro-active decision taking or warning about dangerous situations on the mountain trails. In this way, the system supports rescuers and makes tourist staying in the mountains more safe.

ACS Style

Radosław Klimek. Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. Computer Vision 2017, 267 -279.

AMA Style

Radosław Klimek. Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. Computer Vision. 2017; ():267-279.

Chicago/Turabian Style

Radosław Klimek. 2017. "Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers." Computer Vision , no. : 267-279.

Conference paper
Published: 29 May 2016 in Computer Vision
Reads 0
Downloads 0

Mobile phone network data routinely collected by providers possess very valuable and encoded information about human behaviours. In order to obtain the information it is necessary to carry out an arduous extraction process. Nevertheless, this information would be of fundamental importance for a successfully building and operating smart urban ecosystem understood as a self-organized and open system gathering and using knowledge about smart city environment. Intensive tourist activities in urban spaces bring smartness via mobile phone fingerprints into urban ecosystems and municipal services. This paper provides a unified approach comprising both informal (use cases) and formal (algorithms) elements to obtain a common framework which after ignoring redundant information maps pervasive datasets into a collection of individual patterns and anonymized tourist behaviours in urban spaces. They strongly influence municipal services to understand urban context and operate more effectively to support tourist activities to become more safe and comfortable.

ACS Style

Radosław Klimek. Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. Computer Vision 2016, 683 -694.

AMA Style

Radosław Klimek. Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. Computer Vision. 2016; ():683-694.

Chicago/Turabian Style

Radosław Klimek. 2016. "Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems." Computer Vision , no. : 683-694.

Conference paper
Published: 01 October 2015 in 2015 IEEE International Conference on Systems, Man, and Cybernetics
Reads 0
Downloads 0

Providing accurate/suitable information on behaviors in smart environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are of fundamental importance. Behavioral identifications enable to abstract higher-level concepts that are interesting to applications. This work proposes the unified logical-based framework to recognize and analyze behavioral specifications understood as a formal logic language that avoids ambiguity typical for natural languages. Automatically discovering behaviors from sensory data streams as formal specifications is of fundamental importance to build seamless human-computer interactions. Thus, the knowledge about environment behaviors expressed in terms of temporal logic formulas constitutes a base for the reactive and precise reasoning processes to support trustworthy, unambiguous and pro-active decisions for applications that are smart and context aware.

ACS Style

Radoslaw Klimek. Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. 2015 IEEE International Conference on Systems, Man, and Cybernetics 2015, 1949 -1955.

AMA Style

Radoslaw Klimek. Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. 2015 IEEE International Conference on Systems, Man, and Cybernetics. 2015; ():1949-1955.

Chicago/Turabian Style

Radoslaw Klimek. 2015. "Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications." 2015 IEEE International Conference on Systems, Man, and Cybernetics , no. : 1949-1955.

Preprint
Published: 23 April 2015
Reads 0
Downloads 0

The idea of modern urban systems and smart cities requires monitoring and careful analysis of different signals. Such signals can originate from different sources and one of the most promising is the BTS, i.e. base transceiver station, an element of mobile carrier networks. This paper presents the fundamental problems of elicitation, classification and understanding of such signals so as to develop context-aware and pro-active systems in urban areas. These systems are characterized by the omnipresence of computing which is strongly focused on providing on-line support to users/inhabitants of smart cities. A method of analyzing selected elements of mobile phone datasets through understanding inhabitants' behavioral fingerprints to obtain smart scenarios for public transport is proposed. Some scenarios are outlined. A multi-agent system is proposed. A formalism based on graphs that allows reasoning about inhabitant behaviors is also proposed.

ACS Style

Radoslaw Klimek; Leszek Kotulski. Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. 2015, 1 .

AMA Style

Radoslaw Klimek, Leszek Kotulski. Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. . 2015; ():1.

Chicago/Turabian Style

Radoslaw Klimek; Leszek Kotulski. 2015. "Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case." , no. : 1.

Conference paper
Published: 01 January 2015 in Transactions on Petri Nets and Other Models of Concurrency XV
Reads 0
Downloads 0

Smart homes are more and more popular since they are regarded as synonyms of an ideal and friendly environment. Novel aspects like context awareness and pro-activity are fundamental requirements for development of such systems. Smart scenarios enable switching devices in a desired way when a certain user activity considered as a trigger involves a system activity. Some smart scenarios are proposed. Context modeling and reasoning for smart homes is widely considered. A software architecture including web services is introduced and discussed.

ACS Style

Radosław Klimek; Grzegorz Rogus. Proposal of a Context-Aware Smart Home Ecosystem. Transactions on Petri Nets and Other Models of Concurrency XV 2015, 412 -423.

AMA Style

Radosław Klimek, Grzegorz Rogus. Proposal of a Context-Aware Smart Home Ecosystem. Transactions on Petri Nets and Other Models of Concurrency XV. 2015; ():412-423.

Chicago/Turabian Style

Radosław Klimek; Grzegorz Rogus. 2015. "Proposal of a Context-Aware Smart Home Ecosystem." Transactions on Petri Nets and Other Models of Concurrency XV , no. : 412-423.