Results 11 to 20 of about 25,858 (137)

Nonlinear Models of Neural and Genetic Network Dynamics:\ud \ud Natural Transformations of Łukasiewicz Logic LM-Algebras in a Łukasiewicz-Topos as Representations of Neural Network Development and Neoplastic Transformations \ud [PDF]

, 2011
A categorical and Łukasiewicz-Topos framework for Algebraic Logic models of nonlinear dynamics in complex functional systems such as Neural Networks, Cell Genome and Interactome Networks is introduced.
Baianu, Professor I.C.
core  

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

Hopfield Neural Networks for Online Constrained Parameter Estimation With Time‐Varying Dynamics and Disturbances

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley   +1 more source

Information completeness in Nelson algebras of rough sets induced by quasiorders

, 2012
In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski, A.H. Stone, D. Nelson, D. Vakarelov, D.M. Gabbay, G. Kreisel, H. Rasiowa, J. Barwise, J. Järvinen, J. Järvinen, J.-Y. Girard, Jouni Järvinen, P. Miglioli, P. Miglioli, P. Pagliani, P. Pagliani, P. Pagliani, Piero Pagliani, R. Cignoli, S. Vickers, Sándor Radeleczki, T.S. Blyth, Z. Pawlak   +22 more
core   +1 more source

Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals

Advanced Functional Materials, EarlyView.
Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus, Dávid Beke, Lili Vajtai, András Jánossy, László Forró, Ferenc Simon   +5 more
wiley   +1 more source

Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems [PDF]

, 2010
A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience.
Baianu, Professor I.C., Georgescu, Professor George, Glazebrook, Professor James F.   +2 more
core  

Impredicative Encodings of (Higher) Inductive Types

, 2018
Postulating an impredicative universe in dependent type theory allows System F style encodings of finitary inductive types, but these fail to satisfy the relevant {\eta}-equalities and consequently do not admit dependent eliminators.
Coquand Thierry, Gambino Nicola, Hofmann Martin, Howard William A., Martin-Löf Per, Pfenning Frank, Reynolds John C., Reynolds John C., Thomas Streicher   +8 more
core   +1 more source

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

A temporal semantics for Nilpotent Minimum logic

, 2013
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core   +1 more source

Infrared Machine Vision System Based on Te NWs‐Au NPs Plasmonic Optoelectronic Memristor for Motion Detection

Advanced Science, EarlyView.
A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian, Yongxing Zhu, Ye Tao, Zhongqiang Wang, Xiaoning Zhao, Ya Lin, Haiyang Xu, Yichun Liu   +7 more
wiley   +1 more source