Research on the influence of industry on chemical regulation has mostly been conducted within the framework of the production of ignorance. This special issue extends this research by looking at how industry asserts its interests––not just in the scientific sphere but also at other stages of policy-making and regulatory process––with a specific focus on the types of tools or instruments industry has used. Bringing together sociologists and historians specialized in Science and Technology Studies, the articles of the special issue study (...) the arenas in which instruments and practical guidelines for public policy are negotiated or used. The aim is to observe the devices in the making or in action, from the selection of actors to the production of thresholds, criteria, and other technical regulations. The introduction highlights how industry influence on expertise and regulation is undoubtedly far more pervasive and multifarious than has been conceptualized to date by social scientists. Putting this issue back at the heart of both the STS and social sciences research agendas is increasingly urgent and could lead to new inquiries able to highlight these logics even more widely, using fresh empirical examples. (shrink)

We critically address current theories of figurative language, focusing on the role of literal or compositional meaning in the interpretation of non-literal expressions, including idioms and metaphors. Specifically, we formulate and discuss the processing hypothesis that compositional meaning may either facilitate or impede the recovery or construction of the intended figurative meaning depending on multiple factors, and in particular, on the expression’s decomposability and on the “strength” of semantic relations between the compositional and figurative meanings. As a case study, we (...) consider research on processing and acquisition of figurative expressions in highly verbal individuals with autism spectrum disorder in comparison to neuro-typical individuals, and examine the factors that may account for the observed comprehension deficits in the ASD group. Based on this evidence, we discuss some of the strategies employed by language users in processing non-compositional or non-literal expressions, and we highlight implications for research on natural language comprehension and processing systems in the domain of figurative meaning. (shrink)

The human brain’s ongoing activity is characterized by intrinsic networks of coherent fluctuations, measured for example with correlated functional magnetic resonance imaging signals. So far, however, the brain processes underlying this ongoing blood oxygenation level dependent (BOLD) signal orchestration and their direct relevance for human behavior are not sufficiently understood. In this study, we address the question of whether and how ongoing BOLD activity within intrinsic occipital networks impacts on conscious visual perception. To this end, backwardly masked targets were presented (...) in participants’ left visual field only, leaving the ipsi-lateral occipital areas entirely free from direct effects of task throughout the experiment. Signal time courses of ipsi-lateral BOLD fluctuations in visual areas V1 and V2 were then used as proxies for the ongoing contra-lateral BOLD activity within the bilateral networks. Magnitude and phase of these fluctuations were compared in trials with and without conscious visual perception, operationalized by means of subjective confidence ratings. Our results show that ipsilateral BOLD magnitudes in V1 were significantly higher at times of peak response when the target was perceived consciously. A significant difference between conscious and non-conscious perception with regard to the pre-target phase of an intrinsic-frequency regime suggests that ongoing V1 fluctuations exert a decisive impact on the access to consciousness already before stimulation. Both effects were absent in V2. These results thus support the notion that ongoing slow BOLD activity within intrinsic networks covering V1 represents localized processes that modulate the degree of readiness for the emergence of visual consciousness. (shrink)

Released mid-November 2022, Galactica is a set of six large language models (LLMs) of different sizes (from 125 M to 120B parameters) designed by Meta AI to achieve the ultimate ambition of “a single neural network for powering scientific tasks”, according to its accompanying whitepaper. It aims to carry out knowledge-intensive tasks, such as publication summarization, information ordering and protein annotation. However, just a few days after the release, Meta had to pull back the demo due to the strong hallucinatory (...) tendencies or underwhelming performances of the model. This article aims to study, through a critical threefold argument, the potential impacts of LLMs once deployed in the scientific value chain. Our first argument is a technical one. By examining the technicity of Galactica, it is possible to explain the descripancies between its promotional corporate discourse and abysmal outputs. Second, by going back to debates in both computer science and computational philosophy on the automation of abduction, we argue from the epistemological front that LLMs indeed cannot produce strong abductions and, therefore, claims about the automation of hypothesis generation remains chambering. Finally, our third argument is a sociological one. By conceptualizing the scientific field through Nancy Katherine Hayles’ cognitive assemblage theory, we aim to outline the potential steering of science by LLMs, mainly through information ordering. The core of our argument rests on the assertion that excessive control on information risks contravening a certain serendipitous aspect inherent to scientific discoveries. (shrink)

