Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
基本信息
- 批准号:1430556
- 负责人:
- 金额:$ 1万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2014
- 资助国家:美国
- 起止时间:2014-04-15 至 2015-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Systems Biology is a new area of science that studies living systems comprised of many interacting parts. These could be molecules within a cell, cells within an organism, or individual organisms within an ecosystem. It differs from classical biology, which has largely focused on understanding the behavior of the fundamental units of living systems, whereas systems biology is concerned with properties of the entire system. It is necessarily an interdisciplinary subject, using approaches from biology, chemistry, computer science, mathematics, and physics.Computer science is central to systems biology. Because biological systems are so complex, traditional methods of analysis and modeling are inadequate or too inefficient to be practical. There are striking similarities between some of the major problems of software analysis and systems biology. Researchers in both areas must deal with systems that cannot be understood by intuitive, informal methods. This has led to the development of software aids for describing and testing systems. The experience gained by computer scientists working on software analysis could be very useful when applied to systems biology. INTELLECTUAL MERITThe Workshop on Logic and Systems Biology is affiliated with the 2014 Logic in Computer Science (LICS) Conference in Vienna, Austria and is scheduled for July 13. It will consist of one day of invited lectures and a session for discussion of open problems and future research. The talks will cover a variety of connections between computer science and biology, with emphasis on the uses of formal logic in modeling biomolecular interaction systems.Systems biology presents challenges and opportunities for computer science. Although the number of computer scientists who work on systems biology is growing, they still represent a small fraction of the population. The lectures are intended to be accessible to computer scientists who have some knowledge about the use of formal methods for analyzing software and hardware, but who may not have much experience with biology. The speakers will also be invited to submit more technical versions of their talks to a refereed proceedings.BROADER IMPACTThe lectures will explore connections between biology, computer science, and mathematics, with the goal of encouraging collaborations between researchers in the different groups, leading to new applications of logic and raising interesting theoretical questions. Students and postdoctoral fellows will be especially encouraged to participate in the workshop. Since the talks will be partly expository, this will be an opportunity for them to broaden their perspective, with future benefits to their research and teaching.
系统生物学是一门新的科学领域,它研究由许多相互作用的部分组成的生命系统。这些可以是细胞内的分子,有机体内的细胞,或生态系统内的单个有机体。它与经典生物学不同,后者主要关注生命系统基本单元的行为,而系统生物学则关注整个系统的特性。它必然是一门跨学科的学科,使用生物学、化学、计算机科学、数学和物理学的方法。由于生物系统是如此复杂,传统的分析和建模方法是不够的,或者效率太低,不实用。软件分析和系统生物学的一些主要问题之间有着惊人的相似之处。这两个领域的研究人员都必须处理那些无法用直观的、非正式的方法来理解的系统。这导致了用于描述和测试系统的软件辅助工具的开发。从事软件分析的计算机科学家获得的经验在应用于系统生物学时可能非常有用。智力优势逻辑和系统生物学研讨会隶属于2014年逻辑计算机科学(LICS)会议在奥地利维也纳,定于7月13日。它将包括一天的邀请讲座和一个开放的问题和未来研究的讨论会议。讲座将涵盖计算机科学和生物学之间的各种联系,重点是形式逻辑在建模生物分子相互作用系统中的应用。系统生物学为计算机科学带来了挑战和机遇。尽管从事系统生物学研究的计算机科学家的数量正在增长,但他们仍然只占人口的一小部分。这些讲座的目的是让计算机科学家谁有一些关于使用正式的方法来分析软件和硬件的知识,但谁可能没有太多的生物学经验。演讲者还将被邀请提交更多技术版本的演讲,以供参考。更广泛的影响讲座将探讨生物学,计算机科学和数学之间的联系,目的是鼓励不同群体的研究人员之间的合作,导致逻辑的新应用,并提出有趣的理论问题。 特别鼓励学生和博士后研究员参加讲习班。 由于会谈将是部分短暂的,这将是一个机会,他们扩大他们的观点,与未来的利益,他们的研究和教学。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
James Lynch其他文献
Rat Strain Differences Observed in the Rotarod Test
- DOI:
10.1016/j.vascn.2017.09.081 - 发表时间:
2017-11-01 - 期刊:
- 影响因子:
- 作者:
James Lynch;Scott Mittelstadt - 通讯作者:
Scott Mittelstadt
On a threshold representation for complex load-sharing systems
- DOI:
10.1016/j.jspi.2011.03.006 - 发表时间:
2011-08-01 - 期刊:
- 影响因子:
- 作者:
Shuang Li;James Lynch - 通讯作者:
James Lynch
Is “school sport” associated with school belongingness? Testing the influence of school sport policy
“学校体育”与学校归属感相关吗?测试学校体育政策的影响力吗?
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Gareth J. Jones;Moonsup Hyun;Michael B Edwards;Jonathan M. Casper;J. Bocarro;James Lynch - 通讯作者:
James Lynch
Hawkmoths use wingstroke-to-wingstroke frequency modulation for aerial recovery to vortex ring perturbations
天蛾使用翼冲到翼冲频率调制来空中恢复涡环扰动
- DOI:
10.1101/2020.12.07.413781 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
J. Gau;Ryan Gemilere;James Lynch;N. Gravish;S. Sponberg - 通讯作者:
S. Sponberg
What does a typical admission for tracheostomy look like?
- DOI:
10.1016/j.tacc.2019.12.440 - 发表时间:
2020-02-01 - 期刊:
- 影响因子:
- 作者:
Fung Kei Ng;Ms Sarah Wallace;Ms Barbara Bonvento;James Lynch;Barry Coe;Mike Firn;Ms Anna Owen;Brendan A. McGrath - 通讯作者:
Brendan A. McGrath
James Lynch的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('James Lynch', 18)}}的其他基金
Collaborative Research for Developing ATD: Bayesian Methods in Syndromic Surveillance: CAR Models and Computational Implementation
开发 ATD 的协作研究:症状监测中的贝叶斯方法:CAR 模型和计算实现
- 批准号:
0914921 - 财政年份:2009
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Dynamic Models and Decision Making for Complex Reliability Systems
复杂可靠性系统的动态模型和决策
- 批准号:
0805809 - 财政年份:2008
- 资助金额:
$ 1万 - 项目类别:
Continuing Grant
The Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
- 批准号:
0629553 - 财政年份:2006
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Stochastic Models and Inference for the Reliability of Complex Systems
复杂系统可靠性的随机模型和推理
- 批准号:
0243594 - 财政年份:2003
- 资助金额:
$ 1万 - 项目类别:
Continuing Grant
Schools as Precipitants of Crime: The Routine Activities and the Sociology of Place
学校作为犯罪的诱因:日常活动和地方社会学
- 批准号:
0071124 - 财政年份:2000
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Collaborative Research on the Use of Case-Control Methods to Test Opportunity Theory
使用病例对照方法检验机会理论的合作研究
- 批准号:
9115171 - 财政年份:1991
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
- 批准号:
2347294 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical Systems
信号时域逻辑的细粒度监控及其在信息物理系统质量保证中的应用
- 批准号:
23K16865 - 财政年份:2023
- 资助金额:
$ 1万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Towards the identification of a mesoscale neural systems logic underlying innate behaviors
识别先天行为背后的中尺度神经系统逻辑
- 批准号:
10734660 - 财政年份:2023
- 资助金额:
$ 1万 - 项目类别:
Real-time Temporal Logic-based Planning for Multi-agent Autonomous Systems in Partially-known and Uncertain Environments
部分已知和不确定环境中基于时态逻辑的实时多智能体自治系统规划
- 批准号:
RGPIN-2022-03563 - 财政年份:2022
- 资助金额:
$ 1万 - 项目类别:
Discovery Grants Program - Individual
Real-time Temporal Logic-based Planning for Multi-agent Autonomous Systems in Partially-known and Uncertain Environments
部分已知和不确定环境中基于时态逻辑的实时多智能体自治系统规划
- 批准号:
DGECR-2022-00092 - 财政年份:2022
- 资助金额:
$ 1万 - 项目类别:
Discovery Launch Supplement
Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
重新审视证明论中的序数符号系统:从线性逻辑的角度来看
- 批准号:
21K12822 - 财政年份:2021
- 资助金额:
$ 1万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
CAREER: A Framework for Logic-based Requirements to guide Safe Deep Learning for Autonomous Mobile Systems
职业:指导自主移动系统安全深度学习的基于逻辑的要求框架
- 批准号:
2048094 - 财政年份:2021
- 资助金额:
$ 1万 - 项目类别:
Continuing Grant
Study of multi-value spin-logic device development using InGaAs quantum well bilayer electron systems
利用InGaAs量子阱双层电子系统开发多值自旋逻辑器件的研究
- 批准号:
20K04631 - 财政年份:2020
- 资助金额:
$ 1万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: Robust-by-Design Networked Dynamical Systems: Bridging the Logic/Analog Divide
协作研究:设计稳健的网络动力系统:弥合逻辑/模拟鸿沟
- 批准号:
1932735 - 财政年份:2019
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Scalable and quality-aware synthesis of reactive systems from linear temporal logic specifications
根据线性时序逻辑规范对反应系统进行可扩展且具有质量意识的综合
- 批准号:
436811179 - 财政年份:2019
- 资助金额:
$ 1万 - 项目类别:
Research Fellowships