检索结果-内蒙古大学图书馆

11th International conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018

作者： Vaněk, Jiří Mouček, Roman Department of Computer Science and Engineering University of West Bohemia Plzen Czech Republic

ISBN: (纸本)9789897582813

Deep learning techniques have proved to be beneficial in many scientific disciplines and have beaten state-of-the-art approaches in many applications. The main aim of this article is to improve the success rate of deep learning algorithms, especially stacked autoencoders, when they are used for detection and classification of P300 event-related potential component that reflects brain processes related to stimulus evaluation or categorization. Moreover, the classification results provided by stacked autoencoders are compared with the classification results given by other classification models and classification results provided by combinations of various types of neural network layers. Copyright © 2018 by SCITEPRESS – science and Technology Publications, Lda. All rights reserved

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

ONTOHACKING: ONTO-ECOLOGICAL POLITICS IN THE ALGORICENE

引用

LEONARDO 2018年第2期51卷 187-188页

作者： del Val, Jaime Reverso Inst METABODY Project Aguila Real 24 Madrid 28232 Spain

The METABODY project proposes an ontological critique of perceptual regimes, such as perspective and rationalized vision, which eventually underlie contemporary control society and imperial colonization projects, thus being an ontological substrate of contemporary environmental problems. Metabody proposes relational and perceptual modes exceeding the ontological splits (subject-object divide) that account for colonization processes as well as for models of control based on quantification, prediction and modulation in the Big Data Era or Algoricene. These proposals become enacted in a novel architectural paradigm of dynamic self-construction techniques across the digital and physical for an indeterminate and emergent space, called METATOPIA.

关键词： ONTOLOGIES (Information retrieval) CHOREOGRAPHY CYBERNETICS BIG data MODULATION (Electronics) DATA structures (computer science) CYBORGS computer simulation

来源：评论

学校读者我要写书评

暂无评论

An Efficient Retrograde Storage for Self-destructing Messages on Frequently Colliding Hash Table 42

An Efficient Retrograde Storage for Self-destructing Message...

引用

42nd Annual IEEE-computer-Society computers, Software and Applications (COMPSAC) conference - Staying Smarter in a Smartening World

作者： Zhu, Yan Yang, Shuai Gan, Guohua He, Xiao Univ Sci & Technol Beijing Sch Comp & Commun Engn Beijing 100083 Peoples R China

ISBN: (纸本)9781538626672

In this paper, we present a new self-destructing data system, called retrograde storage. This system can randomly store messages into a storage pool built on frequently colliding hash table (FCHT) as an alternative way of DHT, and each message will be covered promptly after the expiry of validity period. This approach makes the message unrecoverable by multiple-pass Gutmann method and supports general secret sharing or encryption with counting control for personal data privacy. Moreover, we give a fundamental mathematical model of birth-death processes, in which we provide a detailed performance analysis by some theorems, including erasure distribution, recovery probability, secure erasure time, capacity of recycle pool. Experimental results indicated that our system is more efficient and accurate for controlling message self-destruction cycle, and makes it hard or impossible to recover data in a forensic investigation.

关键词： Encryption Data privacy Mathematical model Servers Data models Recycling

来源：评论

学校读者我要写书评

暂无评论

21st International conference on Foundations of Software science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2018

21st International Conference on Foundations of Software Sci...

引用

21st International conference on Foundations of Software science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint conferences on Theory and Practice of Software, ETAPS 2018

ISBN: (纸本)9783319893655

The proceedings contain 31 papers. The special focus in this conference is on . The topics include: A theory of encodings and expressiveness;a framework for parameterized monitorability;logics for bisimulation and divergence;call-by-need, neededness and all that;fitch-style modal lambda calculi;Realizability interpretation and normalization of typed call-by-need λ-calculus with control;quotient inductive-inductive types;guarded traced categories;proper semirings and proper convex functors;from symmetric pattern-matching to quantum control;a trace semantics for system F parametric polymorphism;the complexity of graph-based reductions for reachability in markov decision processes;a hierarchy of scheduler classes for stochastic automata;symbolically quantifying response time in stochastic models using moments and semirings;comparator automata in quantitative verification;modular tableaux calculi for separation theories;differential calculus with imprecise input and its logical framework;the effects of adding reachability predicates in propositional separation logic;the equational theory of the natural join and inner union is decidable;minimization of graph weighted models over circular strings;games on graphs with a public signal monitoring;categorical combinatorics for non deterministic strategies on simple games;WQO dichotomy for 3-graphs;verifying higher-order functions with tree automata;a syntactic view of computational adequacy;a new linear logic for deadlock-free session-typed processes;a double category theoretic analysis of graded linear exponential comonads;depending on session-typed processes;FabULous interoperability for ML and a linear language;automata for true concurrency properties.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simplifying spaghetti processes to find the frequent execution paths 1st

Simplifying spaghetti processes to find the frequent executi...

引用

1st International conference on Smart System, Innovations and Computing, SSIC 2017

作者： Manoj Kumar, M.V. Thomas, Likewin Annappa, B. Department of Computer Science and Engineering National Institute of Technology Karnataka Surathkal India

ISBN: (纸本)9789811058271

control-flow discovery algorithms of Process Mining are capable of generating excellent process models until the process is structured (less number of activities and paths connecting between them). Otherwise, process model with Spaghetti structure will be generated. These models are unstructured, incomprehensible and cannot be used for operational support. This paper proposes the techniques for (1) converting Spaghetti (unstructured) process to Lasagna (structured) process, and (2) Identifying the frequent execution paths in the process under consideration. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A conceptual modeling framework for evaluation of cyber-physical systems based on applied category theory and metamodeling 11

A conceptual modeling framework for evaluation of cyber-phys...

引用

