Results 71 to 80 of about 2,659,274 (336)

Sequentializing Parameterized Programs

, 2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs.
Akash Lal, Amir Pnueli, Ariel Cohen, Dejvuth Suwimonteerabuth, E. Allen Emerson, Gennaro Parlato, Gérard Basler, Jean-Baptiste Raclet, Madanlal Musuvathi, Madanlal Musuvathi, Michael Emmi, Mohamed Faouzi Atig, Naghmeh Ghafari, P. Madhusudan, , Pranav Garg, Salvatore La Torre, Salvatore La Torre, Salvatore La Torre, Salvatore La Torre, Sebastian Bauer, Shaz Qadeer, Shaz Qadeer, Shuvendu K. Lahiri, Yonit Kesten, Yonit Kesten   +24 more
core   +2 more sources

Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis

Symposium on the Theory of Computing
The Parameterized Inapproximability Hypothesis (PIH) asserts that no fixed parameter tractable (FPT) algorithm can distinguish a satisfiable CSP instance, parameterized by the number of variables, from one where every assignment fails to satisfy an ε ...
V. Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu   +4 more
semanticscholar   +1 more source

Optimized Time–Frequency Analysis for Induction Motor Fault Detection Using Hybrid Differential Evolution and Deep Learning Techniques

International Journal of Adaptive Control and Signal Processing, EarlyView.
Workflow of the parameter optimization process for ITSC fault detection, applying Differential Evolution optimization and the Smooth Pseudo Wigner‐Ville Distribution for signal processing. The optimized parameters are then used in the failure identification pipeline, which combines the signal processing with a YOLO‐based architecture for fault severity
Rafael Martini Silva, Avyner Lorran de Oliveira Vitor, Marcelo Favoretto Castoldi, Alessandro Goedtel, Wesley Angelino Souza   +4 more
wiley   +1 more source

Deforestation and Carbon Loss in Southwest Amazonia: Impact of Brazil’s Revised Forest Code

Environmental Management, 2017
In 2012 Brazil’s National Congress altered the country’s Forest Code, decreasing various environmental protections in the set of regulations governing forests. This suggests consequences in increased deforestation and emissions of greenhouse gases and in
Pedro Augusto Costa Roriz, A. M. Yanai, P. Fearnside   +2 more
semanticscholar   +1 more source

First‐Principles Modeling of Solid Solution Softening and Hardening Effects in Al–Mg–Zr–Si Aluminum Alloys

Advanced Engineering Materials, EarlyView.
The role of various alloying elements in face‐centered cubic aluminum on the barrier of a Shockley partial dislocation during its motion is presented. The study aims to understand how alloying atoms such as Mg, Si, and Zr affect the energy landscape for dislocation motion, thus influencing the solid solution hardening and softening in aluminum, which ...
Inna Plyushchay, Zhengqing Wei, Nebahat Bulut, Sibylle Gemming   +3 more
wiley   +1 more source

Review of the second charged-particle transport coefficient code comparison workshop

Physics of Plasmas
We report the results of the second charged-particle transport coefficient code comparison workshop, which was held in Livermore, California on 24–27 July 2023.
L. Stanek, Alina Kononov, S. Hansen, B. Haines, S. Hu, P. Knapp, M. Murillo, L. Stanton, H. Whitley, S. Baalrud, L. J. Babati, A. Baczewski, Mandy Bethkenhagen, A. Blanchet, Raymond C. Clay, K. Cochrane, L. Collins, Amanda Dumi, G. Faussurier, M. French, Z. Johnson, V. Karasiev, Shashikant Kumar, Meghan K. Lentz, Cody A. Melton, K. Nichols, G. Petrov, V. Recoules, R. Redmer, G. Röpke, M. Schörner, N. R. Shaffer, V. Sharma, L. Silvestri, F. Soubiran, Phanish Suryanarayana, M. Tacu, J. Townsend, A. White   +38 more
semanticscholar   +1 more source

Few-Shot Adaptive Gaze Estimation [PDF]

IEEE International Conference on Computer Vision, 2019
Inter-personal anatomical differences limit the accuracy of person-independent gaze estimation networks. Yet there is a need to lower gaze errors further to enable applications requiring higher quality. Further gains can be achieved by personalizing gaze
Seonwook Park, Shalini De Mello, Pavlo Molchanov, Umar Iqbal, Otmar Hilliges, Jan Kautz   +5 more
semanticscholar   +1 more source

3D Printed Ultra‐Fast Plastic Scintillators Based on Perovskite‐Photocurable Polymer Composite

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
The demand for radiation detection is increasing in a number of fields, including high‐energy physics, medical imaging, and homeland security. This study serves to demonstrate the potential for the fabrication of fast perovskite‐based scintillators with complex shapes via stereolithographic additive manufacturing, representing a new path toward the ...
Antonella Giuri, Amal C Chekkallur, Mario Calora, Rosanna Mastria, Loris Martinazzoli, Etiennette Auffray, Sanosh Kunjalukkal Padmanabhan, Sara Carturan, Sandra Moretto, Gianluca Quarta, Lucio Calcagnile, Matteo Polo, Alberto Quaranta, Alfonso Maffezzoli, Anna Paola Caricato, Aurora Rizzo, Carola Esposito Corcione   +16 more
wiley   +1 more source

Low-Power Embedded DSP Core for Communication Systems

EURASIP Journal on Advances in Signal Processing, 2003
This paper proposes a parameterized digital signal processor (DSP) core for an embedded digital signal processing system designed to achieve demodulation/synchronization with better performance and flexibility.
Tsao Ya-Lan, Chen Wei-Hao, Tan Ming Hsuan, Lin Maw-Ching, Jou Shyh-Jye   +4 more
doaj   +1 more source

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