Results 101 to 110 of about 21,194 (310)

Grammars and cellular automata for evolving neural networks architectures [PDF]

, 2000
IEEE International Conference on Systems, Man, and Cybernetics. Nashville, TN, 8-11 October 2000The class of feedforward neural networks trained with back-propagation admits a large variety of specific architectures applicable to approximation pattern ...
Molina López, José Manuel, Galván, Inés M., Sanchis de Miguel, María Araceli, Isasi, Pedro   +3 more
core   +1 more source

Hyperosmotic stress‐induced redistribution of pre‐mRNA cleavage factor I subunits is associated with shifts in alternative polyadenylation

FEBS Open Bio, EarlyView.
Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya, Masatake Osawa, Hidefumi Fukumitsu   +2 more
wiley   +1 more source

Opfunu: An Open-source Python Library for Optimization Benchmark Functions

Journal of Open Research Software
Opfunu is a Python library designed to address the need for a comprehensive suite of benchmark functions for numerical optimization algorithms. It offers a rich collection of functions, including all those used in the Congress on Evolutionary Computation
Nguyen Van Thieu
doaj   +1 more source

Congruent number theta coefficients to 10¹² [PDF]

, 2010
We report on a computation of congruent numbers, which subject to the Birch and Swinnerton-Dyer conjecture is an accurate list up to 10(12). The computation involves multiplying long theta series as per Tunnell (1983).
Tornaria, Gonzalo, Watkins, Mark, Hart, William B.   +2 more
core  

Modular verification of recursive programs

, 2009
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning.
Kaminski, M., Olderog, E.R., Wintner, S., Apt, K.R., Katz, S., de Boer, F.S., Grumberg, O.   +6 more
core   +1 more source

Verifying Privacy-Type Properties in a Modular Way [PDF]

, 2012
Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, M.; id_orcid, Arapinis, Myrto, Stephanie Delaune, Myrto Arapinis, Cheval, V., Cheval, Vincent, Delaune, Stéphanie, Vincent Cheval, Delaune, S.   +8 more
core   +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

Modular architectures and entanglement schemes for error-corrected distributed quantum computation

npj Quantum Information
Connecting multiple smaller qubit modules by generating high-fidelity entanglement is a promising path for scaling quantum computing hardware. The performance of such a modular quantum computer depends on the quality and rate of entanglement generation ...
Siddhant Singh, Fenglei Gu, Sébastian de Bone, Eduardo Villaseñor, David Elkouss, Johannes Borregaard   +5 more
doaj   +1 more source

Computing coefficients of modular forms

, 2011
This chapter applies the main result on the computation of Galois representations attached to modular forms of level one to the computation of coefficients of modular forms. It treats the case of the discriminant modular form, that is, the computation of
Bas Edixhoven
core   +1 more source

Effectiveness of rTMS on Working Memory and Inhibitory Impairments in Patients With Post‐Stroke Executive Deficits

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Considerable efforts have been dedicated to developing effective treatments for post‐stroke executive impairment (PSEI), among which repetitive transcranial magnetic stimulation (rTMS) has shown great potential. This study aimed to investigate the therapeutic effects of high‐frequency rTMS on working memory (WM) and response ...
Mengting Lao, Rongwei Du, Zhujun Wang, Yang Gao, Meiling Cheng, Xianglong Wang, Wen Wu   +6 more
wiley   +1 more source