2018 Doctoral Consortium Papers presented at the 11th IFIP WG 8.1 Working conference on the Practice of Enterprise Modelling, PoEM-DC 2018

作者： Kunnummel, Vimal RG Knowledge Engineering Faculty of Computer Science University of Vienna Währingerstraße 29 ViennaA-1090 Austria

Cyber-Physical Systems (CPS) are interconnected, computational control systems which directly interact with the non-deterministic physical world. To manage the confronted uncertainty when dealing with non-deterministic environments, a constant feedback loop of monitoring the environment and consequent adjustment of the system is obligatory. Components of a CPS as well as the communication between its components are prone to malfunctioning leading to system failures. Therefore, to enable an effective integration of CPSs into arbitrary business processes, a conceptual modeling framework which enables the evaluation of the capabilities and functionalities of CPSs is needed. In this paper, such a conceptual modeling framework based on applied category theory is proposed to model CPSs in a given environment. Copyright 2018 for this paper by its authors.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Constructing and analysis of the state spaces of workflow process models 2nd

Constructing and analysis of the state spaces of workflow pr...

引用

2nd International conference on Intelligent and Interactive Systems and Applications, IISA 2017

作者： Wang, Lisong Chu, Yifan Xu, Min Yin, Yongchao Zhou, Ping College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing Jiangsu210016 China

ISBN: (纸本)9783319690957

In this paper, a novel formal language Z is adopted to describe the state spaces of workflow process models. We construct the state space for two aspects of workflow process: control flow and resource management. The formulation proposed in this paper can guarantee the correctness of process models to some extent. At the same time, it provides a useful tool for checking the consistence of workflow process models and real processes. © 2018, Springer International Publishing AG.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

12th International conference on Verification and Evaluation of computer and Communication Systems, VECoS 2018

12th International Conference on Verification and Evaluation...

引用

12th International conference on Verification and Evaluation of computer and Communication Systems, VECoS 2018

ISBN: (纸本)9783030003586

The proceedings contain 13 papers. The special focus in this conference is on Verification and Evaluation of computer and Communication Systems. The topics include: Exploiting local persistency for reduced state space generation;Analysis of a road/tramway intersection by the ORIS Tool;toward implicit learning for the compositional verification of markov decision processes;Replacing store buffers by load buffers in TSO;orchestration synthesis for real-time service contracts;modelling and verification of dynamic role-based access control;performance evaluation of dynamic load balancing protocols based on formal models in cloud environments;a protocol for constraint automata execution in a synchronous network of processors;MBT/CPN: A tool for model-based software testing of distributed systems protocols using coloured petri nets;how to be sure a faulty system does not always appear healthy?;improving parallel state-space exploration using genetic algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Iterated algorithmic bias in the interactive machine learning process of information filtering 10

Iterated algorithmic bias in the interactive machine learnin...

引用

10th International Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018

作者： Sun, Wenlong Nasraoui, Olfa Shafto, Patrick Dept of Computer Engineering and Computer Science University of Louisville LouisvilleKY United States Dept of Mathematics and Computer Science Rutgers University - Newark NewarkNJ United States

ISBN: (纸本)9789897583308

Early supervised machine learning (ML) algorithms have used reliable labels from experts to build predictions. But recently, these algorithms have been increasingly receiving data from the general population in the form of labels, annotations, etc. The result is that algorithms are subject to bias that is born from ingesting unchecked information, such as biased samples and biased labels. Furthermore, people and algorithms are increasingly engaged in interactive processes wherein neither the human nor the algorithms receive unbiased data. Algorithms can also make biased predictions, known as algorithmic bias. We investigate three forms of iterated algorithmic bias and how they affect the performance of machine learning algorithms. Using controlled experiments on synthetic data, we found that the three different iterated bias modes do affect the models learned by ML algorithms. We also found that Iterated filter bias, which is prominent in personalized user interfaces, can limit humans’ ability to discover relevant data. Copyright 2018 by SCITEPRESS – science and Technology Publications, Lda. All rights reserved

关键词： Information filtering

来源：评论

学校读者我要写书评

暂无评论

SIGMETRICS 2018 - Abstracts of the 2018 ACM International conference on Measurement and Modeling of computer Systems

SIGMETRICS 2018 - Abstracts of the 2018 ACM International Co...

引用

2018 ACM International conference on Measurement and Modeling of computer Systems, SIGMETRICS 2018

ISBN: (纸本)9781450358460

The proceedings contain 45 papers. The topics discussed include: state dependent control of closed queueing networks;Dandelion++: lightweight cryptocurrency networking with formal anonymity guarantees: extended abstract;bootstrapped graph diffusions: exposing the power of nonlinearity;the cost of uncertainty in curing epidemics;the price of fragmentation in mobility-on-demand services;new metrics and models for a post-ISA era: managing complexity;delay scaling in many-sources wireless networks without queue state information;practical bounds on optimal caching with variable object sizes;on resource pooling and separation for LRU caching;an optimal randomized online algorithm for QoS buffer management;minimizing queue length regret under adversarial network models;dynamic proportional sharing: a game-theoretic approach;SOAP: one clean analysis of all age-based scheduling policies;a Whittle's index based approach for QoE optimization in wireless networks;an optimal algorithm for online non-convex learning;asymptotic optimal control of Markov-modulated restless bandits;online learning of optimally diverse rankings;learning proportionally fair allocations with low regret;multi-armed bandit with additional observations;online learning in weakly coupled Markov decision processes: a convergence time study;working set size estimation techniques in virtualized environments: one size does not fit all;PreFix: switch failure prediction in datacenter networks;on non-preemptive VM scheduling in the cloud;and why some like it loud: timing power attacks in multi-tenant data centers using an acoustic side channel.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：