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

30th IEEE international conference on Microelectronics (MIEL)

作者： Balasubramanian, P. Dang, C. Maskell, D. L. Prasad, K. Nanyang Technol Univ Sch Elect & Elect Engn 50 Nanyang Ave Singapore 639798 Singapore Nanyang Technol Univ Sch Comp Sci & Engn 50 Nanyang Ave Singapore 639798 Singapore Auckland Univ Technol Dept Elect & Elect Engn Auckland 1142 New Zealand

ISBN: (纸本)9781538625637

Approximate ripple carry adders (RCAs) and carry lookahead adders (CLAs) are presented which are compared with accurate RCAs and CLAs for performing a 32-hit addition. the accurate and approximate RCAs and CLAs are implemented using a 32/28nm CMOS process. Approximations ranging from 4 to 20-hits are considered for the less significant adder hit positions. the simulation results show that approximate RCAs report reductions in the power-delay product (PDP) ranging from 19.5% to 82% than the accurate RCA for approximation sizes varying from 4- to 20-bits. Also, approximate CLAs report reductions in PDP ranging from 16.7% to 74.2% than the accurate CLA for approximation sizes varying from 4- to 20-bits. On average, for the approximation sizes considered, it is observed that approximate CLAs achieve a 46.5% reduction in PDP compared to the approximate RCAs. Hence, approximate CLAs are preferable over approximate RCAs for the low power iinplementation of approximate computer arithmetic.

关键词： Adders logic gates Power dissipation Delays Distance measurement Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Solar energy system design & storage scheduling via linear techniques, broadening renewable integration 30

Solar energy system design & storage scheduling via linear t...

引用

30th international conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems, ECOS 2017

作者： Bryce, Richard Eaton, Michael Balasubramanian, Hari Kosanovic, Dragoljub Department of Mechanical and Industrial Engineering University of Massachusetts AmherstMA United States Center for Energy Efficiency and Renewable Energy United States

Here we present a methodology for utilizing linear programming techniques to select from a portfolio of commercially available solar energy modules, including photovoltaic and solar-thermal panels, along with electrical and thermal storage systems to meet the energy demand of a midrise apartment complex in Amherst, Massachusetts. We treat the complex as a microgrid that cannot export energy to the grid. the storage schedule is formulated as a subproblem solved concurrently with a multiple objective knapsack problem. Coupling the scheduling and design problems induces nonlinearities, which we eschew with an iterative method. We minimize the objective value;a commonly utilized energy grid reliability metric, energy not supplied (ENS) by the solar energy system. Energy not supplied is imported from the grid to balance demand. Energy demand data is obtained from the Reference Building Model developed by NREL. A realistic generation efficiency model is used to convolve the insolation and atmospheric data, obtained from the National Solar Radiation Database. An economic metric is defined and utilized to determine the most cost-efficient budget. We compare the optimal design solutions and objective values corresponding to an averaged insolation time series to those of days with poorer-than-average and greater-than-average insolation during a sampled month. © 2017 IMEKO

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Multivariate anomaly detection in medicare using model residuals and probabilistic programming 30

Multivariate anomaly detection in medicare using model resid...

引用

30th international Florida Artificial Intelligence Research Society conference, FLAIRS 2017

作者： Bauder, Richard A. Khoshgoftaar, Taghi M. Florida Atlantic University United States

ISBN: (纸本)9781577357872

Anomalies in healthcare claims data can be indicative of possible fraudulent activities, contributing to a significant portion of overall healthcare costs. Medicare is a large government run healthcare program that serves the needs of the elderly in the United States. the increasing elderly population and their reliance on the Medicare program create an environment with rising costs and ircreased risk of fraud. the detection of these potentially fraudulent activities can recover costs and lessen the overall impact of fraud on the Medicare program. In this paper, we propose a new method to detect fraud by discovering outliers, or anomalies, in payments made to Medicare providers. We employ a multivariate outlier detection method split into two parts. In the first part, we create a multivariate regression model and generate corresponding residuals. In the second part, these residuals are used as inputs into a generalizable univariate probability model. We create this Bayesian probability model using probabilistic programming. Our results indicate our model is robust and less dependent on underlying data distributions, versus Mahalanobis distance. Moreover, we are able to demonstrate successful anomaly detection, within Medicare specialties, providing meaningful results for further investigation. Copyright © 2017, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Approximate Reasoning with Linguistic Modifier of Translation 30

Approximate Reasoning with Linguistic Modifier of Translatio...

引用

30th international Business-Information-Management-Association conference

