In Arabidopsis, root hair and non-hair cell fates are determined by a MYB-bHLH-WD40 transcriptional complex and are regulated by many internal and environmental cues. Brassinosteroids play important roles in regulating root hair specification by unknown mechanisms. Here, we systematically examined root hair phenotypes in brassinosteroid-related mutants, and… (More)
— A plethora of driver convenience and safety automation systems are being introduced into production vehicles, such as electronic stability control, adaptive cruise control, lane keeping, and obstacle avoidance. Assuring the seamless and safe integration of each new automation function with existing control functions is a major challenge for vehicle… (More)
—Motivated by the challenge of developing control software provably meeting specifications for real world problems, this paper applies formal methods to adaptive cruise control (ACC). Starting from a Linear Temporal Logic specification for ACC, obtained by interpreting relevant ACC standards, we discuss in this paper two different control software synthesis… (More)
The authors demonstrate that different NMDAR antagonists (ketamine and MK-801) have varying effects on spine density depending on dose, drug regimen, and brain region. While acute ketamine treatment increases cortical spine density in mice, subchronic exposure to either drug reduces spine density in both the cortex and striatum.