This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...) the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (shrink)

The transparency of the judicial process and the consistency of judicial decisions can be improved through their publication. Access to jurisprudence is of paramount importance both for law professionals (judges, lawyers, law students) and for the larger public. However, public access must ensure the preservation of privacy for people involved, in accordance with national and international regulations. This paper presents the work behind building an artificial intelligence system for the anonymization of Romanian jurisprudence, allowing it to be accessed through the (...) ReJust portal operated by the Superior Council of Magistracy in Romania. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...) in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

We discuss N. I. Vavilov’s 1922 landmark publication, “The Law of Homologous Series in Variation,” and highlight its salient points. Vavilov drew upon his considerable experience in the field with wild and cultivated crop plants and summarized what he noticed in the form of a law. The law stated that comparable variant forms tended to appear in different varieties of the same species, different species of the same genus, different genera of the same family, and so on. His survey of (...) the older literature suggested that the law applied to multicellular animals as well. Vavilov acknowledged that such “parallel” series might be the outcome of convergent evolution (as conventionally understood). At the same time, by way of an alternative hypothesis, he posed a question that continues to engage evolutionary biology to this day. Namely, does the existence of such parallelisms reflect underlying structural and developmental principles (based on the laws of physics and chemistry) which constrain the range of possible plant and animal forms? Vavilov’s original 1922 paper from the _Journal of Genetics_ (12:47–89) is available as supplementary material in the online version of this article. (shrink)

With the outbreak of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), global researchers were confronted with major challenges. The German National Pandemic Cohort Network (NAPKON) was launched in fall 2020 to effectively leverage resources and bundle research activities in the fight against the coronavirus disease 2019 (COVID-19) pandemic. We analyzed the setup phase of NAPKON as an example for multicenter studies in Germany, highlighting challenges and optimization potential in connecting 59 university and nonuniversity study sites. We examined the ethics application (...) process of 121 ethics submissions considering durations, annotations, and outcomes. Study site activation and recruitment processes were investigated and related to the incidence of SARS-CoV-2 infections. For all initial ethics applications, the median time to a positive ethics vote was less than two weeks and 30 of these study sites (65%) joined NAPKON within less than three weeks each. Electronic instead of postal ethics submission (9.5 days (Q1: 5.75, Q3: 17) vs. 14 days (Q1: 11, Q3: 26), p value = 0.01) and adoption of the primary ethics vote significantly accelerated the ethics application process. Each study center enrolled a median of 37 patients during the 14-month observation period, with large differences depending on the health sector. We found a positive correlation between recruitment performance and COVID-19 incidence as well as hospitalization incidence. Our analysis highlighted the challenges and opportunities of the federated system in Germany. Digital ethics application tools, adoption of a primary ethics vote and standardized formal requirements lead to harmonized and thus faster study initiation processes during a pandemic. (shrink)

„Strategia noastră a fost de a gândi un text util pentru profesori, dar de a-l scrie mai ales pentru studenți. Etica este interesantă cu precădere atunci când pune în joc intuiții morale sau valori diferite și când ne confruntăm cu dileme în care decizia nu este evidentă, iar dezacordul este rezonabil. Prin urmare, am încercat să ne ferim pe cât a fost posibil de verdicte și de simpla enumerare a unor interdicții. Veți observa că, de cele mai multe ori, exercițiile (...) și temele de discuție nu au soluții impuse. Nu pentru că autorii manualului nu ar adera la anumite soluții (poate nu la aceleași!), ci pentru că ni s-a părut mult mai importantă conturarea problemelor. Dilemele și întrebările deschise generează dezbateri și prilejuiesc reflecție. Sentințele, pe de altă parte, tind să ucidă discuția și să prilejuiască mai curând reacții de îmbrățișare sau de respingere vehementă. Dacă vom ajunge, în comunitățile noastre profesionale și în societate, să vorbim mai mult unii cu alții și mai puțin unii la alții, vom fi făcut probabil un pas major în direcția corectă pentru dezvoltarea unei atitudini morale.” (Autorii). (shrink)

