Results 81 to 90 of about 699 (280)

Smart Exploration of Perovskite Photovoltaics: From AI Driven Discovery to Autonomous Laboratories

Advanced Energy Materials, EarlyView.
In this review, we summarize the fundamentals of AI in automated materials science, and review AI applications in perovskite solar cells. Then, we sum up recent progress in AI‐guided manufacturing optimization, and highlight AI‐driven high‐throughput and autonomous laboratories.
Wenning Chen, Zheyu Zhang, Kelvian T. Mularso, Bonghyun Jo, Hyun Suk Jung   +4 more
wiley   +1 more source

Kompilatortestning genom slumpmässig källkodsgenerering

, 2023
Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware.
Löfgren, Victor
core   +1 more source

Machine Learning Interatomic Potentials for Energy Materials: Architectures, Training Strategies, and Applications

Advanced Energy Materials, EarlyView.
Machine learning interatomic potentials bridge quantum accuracy and computational efficiency for materials discovery. Architectures from Gaussian process regression to equivariant graph neural networks, training strategies including active learning and foundation models, and applications in solid‐state electrolytes, batteries, electrocatalysts ...
In Kee Park, Saeed Pourasad, Jinhong Mun, Arunkumar Chitteth Rajan, Tae Hyeon Park, Anand Rohit, Mohammad Zafari, Tan‐Lien Pham, Eunjae Jung, Bonseung Koo, Miran Ha, Gi Beom Sim, Hyun Gyu Park, Won Woong Choi, Kwanghyeon Jo, Soohaeng Yoo Willow, David ChangMo Yang, Chang Woo Myung, Geunsik Lee, Kwang S. Kim   +19 more
wiley   +1 more source

Compiling the Mimosa programming language to RTOS tasks

CoRR
This paper introduces a compilation scheme for programs written in the Mimosa programming language, which builds upon the MIMOS model of computation. Mimosa describes embedded systems software as a collection of time-triggered processes which communicate through FIFO queues.
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi 0001   +3 more
openaire   +2 more sources

Design of safety critical systems by refinement

, 2014
An increasingly large number of safety-critical embedded systems rely on software to prevent and mitigate hazards occurring due to design errors and unexpected interactions of the system with its users and the environment.
Alekseyev A, Mokhov A, Arseniy Alekseyev, Sokolov D, Danil Sokolov, Andrey Mokhov, Alex Iliasov, Iliasov A   +7 more
core   +1 more source

Do Tax Incentives for Farmland Leases Increase Farm Supply? Evidence From Iowa's Beginning Farmer Tax Credit

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT In recent decades, agriculture has become increasingly concentrated through horizontal mergers and acquisitions via corporate entities, and policy makers are concerned this will be exacerbated by the aging population of farm operators. To reduce market concentration in agriculture, many states have enacted policies to entice new prospective ...
Justin M. Ross, Wesley M. Zebrowski, Julia C. D. Valliant   +2 more
wiley   +1 more source

Efficient Compilation of Functional Languages by Program Transformation

Electronic Notes in Theoretical Computer Science, 1998
AbstractThis article presents how automatic program transformation techniques can be used in a functional language compiler to get significant improvement in the performance of the code generated. The transformations used are simple, but when they are repeatedly applied and interact, they achieve results that often are obtained only through specific ...
openaire   +1 more source

Do outgrower schemes enhance technology adoption and productivity? Evidence from maize farmers in Northern Ghana

Agribusiness, EarlyView.
Abstract Nucleus outgrower schemes are contractual arrangements where well‐resourced large‐scale farmers (nucleus farmers) are empowered by development support agencies to take charge of smallholder farmers, by providing them with market access and the necessary training on agronomic practices and farm inputs for production.
Dominic Tasila Konja, Awudu Abdulai
wiley   +1 more source

RELATING AUTOMATA TO OTHER FIELDS *

, 2020
Automata classes including Turing Machines, Pushdown Automata and Finite Automata define the most elegant models of computation in terms of set processors.
Gordon W Romney, Mohammad Amin, Hassan Farahani, Alireza Gonzales, Pradip Peter Dey, Ronald F Sinha, Badkoobehi, Raj Bhaskar   +7 more
core  

Assessing Haitian Consumers' Willingness to Pay a Premium for Aflatoxin‐Compliant Peanut Butter in the Informal Market

Agribusiness, EarlyView.
ABSTRACT Market‐based solutions are increasingly tested to address aflatoxin issues in peanuts in developing countries. Although previous studies have found that Haitian grocery store shoppers are willing to pay a 21% premium for peanut butter with levels of aflatoxin that meet international standards, no information is available for the much larger ...
Phendy Jacques, Stevens Azima, Maurice Doyon   +2 more
wiley   +1 more source