搜索结果: 1-15 共查到“Computation”相关记录745条 . 查询时间(0.125 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Approximation and computation for the linear and nonlinear eigenvalue problems in photonic crystals
光子晶体 线性非线性特征值问题 近似 计算
2023/5/15
In this talk, we discuss the approximation and computation for the linear and nonlinear eigenvalue problems in photonic crystals. We discretize the shifted Maxwell operator with edge finite elements a...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Cognition vs. Computation
认知 计算 心理科学
2023/5/12
认知科学是研究包括心理科学和计算科学在内的多个学科，在对智能本源的共同兴趣基础上诞生的新兴学科。”认知和计算的关系“是认知科学的核心理论问题，也是新一代人工智能的核心基础科学问题。报告从认知科学发展的角度，系统介绍了”认知和计算关系“研究的历史。在认知科学的经典符号主义和联结主义时代，物理符号系统和多层知觉机都是图灵机等价的系统，因此可以认为认知是图灵可计算的。在当今的具身认知科学中，该问题尚无明...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Computation and Design of Electrochemical Energy Storage Materials
电化学 储能材料 计算设计
2023/4/25
The key to electrochemical energy storage systems such as Li/Na-ion batteries is materials. The traditional method for exploring new materials is trial-and-error, which often takes a dozen years durin...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Computation of phononic crystals using the PG finite element method
PG有限元法 计算 声子晶体
2023/4/17
Phononic crystals are composite materials with periodic distribution of two or more media. The difficulty of computing the band structure of the phononic crystals lies in capturing the complex geometr...
New hardware offers faster computation for artificial intelligence, with much less energy（图）
新硬件 人工智能 计算速度 模拟深度学习
2023/6/6
As scientists push the boundaries of machine learning, the amount of time, energy, and money required to train increasingly complex neural network models is skyrocketing. A new area of artificial inte...
何勇教授团队长期致力于同步自动机领域的研究，近期在该研究方向取得新进展。研究成果以“Extremal synchronizing circular automata”为题，于2021年12月8日在线发表于Information and Computation杂志上，该期刊是中国计算机学会（CCF）指定的A类学术期刊。
Beyond Honest Majority: The Round Complexity of Fair and Robust Multi-party Computation
Fairness and Guaranteed Output Delivery MPC Round Complexity
2019/9/5
Two of the most sought-after properties of Multi-party Computation (MPC) protocols are fairness and guaranteed output delivery (GOD), the latter also referred to as robustness. Achieving both, however...
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation
Secure Multi-Party Computation Verified Implementation High-Assurance Cryptography
2019/8/14
Secure Multi-Party Computation (MPC) enables a group of nn distrusting parties to jointly compute a function using private inputs. MPC guarantees correctness of computation and confidentiality of inpu...
Efficient Information-Theoretic Secure Multiparty Computation over Z/pkZ via Galois Rings
MPC Galois Rings
2019/7/30
At CRYPTO 2018, Cramer et al. introduced a secret-sharing based protocol called SPDZ2kZ2k that allows for secure multiparty computation (MPC) in the dishonest majority setting over the ring of integer...
Fast Actively Secure Five-Party Computation with Security Beyond Abort
Secure Multiparty Computation Guaranteed Output Delivery Fairness
2019/7/26
Secure Multi-party Computation (MPC) with small population and honest majority has drawn focus specifically due to customization in techniques and resulting efficiency that the constructions can offer...
Optimizing Transport Layer for Secure Computation
Framework Transport layer Garbled circuits Implementation
2019/7/22
Transport layer: Although significantly improved, the performance of 2PC is still prohibitive for practical systems. Contrary to the common belief that bandwidth is the remaining bottleneck for 2PC im...
Verifiable Computing for Approximate Computation
verifiable computing interactive proofs approximate arithmetic
2019/7/8
Verifiable computing (VC) is a complexity-theoretic method to secure the integrity of computations. The need is increasing as more computations are outsourced to untrusted parties, e.g., cloud platfor...
Privacy-Preserving Classification of Personal Text Messages with Secure Multi-Party Computation: An Application to Hate-Speech Detection
cryptographic protocols SMC
2019/6/26
Classification of personal text messages has many useful applications in surveillance, e-commerce, and mental health care, to name a few. Giving applications access to personal texts can easily lead t...
Secure Computation for Cloud data Storage
Multi-party computation semi-trusted cloud data security
2019/6/19
One of the main goals of securing data transmission is focused on the security of cloud data storage. In this paper, we describe several cryptographic techniques which can be used to address the relev...
Improved Building Blocks for Secure Multi-Party Computation based on Secret Sharing with Honest Majority
cryptographic protocols secret sharing
2019/6/19
Secure multi-party computation permits evaluation of any desired functionality on private data without disclosing the data to the participants and is gaining its popularity due to increasing collectio...