Filters








754 Hits in 4.1 sec

Temporal Logic Monitoring Rewards via Transducers

Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
We then define monitoring rewards, which add a further level of abstraction to temporal rewards by adopting the four-valued conditions of runtime monitoring; we argue that our compilation technique allows  ...  We first present an approach to compiling temporal rewards which merges the formula automata into a single transducer, sometimes saving up to an exponential number of states.  ...  Extending MDPs via Reward Transducers Rewarding complex behaviours is a challenging task, and temporal logic provides the right level of abstraction to address the problem (Littman 2015; Littman et al  ... 
doi:10.24963/kr.2020/89 dblp:conf/kr/GiacomoFIPR20 fatcat:w3p4x2socbdovjeolfrbmmiy2i

From software verification to 'everyware' verification

Marta Kwiatkowska
2013 Computer Science - Research and Development  
In order to express quantitative goals of SMGs, we formulate a probabilistic alternating time temporal logic with rewards (rPATL), which combines the alternating temporal logic ATL with the probabilistic  ...  More generally, the quantitative specifications that are applicable to implantable devices such as pacemakers and glucose monitors can be expressed in the logic MTL (Metric Temporal Logic) and include  ... 
doi:10.1007/s00450-013-0249-1 fatcat:yijv5tfqwjb5rlopsnmy6gpsf4

Empathy modulates the temporal structure of social attention

Nicholas Hedger, Anthony Haffey, Eugene McSorley, Bhismadev Chakrabarti
2018 Proceedings of the Royal Society of London. Biological Sciences  
Via growth-curve analysis, we demonstrate that self-reported empathy (as measured by the empathy quotient-EQ) predicts the temporal evolution of gaze behaviour under conditions where social and non-social  ...  Our analyses demonstrate that modelling these temporal components of gaze signals may reveal useful behavioural phenotypes.  ...  Although some previous studies of social attention have considered the temporal origin of group differences via divergence analyses [13 -15] none have provided or tested a quantitative model of the entire  ... 
doi:10.1098/rspb.2018.1716 pmid:30963898 pmcid:PMC6304059 fatcat:y6zbt7gtr5ajjpb3meuuufyjfe

Dopaminergic dysfunction in neurodevelopmental disorders: recent advances and synergistic technologies to aid basic research

J Elliott Robinson, Viviana Gradinaru
2018 Current Opinion in Neurobiology  
developed brain-penetrant AAV PHP.eB can efficiently deliver viral transgenes to the CNS after peripheral administration (Figure 1A-B) [29,57], including Brainbow reagents [58] for multicolor labeling via  ...  target individual neuronal projections and their inputs (INTERSECT [5], TRIO [6]), mGRASP for fluorescent labeling of connections between synaptic partners [54,55], and a single cell projection mapping via  ...  Additionally, chronic imaging windows have permitted monitoring of sparsely labelled SNc axons in the dorsal striatum, which revealed distinct temporal and spatial encoding of reward and motor signals  ... 
doi:10.1016/j.conb.2017.08.003 pmid:28850815 pmcid:PMC5825239 fatcat:5bpsrrcfcvcsvdkcmtlintsu3e

Synthesizing efficient systems in probabilistic environments

Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya
2015 Acta Informatica  
In this paper, we focus on synthesizing reactive systems [28] from specifications given in temporal logics [33] .  ...  We also mention multiobjective verification techniques for MDPs, which consider multiple quantitive specifications using, e.g., linear temporal logic [12, 15] or long-run rewards [7] but these are  ... 
doi:10.1007/s00236-015-0237-y fatcat:rtkifoucajhevhtj62d2afo46a

Resolving Behavioral Output via Chemogenetic Designer Receptors Exclusively Activated by Designer Drugs

C. Joseph Burnett, Michael J. Krashes
2016 Journal of Neuroscience  
On the other hand, DREADDs rely on ligand-G-protein-coupled receptor interactions, leading to coarse temporal dynamics.  ...  A recent study suggests the medial prefrontal cortex may regulate motivated responding for reward without altering reward value.  ...  of risk/reward decision making (Mizoguchi et al., 2015) .  ... 
doi:10.1523/jneurosci.1333-16.2016 pmid:27605603 pmcid:PMC5013180 fatcat:vn5zwbbmenanbpyqv3es6ae73y

Motor Cortex Excitability Reflects the Subjective Value of Reward and Mediates its Effects on Incentive Motivated Performance [article]

Joseph K. Galaro, Pablo A. Celnik, Vikram S. Chib
2018 bioRxiv   pre-print
While much work has focused on understanding how the brain's reward circuitry influences incentive motivated performance, fewer studies have investigated how such reward representations act on the motor  ...  While motor cortical excitability appeared insensitive to prospective loss, temporal features of motor cortical excitability for prospective gains were modulated by an independent measure of an individual's  ...  We fit a model to the data that followed the logical progression of our experimental 425 paradigm.  ... 
doi:10.1101/387332 fatcat:d3fa566b3bev5bp5gqkcyqw5fi

Motor Cortex Excitability Reflects the Subjective Value of Reward and Mediates Its Effects on Incentive-Motivated Performance

Joseph K. Galaro, Pablo Celnik, Vikram S. Chib
2018 Journal of Neuroscience  
While much work has focused on understanding how the brain's reward circuitry influences incentive-motivated performance, fewer studies have investigated how such reward representations act on the motor  ...  While motor cortical excitability appeared insensitive to prospective loss, temporal features of motor cortical excitability for prospective gains were modulated by an independent measure of an individual's  ...  We fit a model to the data that followed the logical progression of our experimental paradigm.  ... 
doi:10.1523/jneurosci.1254-18.2018 pmid:30552182 pmcid:PMC6381239 fatcat:dq26wnnjvna5leimmxsz35hm7m

Neuronal Computation Underlying Inferential Reasoning in Humans and Mice

Helen C Barron, Hayley M Reeve, Renée S Koolschijn, Pavel V Perestenko, Anna Shpektor, Hamed Nili, Roman Rothaermel, Natalia Campo-Urriza, Jill X O'Reilly, David M Bannerman, Timothy E J Behrens, David Dupret
2020 Cell  
We show that during successful inference, the mammalian brain uses a hippocampal prospective code to forecast temporally structured learned associations.  ...  Moreover, during resting behavior, coactivation of hippocampal cells in sharp-wave/ripples represent inferred relationships that include reward, thereby "joining-the-dots" between events that have not  ...  The videos were presented via a computer monitor and projected onto a screen inside the scanner bore.  ... 
doi:10.1016/j.cell.2020.08.035 pmid:32946810 pmcid:PMC7116148 fatcat:z2ela26kibb3fomltat4mf5rl4

Novel Technological Advances in Functional Connectomics in C. elegans

DiLoreto, Chute, Bryce, Srinivasan
2019 Journal of Developmental Biology  
Well-fed C. elegans do not cross a high osmotic barrier to chemotax the food-odor attractant, diacetyl: the risk is not worth reward.  ...  Well-fed C. elegans do not cross a high osmotic barrier to chemotax the food-odor attractant, diacetyl: the risk is not worth reward.  ... 
doi:10.3390/jdb7020008 pmid:31018525 pmcid:PMC6630759 fatcat:npzsaczrjfhl5au7au7kjz5why

Hierarchical Motion Planning of AUVs in Three Typical Marine Environments

Xiangrui Ran, Hongyu Bian, Guocheng Zhang, Yushan Sun
2021 Electronics  
In this paper, a three-layer AUV motion planning architecture was designed to improve the planning logic of an AUV when completing complex underwater tasks.  ...  They integrate into a system via network switches.  ...  They integrate into a system via network switches.  ... 
doi:10.3390/electronics10030292 fatcat:jf2tglwasfggxdrzz6c5evkk2a

Ambient intelligence

Fariba Sadri
2011 ACM Computing Surveys  
They can demonstrate common sense and problem-solving ability, and assume responsibility for certain need, of the user, such as monitoring, alerting and helping users in their tasks.  ...  Blind people may be guided in unfamiliar environments by intelligent signposts and public transport timetables that may communicate via wireless headsets [Coroama and Rothenbacher 2003 ].  ...  via wireless monitoring.  ... 
doi:10.1145/1978802.1978815 fatcat:gxuglljhsbeuxjdgxfcs5fs6la

Nowhere to Hide Methodology: Application of Clustering Fault Diagnosis in the Nuclear Power Industry

Cheng Zong, Song Huang, Zhanwei Hui, Erhu Liu, Yongming Yao, Shi-qi Tang
2019 IEEE Access  
We implement log-node and node-log mapping to avoid vital data loss in collecting fault logs and hidden nodes; furthermore, we utilize the logic of the nuclear power unit process system to reveal the crucial  ...  By contrast, the logs generated from the same node at different times can be distinguished via temporal correlation.  ...  As a super monitoring and recording system, the DCS monitors and logs the statuses and actions of the components and the process systems in real time.  ... 
doi:10.1109/access.2019.2957807 fatcat:tjv23vds35agxdsahq3hmbap2y

A Hippocampus-Accumbens Tripartite Neuronal Motif Guides Appetitive Memory in Space

Stéphanie Trouche, Vadim Koren, Natalie M. Doig, Tommas J. Ellender, Mohamady El-Gaby, Vítor Lopes-dos-Santos, Hayley M. Reeve, Pavel V. Perestenko, Farid N. Garas, Peter J. Magill, Andrew Sharott, David Dupret
2019 Cell  
By monitoring neuronal ensembles in mouse dCA1→NAc pathway, combined with cell-type selective optogenetic manipulations of input-defined postsynaptic neurons, we show that dCA1 PYRs drive NAc medium spiny  ...  Here, we uncover a direct connection from dorsal CA1 (dCA1) hippocampus to nucleus accumbens (NAc) that enables the behavioral manifestation of place-reward memories.  ...  CPP Memory Requires Both dCA1 Representations and a Functional dCA1/NAc Pathway (A) dCA1 PYRs of CamKII-Cre mice were transduced with ArchT-GFP, and their firing activity was monitored with tetrodes.  ... 
doi:10.1016/j.cell.2018.12.037 pmid:30773318 pmcid:PMC6424821 fatcat:nzq2usrvyvhyxmvem4lcovnliy

Adeno-Associated Viral Vectors in Neuroscience Research

David L. Haggerty, Gregory G. Grecco, Kaitlin C. Reeves, Brady Atwood
2020 Molecular Therapy: Methods & Clinical Development  
By using such techniques, investigators are able to view real-time calcium imaging data that demonstrate how dopamine neurons contribute to reward, reward prediction errors, aversion, and skill-learning  ...  While this complexity presents many variables for neuroscientists to grapple with during their investigations, a logical approach has been to simplify larger circuits, focusing on characterizing specific  ... 
doi:10.1016/j.omtm.2019.11.012 pmid:31890742 pmcid:PMC6931098 fatcat:smfpfqyfvzdq7bfmm6cjqzyfx4
« Previous Showing results 1 — 15 out of 754 results