This paper presents two basic results on game-based semantics of FPC, a metalanguage with sums, products, exponentials and recursive types. First we give an axiomatic account of the category of games G introduced in [15], offering a fundamental structural analysis of the category as well as a transparent way to prove computational adequacy. As a consequence we obtain an intensional fullabstract...

Behavioral flexibility is the hallmark of goal-directed behavior. Whereas a great deal is known about the neural substrates of behavioral adjustment when it is explicitly cued by features of the external environment, little is known about how we adapt our behavior when such changes are made on the basis of uncertain evidence. Using a Bayesian reinforcement-learning model and fMRI, we show that ...

We utilized the high temporal resolution of functional near-infrared spectroscopy to explore how sensory input (visual and rhythmic auditory cues) are processed in the cortical areas of multimodal integration to achieve coordinated motor output during unrestricted dance simulation gameplay. Using an open source clone of the dance simulation video game, Dance Dance Revolution, two cortical regio...

Recent studies suggest that schizophrenia (SCH) and bipolar disorder (BPD) may share a similar etiopathology. However, their precise neuropathological natures have rarely been characterized in a comprehensive and quantitative fashion. We have recently developed a rapid, quantitative cell-counting method for frozen unfixed postmortem brains using a flow cytometer. In the present study, we not on...

Food Policy Councils (FPC) help to identify and address the priorities of local, state, and regional food systems with the goal of improving food systems through policy. There is limited research describing FPCs' strategies for accomplishing this goal. As part of a larger study examining FPC policy efforts, this paper investigates the role of partnerships in food systems policy change. We condu...

Recent advances in both clone fingerprinting and draft sequencing technology have made it increasingly common for species to have a bacterial artificial clone (BAC) fingerprint map, BAC end sequences (BESs) and draft genomic sequence. The FPC (fingerprinted contigs) software package contains three modules that maximize the value of these resources. The BSS (blast some sequence) module provides ...

The purpose of the current study is to examine factors affecting corporate image driven by social networking fan pages on Facebook. Under modified elaboration likelihood model (ELM), we answer how page contributor post quality (FPQ) and source credibility (FPC) influence informativeness (FPI) in turn, impact image. We tested hypotheses analyzing survey responses using a covariance-based SEM met...

Being healthcare professionals in the complex field of forensic psychiatry care (FPC) seems particularly challenging. Historically, families have almost been invisible in FPC. The aim of this study was to uncover beliefs among healthcare professionals concerning families of patients admitted for FPC. Using a hermeneutical approach inspired by Gadamer's philosophy, group interviews with healthca...

Motivated by the search for a logic for polynomial time, we study rank logic (FPR) which extends fixed-point logic with counting (FPC) by operators that determine the rank of matrices over finite fields. While FPR can express most of the known queries that separate FPC from Ptime, nearly nothing was known about the limitations of its expressive power. In our first main result we show that the e...