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

Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems

作者： Justin Kruger Zoi Terzopoulou Université Paris-Dauphine Paris France Institute for Logic Language and Computation Amsterdam Netherlands

ISBN: (纸本)9781450375184

Many websites that recommend various services use crowdsourcing to collect reviews and rankings. these rankings, usually concerning a subset of all the offered alternatives, are then aggregated. Motivated by such scenarios, we axiomatise a family of positional scoring rules for profiles of possibly incomplete individual preferences. Many opportunities arise for the agents to manipulate the outcome in this setting. they may lie in order to obtain a better result by: (i) switching the order of a ranked pair of alternatives, (ii) omitting some of their truthful preferences, or (iii) reporting more preferences than the ones they truthfully hold. After formalising these new concepts, we characterise all positional scoring rules that are immune to manipulation.

关键词： scoring rules strategic manipulation social choice voting

来源：评论

学校读者我要写书评

暂无评论

On the Model-Checking of Branching-time Temporal logic with BDI Modalities 20

On the Model-Checking of Branching-time Temporal Logic with ...

引用

Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems

作者： Salvatore La Torre Gennaro Parlato Università degli Studi di Salerno Fisciano Italy Università degli Studi del Molise Campobasso Italy

ISBN: (纸本)9781450375184

BDI logics, i.e., logics with belief, desire and intention attitudes, are one of the most widely studied formal languages for modelling rational agents. In this paper, we consider the logic CTL*BDI that augments the branching-time logic CTL with the BDI modalities and adopt the possible-world semantics by Rao and Georgeff. We recall that in this semantics BDI relations vary over time according to a branching-time structure. We study the related model-checking question for finite-state structures, and in particular, we focus on models that are described as tuples of Kripke structures (one for each world) and where the BDI relations are captured by finite-state relations. Note that for formulas that do not contain BDI modalities this corresponds to standard CTL model-checking that is known to be PSPACE-complete. We show that by adding the BDI modalities the computational complexity of model-checking remains PSPACE-complete. the problem is still PSPACE-hard even if we disallow the nesting of temporal operators in the path formulas, i.e., we restrict to the temporal modalities of CTL. Finally, we give a fixed-point formulation of our algorithm for CTLBDI that implements it on the top of existing symbolic fixed-point solvers.

关键词： temporal logic model-checking bdi logic agents

来源：评论

学校读者我要写书评

暂无评论

Probabilistic-Constrained Robust Beamforming for RIS-Aided Dynamic TDD Systems

Probabilistic-Constrained Robust Beamforming for RIS-Aided D...

引用

international Symposium on Wireless Communication Systems (ISWCS)

作者： Gerald C. Nwalozie Martin Haardt Communication Research Laboratory Ilmenau University of Technology Ilmenau Germany

ISBN: (数字)9798350362510

ISBN: (纸本)9798350362527

Dynamic time-division-duplexing (DTDD) and reconfigurable intelligent surfaces (RISs) have been proposed recently as solutions to meet the traffic fluctuations in small cells and to tune the wireless propagation channels in real time. In this paper, we propose robust transmission strategies for an RIS-aided DTDD wireless system with imperfect channel state information (CSI). the problem is formulated as a sum-power minimization problem for the downlink cells under individual users’ signal-to-interference-plus-noise-ratio (SINR) constraints, interference temperature constraints for the uplink cells, and unit-modulus constraints of the RIS in the presence of CSI errors. We consider the statistical CSI imperfection model and propose a probabilistic-constrained robust (PCR) beamforming design scheme. To this end, we adopt a Bernstein-type inequality and the relaxed semi-definite programming (SDP) technique to reformulate the statistical CSI model-based design problem into a tractable problem that can be solved efficiently. Numerical results are presented showing that the outage probability-based approach outperforms that of the bounded norm model.

关键词： Array signal processing Wireless networks Simulation Interference Reconfigurable intelligent surfaces Probabilistic logic Downlink

来源：评论

学校读者我要写书评

暂无评论

A crowdsourcing approach to the design of Virtual Research Environments

A crowdsourcing approach to the design of Virtual Research E...

引用

international conference on Computer Supported Cooperative Work in Design

作者： Maria Gilda P. Esteves Geraldo Zimbrão Filipe Braida Do Carmo Rafaela Campostrini Forzza Marco Vaz Fabiana Luiza Ranzato Filardi Paula Leitman Vitor Faria Monteiro Jano Moreira de Souza PESC/COPPE/UFRJ Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil PESC/COPPE/UFRJ Graduate School of Engineering Universidade Federal do Rio de Janeiro Rio de Janeiro RJ BR JBRJ Instituto de Pesquisas Jardim Botânico do Rio de Janeiro Rio de Janeiro Brazil

