AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
批准号:
2139936
负责人:
Nancy Lynch
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
未结题
起止时间:
2022-06-01 至 2025-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project aims at understanding computation in the brain, in terms of abstract, interacting, distributed algorithms. It assumes a mathematical model of computation based on directed graphs (nodes and connecting edges), where the nodes correspond to neurons and the edges correspond to nerve fibers by which neurons may influence each other. The project studies problems that are typical of those solved by actual brains, such as problems of focusing attention, making decisions, detecting similarity between sensed odors or visual scenes, and recognizing and learning concepts with interesting structure. It studies these problems using techniques from theoretical computer science. This work has both biological and computer-science motivations. The algorithmic perspective is expected to help in understanding the computational mechanisms employed by biological neural networks. On the other hand, many of the problems that are solved by these networks are also fundamental in computer science and artificial intelligence; studying them in the setting of biological neural networks is expected to offer a new perspective and yield new results. Biological algorithms are naturally flexible, robust, and adaptive---properties that are also desirable for modern computer systems.In more detail, this work is based on a synchronous, stochastic Spiking Neural Network (SNN) model. Previously, the investigator and collaborators used this type of model to study several problems including Winner-Take-All decision-making, data compression and clustering, and learning of simple hierarchically-structured concepts. They produced new algorithms (networks) and analyzed them in terms of costs such as network size and convergence time. They also discovered some cost tradeoffs and proved related lower bound results. This project continues this research program, but now focusing on the central issues of how concepts are represented in the brain, how those representations are used, and how they may be learned. "Concepts" here encompass both logical concepts, such as hierarchical structures and linguistic constructs, and physical concepts, such as moving objects. A main thesis is: "Structure that is naturally present in real-world concepts gets mirrored in their neural representations, in a way that facilitates both learning and recognition." This project uses approaches from theoretical computer science, notably, distributed and probabilistic algorithms, as well as linear algebra and complexity theory, to investigate this hypothesis. Another emphasis of the project is on how noise and uncertainty affect the costs of solving problems in brain networks, as well as the choice of representations. Still another is on how the brain may combine networks that solve simpler problems into larger networks that solve more complex problems. Specifically, the project is studying (1) fundamental theoretical questions about SNN models and their computing power, (2) common neural primitives (such as Winner-Take-All) that may be used to solve more complex brain problems, (3) questions about efficient static representations of structured concepts in brain networks, and (4) questions about how such representations can be learned.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1007/978-3-031-15629-8_22
发表时间:
2018-08
期刊:
影响因子:
--
作者:
[N. Lynch;Cameron Musco]
通讯作者:
N. Lynch;Cameron Musco
DOI:
--
发表时间:
2024
期刊:
Thalamocortical Interactions Gordon Research Conference 2024
影响因子:
--
作者:
[Wang, Mien Brabeeba, Lynch, Nancy, Halassa, Michael]
通讯作者:
Halassa, Michael
To attract or to oscillate: Validating dynamics with behavior..
吸引或振荡:用行为验证动态..
DOI:
--
发表时间:
2023
期刊:
5th Conference on the Mathematical Theory of Deep Learning
影响因子:
--
作者:
[Murray, Keith]
通讯作者:
Murray, Keith
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density
不同任务密度的未知环境中新型 Swarm 任务分配算法的比较
DOI:
--
发表时间:
2023
期刊:
22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023
影响因子:
--
作者:
[Cai, Grace, Harasha, Noble, Lynch, Nancy]
通讯作者:
Lynch, Nancy
DOI:
10.48550/arxiv.2304.09540
发表时间:
2023-04
期刊:
ArXiv
影响因子:
--
作者:
[Nancy A. Lynch;Frederik Mallmann-Trenn]
通讯作者:
Nancy A. Lynch;Frederik Mallmann-Trenn
共 14 条
AF: Small: Distributed Algorithms for Dynamic, Noisy Platforms: Wireless Networks, Robot Swarms, and Insect Colonies
-
批准号:2003830
-
项目类别:Standard Grant
-
资助金额:$34.94万
-
财政年份:2020
-
负责人:Nancy Lynch
-
依托单位:
NSF-BSF: AF: Small: An Algorithmic Theory of Brain Networks
-
批准号:1810758
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Nancy Lynch
-
依托单位:
AF: Medium: Distributed Algorithms for Resource-Constrained and Dynamic Settings
-
批准号:1461559
-
项目类别:Continuing Grant
-
资助金额:$74.14万
-
财政年份:2015
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Bounded-Contention Coding for Wireless Networks
-
批准号:1217506
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Nancy Lynch
-
依托单位:
CCF-AF: Abstract Medium Access Control Layers
-
批准号:0937274
-
项目类别:Standard Grant
-
资助金额:$84.82万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
-
批准号:1035199
-
项目类别:Standard Grant
-
资助金额:$34.0万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
Theoretical Foundations for Reliable Computing in Unreliable Mobile ad hoc Networks
-
批准号:0726514
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
-
批准号:0715397
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
Extending the Power and Applicability of the Timed Input/Output Automata Framework
-
批准号:0702670
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR--EHS: Collaborative Research: Verification of Probabilistic Hybrid Systems: Stability and Beyond
-
批准号:0614414
-
项目类别:Continuing Grant
-
资助金额:$23.0万
-
财政年份:2006
-
负责人:Nancy Lynch
-
依托单位:
ITR/SY: Communication and Data Sharing Services for Dynamic Distributed Systems
-
批准号:0121277
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Nancy Lynch
-
依托单位:
Building Blocks for Distributed Applications: Theory and Practice
-
批准号:9909114
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems
-
批准号:9876931
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
CISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed Applications
-
批准号:9901592
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
Practical Formal Methods for the Design and Analysis of Complex Concurrent Systems
-
批准号:9804665
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1998
-
负责人:Nancy Lynch
-
依托单位:
The Topological Approach to Asynchronous Computability
-
批准号:9520298
-
项目类别:Continuing Grant
-
资助金额:$22.81万
-
财政年份:1996
-
负责人:Nancy Lynch
-
依托单位:
A Unified Framework for Verification and Complexity Analysis of Real-Time and Distributed Systems
-
批准号:9225124
-
项目类别:Continuing Grant
-
资助金额:$32.4万
-
财政年份:1993
-
负责人:Nancy Lynch
-
依托单位:
Summer Institute in Japan for U.S. Graduate Students in Science and Engineering
-
批准号:9210596
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Nancy Lynch
-
依托单位:
Distributed Algorithms
-
批准号:8915206
-
项目类别:Continuing Grant
-
资助金额:$41.83万
-
财政年份:1990
-
负责人:Nancy Lynch
-
依托单位:
Modularity of Distributed Algorithms
-
批准号:8611442
-
项目类别:Continuing Grant
-
资助金额:$51.66万
-
财政年份:1986
-
负责人:Nancy Lynch
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: