Results 71 to 80 of about 596,491 (297)

Refinement Types for TypeScript

, 2016
We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs.
Cosman, Benjamin, Jhala, Ranjit, Vekris, Panagiotis   +2 more
core   +1 more source

Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann, Theresa Lüth, Susen Schaake, Carolin Gabbert, Marius Möller, Hauke Busch, Katja Lohmann, Jonas A. Gustafson, Danny E. Miller, Kensuke Daida, Manabu Funayama, Nobutaka Hattori, Samia Ben Sassi, Faycel Hentati, Matthew J. Farrer, Kristian K. Ullrich, Christine Klein, Joanne Trinh   +17 more
wiley   +1 more source

Bio‐Inspired Optimisation Methods Applied to Low Carbon Power and Energy Problems: A Survey

CAAI Transactions on Intelligence Technology
Bio‐inspired optimisation methods have been widely applied to complex real‐world problems, particularly in low‐carbon power and energy systems, where optimisation tasks often involve high‐dimensional, constrained and mixed‐integer characteristics ...
Tianyu Hu, Shihao Zhao, Yuanjun Guo, Linxin Zhang, Zhile Yang   +4 more
doaj   +1 more source

KNOWLEDGE-INTENSIVE SERVICES AND THEIR EFFECT ON ECONOMIC GROWTH [PDF]

Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2015
This paper starts from the idea that the key determinants for economic growth can be: smart growth (promoting knowledge, innovation, education and the digital society), sustainable growth (a more competitive production, with a better use of resources ...
CIOBAN GABRIELA-LILIANA
doaj  

Matlab parallel codes for 3D slope stability benchmarks [PDF]

, 2017
This contribution is focused on a description of implementation details for solver related to the slope stability benchmarks in 3D. Such problems are formulated by the standard elastoplastic models containing the Mohr-Coulomb yield criterion and by the ...
Cermak, Martin, Hapla, Vaclav, Horak, David   +2 more
core  

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

NeuroMorse: a temporally structured dataset for neuromorphic computing

Neuromorphic Computing and Engineering
Neuromorphic engineering aims to advance computing by mimicking the brain’s efficient processing, where data is encoded as asynchronous temporal events. This eliminates the need for a synchronisation clock and minimises power consumption when no data is ...
Ben Walters, Yeshwanth Bethi, Taylor Kergan, Binh Nguyen, Amirali Amirsoleimani, Jason K Eshraghian, Saeed Afshar, Mostafa Rahimi Azghadi   +7 more
doaj   +1 more source

Minimally Clinically Important Difference of the Clinical Assessment Scale in Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The Clinical Assessment Scale in Autoimmune Encephalitis (CASE) tracks disease severity in autoimmune encephalitis (AE), but no threshold for significant change exists. We aimed to determine the minimally clinically important difference (MCID) for CASE.
Yihui Goh, Yoon Hee Shin, Soo Hyun Ahn, Su Yee Mon, Soo Jean Shin, Woo‐Jin Lee, Yoonhyuk Jang, Myoung‐Jin Jang, Soon‐Tae Lee   +8 more
wiley   +1 more source

Spin glasses and algorithm benchmarks: A one-dimensional view

, 2007
Spin glasses are paradigmatic models that deliver concepts relevant for a variety of systems. However, rigorous analytical results are difficult to obtain for spin-glass models, in particular for realistic short-range models.
Andreanov A, Ballesteros H G, Barahona F, Bertin E, Billoire A, Billoire A, Boettcher S, Boettcher S, Bray A J, de Almeida J R L, Edwards S F, Fisher D S, Gonçalves B, H G Katzgraber, Hartmann A K, Hartmann A K, Jorg T, Jünger M, Katzgraber H G, Katzgraber H G, Katzgraber H G, Katzgraber H G, Kondor I, Körner M, Liers F, Marinari E, Marinari E, Matsuda A, Mézard M, Ney-Nifle M, Ney-Nifle M, Palassini M, Parisi G, Takayama H   +33 more
core   +2 more sources

A Systematic Comparison of Alpha‐Synuclein Seed Amplification Assays for Increasing Reproducibility

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Seed amplification assays (SAAs) enable ultrasensitive detection of misfolded α‐synuclein across biofluids and tissues. Yet, heterogeneity in protocols limits cross‐study comparability and clinical translation. Here, we review α‐synuclein SAA methods and their performance across various biological matrices.
Manuela Amaral‐do‐Nascimento, Daniela F. Santos, Tuane C. R. G. Vieira, Tiago F. Outeiro   +3 more
wiley   +1 more source