Showing 1–8 of 8 results for author: Gispert, J

Where is VALDO? VAscular Lesions Detection and segmentatiOn challenge at MICCAI 2021

Authors: Carole H. Sudre, Kimberlin Van Wijnen, Florian Dubost, Hieab Adams, David Atkinson, Frederik Barkhof, Mahlet A. Birhanu, Esther E. Bron, Robin Camarasa, Nish Chaturvedi, Yuan Chen, Zihao Chen, Shuai Chen, Qi Dou, Tavia Evans, Ivan Ezhov, Haojun Gao, Marta Girones Sanguesa, Juan Domingo Gispert, Beatriz Gomez Anson, Alun D. Hughes, M. Arfan Ikram, Silvia Ingala, H. Rolf Jaeger, Florian Kofler , et al. (24 additional authors not shown)

Abstract: Imaging markers of cerebral small vessel disease provide valuable information on brain health, but their manual assessment is time-consuming and hampered by substantial intra- and interrater variability. Automated rating may benefit biomedical research, as well as clinical assessment, but diagnostic reliability of existing algorithms is unknown. Here, we present the results of the \textit{VAscular… ▽ More Imaging markers of cerebral small vessel disease provide valuable information on brain health, but their manual assessment is time-consuming and hampered by substantial intra- and interrater variability. Automated rating may benefit biomedical research, as well as clinical assessment, but diagnostic reliability of existing algorithms is unknown. Here, we present the results of the \textit{VAscular Lesions DetectiOn and Segmentation} (\textit{Where is VALDO?}) challenge that was run as a satellite event at the international conference on Medical Image Computing and Computer Aided Intervention (MICCAI) 2021. This challenge aimed to promote the development of methods for automated detection and segmentation of small and sparse imaging markers of cerebral small vessel disease, namely enlarged perivascular spaces (EPVS) (Task 1), cerebral microbleeds (Task 2) and lacunes of presumed vascular origin (Task 3) while leveraging weak and noisy labels. Overall, 12 teams participated in the challenge proposing solutions for one or more tasks (4 for Task 1 - EPVS, 9 for Task 2 - Microbleeds and 6 for Task 3 - Lacunes). Multi-cohort data was used in both training and evaluation. Results showed a large variability in performance both across teams and across tasks, with promising results notably for Task 1 - EPVS and Task 2 - Microbleeds and not practically useful results yet for Task 3 - Lacunes. It also highlighted the performance inconsistency across cases that may deter use at an individual level, while still proving useful at a population level. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Eliminating solvents and polymers in high-performance Si anodes by gas-phase assembly of nanowire fabrics

Authors: Moumita Rana, Afshin Pendashteh, Richard Schäufele, Joaquim Gispert, Juan J. Vilatela

Abstract: Develo** sustainable battery electrode manufacturing methods is particularly pressing for alloying-type active materials, such as silicon, which often require additional energy-intensive and solvent-based processing to reinforce them with a buffer matrix. This work introduces a new method to fabricate Si anodes as continuous, tough fabrics of arbitrary thickness, without processing solvents, pol… ▽ More Develo** sustainable battery electrode manufacturing methods is particularly pressing for alloying-type active materials, such as silicon, which often require additional energy-intensive and solvent-based processing to reinforce them with a buffer matrix. This work introduces a new method to fabricate Si anodes as continuous, tough fabrics of arbitrary thickness, without processing solvents, polymeric binders, carbon additive, or any reinforcing matrix. The anodes consist of percolated networks of long Si nanowires directly assembled from suspension in the gas phase, where they are grown via floating catalyst chemical vapour deposition. A high Si content above 75 wt.% in a textile-like network structure leads to high-performance electrode properties. Their gravimetric capacity is 2330 mAh g-1 at C/20 for all thicknesses produced, reaching areal capacities above 9.3 mAh cm-2 at C/20 and 3.4 mAh cm-2 at 1C (with 3.4 mg cm-2). Analysis of rating data gives a high transport coefficient (6.6x10-12 m2 s-1) due to a high out-of-plane electrical conductivity (0.6 S m-1) and short solid-state diffusion length. Si remains a percolated network of elongated elements after extended cycling, preserving electrical conductivity and leading to a capacity retention of 80% after 100 cycles at C/5 and ~60% after 500 cycles at C/2. When integrated with NMC111 cathode, a full cell gravimetric energy density of 480 Wh kg-1 is demonstrated. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Structural completeness in many-valued logics with rational constants

Authors: J. Gispert, Z. Haniková, T. Moraschini, M. Stronkowski

Abstract: The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and Gödel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in L, P, and G. Namely, RL is hereditarily structurally complete. RP is algebraized by the variet… ▽ More The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and Gödel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in L, P, and G. Namely, RL is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admissible rules. We leave the problem open whether the variety of rational Gödel algebras is Q-universal. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras

Authors: Miguel Campercholi, Diego Castaño, José Patricio Díaz Varela, Joan Gispert

Abstract: An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of $\mathcal{Q}$ correspond to certain natural expansions of $L$, which we call {\em algebraic expansions}. These turn out to be a special case of the expansions by… ▽ More An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of $\mathcal{Q}$ correspond to certain natural expansions of $L$, which we call {\em algebraic expansions}. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of Abelian $\ell$-groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics. △ Less

Submitted 16 June, 2020; originally announced June 2020.

MSC Class: 03G27

Maximality in finite-valued Lukasiewicz logics defined by order filters

Authors: Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo

Abstract: In this paper we consider the logics $L_n^i$ obtained from the (n+1)-valued Lukasiewicz logics $L_{n+1}$ by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analysed. We present a very general theorem which provides sufficient conditions for maximality between logics. As a consequence of thi… ▽ More In this paper we consider the logics $L_n^i$ obtained from the (n+1)-valued Lukasiewicz logics $L_{n+1}$ by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analysed. We present a very general theorem which provides sufficient conditions for maximality between logics. As a consequence of this theorem it is shown that $L_n^i$ is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality between the logics $L_n^i$ (that is, maximality w.r.t. rules instead of axioms), we provide algebraic arguments in order to show that the logics $L_n^i$ are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show there is just one extension between $L_n^i$ and CPL obtained by adding to $L_n^i$ a kind of graded explosion rule. Finally, using these results, we show that the logics $L_n^i$ with n prime and i/n < 1/2 are ideal paraconsistent logics. △ Less

Submitted 2 April, 2018; v1 submitted 26 March, 2018; originally announced March 2018.

MSC Class: 06D35; 03B53

Voxelwise nonlinear regression toolbox for neuroimage analysis: Application to aging and neurodegenerative disease modeling

Authors: Santi Puch, Asier Aduriz, Adrià Casamitjana, Veronica Vilaplana, Paula Petrone, Grégory Operto, Raffaele Cacciaglia, Stavros Skouras, Carles Falcon, José Luis Molinuevo, Juan Domingo Gispert

Abstract: This paper describes a new neuroimaging analysis toolbox that allows for the modeling of nonlinear effects at the voxel level, overcoming limitations of methods based on linear models like the GLM. We illustrate its features using a relevant example in which distinct nonlinear trajectories of Alzheimer's disease related brain atrophy patterns were found across the full biological spectrum of the d… ▽ More This paper describes a new neuroimaging analysis toolbox that allows for the modeling of nonlinear effects at the voxel level, overcoming limitations of methods based on linear models like the GLM. We illustrate its features using a relevant example in which distinct nonlinear trajectories of Alzheimer's disease related brain atrophy patterns were found across the full biological spectrum of the disease. The open-source toolbox presented in this paper is available at https://github.com/imatge-upc/VNeAT. △ Less

Submitted 18 April, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: 4 pages + 1 page for acknowledgements and references. NIPS 2016 Workshop on Machine Learning for Health (NIPS ML4HC)

A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic

Authors: Joan Gispert

Abstract: In this note we prove that single-conclusion admissible rules of any proper axiomatic extension of the infnite valued Lukasiewicz logic are finitely based. In this note we prove that single-conclusion admissible rules of any proper axiomatic extension of the infnite valued Lukasiewicz logic are finitely based. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Locally Finite Quasivarieties of MV-algebras

Authors: Joan Gispert, Antoni Torrens

Abstract: In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties. In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties. △ Less

Submitted 29 May, 2014; originally announced May 2014.