Results 91 to 100 of about 237,519 (286)

Lexical Semantics and Knowledge Representation in Multilingual Text Generation Manfred Stede (Technische Universität Berlin) Boston: Kluwer Academic Publishers (The Kluwer international series in engineering and computer science, volume 492), 1999, xv+219 pp; hardbound, ISBN 0-7923-8419-9, $129.00, £84.00, Dfl 265.00 [PDF]

, 2000
Barbara Di Eugenio
openalex   +1 more source

A Forward Genetics Strategy for High‐Throughput Gene Identification via Precise Image‐Based Phenotyping of an Indexed EMS Mutant Library

Advanced Science, EarlyView.
The GeneHunter‐Gene‐Level Association (GH‐GLA) pipeline enables high‐throughput gene identification in an indexed EMS population of wheat cultivar KN9204. It identifies 5905 trait‐associated wheat genes and validates key regulators of kernel weight and spikelet architecture via gene editing and haplotype analysis.
Haojie Wang, Fujun Sun, Zeyu Shi, Yufeng Yang, Yi Ding, Tengteng Zhang, Caihong Zhao, Jingzhong Xie, Yaqian Zhang, Caihua Li, Wenqiang Tang, Junming Li, Xigang Liu, Shusong Zheng, Ni Jiang, Fei He, Shuzhi Zheng   +16 more
wiley   +1 more source

Heterogeneity of the Dominant Causes of Performance Loss in End‐of‐Life Cathodes and Their Consequences for Direct Recycling

Advanced Energy Materials, EarlyView.
Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil, Francois L.E. Usseglio‐Viretta, Xiaofei Pu, Paul Gasper, Nikita Dutta, Evelyna Wang, Eva Allen, John S. Mangum, Nathaniel Sunderlin, Kae Fink, Jeffery M. Allen, Peter J. Weddle, Steven C. DeCaluwe, Donal P. Finegan   +13 more
wiley   +1 more source

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]

, 2015
We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch, Schlichtkrull, Anders, Villadsen, Jørgen   +2 more
core   +1 more source

Exploring the Inhomogeneous Nature of Li Intercalation and Li Plating on Graphite Anodes—An Experimental Study Combining Inert Gas High‐Resolution Light Microscopy with Colorimetric and Machine Learning‐Based Image Analysis

Advanced Energy and Sustainability Research, EarlyView.
Graphite anode lithiation and lithium plating are explored using high‐resolution light optical microscopy under inert gas atmosphere. Colorimetric analysis and machine learning reveal lithiation stages depending on C‐rate and state‐of‐charge. With increasing C‐rate, heterogeneity of lithiation increases, resulting in up to three phases coexisting in ...
Marius Bolsinger, Christian Weisenberger, Thomas Waldmann, Marc Kamlah, Volker Knoblauch   +4 more
wiley   +1 more source

Determining the influence of belonging to a wine protected designation of origin on profitability

Agribusiness, EarlyView.
Abstract To guide consumers, wineries need credible attributes about the quality of their wines and its origin. In Spain, protected designations of origin (PDO) guarantee that the wine has been produced in a certain wine region in accordance with specific and officially regulated quality criteria thus providing elements of guarantee to the consumer ...
Jordi Moreno Gené, Sònia Solé Puiggené, José Luis Gallizo Larraz   +2 more
wiley   +1 more source

Exploring consumption profiles, consumer experience and quality claims of Canary Islands' cider (Spain): A multidimensional analysis

Agribusiness, EarlyView.
Abstract The exponential expansion of the global cider market positions it as a viable alternative to traditional choices such as wine and beer. Nevertheless, there exists a paucity of research examining the various factors influencing consumer interest in cider.
Eva Parga Dans, Pablo Alonso González, Raimundo Otero Enríquez, María‐Pilar Sáenz Navajas   +3 more
wiley   +1 more source

Ontologies relevant for improving data interoperability for food loss and waste: A review and research agenda

Cleaner and Responsible Consumption
Food loss and waste (FLW) is a global challenge. Interoperable FLW ontologies will foster more comprehensive data sharing and inform better solutions to reduce and recover excess food and to valorize wasted food and food byproducts.
Matthew C. Lange, Ran Li, John W. Apolzan, Patrick R. Huber, Emily Steliotes, Kai Robertson, Norbert L.W. Wilson, Karthik Jain, Rajiv Ramnath, Brian E. Roe, Edward S. Spang   +10 more
doaj   +1 more source

Two topologies are better than one [PDF]

Partially ordered sets and metric spaces are used in studying semantics in Computer Science. Sets with both these structures are hence of particular interest.
O'Neill, Simon
core  

Disentangling the relationships between denomination of origin regulatory councils activities and Spanish wineries' export performance

Agribusiness, EarlyView.
Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin, Marta Fernández‐Olmos   +1 more
wiley   +1 more source