ObjectiveTo investigate the association of pre-existing migraine in patients hospitalised and who recovered from severe acute respiratory syndrome coronavirus 2 infection with the presence of post-coronavirus disease symptoms.BackgroundNo study has investigated the role of migraine as a risk factor for development of post-COVID symptoms.MethodsA case-control study including individuals hospitalised during the first wave of the pandemic was conducted. Patients with confirmed previous diagnosis of migraine were considered cases. Two age- and sex-matched individuals without a history of headache per case were (...) also recruited as controls. Hospitalisation/clinical data were collected from hospital medical records. Patients were scheduled for a telephone interview. A list of post-COVID symptoms was systematically evaluated, but participants were invited to freely report any symptom. The Hospital Anxiety and Depression Scale and the Pittsburgh Sleep Quality Index were used to assess anxiety/depressive symptoms and sleep quality. Multivariable conditional logistic regression models were constructed.ResultsOverall, 57 patients with confirmed diagnosis of migraine and 144 non-migraine controls who had recovered from COVID-19 were assessed at 7.3 months after hospital discharge. The number of post-COVID symptoms in the migraine group was significantly greater than in the non-migraine group. Fatigue was significantly more prevalent in the migraine group. However, no between-groups difference in the prevalence of headache as a post-COVID symptom was detected.ConclusionPatients with a history of migraine who recovered from COVID-19 exhibited more long-term fatigue as post-COVID sequelae than those without migraine. Some of the pathophysiological changes associated with migraine could predispose to the occurrence of post-COVID symptoms. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

The monograph includes works of specialists and scientists - active members of the bioethical movement In Ukraine, and regular participants in national congresses on bioethics in Kyiv for the last 20 years. Over the years, bioethics has become widely used our lives It is evidenced, in particular, by the list of topics that are presented in the collective monographs, namely: philosophical and philosophical aspects of bioethics and dissemination bioethical norms and rules in various spheres of human activity. Most articles include (...) both theoretical aspects of bioethics and examples of practical application of bioethical principles. The book is intended for scientists, doctors, philosophers, jurists, teachers and students of higher educational institutions, as well as a wide range of readers who are interested in bioethical issues. (shrink)

Das Verhältnis zwischen Kirche und säkularer Kultur steht einmal mehr in Frage. Gehören die Kunstwerke der christlichen Tradition als lebendige Quelle noch in unsere Gegenwart, oder nicht vielmehr einer Vergangenheit an, die höchstens noch von musealem Interesse ist? Ist eine intellektuelle Durchdringung des Glaubens, eine christliche, katholische/protestantische Intellektualität sinnvoll, notwendig, überhaupt möglich?

COVID-19 pandemic-related perceived risk of infection, illness fears, acute stress, emotional anxiety, exhaustion, and fatigue, psychological trauma and depressive symptoms, and sustained psychological distress can cause smartphone addiction risk and lead to technology-related cognitive, emotional, and behavioral disorders, thus impacting psychological well-being. Behavioral addiction of smartphone users can result in anxiety symptom severity, psychiatric symptoms, and depressive stress. We carried out a quantitative literature review of the Web of Science, Scopus, and ProQuest throughout June 2022, with search terms including “smartphone (...) addiction + COVID-19” + “stress,” “anxiety,” “depression,” “psychological distress,” “screen time,” and “fear.” As we analyzed only articles published between 2020 and 2022, 288 papers met the eligibility criteria. By excluding sources with similar titles, having unclear findings or unsupported by replication, or displaying inconsistent content, we selected 64, mainly empirical, sources. We used layout algorithms and bibliometric mapping as data visualization tools. Assessing the Methodological Quality of Systematic Reviews, a systematic review and literature review software, Mixed Methods Appraisal Tool, and Systematic Review Data Repository were employed as methodological quality assessment tools. As limitations, we analyzed only articles published between 2020 and 2022 in scholarly outlets indexed in the Web of Science, Scopus, and ProQuest databases. The scope of our study also does not advance the inspection of sources covering vulnerable individuals suffering from certain diseases or specific generations. Subsequent analyses should develop on smartphone use and addiction among children and adolescents. Future research should thus investigate problematic smartphone use and addiction across generations Z and Alpha. Attention should be directed to their personality traits and psychopathological symptoms. (shrink)