Results 71 to 80 of about 251 (176)
Advanced Intelligent Systems, EarlyView.A tandem neural network directly solves the multivalued inverse problem of extracting semiconductor parameters from transistor measurements. Trained on only 1000 simulations, the network infers six material parameters (e.g., defect states, carrier concentration, mobility) in under 1 ms, demonstrating a broadly applicable framework for semiconductor ...
Masatoshi Kimura +8 more
wiley +1 more source
Complexity of normalization in the pure typed Lambda-calculus [PDF]
, 1982 Helmat Schwichtenberg +3 more
core +1 more source
AI &Innovation, EarlyView.ABSTRACT Nonlinear control systems are an integral part of complex engineering systems. The main difference from linear systems is their ability to adapt to changes and unpredictable conditions. These systems exhibit behaviors that cannot be predicted by simple linear equations, making them essential for applications requiring precise control over a ...
Cinthia Peraza +3 more
wiley +1 more source
American Journal of Agricultural Economics, EarlyView.Abstract This study examines the impact of soil erosion on agricultural land values in the United States (US) Midwest. Based on a novel county‐level panel data set with information on soil erosion levels and agricultural land values covering five census years (1997, 2002, 2007, 2012, and 2017), we separately investigate the direct effect of two types ...
Le Chen +3 more
wiley +1 more source
Syntax for free: representing syntax with binding using parametricity
, 2009 We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation.
Robert Atkey, Atkey, Robert
core +1 more source
Food inflation pass‐through from agricultural imports in a small open economy
American Journal of Agricultural Economics, EarlyView.Abstract This paper develops a new framework for quantifying cost pass‐through in a small open economy by estimating firm‐level markup responses to agricultural import price shocks. We show theoretically that markup adjustments depend on firms' reliance on imported inputs and demand curvature, generating heterogeneous inflationary effects across firm ...
Minseong Kang, Seungki Lee
wiley +1 more source
Food insecurity and unemployment among immigrants in the United States
American Journal of Agricultural Economics, EarlyView.Abstract Immigrants can be more vulnerable to economic downturns and, during periods of economic hardship, more likely to experience food insecurity compared to natives. This study examines the differential effect of the unemployment rate on the probability of being food insecure among diverse groups of immigrant households relative to natives in the ...
Siwen Zhou +3 more
wiley +1 more source
Research on Diaphragm Pump Fault Diagnosis Method Based on Res‐DCB‐Net
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT Nonstationary pressure pulsation signals of diaphragm pumps contain strong background noise and coupled characteristics. This makes it challenging to extract incipient fault features and to decouple faults with similar physical mechanisms. To address these limitations, this paper proposes a spatiotemporal fault diagnosis model named Res‐DCB ...
Jiahui Wang +7 more
wiley +1 more source
Type theoretic semantics for semantic networks: an application to natural language engineering [PDF]
, 1996 Semantic Networks have long been recognised as an important tool for natural language processing. This research has been a formal analysis of a semantic network using constructive type theory.
Shiu, Simon K.Y.
core
Biotechnology and Bioengineering, EarlyView.ABSTRACT Reinforcement learning (RL) has been used to control a wide range of dynamic processes, especially ones that are too complex to model well or have stochastic environmental perturbations. Fed‐batch fermentations are subject to changes in starting cell growth rates and process variations that can affect cell growth and secreted target production.
Sai Harish Uthravalli +3 more
wiley +1 more source