首页 > 最新文献

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)最新文献

英文 中文
Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models 基于动态时间扭曲和隐马尔可夫模型的Kinect时间序列数据手势识别
A. Călin
In this paper we analyse the variation of the gesture recognition accuracy of several time series classifiers, based on input provided by two different sensors: Kinect for XBox 360 (Kinect 1) and its improved, newer version, Kinect for XBox One (Kinect 2). This work builds upon a previous study analysing classifiers' performance on pose recognition, considering multiple factors, such as the machine learning methods applied, the sensors used for data collection, as well as data interpretation and sample size. As for the classification of time series gestures, we analyse similar factors, by constructing several one-hand gesture databases that are used to train and test the Dynamic Time Warping (DTW) and Hidden Markov Models (HMM) algorithms. We observed no significant difference in classification accuracy between the results obtained with the two sensors on time series data, although Kinect 2 performs better in pose recognition. Overall, DTW obtained the best accuracy for Kinect 1 time series data, on datasets with fewer samples per class (about 15), the accuracy decreasing drastically with the increase of the number of samples for each class (from 97.8% drops to 66.6%). However, for HMM the accuracy is similar or higher (between 90.7% and 94.9%) for databases with more samples per class (up to 90 entries) than for those with fewer, which makes it preferable to use in a dynamic system.
在本文中,我们基于两种不同传感器提供的输入,分析了几种时间序列分类器的手势识别精度的变化:Kinect for XBox 360 (Kinect 1)及其改进的新版本Kinect for XBox One (Kinect 2)。这项工作建立在先前的研究基础上,分析了分类器在姿势识别方面的性能,考虑了多种因素,如应用的机器学习方法,用于数据收集的传感器,以及数据解释和样本量。对于时间序列手势的分类,我们通过构建几个单手手势数据库来分析相似的因素,这些数据库用于训练和测试动态时间扭曲(DTW)和隐马尔可夫模型(HMM)算法。我们观察到两种传感器在时间序列数据上的分类准确率没有显著差异,尽管Kinect 2在姿势识别方面表现更好。总的来说,DTW在Kinect 1时间序列数据上获得了最好的准确率,在每类样本较少的数据集上(约15个),准确率随着每类样本数量的增加而急剧下降(从97.8%下降到66.6%)。然而,对于每个类有更多样本的数据库(最多90个条目),HMM的准确率与那些类有更少样本的数据库相似或更高(在90.7%和94.9%之间),这使得它更适合用于动态系统。
{"title":"Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models","authors":"A. Călin","doi":"10.1109/SYNASC.2016.049","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.049","url":null,"abstract":"In this paper we analyse the variation of the gesture recognition accuracy of several time series classifiers, based on input provided by two different sensors: Kinect for XBox 360 (Kinect 1) and its improved, newer version, Kinect for XBox One (Kinect 2). This work builds upon a previous study analysing classifiers' performance on pose recognition, considering multiple factors, such as the machine learning methods applied, the sensors used for data collection, as well as data interpretation and sample size. As for the classification of time series gestures, we analyse similar factors, by constructing several one-hand gesture databases that are used to train and test the Dynamic Time Warping (DTW) and Hidden Markov Models (HMM) algorithms. We observed no significant difference in classification accuracy between the results obtained with the two sensors on time series data, although Kinect 2 performs better in pose recognition. Overall, DTW obtained the best accuracy for Kinect 1 time series data, on datasets with fewer samples per class (about 15), the accuracy decreasing drastically with the increase of the number of samples for each class (from 97.8% drops to 66.6%). However, for HMM the accuracy is similar or higher (between 90.7% and 94.9%) for databases with more samples per class (up to 90 entries) than for those with fewer, which makes it preferable to use in a dynamic system.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130632165","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}
引用次数: 26
Hybrid Immune Based Method for Generating Healthy Meals for Older Adults 基于混合免疫的老年人健康膳食生成方法
V. Chifu, I. Salomie, Laura Petrisor, E. Chifu, Dorin Moldovan
This paper presents a Hybrid Clonal Selection based method for generating healthy meals as starting from a given user request, a diet recommendation, and a set of food offers. The method proposed is based on a hybrid model, which consists of one core component and two hybridization components. The core component uses the CLONAG algorithm. One of the hybridization components is based on flower pollination, whereas the other utilizes tabu search and reinforcement learning. The flower pollination component is used for modifying the generated clones, while the tabu search and reinforcement learning component aims to improve the search capabilities of the core component by means of long-term and short-term memory structures. We integrated our method into an experimental prototype and we evaluated it on different older adult profiles.
本文提出了一种基于杂交克隆选择的方法,用于从给定的用户请求、饮食推荐和一组食物提供开始生成健康膳食。该方法基于一个混合模型,该模型由一个核心组件和两个杂交组件组成。核心组件使用CLONAG算法。其中一个杂交组件是基于花授粉,而另一个利用禁忌搜索和强化学习。传粉组件用于修改生成的克隆,而禁忌搜索和强化学习组件旨在通过长期和短期记忆结构来提高核心组件的搜索能力。我们将我们的方法整合到一个实验原型中,并在不同的老年人档案中进行了评估。
{"title":"Hybrid Immune Based Method for Generating Healthy Meals for Older Adults","authors":"V. Chifu, I. Salomie, Laura Petrisor, E. Chifu, Dorin Moldovan","doi":"10.1109/SYNASC.2016.047","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.047","url":null,"abstract":"This paper presents a Hybrid Clonal Selection based method for generating healthy meals as starting from a given user request, a diet recommendation, and a set of food offers. The method proposed is based on a hybrid model, which consists of one core component and two hybridization components. The core component uses the CLONAG algorithm. One of the hybridization components is based on flower pollination, whereas the other utilizes tabu search and reinforcement learning. The flower pollination component is used for modifying the generated clones, while the tabu search and reinforcement learning component aims to improve the search capabilities of the core component by means of long-term and short-term memory structures. We integrated our method into an experimental prototype and we evaluated it on different older adult profiles.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131938350","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}
引用次数: 0
Irrelevance in Incomplete Fuzzy Arithmetic 不完全模糊算法中的不相关性
Laura Franzoi
Irrelevance, a notion which was first put forward by this author jointly with A. Sgarro, is a convenient tool to speed up computations in the arithmetic of interactive fuzzy numbers. In this paper we are trying to understand what happens if the fuzzy quantities one is considering are incomplete, or sub-normal, that is if one allows that a fuzzy quantity is "cut" at a height h which is less than 1. We motivate the reasons why we deem it important to extend fuzzy arithmetic to fuzzy quantities which may be incomplete, and we show that irrelevance keeps proving a convenient tool. Interactivity is described by suitable monotone joins, which generalize t-norms.
不相关性是作者与a . Sgarro首先提出的一个概念,它是交互模糊数算法中加快计算速度的一种方便的工具。在本文中,我们试图理解如果我们考虑的模糊量是不完全的,或者是次正态的,也就是说,如果我们允许一个模糊量在小于1的高度h处被“切断”,会发生什么。我们激发了为什么我们认为将模糊算法扩展到可能不完整的模糊量是重要的原因,并且我们表明不相关性一直被证明是一个方便的工具。通过适当的单调连接来描述交互性,单调连接推广了t-范数。
{"title":"Irrelevance in Incomplete Fuzzy Arithmetic","authors":"Laura Franzoi","doi":"10.1109/SYNASC.2016.052","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.052","url":null,"abstract":"Irrelevance, a notion which was first put forward by this author jointly with A. Sgarro, is a convenient tool to speed up computations in the arithmetic of interactive fuzzy numbers. In this paper we are trying to understand what happens if the fuzzy quantities one is considering are incomplete, or sub-normal, that is if one allows that a fuzzy quantity is \"cut\" at a height h which is less than 1. We motivate the reasons why we deem it important to extend fuzzy arithmetic to fuzzy quantities which may be incomplete, and we show that irrelevance keeps proving a convenient tool. Interactivity is described by suitable monotone joins, which generalize t-norms.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125359624","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
Parameterized Cellular Automata in Image Segmentation 图像分割中的参数化元胞自动机
A. Andreica, L. Dioşan, I. Voiculescu
This paper investigates a novel update rule formulti–state Cellular Automata (CA) in the context of greyscaleimage segmentation. The update rule is parameterized and takesinto account the features of neighbouring cells compared to thefeatures of the current cell. We use the resulting CA to segmentseveral real–world images. During this process we also studythe influence of the rule parameters and neighbourhood schemeusing different evaluation measures.
本文研究了一种新的灰度图像分割更新规则公式——状态元胞自动机。更新规则是参数化的,并将相邻单元的特征与当前单元的特征进行比较。我们使用生成的CA对几个真实世界的图像进行分割。在此过程中,我们还使用不同的评价方法研究了规则参数和邻域方案的影响。
{"title":"Parameterized Cellular Automata in Image Segmentation","authors":"A. Andreica, L. Dioşan, I. Voiculescu","doi":"10.1109/SYNASC.2016.040","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.040","url":null,"abstract":"This paper investigates a novel update rule formulti–state Cellular Automata (CA) in the context of greyscaleimage segmentation. The update rule is parameterized and takesinto account the features of neighbouring cells compared to thefeatures of the current cell. We use the resulting CA to segmentseveral real–world images. During this process we also studythe influence of the rule parameters and neighbourhood schemeusing different evaluation measures.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"66 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123187919","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
A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry 基于矩阵几何的带宽缩减并行启发式算法
Liviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu
This paper proposes a parallel hybrid heuristic aiming the reduction of the bandwidth of sparse matrices. Mainly based on the geometry of the matrix, the proposed method uses a greedy selection of rows/columns to be interchanged, depending on the nonzero extremities and other parameters of the matrix. Experimental results obtained on an IBM Blue Gene/P supercomputer illustrate the fact that the proposed parallel heuristic leads to better results, with respect to time efficiency, speedup, efficiency and quality of solution, in comparison with serial variants and of course in comparison with other reported results.
提出了一种以减少稀疏矩阵带宽为目标的并行混合启发式算法。该方法主要基于矩阵的几何特性,根据矩阵的非零极值和其他参数,贪婪地选择待交换的行/列。在IBM Blue Gene/P超级计算机上获得的实验结果表明,与串行变量相比,当然也与其他报告的结果相比,所提出的并行启发式在时间效率、加速、效率和解决方案质量方面都有更好的结果。
{"title":"A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry","authors":"Liviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu","doi":"10.1109/SYNASC.2016.071","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.071","url":null,"abstract":"This paper proposes a parallel hybrid heuristic aiming the reduction of the bandwidth of sparse matrices. Mainly based on the geometry of the matrix, the proposed method uses a greedy selection of rows/columns to be interchanged, depending on the nonzero extremities and other parameters of the matrix. Experimental results obtained on an IBM Blue Gene/P supercomputer illustrate the fact that the proposed parallel heuristic leads to better results, with respect to time efficiency, speedup, efficiency and quality of solution, in comparison with serial variants and of course in comparison with other reported results.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125428028","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
Parallel Experiments with RARE-BLAS RARE-BLAS的并行实验
Chemseddine Chohra, P. Langlois, David Parello
Numerical reproducibility failures rise in parallel computation because of the non-associativity of floating-point summation. Optimizations on massively parallel systems dynamically modify the floating-point operation order. Hence, numerical results may change from one run to another. We propose to ensure reproducibility by extending as far as possible the IEEE-754 correct rounding property to larger operation sequences. Our RARE-BLAS (Reproducible, Accurately Rounded and Efficient BLAS) benefits from recent accurate and efficient summation algorithms. Solutions for level 1 (asum, dot and nrm2) and level 2 (gemv) routines are provided. We compare their performance to the Intel MKL library and to other existing reproducible algorithms. For both shared and distributed memory parallel systems, we exhibit an extra-cost of 2× in the worst case scenario, which is satisfying for a wide range of applications. For Intel Xeon Phi accelerator a larger extra-cost (4× to 6×) is observed, which is still helpful at least for debugging and validation.
在并行计算中,由于浮点求和的非结合性,导致数值再现性失效。大规模并行系统的优化动态地修改浮点运算顺序。因此,每次运行的数值结果可能会发生变化。我们建议通过尽可能地将IEEE-754的正确舍入特性扩展到更大的操作序列来确保再现性。我们的RARE-BLAS(可重复、精确舍入和高效的BLAS)受益于最新的精确和高效的求和算法。提供了1级(asum, dot和nrm2)和2级(gemv)例程的解决方案。我们将它们的性能与英特尔MKL库和其他现有的可重复算法进行比较。对于共享和分布式内存并行系统,我们在最坏的情况下显示了2倍的额外成本,这对于广泛的应用程序来说都是令人满意的。对于Intel Xeon Phi加速器,可以观察到更大的额外成本(4到6倍),这至少对于调试和验证仍然有帮助。
{"title":"Parallel Experiments with RARE-BLAS","authors":"Chemseddine Chohra, P. Langlois, David Parello","doi":"10.1109/SYNASC.2016.032","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.032","url":null,"abstract":"Numerical reproducibility failures rise in parallel computation because of the non-associativity of floating-point summation. Optimizations on massively parallel systems dynamically modify the floating-point operation order. Hence, numerical results may change from one run to another. We propose to ensure reproducibility by extending as far as possible the IEEE-754 correct rounding property to larger operation sequences. Our RARE-BLAS (Reproducible, Accurately Rounded and Efficient BLAS) benefits from recent accurate and efficient summation algorithms. Solutions for level 1 (asum, dot and nrm2) and level 2 (gemv) routines are provided. We compare their performance to the Intel MKL library and to other existing reproducible algorithms. For both shared and distributed memory parallel systems, we exhibit an extra-cost of 2× in the worst case scenario, which is satisfying for a wide range of applications. For Intel Xeon Phi accelerator a larger extra-cost (4× to 6×) is observed, which is still helpful at least for debugging and validation.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124868902","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}
引用次数: 0
A Hybrid Test Generation Approach Based on Extended Finite State Machines 基于扩展有限状态机的混合测试生成方法
Ana Turlea, F. Ipate, R. Lefticaru
This paper presents a hybrid test generation approach from extended finite state machines combining genetic algorithms with local search techniques. Many test generation methods (both functional and structural testing methods) use genetic algorithms. Genetic algorithms may take a long time to converge to a global optimum and for a huge neighborhood they can be inefficient or unsuccessful. In this paper we use hybrid genetic algorithms to generate test data for some chosen paths for extended finite state machines. Local search is applied to improve the best individual for each generation of the genetic algorithm.
提出了一种结合遗传算法和局部搜索技术的扩展有限状态机混合测试生成方法。许多测试生成方法(包括功能和结构测试方法)使用遗传算法。遗传算法可能需要很长时间才能收敛到全局最优,对于一个巨大的邻域,它们可能效率低下或不成功。本文采用混合遗传算法对扩展有限状态机的一些选定路径生成测试数据。采用局部搜索改进每一代遗传算法的最优个体。
{"title":"A Hybrid Test Generation Approach Based on Extended Finite State Machines","authors":"Ana Turlea, F. Ipate, R. Lefticaru","doi":"10.1109/SYNASC.2016.037","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.037","url":null,"abstract":"This paper presents a hybrid test generation approach from extended finite state machines combining genetic algorithms with local search techniques. Many test generation methods (both functional and structural testing methods) use genetic algorithms. Genetic algorithms may take a long time to converge to a global optimum and for a huge neighborhood they can be inefficient or unsuccessful. In this paper we use hybrid genetic algorithms to generate test data for some chosen paths for extended finite state machines. Local search is applied to improve the best individual for each generation of the genetic algorithm.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127308606","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}
引用次数: 8
Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials 稀疏多元多项式扩展Hensel构造的各种改进
Tateaki Sasaki, D. Inaba
The extended Hensel construction (EHC) is a direct extension of the generalized Hensel construction (GHC), and it targets sparse multivariate polynomials for which the GHC breaks down. The EHC consists of two Hensel constructions which we call separation of "maximal" and "minimal" Hensel factors (see the text). As for the minimal Hensel factor separation, very recently, we enhanced the old algorithm largely by using Groebner basis of two initial factors and syzygies for the elements of the basis. In this paper, we first improve the old algorithm for maximal Hensel factors. We then enhance further the Groebner basis computation in our recent algorithm. The latter is based on a theoretical analysis of the Groebner bases. Simple experiments show that the improved part for the minimal Hensel factors is much faster than the recent one.
扩展Hensel构造(extended Hensel construction, EHC)是对广义Hensel构造(generalized Hensel construction, GHC)的直接扩展,它针对的是GHC分解的稀疏多元多项式。EHC由两个Hensel结构组成,我们称之为“最大”和“最小”Hensel因子的分离(见文本)。对于最小Hensel因子分离,最近,我们通过使用两个初始因子的Groebner基和基中元素的协同性大大增强了旧算法。本文首先改进了求最大Hensel因子的旧算法。然后,我们进一步增强了我们的算法中的Groebner基计算。后者是基于对格罗布纳基的理论分析。简单的实验表明,最小亨塞尔因子的改进部分比最近的改进部分要快得多。
{"title":"Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials","authors":"Tateaki Sasaki, D. Inaba","doi":"10.1109/SYNASC.2016.025","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.025","url":null,"abstract":"The extended Hensel construction (EHC) is a direct extension of the generalized Hensel construction (GHC), and it targets sparse multivariate polynomials for which the GHC breaks down. The EHC consists of two Hensel constructions which we call separation of \"maximal\" and \"minimal\" Hensel factors (see the text). As for the minimal Hensel factor separation, very recently, we enhanced the old algorithm largely by using Groebner basis of two initial factors and syzygies for the elements of the basis. In this paper, we first improve the old algorithm for maximal Hensel factors. We then enhance further the Groebner basis computation in our recent algorithm. The latter is based on a theoretical analysis of the Groebner bases. Simple experiments show that the improved part for the minimal Hensel factors is much faster than the recent one.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"52 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126764753","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}
引用次数: 6
Combinatorics of Hybrid Sets 混合集的组合学
Shaoshi Chen, S. Watt
Hybrid sets are generalizations of sets and multisets, in which the multiplicities of elements can take any integers. This construction was proposed by Whitney in 1933 in terms of characteristic functions. Hybrid sets have been used by combinatorists to give combinatorial interpretationsfor several generalizations of binomial coefficients and Stirling numbers and by computer scientists to design fast algorithms for symbolic domain decompositions. We present in this paper some combinatorial results on subsets and partitions of hybrid sets.
混合集合是集合和多集合的推广,其中元素的多重度可以取任意整数。这种结构是由惠特尼在1933年用特征函数提出的。混合集已被组合学家用来对二项式系数和斯特林数的几种推广给出组合解释,并被计算机科学家用来设计符号域分解的快速算法。本文给出了关于混合集的子集和划分的一些组合结果。
{"title":"Combinatorics of Hybrid Sets","authors":"Shaoshi Chen, S. Watt","doi":"10.1109/SYNASC.2016.022","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.022","url":null,"abstract":"Hybrid sets are generalizations of sets and multisets, in which the multiplicities of elements can take any integers. This construction was proposed by Whitney in 1933 in terms of characteristic functions. Hybrid sets have been used by combinatorists to give combinatorial interpretationsfor several generalizations of binomial coefficients and Stirling numbers and by computer scientists to design fast algorithms for symbolic domain decompositions. We present in this paper some combinatorial results on subsets and partitions of hybrid sets.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125978524","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
How to Build a Global Digital Mathematics Library 如何建设全球数字数学图书馆
S. Watt
As with many other areas of study, mathematical knowledge has been produced for centuries and will continue to be produced for centuries to come. The records have taken many forms, from manuscripts, to printed journals, and now digital media. Unlike many other fields, however, much of mathematical knowledge has a high degree of precision and objectivity that both gives it permanent utility and makes it susceptible to mechanized treatment. We outline a path toward assembling the world’s mathematical knowledge. While initially in the form of a comprehensive digital library of page images, we expect evolution toward a knowledge base supporting sophisticated queries and automated reasoning. It is the aim of the nascent International Mathematical Knowledge Trust to provide a framework and to foster a community to make progress in this direction. We can foresee that such a knowledge base will enhance the capacity of individual mathematicians, accelerate discovery and allow new kinds of collaboration.
与许多其他研究领域一样,数学知识已经产生了几个世纪,并将在未来几个世纪继续产生。这些记录有多种形式,从手稿到印刷期刊,再到现在的数字媒体。然而,与许多其他领域不同,许多数学知识具有高度的精确性和客观性,这既使它具有永久的实用性,又使它容易受到机械化处理。我们勾勒出一条汇集世界数学知识的道路。虽然最初的形式是一个全面的页面图像数字库,但我们希望向支持复杂查询和自动推理的知识库发展。新生的国际数学知识信托基金的目标是提供一个框架,并促进一个社区在这方面取得进展。我们可以预见,这样一个知识库将提高数学家个人的能力,加速发现,并允许新的合作形式。
{"title":"How to Build a Global Digital Mathematics Library","authors":"S. Watt","doi":"10.1109/SYNASC.2016.019","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.019","url":null,"abstract":"As with many other areas of study, mathematical knowledge has been produced for centuries and will continue to be produced for centuries to come. The records have taken many forms, from manuscripts, to printed journals, and now digital media. Unlike many other fields, however, much of mathematical knowledge has a high degree of precision and objectivity that both gives it permanent utility and makes it susceptible to mechanized treatment. We outline a path toward assembling the world’s mathematical knowledge. While initially in the form of a comprehensive digital library of page images, we expect evolution toward a knowledge base supporting sophisticated queries and automated reasoning. It is the aim of the nascent International Mathematical Knowledge Trust to provide a framework and to foster a community to make progress in this direction. We can foresee that such a knowledge base will enhance the capacity of individual mathematicians, accelerate discovery and allow new kinds of collaboration.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132277897","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}
引用次数: 4
期刊
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1