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

作者： Benevides, Mario R. F. Schechter, L. Menasché Computer Science Department and Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil

This work presents a Propositional Dynamic Logic (πDL) in which the programs are described in a language based on the π-Calculus without replication. Our goal is to build a dynamic logic that is suitable for the description and verification of properties of communicating concurrent systems, in a similar way as PDL is used for the sequential case. We build a simple Kripke semantics for this logic, provide a complete axiomatization for it and show that it has the finite model property. © 2010 Elsevier B.V. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Using HMM in strategic games 9

Using HMM in strategic games

引用

9th International Workshop on Developments in Computational Models, DCM 2013

作者： Benevides, Mario Lima, Isaque Nader, Rafael Rougemont, Pedro Systems and Computer Engineering Program and Computer Science Department Federal University of Rio de Janeiro Brazil

In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve that we use Markov games combined with hidden Markov model. We discuss a hypothetical example of a tennis game whose solution can be applied to any game with similar characteristics. © M. Benevides, I. Lima, R. Nader & P. Rougemont This work is licensed under the Creative Commons Attribution License.

关键词： Tennis

来源：评论

学校读者我要写书评

暂无评论

Musical Analysis of a computer Music Project, by computer-Assistance, for computer Music Applications 26

Musical Analysis of a Computer Music Project, by Computer-As...

引用

26th International computer Music Conference, ICMC 2000

作者： Liu, Jian-Li Hiraga, Rumi Igarashi, Shigeru Doctoral Program in Engineering University of Tsukuba Japan Bunkyo University Japan Department of Computer Science University of Tsukuba Japan

Daphne is a computer-assisted musical analysis system that analyzes musical structure and other information necessary for computer music applications, especially for performance synthesis. The obtained analysis results are stored in a style which extends the information of a note event so that application systems can share analysis information. Providing sheets of real musical scores, Daphne’s design includes a unique function of analysis database which stores analysis result of multiple editions of a piece. Users can make use of the database to consider how performance is generated based on the interpretation of each edition. In this paper, we describe how analysis information is stored and shared among computer music applications — performance synthesis with rules, performance visualization, and automated accompaniment. © 2000 ICMC. All Rights Reserved.

关键词： computer music

来源：评论

学校读者我要写书评

暂无评论

Metasurfaces for next-generation wireless communication systems

引用

National science Review 2023年第8期10卷 17-19页

作者： Younes Ra'di Nikita Nefedkin Petar Popovski Andrea Alù Department of Electrical Engineering and Computer Science Syracuse University Photonics Initiative Advanced Science Research Center City University of New York Department of Electronic Systems Aalborg University Physics Program Graduate Center City University of New York

The pace of development in the world of 5G communication systems has proven to be much more demanding than previous generations, with 5G-Advanced seemingly around the corner [1]. Extensive research is already underway to structure the next generation of wireless systems(i.e. 6G), which may potentially enable an unprecedented level of human–machine interaction [2].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Support vector machine and neural network algorithm approach to classifying facial expression recognition 5

Support vector machine and neural network algorithm approach...

引用

5th International Conference on Informatics and Computing, ICIC 2020

作者： Fatchan, Muhamad Hery Purnomo, Mauridhi Affandy Zainul Fanani, Ahmad Marlinda, Linda Doctoral Program of Computer Science Universitas Dian Nuswantoro Semarang Indonesia Institut Teknologi Sepuluh Nopember Computer Engineering Department Surabaya Indonesia

ISBN: (纸本)9781728180472

One of the obstacles to detecting facial emotions is the lack of analysis in the process of emotional expression on human faces based on a photo camera. Identifying features and implementing different feature combinations can improve accuracy, in most cases. Trial detection through the use of feature vectors with higher dimensions that contain facial emotions can provide a lot of information on the accuracy of the data. The purpose of this study is to determine the highest accuracy results from the comparison of Support Vector Machine and Neural Network Algorithms. It can be seen that the Support Vector Machine has the highest accuracy value, which is 87%, while the Neural Network algorithm only has an accuracy of 85%. The results of the ROC Curve show that the Support Vector Machine achieves the best AUC value, namely 0.97. Comparison between Neural Network algorithm and Support Vector Machine for prediction of emotions using data types with many variations of emotions including anger, sadness, happy and surprise. The Support Vector Machine method is an accurate algorithm and this method is also very dominant over other methods. Based on the Accuracy, AUC, and T-test method, this method falls into the best classification. © 2020 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

