Recalling Academy: University Problems and Critics in Memories

Recalling happy memories in remitted depression: a neuroimaging investigation of the repair of sad mood.

Major depressive disorder (MDD) is a recurrent mood disorder. The high rate of recurrence of MDD suggests the presence of stable vulnerability factors that place individuals with a history of major depression at an increased risk for the onset of another episode. Previous research has linked the remitted state, and therefore increased vulnerability for depressive relapse, with difficulties in t...

Early Maladaptive Schemas and Interpersonal Problems in Iranian University Students

Objective: In recent years, interpersonal relationships have become more complex and increasing number of people suffers from seclusion and loneliness. Early maladaptive schemas (EMSs), important cognitive structures, are expected to have a profound effect on interpersonal relationships. The present study aimed to investigate the relationship between EMSs and interpersonal problems among univer...

Greedy Adaptive Critics for LQR Problems: Convergence Proofs

A number of success stories have been told where reinforcement learning has been applied to problems in continuous state spaces using neural nets or other sorts of function approximators in the adaptive critics. However, the theoretical understanding of why and when these algorithms work is inadequate. This is clearly exempliied by the lack of convergence results for a number of important situa...

Recalling a Witness

type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...

Rorty and His Critics