Results 31 to 40 of about 12,448,860 (267)
Reliable algorithms for computing minimal dynamic covers [PDF]
, 2003 Minimal dimension dynamic covers play an important role in solving the structural synthesis problems of minimum order functional observers or fault detectors, or in computing minimal order inverses or minimal degree solutions of rational equations.
Varga, Andras
core
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Using Machine Learning and Generative Intelligence in Book Cover Development
Journal of ImagingThe rapid development of machine learning and artificial intelligence approaches is finding ever wider application in various areas of life. This paper considers the problem of improving editorial and publishing processes, namely self-publishing, when ...
Nonna Kulishova, Daiva Sajek
doaj +1 more source
Reliable algorithms for computing minimal dynamic covers for descriptor systems [PDF]
, 2004 Minimal dimension dynamic covers play an important role in solving the structural synthesis problems of minimum order functional observers or fault detectors, or in computing minimal order inverses or minimal degree solutions of rational equations.
A. Varga, Varga, Andras
core
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
, 2013 Since they were first defined in the 1950's, projective covers (the dual of injective envelopes) have proved to be an important tool in module theory, and indeed in many other areas of abstract algebra.
Bailey, Alexander
core +1 more source
PRODUKSI SIMBOL DALAM SAMPUL BUKU SASTRA TERBITAN GRAMEDIA
Jurnal Poetika, 2015 As the design and printing technology develops rapidly, the covers’ design of literary books on store develops as well. The covers tell not only title, writer’s name, and publisher, but also show textual symbols such as subtitle, phrases describing ...
Saeful Anwar
doaj +1 more source
Knygotyra, 2020 In this article, the latest data about the personal book collection items of King of Poland and Grand Duke of Lithuania Sigismund II Augustus in Vilnius University (VU) Library are presented.
Sondra Rankelienė
doaj +1 more source
Brain Network Dynamics of Local and Global Predictive Processing in Aging
Advanced Science, EarlyView.Separation of concurrent whole‐brain networks in source‐reconstructed magnetoencephalography (MEG) data suggests that healthy aging reorganizes, rather than uniformly attenuates, neural responses elicited from hierarchical auditory violations. Enhanced early sensory deviance processing alongside reduced higher‐order cognitive responses suggests a large‐
Mathias Houe Andersen +9 more
wiley +1 more source
Special Issue on Advances in Maintenance Management
Energies, 2022 This book covers research relating to advanced analytics in renewable energy and shows how to apply these analytics to many different professional areas, including engineering and management [...]
Fausto Pedro García Márquez
doaj +1 more source