A Species List of Flora is a working list of scientific descriptions of all known plants occurring within a given region. It represents an inventory in process, i.e., updates and new plant species are added every working day. the Flora checklist has an important value for the scientific community, government, industry and society, since it gathers accurate data on flora diversity. Knowing the Brazilian flora has been a commitment assumed by Brazil towards the international community. In 2009, the Rio de Janeiro Botanical Garden, in a joint action with several research institutions, started the development of a Virtual Research Environment based on crowdsourcing. the aim of the project was to support the collaborative and distributed work of an undefined number of pre-qualified trained taxonomists, grouped in their specialties. this article describes the technological aspects related to the ongoing work on the List of Species of the Brazilian Flora, which is a recent example of success in building a knowledge database collaboratively. It describes the mechanisms used for determining individual characteristics of potential participants (target audience), the means of collaboration and communication, as well as the technological platform developed to support a web-based crowdsourcing design for Virtual Research Environment. Some information on both the performance of the team of about 600 researchers and the quality of information produced are presented, also including some of the lessons learned and recommendations for future action.

关键词： logic gates Fungi Algae Databases

来源：评论

学校读者我要写书评

暂无评论

A Measurement Study of IoT-Based Attacks Using IoT Kill Chain

A Measurement Study of IoT-Based Attacks Using IoT Kill Chai...

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Junaid Haseeb Masood Mansoori Ian Welch School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand

ISBN: (数字)9781665403924

ISBN: (纸本)9781665403931

Manufacturing limitations, configuration and maintenance flaws associated with the Internet of things (IoT) devices have resulted in an ever-expanding attack surface. Attackers exploit IoT devices to steal private information, take part in botnets, perform Denial of Service (DoS) attacks and use their resources for the mining of cryptocurrency. In this paper, we experimentally evaluate a hypothesis that attacks on IoT devices follow the generalised Cyber Kill Chain (CKC) model. We used a medium-interaction honeypot to capture and analyse more than 30,000 attacks targeting IoT devices. We classified the steps taken by the attackers using the CKC model and extended CKC to an IoT Kill Chain (IoTKC) model. the IoTKC provides details about IoT-specific attack characteristics and attackers' activities in the exploitation of IoT devices.

关键词： Privacy Botnet Predictive models Reconnaissance Probabilistic logic Object recognition Internet of things

来源：评论

学校读者我要写书评

暂无评论

Impact of LCAO-DFT analysed Si-HfO2 on GSNCFET with its Digital Application

Impact of LCAO-DFT analysed Si-HfO2 on GSNCFET with its Digi...

引用

IEEE international conference on Nano/Micro Engineered and Molecular Systems (NEMS)

作者： Rashi Mann Rishu Chaujar Department of Applied Physics Delhi Technology University Delhi India

ISBN: (数字)9798350359831

ISBN: (纸本)9798350359848

this work investigated the impact of silicon (Si) doping on the properties of hafnium oxide (HfO 2 ) and how the combination of this Si-doped HfO 2 and high-k dielectric material affects the parameters of conventional Negative Capacitance Field Effect Transistor (NCFET). the modified architecture of NCFET with gate stacking (GS) of LCAO-DFT analyzed Si-HfO 2 with the high-k dielectric assisted substrate is discussed with the variation of different terms along the device’s channel. the contour behaviour of GS-NCFET is discussed along the channel region. the net charge and total current is displayed in the work. the energy shift contour of GS-NCFETIN conduction and valence band is given. Proceeding with the basic parameters of GS-NCFET, the authors show the digital applications of GS-NCFET. With the use of a cadence simulator, the authors show the implementation of GS-NCFET in digital applications.

关键词： Nanoelectromechanical systems Stacking Materials reliability logic gates Capacitance Reliability engineering Silicon

来源：评论

学校读者我要写书评

暂无评论

DFT based analysis of Boron and Nitrogen passivation at the edge of Armchair Graphene Nanoribbon for low power applications

DFT based analysis of Boron and Nitrogen passivation at the ...

引用

IEEE international conference on Nano/Micro Engineered and Molecular Systems (NEMS)

作者： Anshul Rishu Chaujar Department of Applied Physics Microelectronics Research Lab Delhi Technological University Delhi India

ISBN: (数字)9798350359831

ISBN: (纸本)9798350359848

this paper reports the effect of Boron (B) and Nitrogen (N) passivation in pristine Armchair Graphene Nanoribbons (P – AGNR) channel material of the Gate Stack Graphene Nanoribbon Field Effect Transistor (GS-GNRFET) along with electrical properties using the Slater – Koster (SK) model-based DFT approach. the passivation of B/N enhances the Projected Density of States (PDOS), reduces bandgap, decreases the off current (I off ), improves the switching ratio (SR), and exhibits better transport properties. Also, the on current (I on ) improved by 139 times in the B - passivated gate stacked AGNR- FET (B - AGNR FET) compared to pristine AGNR-FET (P - AGNR FET). the enhanced results of B – AGNR FET with B - passivation in the channel material have significant potential for applications in low-power electronics and signal amplification areas.

