Results 151 to 160 of about 2,329,578 (354)

TVB C++: A Fast and Flexible Back‐End for The Virtual Brain

Advanced Science, EarlyView.
TVB C++ is a streamlined and fast C++ Back‐End for The Virtual Brain (TVB), designed to make it as flexible as TVB, and FAST. Another pillar is to be fully compatible with TVB so easy bindings can be created from Python. Users can easily configure TVB C++ to execute the same code but with enhanced performance and parallelism.
Ignacio Martín, Gorka Zamora‐López, Jan Fousek, Michael Schirner, Petra Ritter, Viktor Jirsa, Gustavo Deco, Gustavo Patow   +7 more
wiley   +1 more source

An interval-based temporal logic in a multivalued setting [PDF]

, 1992
Mathias Bauer
openalex   +1 more source

Loss of Fibronectin Fiber Tension in Glioblastoma is Associated with Microvascular Proliferations and Immune Cell Infiltration

Advanced Science, EarlyView.
Researchers discovered that fibronectin fibers lose their tension in specific areas of glioblastoma brain tumors, accumulating in the lumen of proliferating blood vessels and in parenchyma next to infiltrating immune cell clusters. A novel molecular tension probe enables the mapping of fibronectin's fiber tension in glioblastoma for the first time ...
Michele Crestani, Isabel Gerber, Arnaud Mieville, Katrin Frauenknecht, Theoni Maragkou, Tibor Hortobagyi, Viola Vogel   +6 more
wiley   +1 more source

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

Advanced Science, EarlyView.
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He, Yifan Du, Ziqi Fu, Youcun Zheng, Nils Muhlert, Barbara Sahakian, Rebecca Elliott   +6 more
wiley   +1 more source

An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages [PDF]

, 1998
Doron Peled, Thomas Wilke, Pierre Wolper
openalex   +1 more source

Temporal logics need their clocks

Theoretical Computer Science, 1992
Some open problems concerning completeness of first-order temporal logics posed by Abadi and Manna are solved, and some theorems stated by these authors are refuted.
openaire   +2 more sources

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, Lei Liu, Xiaoyu Li, Yuefeng Du, Zhenghe Song, Xiuheng Wu   +5 more
wiley   +1 more source

Model checking for a first-order temporal logic using multiway decision graphs [PDF]

, 1998
Ying Xu, E. Cerny, X. Song, Francisco Corella, Otmane Aı̈t Mohamed   +4 more
openalex   +1 more source

Nonalcoholic Fatty Liver Disease Exacerbates the Advancement of Renal Fibrosis by Modulating Renal CCR2+PIRB+ Macrophages Through the ANGPTL8/PIRB/ALOX5AP Axis

Advanced Science, EarlyView.
The ANGPTL8/PIRB/ALOX5AP axis mediates liver‐kidney crosstalk. Hepatocytes secrete ANGPTL8, which binds to CCR2+PIRB+ macrophages in the kidneys, affecting the expression of ALOX5AP and enhancing the activation of these macrophages. Activated cells produce TGF‐β, IL‐6, and IL‐23, driving Th17 activation and promote the formation of myofibroblasts ...
Shuqi Wei, Diwen Shou, Siyuan Huang, Yingsi Wang, Quanzhen Liu, Jinfa Liu, Xiaoyu Lv, Yuyi Zeng, Liting Wei, Han Lin, Jiechuan Chen, Yangxiao Chen, Haoyu Zhong, Yanqing Zhou, Wen Ma, Li Wang, Guojun Qian, Jing Guo, Donglin Sun   +18 more
wiley   +1 more source

Discovering unexpected patterns in temporal data using temporal logic [PDF]

, 1998
Gideon Berger, Alexander Tuzhilin
openalex   +1 more source