Machine learning for improved current-density reconstruction from two-dimensional vector magnetic images

引用

Physical Review Applied 2025年第3期23卷 034035-034035页

作者： Niko R. Reed Danyal Bhutto Matthew J. Turner Declan M. Daly Sean M. Oliver Jiashen Tang Kevin S. Olsson Nicholas Langellier Mark J.H. Ku Department of Physics University of Maryland College Park Maryland USA Quantum Technology Center University of Maryland College Park Maryland USA Joint Quantum Institute University of Maryland College Park Maryland USA Department of Biomedical Engineering Boston University Boston Massachusetts USA A. A. Martinos Center for Biomedical Imaging Massachusetts General Hospital Charlestown Massachusetts USA Department of Electrical and Computer Engineering University of Maryland College Park Maryland USA The MITRE Corporation McLean Virginia 22102 USA Intelligence Community Postdoctoral Research Fellowship Program University of Maryland College Park Maryland 20742 USA Department of Physics Harvard University Cambridge Massachusetts USA Present address: VideaHealth Inc. Boston MA. Department of Materials Science and Engineering University of Delaware Newark Delaware 19716 USA Department of Physics and Astronomy University of Delaware Newark Delaware 19716 USA Present address: Northrop Grumman Mission Systems Linthicum Maryland 21090 USA.

The reconstruction of electrical current densities from magnetic field measurements is an important technique with applications in materials science, circuit design, quality control, plasma physics, and biology. Analytic reconstruction methods exist for planar currents, but break down in the presence of high-spatial-frequency noise or large standoff distance, restricting the types of systems that can be studied. Here, we demonstrate the use of a deep convolutional neural network for current density reconstruction from two-dimensional images of vector magnetic fields acquired by a quantum diamond microscope . Trained network performance significantly exceeds analytic reconstruction for data with high noise or large standoff distances. This machine learning technique can perform quality inversions on lower-signal-to-noise-ratio data, significantly reducing the data collection time and permitting reconstructions of weaker and three-dimensional current sources.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

Personal Autonomic Desktop Manager with a circulatory computing approach

Personal Autonomic Desktop Manager with a circulatory comput...

引用

5th IEEE International Workshop on engineering of Autonomic and Autonomous systems

作者： Kopiler, Alberto Arkader Dutra, Ines de Castro Franca, Felipe M. G. Systems Automation Department CEPEL Electric Power Research Center Computer Science Department FCUP Porto University Systems Engineering and Computer Science Program COPPE/UFRJ Federal University of Rio de Janeiro

ISBN: (纸本)9780769531403

In this paper we present the architecture for the Personal Autonomic Desktop Manager, a self managing application designed to act on behalf of the user in several aspects: protection, healing, optimization and configuration. The overall goal of this research is to improve the correlation of the autonomic self* properties and doing so also enhance the overall self-management capacity of the desktop (autonomicity). We introduce the Circulatory Computing (CC) model, a self-managing system initiative based on the biological metaphor of the cardiovascular system, and use its concepts in the design and implementation of the architecture.

关键词： Cardiovascular system

来源：评论

学校读者我要写书评

暂无评论

SIMPLE APPROACH TO REFLECTANCE ANALYSIS OF BIREFRINGENT STRATIFIED FILMS

引用

APPLIED OPTICS 1991年第28期30卷 4017-4018页

作者： KNOESEN, A []The author is with the Department of Electrical Engineering Computer Science Organized Research Program on Polymeric Ultrathin Film Systems University of California Davis Davis California 95616

