Advanced search
Recent Additions
- 2026-05-24
BMC4TimeSec: Verification of Timed Security Protocols
We present BMC4TimeSec, an end-to-end tool for verifying TimedSecurity Protocols (TSP) based on SMT-based bounded model check-ing and multi-agent modelling in the form of Timed InterpretedSystems (TIS) and Timed Interleaved Interpreted Systems (TIIS). In BMC4TimeSec, TSP executions implement the TIS/TIIS envi-ronment (join actions, interleaving, delays, lifetimes), and knowl-edge automata implement the agents (evolution of participantknowledge, including the intruder). The code is publicly available on GitHub, as is a video demon-stration. - 2026-04-17
Universal approach to actigraphic sleep/wake scoring, verified against 5 classic algorithms on 3 datasets
Actigraphy is a non-invasive and inexpensive method to monitor sleep/wake patterns in a natural environment via a wrist-worn activity sensor. Traditionally, detection of sleep/wake periods from actigraphic data relies on smoothing and thresholding the time series of recorded “activity counts”. The first step is implemented by convolution with empirically chosen coefficients, tailored separately for the data and hardware used in each study. We propose to implement this step via a universal low-pass filter, applicable to wide ranges of recording hardware and sampling rates. For verification of this approach, we used 1635 overnight coregistrations of actigraphic and polysomnographic (PSG) data from three different datasets, including one dataset recorded for this study. Optimizations of the filter for concordance of sleep/wake scoring with PSG for different subsets of these data converged to similar parameters, which we tentatively treat as fluctuations around the characteristics of a universal filter. We assess the performance of the proposed approach and five classic algorithms (Cole-Kripke, Sazonov, Scripps, UCSD and Webster) in the same cross-validation scheme. Concordance with PSG, achieved using the universal filter, is significantly higher (at p< 0.001 ) than any of the classical algorithms for the most relevant metrics. - 2026-05-29
Long-Term Consequences of Anticancer Therapy—Treatment Complexity and Quality of Life as Determinants of Affective Disorder Phenotypes in Adolescent Cancer Survivors
Introduction: Advances in pediatric oncology have transformed cancer into a condition with chronic and long-term developmental consequences. While survival rates have improved significantly, the literature on psychosocial outcomes remains fragmented and inconsistent, with a notable lack of person-centered analyses that account for the heterogeneity of adaptive trajectories. Current evidence fails to explain why survivors with similar clinical profiles exhibit divergent psychological phenotypes, particularly regarding the late effects of multimodal treatments. The aim of this study was to identify heterogeneous psychosocial profiles among adolescent cancer survivors and to examine their associations with treatment complexity and quality of life. Materials and Methods: This cross-sectional study included 165 adolescents aged 12–18 years (mean age: 14.64 years) who were in clinical remission following oncological treatment. Standardized assessment tools were used: the Children’s Depression Inventory 2 (CDI-2™) to measure depressive symptoms, the KIDSCREEN-10 index to assess health-related quality of life (HRQoL), and a scale evaluating satisfaction across 14 life domains. Adaptive profiles were identified using a Two-Stage Cluster Procedure, and risk factors were examined using multinomial logistic regression. Results: Four clusters were identified in the study population: a depressive–dysphoric profile, an anhedonic-withdrawn profile, a highly adaptive profile, and a mixed (struggling) profile. Treatment complexity was identified as a significant independent predictor of membership in the high-distress (depressive) cluster. While each additional therapeutic modality beyond standard chemotherapy was associated with a markedly increased risk (OR = 8.91; p < 0.001), the relatively wide confidence interval (95% CI: 3.27–24.31) suggests that the exact magnitude of this effect should be interpreted with caution. The high lower bound of the interval (3.27), however, strongly supports the directional association of cumulative iatrogenic burden with psychological adaptation. Subjective quality of life functioned as a protective factor against depressive symptoms (OR = 0.57); however, paradoxically, higher self-reported quality of life increased the likelihood of classification into the anhedonic group (OR = 1.81). This divergence between high self-reported HRQoL and social withdrawal potentially suggests a ‘well-being paradox’. It is hypothesized that standard HRQoL instruments may primarily capture physical remission and relief from acute somatic symptoms, potentially masking underlying social–emotional deficits. This suggests that HRQoL scores in survivors should be interpreted with caution and complemented by specific affective screenings. Conclusions: The absence of a uniform pattern of psychological response to cancer among adolescent survivors supports the validity of a patient-centered approach. The burden associated with intensive multimodal treatment significantly increases the likelihood of full-syndrome depression during adolescence. Moreover, the identification of a cluster suggestive of anhedonic and socially withdrawn features highlights the limitations of standard screening tools focused solely on the detection of overt sadness. This heterogeneity underscores the need for personalized psycho-oncological care and the implementation of intensified monitoring for patients at high medical risk. - 2025-05-16
Tracking ambivalence in family definitions at different stages of the family life cycle
The article investigates how definitions of family differ at subsequent stages of the family life cycle (FLC) in Poland, where multiple framings of family collide. Highlighting temporal changes in ambivalence, we discern how certain stages of family life shape the main elements of family definitions at an individual level. Three distinct, temporally embedded, stages of becoming and being a parent are analysed in relation to ambivalence on the basis of data originating from two qualitative research projects conducted in Poland. These featured in-depth interviews (n = 112) with individuals at these three stages of family life. We show that (1) ambivalence is a feature of family definitions when awaiting first-time parenthood; (2) it decreases for those parenting young children; and (3) becomes even more uncommon for those at the empty nest stage of family life. While the analysis reveals weakening ambivalence in family definitions, it also points to tensions between ‘doing family’ (family practices) and ‘being family’ (institutional perspective) as definitional approaches that sociologically reflect how people in Poland frame family. We posit that the concept of sociological ambivalence can be employed conceptually to understand the meanings of family at distinct stages of people’s parenting lives. - 2026-06-11
Are Insight Measures Insightful? A Comparison of Different Verbal Tasks Using Self-Reports of Aha! Experience Phenomenology
Measuring insight is a central challenge in the problem-solving field. Recent studies show that classic insight tasks can be solved through either insightful thinking or analytical thinking. The present work examined relationships between cognitive reasoning tasks and insight tasks. Additionally, we explored differences in insight phenomenology when solving insight puzzles and when completing the Cognitive Reflection Test. We conducted two independent studies. Study 1 was a conceptual replication of previously observed relationships between insight puzzles, the Cognitive Reflection Test (CRT), and the Verbal Cognitive Reflection Test (VCRT). Study 2 examined differences between analytical and insightful tasks using self-report insight scales. Five dimensions of insight were measured: suddenness, confidence, pleasure, the Aha! experience, and arousal. Across both studies, insight-puzzle performance correlated positively with reflective tests (CRT and VCRT), consistent with prior findings. In Study 2, Aha! ratings did not differ between insight puzzles and CRT. Unexpectedly, Aha! experience was stronger for VCRT than for insight puzzles. Trial-level analyses that incorporated response accuracy further indicated that Aha! ratings in VCRT and CRT did not reliably differentiate correct from incorrect responses, whereas accuracy effects emerged in other task comparisons. Overall, the dissociation between performance overlap and phenomenology suggests that subjective insight is not uniquely tied to tasks traditionally classified as insight problems and that Aha! experience alone should not be treated as a direct marker of restructuring.
Most viewed
- 2024-05-24
Psychologia społeczna. Wydanie drugie zaktualizowane
Nowa wersja podręcznika Psychologia społeczna ukazuje się w 14 lat po jego pierwszej edycji. Później było wiele wydań, bo podręcznik zyskał powszechne uznanie wykładowców i studentów. To wydanie jednak zasadniczo różni się od poprzednich. Współautorem został Tomasz Grzyb. W tomie przybyło wiele nowych fragmentów, niektóre kwestie zaktualizowano bądź opatrzono dodatkowymi komentarzami, odwołując się do świeżej literatury. Przede wszystkim zmienił się świat dookoła nas, pojawiły się nowe zjawiska, jak na przykład światowa pandemia COVID-19 i wraz z tym potrzeba odniesienia się do jej psychologicznych konsekwencji, a o wielu zjawiskach, którymi zajmuje się psychologia społeczna wiemy dziś więcej niż kilkanaście lat temu. Nie pozostało to bez wpływu na sam podręcznik – jego nowa, zmodyfikowana i przeredagowana treść lepiej oddaje charakter zmieniającej się, choć ciągle tak samo fascynującej dziedziny, jaką jest psychologia społeczna. Profesorowie Bogdan Wojciszke i Tomasz Grzyb, psychologowie o światowej renomie, napisali podręcznik do psychologii społecznej, jakiego jeszcze w Polsce nie było. Książka obejmuje wszystkie klasyczne zagadnienia składające się na tę dyscyplinę oraz zagadnienia relatywnie nowe, takie jak kwestie różnic płci, nowych mediów, społeczeństwa sieci, miłości i władzy. Napisana jasnym i barwnym językiem skupia się na prawidłowościach rządzących ludzką psychiką i postępowaniem. Pokazuje, w jak fascynujący sposób psychologia społeczna odpowiada na pytanie, kim jest człowiek i na czym polega jego społeczna natura. Wcześniejsze wydania tej książki stały się fundamentem dydaktyki akademickiej na kierunku psychologia. - 2025-08-11
What Puppygirls Know? The (in)Human Pedagogy of a Trans Feminine Style
‘Puppygirls’ is a name for a particular kinky trans feminine lesbian style, rooted in the long history of trans erotic productions, and currently thriving on social media platforms, such as Twitter (now X), Bluesky, or Discord. In this article, I provide an analysis of the style that is rooted in personal immersion in ‘puppygirl culture’. Using several examples of puppygirl media productions, I argue for the possibility of reading the puppygirl style as a critical practice: one that hints at ways of being trans that do rely on the ciscentric understanding of ‘the human’ as their point of reference. In doing so, I show how puppygirl style resonates with theoretical interventions in the field of trans studies offered by scholars such as Susan Stryker and Talia Mae Bettcher. - 2023
Wypalenie rodzicielskie: wprowadzenie do teorii i badań
The aim of the article is to present the concept of parental burnout, which has recently become a topic of interest for researchers. In the article, we review the theoretical concept of parental burnout, present the questionnaires to measure it as well as the research results indicating risk factors and consequences of parental burnout, and the first studies on the effectiveness of psychological interventions to reduce it. This article presents information in a concise, simple and understandable way, providing readers with a quick overview of the theory of parental burnout and the latest research on this phenomenon. - 2024-06
The Big Three Perfectionism Scale: Validation of the Polish Version
The Big Three Perfectionism Scale (BTPS) was created to integrate different aspects of perfectionism, including the newly conceptualized concept of narcissistic perfectionism. The goal of our two studies (N = 1341) was to examine the psychometric properties of the Polish adaptation of the BTPS, supporting the validity and portability of the measure. The studies were conducted among people who had a child, thus contributing to a better understanding of parental perfectionism, one of the key factors influencing parental well-being and a child’s functioning. Our analyses included investigating the structure of the scale, intercorrelations between subscales, reliability, and convergent validity by correlating BTPS scores with other measures of perfectionism and correlates of psychopathology (borderline symptoms) and parental difficulties (parental stress and parental burnout). Results supported the structure of the original BTPS. As predicted, confirmatory factor analysis indicated that items comprising the Polish adaptation of the questionnaire, like the original version, measure three related but specific aspects of perfectionism: rigid perfectionism, self-critical perfectionism, and narcissistic perfectionism. The three dimensions were also found to be specifically related to the difficulties experienced by parents. Further, the Polish version of the BTPS was found to have good internal reliability and validity. Our results from two independent Polish samples suggest that the Polish version of the BTPS is a psychometrically robust measure of perfectionism for assessing the three perfectionism factors.
Index
Author
Editor
Organization