Results 101 to 110 of about 9,801,063 (300)
Constantes logiques et décision
Philosophia Scientiæ, 2015 In this article, I examine the problem of the meanings of the logical constants. Are these meanings conventional as suggested by Carnap and Wittgenstein, or should we say that they are assigned and do not depend on preliminary decisions?
Saloua Chatti
doaj +1 more source
Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review
Advanced Science, EarlyView.Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh +8 more
wiley +1 more source
Method for solving quantifier linear equations based on the algebra of linear predicate operations
Радіоелектронні і комп'ютерні системиThe subject involves structured approaches that extend the existing set of mathematical tools for processing complex relationships within databases and computational systems.
Zoya Dudar, Volodymyr Liashyk
doaj +1 more source
Logical frameworks for truth and abstraction: an axiomatic study
, 1996 This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential.
Cantini, Andrea., Cantini, A
core
, 2009 Op grond van de gespecificeerde hoge archeologische verwachting voor de Middeleeuwen en Nieuwe Tijd en de middelhoge verwachting voor de IJzertijd en Bronstijd wordt archeologisch vervolgonderzoek geadviseerd.
GEO-LOGICAL
core +1 more source
Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design
Advanced Science, EarlyView.A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram +4 more
wiley +1 more source
A Generative Neuro‐Symbolic AI for Protein Sequence Design
Advanced Science, EarlyView.We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne +12 more
wiley +1 more source
Advanced Science, EarlyView.Technical limitations often let dominant signals overshadow rare cell types and fine‐grained heterogeneity in spatial transcriptomics. SemanticST, a graph neural network using multi‐semantic graph fusion and a novel min‐cut loss, recovers these subtle patterns.
Roxana Zahedi +7 more
wiley +1 more source
Adaptable mobile applications through SATIN: exploiting logical mobilityin mobile computing middleware [PDF]
, 2003 With the recent developments in wireless networks (Wavelan, Bluetooth) and the sales of mobile computers of any kind (such as laptopcomputers, Personal Digital Assistants (PDAs), mobile phones etc.) soaring, we are experiencing the availability of ...
Mascolo, C +3 more
core
Geo-Logical-reeks GEO-LOGICAL-reeks 42
, 2008 Perceel aan de C.G. Roosweg tussen de nummer 24 en 26 te Schoonhoven. Het perceel is in gebruik geweest als kwekerij en tuincentrum. In de toekomst zal woningbouw plaatsevinden.
Lelivelt, R.A. (Geo-logical) +3 more
core +1 more source