scholarly journals Formal Methods for the Informal Engineer: Workshop Recommendations

2021 ◽  
Author(s):  
Gopal Sarma ◽  
Jimmy Koppel ◽  
Gregory Malecha ◽  
Patrick Schulz ◽  
Eric Drexler ◽  
...  
Keyword(s):  
Formal Methods ◽  
Potential Role ◽  
Life Sciences ◽  
Project Planning ◽  
Software Ecosystem ◽  
Safety Critical ◽  
Broad Institute ◽  
Development Trajectories ◽  
Verified Software

Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundamental drivers of new platforms, including those which will need to be mission and safety-critical. Drawing on conversations leading up to and during the workshop, we make five concrete recommendations to help software leaders organically incorporate tools, techniques, and perspectives from formal methods into their project planning and development trajectories.

POPDC proteins and cardiac function

2019 ◽  
Vol 47 (5) ◽  
pp. 1393-1404 ◽  
Author(s):  
Thomas Brand
Keyword(s):  
Potential Role ◽  
Striated Muscle ◽  
Short Review ◽  
Effector Proteins ◽  
Muscle Disease ◽  
Disease Genes ◽  
Protein Protein Interaction ◽  
Interaction Partners ◽  
And Function

Abstract The Popeye domain-containing gene family encodes a novel class of cAMP effector proteins in striated muscle tissue. In this short review, we first introduce the protein family and discuss their structure and function with an emphasis on their role in cyclic AMP signalling. Another focus of this review is the recently discovered role of POPDC genes as striated muscle disease genes, which have been associated with cardiac arrhythmia and muscular dystrophy. The pathological phenotypes observed in patients will be compared with phenotypes present in null and knockin mutations in zebrafish and mouse. A number of protein–protein interaction partners have been discovered and the potential role of POPDC proteins to control the subcellular localization and function of these interacting proteins will be discussed. Finally, we outline several areas, where research is urgently needed.

The Effect of Path Length and Display Size on Memory for Spatial Information

2012 ◽  
Vol 59 (3) ◽  
pp. 147-152 ◽  
Author(s):  
Katherine Guérard ◽  
Sébastien Tremblay
Keyword(s):  
Path Length ◽  
Potential Role ◽  
Spatial Information ◽  
Recall Performance ◽  
Minor Role ◽  
Length Effect ◽  
Serial Memory ◽  
Fixed Reference ◽  
A Minor

In serial memory for spatial information, some studies showed that recall performance suffers when the distance between successive locations increases relatively to the size of the display in which they are presented (the path length effect; e.g., Parmentier et al., 2005) but not when distance is increased by enlarging the size of the display (e.g., Smyth & Scholey, 1994). In the present study, we examined the effect of varying the absolute and relative distance between to-be-remembered items on memory for spatial information. We manipulated path length using small (15″) and large (64″) screens within the same design. In two experiments, we showed that distance was disruptive mainly when it is varied relatively to a fixed reference frame, though increasing the size of the display also had a small deleterious effect on recall. The insertion of a retention interval did not influence these effects, suggesting that rehearsal plays a minor role in mediating the effects of distance on serial spatial memory. We discuss the potential role of perceptual organization in light of the pattern of results.

Sign in / Sign up

Export Citation Format

Share Document