A simple analysis is presented of reflectance from a stratified uniaxial media with the optic axes parallel or perpendicular to the plane of incidence.

关键词： UNIAXIAL FILMS POLED POLYMERS THIN FILM BIREFRINGENT

来源：评论

学校读者我要写书评

暂无评论

ELECTRICALLY INDUCED TRANSMISSIVITY MODULATION IN POLYMERIC THIN-FILM FABRY-PEROT ETALONS

引用

APPLIED OPTICS 1989年第20期28卷 4442-4445页

作者： ELDERING, CA KOWEL, ST KNOESEN, A []The authors are with University of California Davis Department of Electrical Engineering Computer Science Organized Research Program on Polymeric Ultrathin Film Systems Davis California 95616

We report the observation of electrically induced changes in transmissivity in Fabry-Perot devices consisting of spin-cast azo-dye/polymer films deposited between gold mirrors. In poled samples the observed modulation shows a linear dependence on the applied modulating voltage. The ratio of the transmissivity modulation observed using incident transverse magnetic polarization to that observed using transverse electric polarization is used to demonstrate that the electrooptic effect dominates the modulation. This is, to our knowledge, the first reported use of a polymeric thin film linear electrooptic material in a Fabry-Perot structure and demonstrates the use of etalons to enhance electrooptic effects in very thin films.

关键词： Electrooptical effects Electrooptical modulators Materials processing Refractive index Thin film applications Thin films

来源：评论

学校读者我要写书评

暂无评论

A Consensus Privacy Metrics Framework for Synthetic Data

arXiv

引用

arXiv 2025年

作者： Pilgram, Lisa Dankar, Fida K. Drechsler, Jörg Elliot, Mark Domingo-Ferrer, Josep Francis, Paul Kantarcioglu, Murat Kong, Linglong Malin, Bradley Muralidhar, Krishnamurty Myles, Puja Prasser, Fabian Raisaro, Jean Louis Yan, Chao El Emam, Khaled School of Epidemiology and Public Health University of Ottawa ON Canada CHEO Research Institute ON Canada Department of Nephrology and Medical Intensive Care Charité – Universitätsmedizin Berlin Berlin Germany Department for Statistical Methods Institute for Employment Research Nuernberg Germany Institute for Statistics Ludwig-Maximilians-Universität Munich Germany Joint Program in Survey Methodology University of Maryland United States The Cathie Marsh Institute Research School of Social Sciences University of Manchester Manchester United Kingdom Department of Computer Engineering and Mathematics Universitat Rovira i Virgili Catalonia Tarragona Spain Max Planck Institute for Software Systems Germany Department of Computer Science Virginia Tech United States Department of Mathematical and Statistical Sciences University of Alberta Alberta Canada Department of Biomedical Informatics Vanderbilt University Medical Center NashvilleTN United States Department of Biostatistics Vanderbilt University Medical Center NashvilleTN United States Department of Computer Science Vanderbilt University NashvilleTN United States Department of Marketing and Supply Chain Management University of Oklahoma Oklahoma United States Medicines and Healthcare products Regulatory Agency London United Kingdom Berlin Institute of Health at Charité Universitätsmedizin Berlin Medical Informatics Group Berlin Germany Biomedical Data Science Center University Hospital Lausanne Lausanne Switzerland

Synthetic data generation is one approach for sharing individual-level data. However, to meet legislative requirements, it is necessary to demonstrate that the individuals’ privacy is adequately protected. There is no consolidated standard for measuring privacy in synthetic data. Through an expert panel and consensus process, we developed a framework for evaluating privacy in synthetic data. Our findings indicate that current similarity metrics fail to measure identity disclosure, and their use is discouraged. For differentially private synthetic data, a privacy budget other than close to zero was not considered interpretable. There was consensus on the importance of membership and attribute disclosure, both of which involve inferring personal information about an individual without necessarily revealing their identity. The resultant framework provides precise recommendations for metrics that address these types of disclosures effectively. Our findings further present specific opportunities for future research that can help with widespread adoption of synthetic data. © 2025, CC BY.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：