The Workshop on Logic and Systems Biology

逻辑与系统生物学研讨会

基本信息

  • 批准号:
    0629553
  • 负责人:
  • 金额:
    $ 0.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2006
  • 资助国家:
    美国
  • 起止时间:
    2006-09-01 至 2007-08-31
  • 项目状态:
    已结题

项目摘要

The Workshop on Logic and Systems Biology is affiliated with the 2006 Federated Logic Conference (FLoC) in Seattle, Washington. An essential feature of this workshop is that it brings together people from different disciplines: biology, computer science, and mathematics. Although these different areas have impacted each other often in the past, not all the researchers in a given field are fully aware of the recent advances in the other ones. This workshop will focus on the connections between molecular biology, logic, and formal methods in computer science.One goal of this conference is to introduce systems biology to members of the FLoC community. This is a very new direction for computer science and logic, and although there is a high level of interest in the subject, most attendees of the FLoC are not very familiar with it. Another goal is to foster a dialogue between researchers in systems biology and computer science, with the hope that this will encourage collaborations between the two groups, leading to new applications of logic and raising interesting theoretical questions. Therefore the lectures are intended to be accessible to biologists and FLoC attendees. A third goal of the meeting is to help students, in particular graduate students and recent Ph. D.s, become acquainted with these areas of research. We hope this will broaden their perspective and will contribute to their research and teaching careers.
逻辑和系统生物学研讨会隶属于2006年联邦逻辑会议(FLoC)在西雅图,华盛顿。这个研讨会的一个重要特点是它汇集了来自不同学科的人:生物学,计算机科学和数学。 虽然这些不同的领域在过去经常相互影响,但并不是所有特定领域的研究人员都完全了解其他领域的最新进展。本次研讨会将集中在分子生物学,逻辑和计算机科学中的形式方法之间的联系。本次会议的一个目标是向FLoC社区的成员介绍系统生物学。 这是计算机科学和逻辑学的一个非常新的方向,尽管人们对这一主题有很高的兴趣,但大多数FLoC的与会者都不太熟悉它。另一个目标是促进系统生物学和计算机科学研究人员之间的对话,希望这将鼓励两个群体之间的合作,导致逻辑学的新应用,并提出有趣的理论问题。因此,讲座旨在让生物学家和FLoC与会者能够访问。会议的第三个目标是帮助学生,特别是研究生和最近的博士生,熟悉这些研究领域。 我们希望这将拓宽他们的视野,并将有助于他们的研究和教学生涯。

项目成果

期刊论文数量(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)}}的其他基金

Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
  • 批准号:
    1430556
  • 财政年份:
    2014
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
  • 批准号:
    1231446
  • 财政年份:
    2012
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Collaborative Research for Developing ATD: Bayesian Methods in Syndromic Surveillance: CAR Models and Computational Implementation
开发 ATD 的协作研究:症状监测中的贝叶斯方法:CAR 模型和计算实现
  • 批准号:
    0914921
  • 财政年份:
    2009
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Dynamic Models and Decision Making for Complex Reliability Systems
复杂可靠性系统的动态模型和决策
  • 批准号:
    0805809
  • 财政年份:
    2008
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Continuing Grant
Stochastic Models and Inference for the Reliability of Complex Systems
复杂系统可靠性的随机模型和推理
  • 批准号:
    0243594
  • 财政年份:
    2003
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Continuing Grant
Schools as Precipitants of Crime: The Routine Activities and the Sociology of Place
学校作为犯罪的诱因:日常活动和地方社会学
  • 批准号:
    0071124
  • 财政年份:
    2000
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Random Finite Structures
随机有限结构
  • 批准号:
    9406809
  • 财政年份:
    1994
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Collaborative Research on the Use of Case-Control Methods to Test Opportunity Theory
使用病例对照方法检验机会理论的合作研究
  • 批准号:
    9115171
  • 财政年份:
    1991
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Problems in Finite Model Theory
有限模型理论中的问题
  • 批准号:
    9006303
  • 财政年份:
    1990
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Continuing Grant
Sentences and Circuits
句子和电路
  • 批准号:
    8805880
  • 财政年份:
    1988
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Continuing 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
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical Systems
信号时域逻辑的细粒度监控及其在信息物理系统质量保证中的应用
  • 批准号:
    23K16865
  • 财政年份:
    2023
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Towards the identification of a mesoscale neural systems logic underlying innate behaviors
识别先天行为背后的中尺度神经系统逻辑
  • 批准号:
    10734660
  • 财政年份:
    2023
  • 资助金额:
    $ 0.5万
  • 项目类别:
Real-time Temporal Logic-based Planning for Multi-agent Autonomous Systems in Partially-known and Uncertain Environments
部分已知和不确定环境中基于时态逻辑的实时多智能体自治系统规划
  • 批准号:
    RGPIN-2022-03563
  • 财政年份:
    2022
  • 资助金额:
    $ 0.5万
  • 项目类别:
    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
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Discovery Launch Supplement
Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
重新审视证明论中的序数符号系统:从线性逻辑的角度来看
  • 批准号:
    21K12822
  • 财政年份:
    2021
  • 资助金额:
    $ 0.5万
  • 项目类别:
    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
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Continuing Grant
Study of multi-value spin-logic device development using InGaAs quantum well bilayer electron systems
利用InGaAs量子阱双层电子系统开发多值自旋逻辑器件的研究
  • 批准号:
    20K04631
  • 财政年份:
    2020
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Research: Robust-by-Design Networked Dynamical Systems: Bridging the Logic/Analog Divide
协作研究:设计稳健的网络动力系统:弥合逻辑/模拟鸿沟
  • 批准号:
    1932735
  • 财政年份:
    2019
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Standard Grant
Scalable and quality-aware synthesis of reactive systems from linear temporal logic specifications
根据线性时序逻辑规范对反应系统进行可扩展且具有质量意识的综合
  • 批准号:
    436811179
  • 财政年份:
    2019
  • 资助金额:
    $ 0.5万
  • 项目类别:
    Research Fellowships
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了