Results 21 to 30 of about 927,891 (245)

The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems

, 2017
We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
core   +1 more source

Approximations of Sobolev norms in Carnot groups [PDF]

, 2010
This paper deals with a notion of Sobolev space $W^{1,p}$ introduced by J.Bourgain, H.Brezis and P.Mironescu by means of a seminorm involving local averages of finite differences. This seminorm was subsequently used by A.Ponce to obtain a Poincar\'e-type
Adams R., Bonfiglioli A., DAVIDE BARBIERI, Folland G. B., Franchi B., Franchi B., Franchi B., Hailasz P., Lions J. L., Maz'ya V., Morbidelli D., Ponce A., Stein E. M., Varopoulos N. Th., Varopoulos N. Th.   +14 more
core   +1 more source

Constructive Type Theory

AL-Lisaniyyat, 2022
The aim of our paper is to present the Constructive Type Theory (CTT) and some related concepts for the Swedish logicianPer Martin Löf, who constructed a formal logic system in orderto establish a philosophical foundation of constructive mathematics. He tried to overcome the deficiencies of the various theoriesconstructed to solve a problematic of set ...
Terkia Mechouet, Farid Zidani
openaire   +2 more sources

The cooperative regulation of miR‐221 by APE1 and AUF1 impacts p27Kip1 defining a miR signature relevant for cervical cancer

FEBS Open Bio, EarlyView.
A regulatory axis involving APE1, AUF1, and miR‐221 is proposed. Pri‐miR‐221 is processed by DROSHA and DICER to generate mature miR‐221, which targets p27Kip1 mRNA. APE1 and AUF1 compete for pre‐miR‐221 binding. Reduced APE1/AUF1 levels impair miR‐221 biogenesis, decrease p27Kip1 mRNA degradation, and promote cell cycle progression, chemoresistance ...
Matilde Clarissa Malfatti, Nicolò Gualandi, Gianluca Tell, Giulia Antoniali   +3 more
wiley   +1 more source

Baseline Regional Cholinergic Denervation Predicts Cognitive Trajectories in Moderate Parkinson Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive decline is a disabling and variable feature of Parkinson disease (PD). While cholinergic system degeneration is linked to cognitive impairments in PD, most prior research reported cross‐sectional associations. We aimed to fill this gap by investigating whether baseline regional cerebral vesicular acetylcholine transporter ...
Taylor Brown, Giulia Carli, Prabesh Kanel, Stiven Roytman, Jaimie Barr, Nicolaas I. Bohnen, Roger L. Albin   +6 more
wiley   +1 more source

Risk of Retinopathy Associated with Long‐Term Use of Hydroxychloroquine in Patients with Rheumatic Diseases: A Systematic Review and Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective We aimed to estimate the prevalence and cumulative incidence of hydroxychloroquine retinopathy (HCQ‐R) and its risk factors among patients receiving long‐term HCQ with rheumatic diseases through a systematic review and meta‐analysis of observational studies that used spectral‐domain optical coherence tomography (SD‐OCT) for screening ...
Narsis Daftarian, Chloe Yue, Steve D Levasseur, Hui Xie, J. Antonio Avina‐Zubieta   +4 more
wiley   +1 more source

From coinductive proofs to exact real arithmetic: theory and applications [PDF]

, 2009
Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs.
A. Abel, A. Ciaffaglione, A. Edalat, A. Scriven, A. Troelstra, G. Gierz, G. Malcolm, H. Benl, H. Geuvers, J. Blanck, J. Bradfield, J.R. Marcial-Romero, M. Konečný, M. Niqui, M. Tatsuta, P. Hancock, S. Abramsky, U. Berger, V. Capretta, W. Buchholz, Y. Bertot   +20 more
core   +4 more sources

Cyclic Olefin Copolymers as Versatile Materials for Advanced Engineering Applications

Advanced Functional Materials, EarlyView.
Cyclic olefin copolymers (COCs) are presented as highly versatile materials combining tunable synthesis, excellent optical properties, and mechanical robustness. Their potential spans microfluidics, bioengineering, and advanced electronics, while emerging self‐healing and sustainable solutions highlight future opportunities.
Giulia Fredi, Norma Mallegni, Andrea Dorigato, Mario Milazzo   +3 more
wiley   +1 more source

Decomposition Strategies for Constructive Preference Elicitation

, 2018
We tackle the problem of constructive preference elicitation, that is the problem of learning user preferences over very large decision problems, involving a combinatorial space of possible outcomes.
Dragone, Paolo, Kumar, Mohit, Passerini, Andrea, Teso, Stefano   +3 more
core   +1 more source

Integrated Field‐Free SOT Domain‐Wall Synapses and MTJ Stochastic Neurons for Hardware Boltzmann Machines

Advanced Functional Materials, EarlyView.
Field‐free spin‐orbit torque domain‐wall synapses integrated with stochastic MTJ neurons enable compact hardware Boltzmann machines. Leveraging intrinsic stochasticity and multi‐level conductance, the system achieves efficient probabilistic learning with high accuracy, demonstrating a scalable spintronic platform for energy‐efficient edge AI.
Aijaz H. Lone, Meng Tang, Camelia Florica, Bin He, Jingkai Xu, Selma Amara, Georgian Melinte, Xixiang Zhang, Gianluca Setti   +8 more
wiley   +1 more source