作者： Dammak, Nourchen Zaghden Tagina, Moncef COSMOS Lab Manouba Tunisia Univ Manouba Natl Sch Comp Sci Manouba Tunisia

ISBN: (纸本)9780986041990

Fuzzy logic reflect how people think, to obtain a conclusion close to the human reasoning, we consider the particular case where the difference between premise and observation can be expressed by means of a linguistic modifier. We study a linguistic modifier of translation, which is an important tool for approximate reasoning. We besides that, address the problem of the representation of a linguistic modifier in the generalized modus Ponens. In that, we demonstrate a method of calculation while using a different modifier and concentrate our work in the paper of transitive linguistic modifier using different implication and composition operator. Using a linguistic modifier allows the reduce of complexity of the compositional rule of inference.

关键词： Fuzzy logic linguistic modifier Approximate Reasoning Compositional Rule of Inference(CRI)

来源：评论

学校读者我要写书评

暂无评论

30th international conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017

30th International Conference on Industrial, Engineering, an...

引用

30th international conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems, IEA/AIE 2017

ISBN: (纸本)9783319600444

the proceedings contain 117 papers. the special focus in this conference is on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. the topics include: Annotating movement phrases in Vietnamese folk dance videos;mining the lattice of binary classifiers for identifying duplicate labels in behavioral data;using program by demonstration and visual scripting to supporting game design;presenting mathematical expression images on web to support mathematics understanding;a robust, distributed task allocation algorithm for time-critical, multi agent systems operating in uncertain environments;an efficient probabilistic merging procedure applied to statistical matching;interval-based possibilistic logic in a coherent setting;conjunction and disjunction among conditional events;a gold standards-based crowd label aggregation within the belief function theory;experimental evaluation of the understanding of qualitative probability and probabilistic reasoning in young children;a set-valued approach to multiple source evidence;applying object-oriented Bayesian networks for smart diagnosis and health monitoring at both component and factory level;graphical representations of multiple agent preferences;a probabilistic relational model approach for fault tree modeling;incremental method for learning parameters in evidential networks;improving card fraud detection through suspicious pattern discovery;contextual air leakage detection in train braking pipes;Bayesian model averaging for streamflow prediction of intermittent rivers;a mixed integer programming reformulation of the mixed fruit-vegetable crop allocation problem;assessing nitrogen nutrition in corn crops with airborne multispectral sensors and modeling data access legislation with gorgias.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Object-Oriented Modeling with Ontologies Around: A Survey of Existing Approaches

引用

international JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2018年第11-12期28卷 1775-1794页

作者： Baset, Selena Stoffel, Kilian Univ Neuchatel Informat Management Inst AL Breguet 2 CH-2000 Neuchatel Switzerland

Despite the many integration tools proposed for mapping between OWL ontologies and the object-oriented paradigm, developers are still reluctant to incorporate ontologies into their code repositories. In this paper we survey existing approaches for OWL-to-OOP mapping trying to identify reasons for this shy adoption of ontologies among conventional software developers. We present a classification of the surveyed approaches and tools based on their technical characteristics and their resulting artifacts. We discuss further potential reasons beyond what have been addressed in the literature before finally providing our own reflection and outlook.

关键词： Knowledge representation object-oriented programming software modeling ontologies OWL language transformation

来源：评论

学校读者我要写书评

暂无评论

Constraint programming for Multi-criteria Conceptual Clustering 23rd

Constraint Programming for Multi-criteria Conceptual Cluster...

引用

33rd international conference on logic programming / 23rd international conference on Principles and Practice of Constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)

作者： Chabert, Maxime Solnon, Christine Univ Lyon INSA Lyon LIRIS F-69622 Villeurbanne France Infologic Bourg Les Valence France

ISBN: (纸本)9783319661582;9783319661575

A conceptual clustering is a set of formal concepts (i.e., closed itemsets) that defines a partition of a set of transactions. Finding a conceptual clustering is an NP-complete problem for which Constraint programming (CP) and Integer Linear programming (ILP) approaches have been recently proposed. We introduce new CP models to solve this problem: a pure CP model that uses set constraints, and an hybrid model that uses a data mining tool to extract formal concepts in a preprocessing step and then uses CP to select a subset of formal concepts that defines a partition. We compare our new models with recent CP and ILP approaches on classical machine learning instances. We also introduce a new set of instances coming from a real application case, which aims at extracting setting concepts from an Enterprise Resource Planning (ERP) software. We consider two classic criteria to optimize, i.e., the frequency and the size. We show that these criteria lead to extreme solutions with either very few small formal concepts or many large formal concepts, and that compromise clusterings may be obtained by computing the Pareto front of non dominated clusterings.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Passing the Brazilian OAB Exam: Data Preparation and Some Experiments 30

