Results 51 to 60 of about 125,940 (271)
The Potential of Cognitive‐Inspired Neural Network Modeling Framework for Computer Vision
Advanced Science, EarlyView.In article number 202507730, Guorun Li, Lei Liu, Yuefeng Du, and co‐workers present a cognitive modeling framework (CMF) to bridge the ‘representation gap’ and ‘conceptual gap’ between cognitive theory and vision deep neural networks (VDNNs). The research findings provide new insights and solid theoretical support for VDNN modeling inspired by ...
Guorun Li +5 more
wiley +1 more source
Advanced Science, EarlyView.AI is not seen through an unbiased lens. People tend to stereotype AI as competent and link it with socially advantaged groups—such as men, the wealthy, the young, and prestigious occupations—raising concerns that such perceptions may deepen existing social divides rather than bridge them.
Zixi Wang +4 more
wiley +1 more source
, 2004 There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any ...
Reeves, Steve, Streader, David
core +1 more source
Advanced Science, EarlyView.An integrated strategy combining a mitochondria‐targeted fluorescent probe set and an AI framework enables simultaneous analysis of mitochondrial morphology and function at the single organelle level. By fusing multi‐parametric features, machine learning classification accurately distinguishes individual mitochondria under hypoxia‐related conditions ...
Yang Ding +9 more
wiley +1 more source
Advanced Science, EarlyView.In this paper, a novel floating gate transistor (BP/POx/WSe2) is developed, which enables rich synaptic functionality under optoelectronic conditions and can mimic human visual memory. By introducing a two‐path convolutional neural network that synergistically fuses optical and electronic inputs, it can achieve efficient feature extraction and weight ...
Yuxuan Zeng +13 more
wiley +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Coherent Integration of Databases by Abductive Logic Programming
, 2004 We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method
Arieli, O. +3 more
core +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é +2 more
wiley +1 more source
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 +3 more
wiley +1 more source
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 +1 more
wiley +1 more source