Frédéric Gilbert
YOU?
Author Swipe
View article: Horizon Scan of Emerging Issues at the Intersection of National Security, Artificial Intelligence, and Human Performance Enhancement
Horizon Scan of Emerging Issues at the Intersection of National Security, Artificial Intelligence, and Human Performance Enhancement Open
International audience
View article: Mind-reading in AI and neurotechnology: evaluating claims, hype, and ethical implications for neurorights
Mind-reading in AI and neurotechnology: evaluating claims, hype, and ethical implications for neurorights Open
This paper examines claims that the convergence of AI and neurotechnology applications, known as brain-reading, enables the reading of human minds. The purpose of this examination is to investigate whether the use of the terms “brain-readi…
View article: Defining Biomarkers in Stem Cell‐Derived Tissue Constructs for Drug and Disease Screening
Defining Biomarkers in Stem Cell‐Derived Tissue Constructs for Drug and Disease Screening Open
The development of stem cell‐derived tissue constructs (SCTCs) for clinical applications, including regenerative medicine, drug and disease screening offers significant hope for detecting and treating intractable disorders. SCTCs display a…
View article: Definition of Implanted Neurological Device Abandonment
Definition of Implanted Neurological Device Abandonment Open
Importance Establishing a formal definition for neurological device abandonment has the potential to reduce or to prevent the occurrence of this abandonment. Objective To perform a systematic review of the literature and develop an expert …
View article: Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\n Theory
Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\n Theory Open
Dedukti is a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\nTheory. We show that many theories can be expressed in Dedukti: constructive\nand classical predicate logic, Simple type theory, programming languages, Pure\ntyp…
View article: Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory
Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory Open
Dedukti is a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, th…
View article: Legal aspects of unwanted device explantations: A comment on the patient R case
Legal aspects of unwanted device explantations: A comment on the patient R case Open
•Explanation of neurodevices against patient's will raises several novel ethical and legal problems.•The general rights and duties of patients and investigators are discussed.•Explantation requires free and informed consent that can be wit…
View article: Why Won’t You Listen To Me? Predictive Neurotechnology and Epistemic Authority
Why Won’t You Listen To Me? Predictive Neurotechnology and Epistemic Authority Open
From epileptic seizures to depressive symptoms, predictive neurotechnologies are used for a large range of applications. In this article we focus on advisory devices; namely, predictive neurotechnology programmed to detect specific neural …
View article: Evaluation of the implementation and effects of management through care and services pathways: A protocol study
Evaluation of the implementation and effects of management through care and services pathways: A protocol study Open
Background In 2015, the Government of Quebec undertook a vast reorganization of its health and social services network. This reform mainly aimed to promote and simplify access to services for the population, contributing to the improvement…
View article: Ethical and regulatory issues of stem cell-derived 3-dimensional organoid and tissue therapy for personalised regenerative medicine
Ethical and regulatory issues of stem cell-derived 3-dimensional organoid and tissue therapy for personalised regenerative medicine Open
Background Regenerative medicine has the potential to treat genetic disorders and replace damaged or missing tissue. The use of donor or animal tissue raises many well-known issues, including limited tissue availability, the possibility of…
View article: Invasive experimental brain surgery for dementia: Ethical shifts in clinical research practices?
Invasive experimental brain surgery for dementia: Ethical shifts in clinical research practices? Open
The increasing dementia prevalence worldwide is driving the testing of novel therapeutic approaches, such as invasive brain technologies, despite limited clinical evidence and the risk of accelerating cognitive decline. Our manuscript (a) …
View article: Incoming ethical issues for deep brain stimulation: when long-term treatment leads to a ‘new form of the disease’
Incoming ethical issues for deep brain stimulation: when long-term treatment leads to a ‘new form of the disease’ Open
Deep brain stimulation (DBS) has been regarded as an efficient and safe treatment for Parkinson’s disease (PD) since being approved by the Food and Drug Administration (FDA) in 1997. It is estimated that more than 150 000 patients have bee…
View article: The Illusion of Progress: An Ethnographic Exploration of Racism, Trauma and the Academy
The Illusion of Progress: An Ethnographic Exploration of Racism, Trauma and the Academy Open
This ethnographic inquiry draws upon empirical work to explore the experience of trauma among the “black” British African and Caribbean diaspora. Using a combination of Critical Race Theory and psychoanalytical concepts of transgenerationa…
View article: Correction to: Deflating the “DBS causes personality changes” bubble
Correction to: Deflating the “DBS causes personality changes” bubble Open
The article Deflating the "DBS causes personality changes" bubble, written by Frederic Gilbert, J. N. M. Viaña and C. Ineichen, was originally published electronically on the publisher’s internet portal (currently SpringerLink) on 19 June …
View article: Deflating the “DBS causes personality changes” bubble
Deflating the “DBS causes personality changes” bubble Open
The idea that deep brain stimulation (DBS) induces changes to personality, identity, agency, authenticity, autonomy and self (PIAAAS) is so deeply entrenched within neuroethics discourses that it has become an unchallenged narrative. In th…
View article: Extending higher-order logic with predicate subtyping : application to PVS
Extending higher-order logic with predicate subtyping : application to PVS Open
The type system of higher-order logic allows to exclude some unexpected expressions such as the application of a predicate to itself. However, it is not sufficient to verify more complex criteria such as the absence of divisions by zero. T…
View article: A Lightweight Double-negation Translation
A Lightweight Double-negation Translation Open
Deciding whether a classical theorem can be proved constructively is a well-known undecidable problem. As a consequence, any computable double-negation translation inserts some unnecessary double negations. This paper shows that most of th…
View article: Enthusiastic portrayal of 3D bioprinting in the media: Ethical side effects
Enthusiastic portrayal of 3D bioprinting in the media: Ethical side effects Open
There has been a surge in mass media reports extolling the potential for using three‐dimensional printing of biomaterials (3D bioprinting) to treat a wide range of clinical conditions. Given that mass media is recognized as one of the most…
View article: I Miss Being Me: Phenomenological Effects of Deep Brain Stimulation
I Miss Being Me: Phenomenological Effects of Deep Brain Stimulation Open
The phenomenological effects of deep brain stimulation (DBS) on the self of the patient remains poorly understood and under described in the literature, despite growing evidence that a significant number of patients experience postoperativ…
View article: Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system Open
International audience
View article: Solving the traffic and flitter challenges with tulip
Solving the traffic and flitter challenges with tulip Open
We present our visualization systems and findings for the Badge and Network Traffic as well as the Social Network and Geospa-tial challenges of the 2009 VAST contest. The summary starts by presenting an overview of our time series encoding…