2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)最新文献_第3页

An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling 一种改进的非抢占任务调度上界算法

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.32

S. Andrei, A. Cheng, V. Radulescu

引用次数: 6

Creative Telescoping via Hermite Reduction 通过赫米特还原的创造性伸缩

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.9

Manuel Kauers

引用次数: 0

Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices 复杂对称矩阵线性方程的SCBiCG方法的变型实现

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.27

Kuniyoshi Abe, S. Fujino

引用次数: 1

Investigation on Parameter Effect for Semi-automatic Contour Detection in Histopathological Image Processing 组织病理学图像处理中半自动轮廓检测参数效应研究

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.72

C. Stoean, R. Stoean, Adrian Sandita, C. Mesina, D. Ciobanu, C. Gruia

引用次数: 7

Unsupervised Aspect Level Sentiment Analysis Using Self-Organizing Maps 使用自组织地图的无监督方面级情感分析

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.75

E. Chifu, Tiberiu St. Letia, V. Chifu

引用次数: 7

A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents 信任问题:依赖逻辑、BCI和传感器代理的智能家居系统

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.35

Violeta Tulceanu

{"title":"A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents","authors":"Violeta Tulceanu","doi":"10.1109/SYNASC.2015.35","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.35","url":null,"abstract":"In this paper we sketch out a smart home system(and the reasoning mechanism behind it) designed to improve the living experience of the severely impaired, relying on logic, brain-computer interfacing (BCI) and mobile sensor agents. There exists a significant social category of people who because of either old age or conditions such as paralysis lose their ability to manage their own lives. Such persons are compelled to rely on others in order to manage their finances, expenses, daily necessities such as eating or turning on the television or dialing an emergency number. In our previous research we have described a manner in which to model emotions, as captured via BCI. Here, we extend this model to abstract and concrete concepts and employ epistemic logic and a logic of trust in order to allow communication between the person and heterogeneous agents via a BCI headset. We firstly describe a formal model for expressing reasoning as captured in its cortical projection. Secondly, we describe a communication protocol that uses a logic of trust that allows the user to give commands to specific listening agents. The system should use reasoning and logic to learn from the user commands they receive and configure routines that correspond to the usual preferences and needs. Finally, the agents, on receiving and corroborating data from other sensors that relate to vital signs of the user or that otherwise identify a crisis situation, should be able to decide when to change their task priorities andthe system should ad hoc self-configure in order to provide bestassistance to the user.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"4 1","pages":"177-180"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90568311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Expressive Data Storage Policies for Multi-cloud Storage Configurations 多云存储配置的表达性数据存储策略

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.58

A. Rafique, D. Landuyt, W. Joosen

{"title":"Expressive Data Storage Policies for Multi-cloud Storage Configurations","authors":"A. Rafique, D. Landuyt, W. Joosen","doi":"10.1109/SYNASC.2015.58","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.58","url":null,"abstract":"Software-as-a-Service (SaaS) providers increasingly rely on multi-cloud setups to leverage the combined benefits of different enabling technologies and third-party providers. Especially, in the context of NoSQL storage systems, which are characterized by heterogeneity and quick technological evolution, adopting the multi-cloud paradigm is a promising way to deal with different data storage requirements. Existing data access middleware platforms that support this type of setup (polyglot persistence) commonly rely on (i) configuration models that describe the multi-cloud setup, and (ii) the hard-coded logic in the application source code or the data storage policies that define how the middleware platforms should store data across different storage systems. In practice, however, both models are tightly coupled, i.e. the hard-coded logic in the application source code and data storage policies refer to specific configuration model elements, leads to fragility issues (ripple effects) and hinders reusability. More specifically, in multi-cloud configurations that change often (e.g., in dynamic cloud federations), this is a key problem. In this paper, we present a more expressive way to specify storage policies, that involves (i) enriching the configuration models with metadata about the technical capabilities of the storage systems, (ii) referring to the desired capabilities of the storage system in the storage policies, and (iii) leaving actual resolution to the policy engine. Our validation in the context of a realistic SaaS application shows how the policies accommodate such changes for a number of realistic policy change scenarios. In addition, we evaluate the performance overhead, showing that policy evaluation is on average less than 2% of the total execution time.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"3 ","pages":"329-336"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91453265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Simple Venn Diagrams for Multisets 多集的简单维恩图

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.36

Aurelian Radoaca

引用次数: 6

Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned 树分解的动态规划实践——一些经验教训

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.13

S. Woltran

引用次数: 0

Numerical Investigations of Equilibriums in a Flight with High Angle of Attack 大攻角飞行平衡的数值研究

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.22

A. Fortis, S. Balint

引用次数: 0