Results 21 to 30 of about 5,971 (185)

A Lambda Term Representation Inspired by Linear Ordered Logic [PDF]

, 2011
We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where to ...
Amal Ahmed, Andreas Abel, Benjamin Grégoire, Chuck Liang, Conor McBride, Delia Kesner, Frank Pfenning, François-Régis Sinot, Gopalan Nadathur, Gopalan Nadathur, Gopalan Nadathur, Henk Barendregt, Herman Geuvers, Iliano Cervesato, INRIA, Jean-Yves Girard, Jeff Polakow, Maribel Fernández, Mart\'ın Abadi, Mathieu Boespflug, Matthew Fluet, N. G. de Bruijn, Nick Benton, Nicolai Kraus, Nicolai Kraus, Stephen Adams, Thierry Coquand, Ulf Norell   +27 more
core   +6 more sources

Assessment of Pain Types in Recently Diagnosed Patients With Inflammatory Arthritis

Arthritis Care &Research, EarlyView.
Objective Up to 40% of patients with inflammatory arthritis (IA) experience persistent pain, traditionally thought to be associated with a shift from peripherally to centrally mediated pain during the disease course in some patients. We assessed sensory profiles of recently diagnosed individuals with IA, hypothesizing that pain reported at this early ...
Zoe Rutter‐Locher, Sam Norton, Joseph L. Taylor, Bina Menon, Tom Esterine, Ruth Williams, Leonie S. Taams, Kirsty Bannister, Bruce W. Kirkham   +8 more
wiley   +1 more source

Influence of Layering and Curie Temperature Uncertainty on the Performance of Multilayer Active Magnetic Regenerators

Advanced Functional Materials, EarlyView.
This study examines how manufacturing uncertainties in Curie temperatures (1.5–2°C) affect multilayer active magnetic regenerators (AMR). While increasing the number of magnetocaloric layers boosts cooling power, performance degrades due to temperature variations.
Urban Tomc, Guilherme F. Peixer, Christian R. H. Bahl, Kaspar K. Nielsen, Jaime A. Lozano, Jader R. Barbosa, A. Kitanovski   +6 more
wiley   +1 more source

Machine Learning‐Enabled Polymer Discovery for Enhanced Pulmonary siRNA Delivery

Advanced Functional Materials, EarlyView.
This study provides an efficient approach to train a machine learning model by merging heterogeneous literature data to predict suitable polymers for siRNA delivery. Without the need for extensive laboratory synthesis, the machine learning enabled a virtual screening and successfully predicted a polymer that is validated for effective gene silencing in
Felix Sieber‐Schäfer, Min Jiang, Adrian Kromer, Anny Nguyen, Müge Molbay, Simone Pinto Carneiro, David Jürgens, Gerald Burgstaller, Bastian Popper, Benjamin Winkeljann, Olivia Monika Merkel   +10 more
wiley   +1 more source

Copper‐based Materials for Photo and Electrocatalytic Process: Advancing Renewable Energy and Environmental Applications

Advanced Functional Materials, EarlyView.
Cu‐based catalysts as a cornerstone in advancing sustainable energy technologies are fully reviewed in this manuscript, highlighting their potential in photo‐ and electrocatalysis. It includes metallic copper, copper oxides, copper sulfides, copper halide perovskites, copper‐based metal–organic frameworks (MOFs), and covalent organic frameworks (COFs),
Jéssica C. de Almeida, Yanjie Wang, Thais A. Rodrigues, Paulo H. H. Nunes, Vagner R. de Mendonça, Paulo H. E. Falsetti, Leticia V. Savazi, Tao He, Alexandra V. Bardakova, Aida V. Rudakova, Jie Tian, Alexei V. Emeline, Osmando F. Lopes, Antonio Otavio T. Patrocínio, Jia Hong Pan, Caue Ribeiro, Detlef W. Bahnemann   +16 more
wiley   +1 more source

Amalia -- A Unified Platform for Parsing and Generation [PDF]

, 1997
Contemporary linguistic theories (in particular, HPSG) are declarative in nature: they specify constraints on permissible structures, not how such structures are to be computed.
Francez, Nissim, Gabrilovich, Evgeniy, Wintner, Shuly   +2 more
core   +3 more sources

Differentially Testing Soundness and Precision of Program Analyzers

, 2018
In the last decades, numerous program analyzers have been developed both by academia and industry. Despite their abundance however, there is currently no systematic way of comparing the effectiveness of different analyzers on arbitrary code.
Amato Gianluca, Besson Frédéric, Beyer Dirk, Blazy Sandrine, Bradley Aaron R., Clarke Edmund M., Cousot Patrick, de Moura Leonardo, Dolan-Gavitt Brendan, Donaldson Alastair F., Dubois Catherine, Gange Graeme, Graf Susanne, Gurfinkel Arie, Heizmann Matthias, Komuravelli Anvesh, Midtgaard Jan   +16 more
core   +1 more source

Understanding Functional Materials at School

Advanced Functional Materials, EarlyView.
This review outlines strategies for effectively teaching nanoscience in schools, focusing on challenges such as scale comprehension and curriculum integration. Emphasizing inquiry‐based learning and chemistry core concepts, it showcases hands‐on activities, digital tools, and interdisciplinary approaches.
Johannes Claußnitzer, Jürgen Paul
wiley   +1 more source

Highly Selective Toward HER or CO2RR by Regulating Cu Single and Dual Atoms on g‐C3N4

Advanced Functional Materials, EarlyView.
This systematic study provides insights into the design of electrocatalysts for hydrogen evolution reaction (HER) and carbon dioxide reduction (CO2RR). It serves as a useful guide for tuning catalyst architecture toward efficient multifunctional performance by varying synthetic parameters, demonstrating the impact of copper (Cu) species ranging from ...
Wan‐Ting Chen, Hung Wei Shiu, Yu‐Xun Chen, Erdembayalag Batsaikhan, Yu‐Ling Lai, Su Ling Cheng, Tohru Araki, Jyh‐Fu Lee, Michitoshi Hayashi, Yao‐Jane Hsu   +9 more
wiley   +1 more source

Abstract State Machines 1988-1998: Commented ASM Bibliography [PDF]

, 1998
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu ...
Boerger, Egon, Huggins, James K.
core   +3 more sources