关键词： Boron Photonic band gap Field effect transistors Graphene Low power electronics Switches logic gates

来源：评论

学校读者我要写书评

暂无评论

QoS Aware Resource Management in Mobile Edge Computing for Emerging Artificial Intelligence (AI) Applications

QoS Aware Resource Management in Mobile Edge Computing for E...

引用

international conference on Mobile Ad-hoc and Sensor Networks, MSN

作者： Zimo Ma Jun Zhao School of Computer Science and Engineering Nanyang Technological University Singapore

ISBN: (数字)9798350358261

ISBN: (纸本)9798350358278

the rapid development of intelligent machine learning and 5G/6G has led to smart terminal devices for various applications like auto-driving, AR, and smart farms. However, these applications have strict Quality of Service (QoS) requirements, exceeding the capabilities of mobile devices due to limited resources. Mobile edge computing offers a promising solution by enabling task offloading to nearby edge servers with better computing capabilities and a stable energy supply. For mobile edge systems, minimizing overall cost while ensuring QoS for mobile users is a challenging problem to solve *** this paper, we first formulate the performance model for mobile edge systems with real data from deep learning scenarios. then, we formulate the resource management in mobile edge system problem as a non-convex fractional programming problem with multiple coupled variables to minimize the latency and energy consumption while meeting QoS requirements. To solve the non-convex problem, a novel fractional programming technique is proposed to decouple the variables by considering fractional transformation to greatly reduce the complexity. then we achieve the jointly optimal solution of the CPU frequency and offloading strategy with successive convex approximation, and Karush-Kuhn-Tucker (KKT) conditions. the experimental results show that our proposed algorithm can achieve cost-effective solutions while meeting QoS requirements over baselines.

关键词： Deep learning Energy consumption Multi-access edge computing Computational modeling Quality of service programming Mobile handsets

来源：评论

学校读者我要写书评

暂无评论

A Framework for Collaborative and Interactive Agent-oriented Developer Operations 20

A Framework for Collaborative and Interactive Agent-oriented...

引用

Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems

作者： Cleber Jorge Amaral Timotheus Kampik Stephen Cranefield Instituto Federal de Santa Catarina (IFSC) Sao Jose Brazil Umeå University Umeå Sweden University of Otago Dunedin New Zealand

ISBN: (纸本)9781450375184

Considering the increasing prevalence of autonomous systems in today's society, one could expect that agent-oriented programming (AOP) is gaining traction among mainstream software engineering practitioners. However, the tools and frameworks that are used and developed in the academic multi-agent systems engineering community struggle to keep up with recent developments in the software industry in regards to how complex information systems are developed and maintained. An important aspect of recent changes in software engineering practices is the application of technologies that supports the increasingly fast iteration of a programming-testing-deployment cycle. Such approaches require intense collaboration that crosses boundaries between traditionally separated roles like software development, quality assurance, and operations; these approaches are often referred to as DevOps. Researchers need to explore what additional value AOP has to offer in the context of new paradigms and practices. In this paper, we work towards the integration of DevOps and AOP by introducing an extension of jacamo-web, an Integrated Development Environment (IDE) that supports the collaborative, web-based development and real-time continuous integration of autonomous agents and Multi-Agent Systems (MAS).

关键词： agent-oriented programming engineering multi-agent systems iterative software development ide

来源：评论

学校读者我要写书评

暂无评论

A reasoning method for timed CSP based on constraint solving

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2006年 4260 LNCS卷 342-359页

作者： Dong, Jin Song Hao, Ping Sun, Jun Zhang, Xian School of Computing National University of Singapore Singapore

ISBN: (纸本)3540474609

Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a powerful language to model real time reactive systems. However, there is no verification tool support for proving critical properties over systems modelled using Timed CSP. In this work, we construct a reasoning method using Constraint logic programming (CLP) as an underlying reasoning mechanism for Timed CSP. We start with encoding the semantics of Timed CSP in CLP, which allows a systematic translation of Timed CSP to CLP. Powerful constraint solver like CLP(R) is then used to prove traditional safety properties and beyond, e.g., reachability, deadlock-freeness, timewise refinement relationship, lower or upper bound of a time interval, etc. Counter-examples are generated when properties are not satisfied. Moreover, our method also handles useful extensions to Timed CSP. Finally, we demonstrate the effectiveness of our approach through case study of standard real time systems. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：