Results 121 to 130 of about 168,416,722 (298)

Proof of Work With External Utilities

CoRR
Proof-of-Work (PoW) consensus is traditionally analyzed under the assumption that all miners incur similar costs per unit of computational effort. In reality, costs vary due to factors such as regional electricity cost differences and access to specialized hardware.
Yogev Bar-On, Ilan Komargodski, Omri Weinstein   +2 more
openaire   +3 more sources

Progressive Parkinsonism in PPP2R5D‐Related Neurodevelopmental Disorder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT PPP2R5D‐related neurodevelopmental disorder (Houge–Janssens syndrome type 1) is a rare autosomal dominant condition characterized by macrocephaly, intellectual disability, and epilepsy. Progressive parkinsonism is an emerging adult phenotype that neurologists should be aware of since timely genetic diagnosis opens the door to disease‐modifying
Katerina Bernardi, Enrique Gonzalez Saez‐Diez, Joshua Rong, Beril Ay, Shabbir Merchant, Kathryn Yang, Darius Ebrahimi‐Fakhari   +6 more
wiley   +1 more source

Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]

, 2011
Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core  

Lower secondary school students’ understanding of algebraic proof

, 2009
Secondary school students are known to face a range of difficulties in learning about proof and proving in mathematics. This paper reports on a study designed to address the issue of students’ cognitive needs for conviction and verification in algebraic ...
Kumakura, Hiroyuki, Kunimune, Susumu, Jones, Keith, Fujita, Taro   +3 more
core   +1 more source

Artificial Intelligence in Systemic Sclerosis: Clinical Applications, Challenges, and Future Directions

Arthritis Care &Research, EarlyView.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source

Model-Based Calculation Method of Mining Fairness in Blockchain

IEEE Open Journal of the Computer Society
Mining fairness in blockchain refers to equality between the computational resources invested in mining and the block rewards received. There exists a dilemma wherein increasing the transaction processing capacity of a blockchain compromises mining ...
Akira Sakurai, Kazuyuki Shudo
doaj   +1 more source

Automated Hand Flexor Tendon–Thickness Measurement in Systemic Sclerosis

Arthritis Care &Research, EarlyView.
Objective Systemic sclerosis (SSc) can affect flexor tendons, contributing to hand function problems and reduced quality of life. Tendon changes are currently assessed with ultrasonography and measured manually, a time‐consuming process prone to interobserver variability.
Mark Greveling, Ties van het Erve, Yvette van de Berg, Simon Mastbergen, Julia Spierings   +4 more
wiley   +1 more source

Tools and techniques for formalising structural proof theory [PDF]

, 2010
Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core   +2 more sources

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Prediction of Ethereum gas prices using DeepAR and probabilistic forecasting

Journal of Information and Telecommunication
Ethereum is a major public blockchain. Besides being the second-largest digital currency by market capitalization for its cryptocurrency, the Ether (Ξ), it is also the foundation of Web3 and decentralized applications, or DApps, that are fuelled by Smart
Andras Ferenczi, Costin Bădică
doaj   +1 more source