Passing the Brazilian OAB Exam: Data Preparation and Some Ex...

引用

30th international conference on Legal Knowledge and Information Systems (JURIX)

作者： Delfino, Pedro Cuconato, Bruno Haeusler, Edward Hermann Rademaker, Alexandre FGV Direito Rio Rio De Janeiro Brazil Appl Math Sch FGV Rio De Janeiro Brazil Pontificia Univ Catolica Rio de Janeiro Dept Informat Rio de Janeiro Brazil IBM Res Sao Paulo Brazil

ISBN: (纸本)9781614998389;9781614998372

In Brazil, all legal professionals must demonstrate their knowledge of the law and its application by passing the OAB exams, the national Bar exams. this article describes the construction of a new data set and some preliminary experiments on it, treating the problem of finding the justification for the answers to questions. the results provide a baseline performance measure against which to evaluate future improvements. We discuss the reasons to the poor performance and propose next steps.

关键词： OAB bar exam question-answering justification logic

来源：评论

学校读者我要写书评

暂无评论

Non-Volatility by Spin in Modern Nanoelectronics 30

Non-Volatility by Spin in Modern Nanoelectronics

引用

30th IEEE international conference on Microelectronics (MIEL)

作者： Sverdlov, V. Makarov, A. Weinbub, J. Selberherr, S. TU Wien Inst Microelect Vienna Austria TU Wien Inst Microelect Christian Doppler Lab HP TCAD Gusshausstr 27-29 A-1040 Vienna Austria

ISBN: (纸本)9781538625637

Continuous miniaturization of semiconductor devices has been the main driver behind the outstanding increase of speed and performance of integrated circuits. In addition to a harmful active power penalty, small device dimensions result in rapidly rising leakages and fast growing stand-by power. the critical high power consumption becomes incompatible with the global demands to sustain and accelerate the vital industrial growth, and an introduction of new solutions for energy efficient computations becomes paramount. A highly attractive option to reduce power consumption is to introduce non-volatility in integrated circuits. Preserving the data without power eliminates the need for refreshment cycles and related leakages as well as the necessity to initialize the data in temporarily unused parts of the circuit. Spin transistors are promising devices, with the charge-based functionality complemented by the electron spin. the non-volatility is introduced by making the source and drain ferromagnetic. Recent advances in resolving several fundamental problems including spin injection from a metal ferromagnet to a semiconductor, spin propagation and relaxation, as well as spin manipulation by the electric field, resulted in successful demonstrations of such devices. however, the small relative current ratio between parallel/anti-parallel source and drain alignment at room temperature remains a substantial challenge preventing these devices from entering the market in the near future. In contrast, a magnetic tunnel junction is an excellent candidate for realizing power-reducing approaches, as it possesses a simple structure, long retention time, high endurance, fast operation speed, and yields high integration density. Magnetic tunnel junctions with large magnetoresistance ratio are perfectly suited as key elements of non-volatile magnetoresistive memory compatible with the complementary metal-oxide-semiconductor technology and capable to replace dynamic and potentially sta

关键词： Magnetic tunneling logic gates Nonvolatile memory Computer architecture Microelectronics Metals Switches

来源：评论

学校读者我要写书评

暂无评论

Simplifying the QoS Evaluation Problem for Broadcasting in Vehicular Networks using Hierarchical Fuzzy Inference Systems 30

Simplifying the QoS Evaluation Problem for Broadcasting in V...

引用

30th international Business-Information-Management-Association conference

作者： Mchergui, Abir Moulahi, Tarek Alaya, Bechir Nasri, Salem ENIS Sfax Univ Sfax Tunisia Besancon Univ Besancon France Le Havre Univ Le Havre France ENIM Monastir Univ Monastir Tunisia

ISBN: (纸本)9780986041990

the potential of broadcasting in vehicular ad hoc networks (VANET) for offering both safety and non safety services is quite significant. However, research showed that broadcasting in VANET is very different from other mobile ad hoc networks (MANET) in terms of routing techniques and network special features. therefore, providing VANET under broadcasting context with best QoS has been since a while a great research issue. But more complicated, is the problem of measuring the whole network QoS. Deciding which degree of service's quality a broadcasting scheme is achieving and comparing broadcasting techniques performance level with precise numerical values is very difficult. On the other hand, fuzzy logic and its application has usually been a successful strategy to solve such complex problems. In this paper we try to simplify the QoS evaluation problem by proposing a hierarchical fuzzy logic model measuring the system QoS as a crisp value.

关键词： VANET QoS broadcasting fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：