Browse
Submit Data
Databases
API
Help

Dataset Information

31 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Learning One-Clock Timed Automata

ABSTRACT: We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin’s

SUBMITTER: Biere A

PROVIDER: S-EPMC7439748 | biostudies-literature | 2020 Mar

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Similar Datasets

Verified Certification of Reachability Checking for Timed Automata

Project description: Not available

| S-EPMC7439749 | biostudies-literature

Heart Rhythm Insights Into Structural Remodeling in Atrial Tissue: Timed Automata Approach.

Project description: Not available

| S-EPMC6340163 | biostudies-literature

Reinforcement Quantum Annealing: A Hybrid Quantum Learning Automata.

Project description: Not available

| S-EPMC7224393 | biostudies-literature

Extracting automata from neural networks using active learning.

Project description: Not available

| S-EPMC8064235 | biostudies-literature

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

Project description: Not available

| S-EPMC7439745 | biostudies-literature

Timed Exercise and Clocks: Does a Minimally Functional Suprachiasmatic Clock Support 24h Behavioral Rhythms?

Project description:The brain’s suprachiasmatic nucleus (SCN) is the master clock driving circadian rhythms in mammals. Vasoactive intestinal polypeptide (VIP) and its cognate receptor, VPAC2, are expressed in SCN neurons and mice with genetically targeted deletion of VPAC2 (Vipr2 -/-animals) show aberrant resetting to light, abnormal behavioral rhythms, and diminished SCN clock gene expression. Timed daily access to a running-wheel (scheduled voluntary exercise; SVE) promotes Vipr2 -/- SCN clock cell synchrony and 24h behavioral rhythms. We hypothesized that timed exercise alters the SCN transcriptome. Here, in control (Vipr2+/+) and Vipr2-/- mice under freely exercising and SVE conditions, RNAseq and qRT-PCR were used to measured gene expression of laser-dissected SCN. Compared to Vipr2+/+ mice, hundreds of genes were differentially expressed in the SCN from Vipr2-/- mice rhythmic in the freely exercising condition. Unexpectedly, SVE did not promote a Vipr2+/+-like SCN transcriptome in Vipr2-/- mice and many transcripts involved in SCN function including Avp, C1ql3, Gpr176, Prok2, Sst, Per2, and Nr1d1 remained dysregulated in the SVE condition. By contrast, circadian oscillators in the liver and lung were mostly intact in Vipr2-/- mice. This study indicates that marked molecular deficits in the SCN are sustained in behaviorally rhythmic Vipr2-/- mice, raising the possibility that a minimal functional SCN circadian clock can underpin whole animal rhythms.

2023-01-20 | GSE207992 | GEO

Chronic Timed Sleep Restriction Attenuates LepRb-Mediated Signaling Pathways and Circadian Clock Gene Expression in the Rat Hypothalamus

Project description: Not available

| S-EPMC7507490 | biostudies-literature

Predictability in cellular automata.

Project description: Not available

| S-EPMC4182702 | biostudies-literature

Cells as strain-cued automata.

Project description: Not available

| S-EPMC6550492 | biostudies-literature

Stochastic computing with biomolecular automata.

Project description: Not available