Results 61 to 70 of about 18,427 (298)

A Linear-logical Reconstruction of Intuitionistic Modal Logic S4

CoRR, 2019
We propose a "modal linear logic" to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. While the Girard translation from intuitionistic logic to linear logic is well-known, its extension to modal logic is non-trivial since a naive combination of the S4 modality and
Yosuke Fukuda 0001, Akira Yoshimizu
openaire   +4 more sources

RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells

FEBS Open Bio, EarlyView.
RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour, Christine Volmert, Valentina Piano   +2 more
wiley   +1 more source

Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito, Chiara Meneghini, Alice Galli, Luca Gallo, Pierfrancesco Mitrotti, Paola Dimartino, Marianna Inglese, Cinzia Zatti, Alessandro Lupini, Andrea Pilotto, Alessandro Padovani, Micol Avenali, Enza Maria Valente, Cristina Tassorelli, Silvia P. Caminiti   +14 more
wiley   +1 more source

Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher, Charles B. Malpas, Stuart J. McDonald, William T. O’Brien, Craig Despott, Kelly L. Bertram, Matthew P. Pase, Lukas Frontzkowski, Meng Law, Terence J. O’Brien, Lucy Vivash   +10 more
wiley   +1 more source

A Cross-Modal Consistency-Driven Quality-Aware Dynamic Fusion Framework for Emergency Damage Assessment

IEEE Access
Emergency-oriented damage assessment is frequently challenged by multimodal heterogeneity, noise contamination, and modality missingness, which may lead to unstable fusion behavior and reduced prediction reliability during inference.
Xinlei Hou, Zhenguo Chen, Yunfeng Shang
doaj   +1 more source

Structure–Function Decoupling of the Sensorimotor and Default Mode Networks in Black Americans With MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Multiple sclerosis (MS) exhibits racially disparate rates of disease progression. Black people with MS (B‐PwMS) experience a more severe disease course than non‐Hispanic White people with MS (NHW‐PwMS). Here we investigated structural and functional connectivity as well as structure–function decoupling in the ...
Emilio Cipriano, Giacomo Boffa, Maria Petracca, Marta Ponzano, Nicole Graziano, Claire Wigley, Claire Riley, Jonathan Howard, Pietro Bontempi, Sylvia Klineova, Fred Lublin, Matilde Inglese   +11 more
wiley   +1 more source

Incremental dense multi-modal 3D scene reconstruction [PDF]

2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015
Aquiring reliable depth maps is an essential prerequisite for accurate and incremental 3D reconstruction used in a variety of robotics applications. Depth maps produced by affordable Kinect-like cameras have become a de-facto standard for indoor reconstruction and the driving force behind the success of many algorithms. However, Kinect-like cameras are
Miksik, O, Amar, Y, Vineet, V, Pérez, P, Torr, PHS   +4 more
openaire   +2 more sources

Paramagnetic Rim Lesions Are Associated With Trans‐Synaptic Degeneration of the Visual Pathway in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Retrograde trans‐synaptic degeneration (rTSD) from posterior visual pathway lesions in multiple sclerosis (MS) is characterized by hemi‐macular ganglion cell‐inner plexiform layer (GCIPL) thinning and contralateral visual field loss.
Abdul Jaber Tayem, Angel Liu, Sargis Manukyan, Mustafa Subhi, Elaina Luskin, Bryan Quah, Sreekanth Madhusoodhanan Nair, Arzu C. Has Silemek, Gabriela Zabala, Yujie Cui, Laura Locke, Paula Barreras, Marwa Kaisey, Vinicius Calsavara, Daniel S. Reich, Nancy L. Sicotte, Pascal Sati, Omar Al‐Louzi   +17 more
wiley   +1 more source

Cross-modal communication technology: A survey

Fundamental Research
In the 5G era and beyond, multi-modal services that integrate audio, visual, and haptic signals are expected to become dominant applications. To support multi-modal services, the concept of cross-modal communications, which involves collaborative audio ...
Xin Wei, Dan Wu, Liang Zhou, Mohsen Guizani   +3 more
doaj   +1 more source

Normal‐Appearing White Matter Injury Mediates Chronic Deep Venous Hypoxia and Disease Progression in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore how cerebral hypoxia and Normal‐Appearing White Matter (NAWM) integrity affect MS lesion burden and clinical course. Methods Seventy‐nine MS patients, including 13 clinically isolated syndrome (CIS) patients and 66 relapsing–remitting multiple sclerosis (RRMS) patients, and 44 healthy controls (HCs) were recruited from ...
Xinli Wang, Huiying Wang, Zhizheng Zhuo, Ai Guo, Ke Lv, Decai Tian, Chao Chai, Yunyun Duan, Shuang Xia   +8 more
wiley   +1 more source