the proceedings contain 13 papers. the special focus in this conference is on Structured Object-Oriented Formal Language and Method. the topics include: A Software Tool to Support the “Vibration’’ Method;a Software...
ISBN:
(纸本)9783319901039
the proceedings contain 13 papers. the special focus in this conference is on Structured Object-Oriented Formal Language and Method. the topics include: A Software Tool to Support the “Vibration’’ Method;a Software Tool to Support Scenario-Based Formal Specification for Error Prevention;a Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler;An Investigation of Integrating aGUI-Aided Approach andaSpecification-Based Testing;on the Cooperative Graph Searching Problem;Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach;the Complexity of Linear-Time Temporal Logic Model Repair;Extending UML for Model Checking;foundation of a Framework to Support Compliance Checking in Construction Industry;An Improved Reliability Testing Model Based on SOFL;A Framework Based on MSVL for Verifying Probabilistic Properties in Social networks.
the authors analyze the decision-making process for choosing a future specialty by an entrant in a large city, which is associated with solving a number of tasks of multicriteria choice. the information analysis of th...
详细信息
the authors analyze the decision-making process for choosing a future specialty by an entrant in a large city, which is associated with solving a number of tasks of multicriteria choice. the information analysis of the procedures for choosing a future specialty by school graduates using cognitive cards is carried out the analysis takes into account those factors whose impact is considered to be the most significant. the functional possibilities of developing an information recommender system aimed at increasing the efficiency of choosing a profession in accordance withthe requirements of the labor market in the city and inclinations of an applicant and the procedure for generating recommendations, which takes place in five consecutive stages, are analyzed.
the personalized recommendation system can actively recommend to users what they might be interested in. In recent years, withthe development of social networks, social recommendation system has become one of the hot...
详细信息
the personalized recommendation system can actively recommend to users what they might be interested in. In recent years, withthe development of social networks, social recommendation system has become one of the hottest topics in the field of personalized recommendation system. the introduction of the trust relationship in the social network to the recommendation system can effectively improve the accuracy of the recommendation and alleviate the problems of cold start and data sparsity. this paper present a review of the social recommendation system in recent years, and compares and analyzes the trust inference algorithm, recommended key technology and its application progress. We also present hot spots of social recommendation research and directions to improve social recommendation capabilities.
the proceedings contain 339 papers. the topics discussed include: development and QoE evaluation of an iOS mHealth app for self-controlling and education of patients with heart diseases;financial anomalies in the elec...
ISBN:
(纸本)9789899843486
the proceedings contain 339 papers. the topics discussed include: development and QoE evaluation of an iOS mHealth app for self-controlling and education of patients with heart diseases;financial anomalies in the electricity market empirical analysis of spot prices;systematic mapping study to identify trends in the application of smart technologies;success factors of information technology and information systems projects - a literature review;patterns of modeling tree structures. case study: MongoDB database;a custom and dynamic dashboard for analyzing surveys' results;computer system for the management and scientific divulgation of the 'Universidad Nacional de Loja';patterns for semantic human behavior analysis;evaluation of BPM tools open source/freeware;a cloud platform for food sensory estimations based on artificial intelligence techniques;case study: methodology for the development of learning objects (OA) in 3D for applications of augmented reality (AR);implementation of virtual worlds in distance studies;uses of Internet and levels of plagiarism;fuzzy spatial maps to identify oil palm units;argumentative scheme in academic texts: algorithm for generating questions on arguments;early detection of Alzheimer's using digital image processing through iridology, an alternative method;and challenge-based learning - a proposal to support the preparation of literature review.
the proceedings contain 13 papers. the special focus in this conference is on New Frontiers in Mining Complex Patterns. the topics include: Structuring the output space in multi-label classification by using feature r...
ISBN:
(纸本)9783319786797
the proceedings contain 13 papers. the special focus in this conference is on New Frontiers in Mining Complex Patterns. the topics include: Structuring the output space in multi-label classification by using feature ranking;infinite mixtures of Markov chains;community-based semantic subgroup discovery;segment-removal based stuttered speech remediation;Identifying lncRNA-disease relationships via heterogeneous clustering;density estimators for positive-unlabeled learning;combinatorial optimization algorithms to mine a sub-matrix of maximal sum;a scaled-correlation based approach for defining and analyzing functional networks;complex localization in the multiple instance learning context;integrating a framework for discovering alternative app stores in a mobile app monitoring platform;usefulness of unsupervised ensemble learning methods for time series forecasting of aggregated or clustered load.
Withthe continuous development of the Internet of things (IoT)., the complexity of terminal hardware devices and networks involved in IoT research is gradually increasing. It will take a lot of unnecessary time to bu...
详细信息
Withthe continuous development of the Internet of things (IoT)., the complexity of terminal hardware devices and networks involved in IoT research is gradually increasing. It will take a lot of unnecessary time to build the physical experimental network, without the flexibility of changing at any time. And it is also not convenient to observe the experimental results in complex experiments. therefore, the establishment of a virtual experimental platform can simplify the experimental operation. At the same time, along withthe progress of the computer network technology, the traditional mode of experimental teaching is experiencing the revolutionary change, e.g., using the remote experiment platform anywhere for networking related experiments. In this paper, we use the technology of IoT to enable virtual remote experiments for IoT related courses. Students can upload their program codes and configurations, observe the experiment results anywhere anytime via Internet. Teachers can view the work schedule, manage students and evaluate their experiment operations without worrying about the cost of devices and the unexpected damage.
In Nordic countries, district heating accounts for a large share of the consumers' heat demand. In Sweden, roughly 50% of the total heat demand is attributed to district heating. Which, over the past few years, is...
详细信息
In Nordic countries, district heating accounts for a large share of the consumers' heat demand. In Sweden, roughly 50% of the total heat demand is attributed to district heating. Which, over the past few years, is equivalent to around 50 TWh, and imposes a difficult balance between supply and demand for the suppliers of district heating. For large networksthe propagation of heat from supplier to end-user can vary several hours. Further complexities of large networks, which can consist of multiple overlapping rings, is that during transient conditions the flow can actually change direction. A dynamic modeling library has been developed in Modelica using OpenModelica for district heating networks. Methods for modeling, handling data, simulating and the visualization of results has been developed using Matlab. the model has been validated using data from Malarenergi AB, a local provider of district heating in Vasterhs, Sweden. the model provides to an acceptable degree in predicting the heat propagation and temperature distribution in a localized case study. Adding a higher level of robustness, the model has the capacity to handle bi-directional and reversing flows in complex ring structures. through this work, the combination of OpenModelica and Matlab, a framework for automating the building and simulation of district heating networks is obtainable. the implications of automating network modeling from computer-aided design drawings allows for a quick robust overview of how the network is working and how prospective additions to the network could impact the end-users. Furthermore, incorporating visual aspects for heat propagation in a network contributes to a higher understanding of complex network structures. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
Ant Colony Optimization algorithm (ACO) is a kind of probabilistic algorithm used to find the optimal path. It has natural advantages in the resource scheduling algorithm of big data environments. However, the accurac...
详细信息
Ant Colony Optimization algorithm (ACO) is a kind of probabilistic algorithm used to find the optimal path. It has natural advantages in the resource scheduling algorithm of big data environments. However, the accuracy and stability of the algorithm have yet to be improved because of the slow convergence rate and the ease of convergence to local optima. this paper uses Evolutionary Game theory (EGT) to optimize the parameters of the ant colony algorithm so that it can be applied to the resource scheduling problem. the parameter optimization method of ant colony algorithm based on evolutionary game theory is used for task scheduling. It is concluded that the pheromone concentration has the highest influencing factors on ant selection path. the total time of the EGT-ACO algorithm in the task scheduling is almost the same as the ACO algorithm, but the completion time of each task is more even, which makes it more fair for each user in resource scheduling.
the proceedings contain 39 papers. the special focus in this conference is on Service-Oriented Computing. the topics include: A Feedback-Based Adaptive Service-Oriented Paradigm for the Internet of things;qoS Predicti...
ISBN:
(纸本)9783319917634
the proceedings contain 39 papers. the special focus in this conference is on Service-Oriented Computing. the topics include: A Feedback-Based Adaptive Service-Oriented Paradigm for the Internet of things;qoS Prediction for Reliable Service Composition in IoT;checking and Enforcing Security through Opacity in Healthcare Applications;power-Based Device Recognition for Occupancy Detection;cognitive Determination of Policies for Data Management in IoT Systems;a Research Perspective on Fog Computing;lessons Learned from Evaluating Workflow Management Systems;Sustainable WAsTe Collection (SWAT): One Step Towards Smart and Spotless Cities;designing Suitable Access Control for Web-Connected Smart Home Platforms;detecting Customer Queue “at-risk” Behaviors Based on Ethograms to Minimize Overall Service Dissatisfaction;integrating Smart Devices as Business Process Resources – Concept and Software Prototype;architecting Enterprise Applications for the Cloud: the Unicorn Universe Cloud Framework;a Knowledge Carrying Service-Component Architecture for Smart Cyber Physical Systems: An Example Based on Self-documenting Production Systems;Experiences on Migrating RESTful Web Services to GraphQL;using Risk Patterns to Identify Violations of Data Protection Policies in Cloud Systems;towards Setting Up a Collaborative Environment to Support Collaborative Business Processes and Services with Social Interactions;toward an Interactive Mobility Assistant for Multi-modal Transport in Smart Cities;meeting IoT Users’ Preferences by Emerging Behavior at Run-Time;a Proposition for a Design Method of Service Systems;a Model-Driven Approach to Continuous Delivery of Cloud Resources;what, Where, When, How and Right of Runtime Adaptation in Service-Oriented Systems;SLA-Driven Governance for RESTful Systems;towards Adaptive Monitoring Services for Self-Adaptive Software Systems.
Solving real-world highly ill-structured problems involves iteration: gathering information, building, testing, and revising products, experiments, and theories. However, we do not know how to create learning environm...
详细信息
暂无评论