Results 121 to 130 of about 380,355 (349)

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Scientific Annals of Computer Science
Algorithm design courses are fundamental to computer science curricula, but fostering algorithmic thinking in students is challenging due to the diverse skills and creativity required. Dedicated teaching support tools can help both course instructors and
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu   +4 more
doaj   +1 more source

Probabilistic Non-asymptotic Analysis of Distributed Algorithms

, 2018
We present a new probabilistic analysis of distributed algorithms. Our approach relies on the theory of quasi-stationary distributions (QSD) recently developped by Champagnat and Villemonais. We give properties on the deadlock time and the distribution of the model before deadlock, both for discrete and diffusion models.
Champagnat, Nicolas, Schott, René, Villemonais, Denis   +2 more
openaire   +3 more sources

Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis

Theoretical Computer Science, 1989
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Louchard, Guy, Randrianarimanana, B., Schott, René   +2 more
openaire   +3 more sources

Artificial Intelligence‐Driven Development in Rechargeable Battery Materials: Progress, Challenges, and Future Perspectives

Advanced Functional Materials, EarlyView.
AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu, Junyuan Lu, Jian Hui, Ziyuan Rao, Yang Ren, Hong Wang   +5 more
wiley   +1 more source

Elucidating a Magnetic Resonance Imaging-Based Neuroanatomic Biomarker for Psychosis: Classification Analysis Using Probabilistic Brain Atlas and Machine Learning Algorithms [PDF]

, 2009
Daqiang Sun, Theo G.M. van Erp, Paul M. Thompson, Carrie E. Bearden, Melita Daley, Leila Kushan, Molly Hardt, Keith H. Nuechterlein, Arthur W. Toga, Tyrone D. Cannon   +9 more
openalex   +1 more source

Recycling of Thermoplastics with Machine Learning: A Review

Advanced Functional Materials, EarlyView.
This review shows how machine learning is revolutionizing mechanical, chemical, and biological pathways, overcoming traditional challenges and optimizing sorting, efficiency, and quality. It provides a detailed analysis of effective feature engineering strategies and establishes a forward‐looking research agenda for a truly circular thermoplastic ...
Rodrigo Q. Albuquerque, Florian Stephan, Annalena Pongratz, Christian Brütting, Katharina Krause, Holger Ruckdäschel   +5 more
wiley   +1 more source

Probabilistic analysis of Online Bin Coloring algorithms via Stochastic Comparison [PDF]

This paper proposes a new method for probabilistic analysis of online algorithms that is based on the notion of stochastic dominance. We develop the method for the Online Bin Coloring problem introduced by Krumke et al.
Hiller, Benjamin, Vredeveld, Tjark
core   +1 more source

Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System

Advanced Functional Materials, EarlyView.
We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang, Jaerok Kim, Sang‐Min Lee, Sungpyo Baek, Saeroonter Oh, Yoonmyung Lee, Sungjoo Lee   +6 more
wiley   +1 more source

Probabilistic Structural Analysis Program [PDF]

NASA/NESSUS 6.2c is a general-purpose, probabilistic analysis program that computes probability of failure and probabilistic sensitivity measures of engineered systems.
Chamis, Christos C., Mital, Subodh K., Murthy, Pappu L. N., Nagpal, Vinod K., Pai, Shantaram S., Riha, David S., Stefko, George L., Thacker, Ben H.   +7 more
core   +1 more source

Gaussian‐Sigmoid Reinforcement Transistors: Resolving Exploration‐Exploitation Trade‐Off Through Gate Voltage‐Controlled Activation Functions

Advanced Functional Materials, EarlyView.
The characteristics of a vertical n–p–i–p heterostructure transistor device, which exhibits a voltage‐tunable transition between Gaussian and sigmoid functions, are investigated. The mixed state of the transfer curve enables the utilization of both exploitation and exploration, improving computational performance in reinforcement learning tasks ...
Jisoo Park, Juhyung Seo, Ryun‐Han Koo, Dinithi Jayasuriya, Nethmi Jayasinghe, Wonjun Shin, Amit R. Trivedi, Hocheon Yoo   +7 more
wiley   +1 more source