Results 101 to 110 of about 7,042,113 (292)

Constructive interval temporal logic in Alf [PDF]

, 1997
This paper gives an implementation of an interval temporal logic in a constructive type theory, using the Alf proof system. After explaining the constructive approach, its relevance to interval temporal logic and potential applications of our work, we ...
Thompson, Simon
core  

A Personalized Haplotype‐Resolved Near‐Gapless Genome Framework for Somatic Variant Discovery in Hepatocellular Carcinoma

Advanced Science, EarlyView.
A patient‐specific, haplotype‐resolved genome framework improves detection and interpretation of somatic variants in hepatocellular carcinoma. Using multi‐platform sequencing, the personalized assembly resolves complex regions including centromeres and MHC/HLA loci, enhances structural variant discovery, and links regulatory alterations to allele ...
Jiazheng Lin, Yao Xiao, Shuangzi Luo, Yifan Li, Wenfei Zhang, Xiaoyu Zhang, Xinyi Wang, Di Wu, Jieru Hong, Yongkun Luan, Xun Huang, Yixiu Wang, Ningbo Wu, Xiaoxiao Hu, Fei Zhao, Wei Li, Xiao Luo, Bi Shi   +17 more
wiley   +1 more source

PENGARUH METODE PROJECT BASED LEARNING TERHADAP KEMAMPUAN MENULIS TEKS EKSPLANASI SISWA KELAS VIII SMP NEGERI 1 PENANGGALAN KOTA SUBULUSSALAM

SeBaSa
The aim of this research was to determine the effect of constructive play and linguistic intelligence on the beginning reading abilities of children aged 5-6 years at Pembina Kindergarten, Labuhan Haji District. The type of research used is quantitative
Atmiarti Atmiarti, Padlurrahman Padlurrahman, Muhammad Khaerul Wazni   +2 more
doaj   +1 more source

B Cells are Activated via a Nanoporous Interface that Stabilizes Microvilli and Engages Mechanosensitive Ion Channels

Advanced Science, EarlyView.
B cells can be activated independently of antigen recognition via mechanical stimulation through nanoporous substrates. Exposure to such substrates induced B cell microvilli extension into the pores, intracellular Ca2+ signaling, phosphorylation of signaling proteins, and CD69 expression.
Nozie D. Aghaizu, Willi Weber, Nadine Strempel, Asya Polat, Enrico Klotzsch   +4 more
wiley   +1 more source

A Critical Approach to Destination Attractiveness Theory in the Context of Digital Nomadism: A Constructive Backflow Perspective

Journal of Economy Culture and Society
This study aims to reveal Türkiye’s perceived attractiveness for digital nomads within the framework of destination attractiveness theory. In this context, it questions the theory’s limitations while proposing the “Constructive Reverse Flow” approach as ...
Öznur Kişiakgiş İlhan, Semra Günay, Deniz Ateş Akkaya, Fatma Yaşlı Şen, Önder Demir   +4 more
doaj   +1 more source

Programmable Paracrine‐Mimetic Microneedle System for Temporal Regulation of Cardiac Repair

Advanced Science, EarlyView.
Temporal signaling is encoded into a programmable paracrine‐mimetic microneedle patch via tris(2,2'‐bipyridyl)dichlororuthenium(II) hexahydrate/sodium persulfate‐tuned hydrogel microparticles that deliver TGF‐β, IGF‐1, and VEGF over phase‐matched 7‐, 14‐, and 28‐day windows.
Yichen Dai, Pengchong Du, Zhaoyang Wang, Surilige, Rangga Fokta, Renjian Tan, Xiqing Zhao, Shuoyi Zhang, Yuecheng Wang, Yixin Zhang, Ziliang Fu, Rui Gong, Cheng Jiang, Yisheng He, Qiguang Wang, Renke Li, Khoon Lim, Junnan Tang, Xiaolin Cui   +18 more
wiley   +1 more source

RNA Promotes Synapsin Condensates That Organize Synaptic Vesicles in Live Neurons and Enable Localized Translation in Reconstituted System

Advanced Science, EarlyView.
Condensates at synapses organize synaptic vesicles (SVs) and are crucial for efficient neurotransmitter release, yet how RNA contributes to this mesoscale architecture remains poorly understood. Here we uncover that RNA modulates synapsin–driven condensates.
Branislava Rankovic, Zachary M. Geisterfer, Akshita Chhabra, Vladimir M. Jovanovic, Ian Seim, Christian Hoffmann, Antonela Condric, Gerard Aguilar Pérez, Rinse de Boer, Lars T. Hofstede, Jingao Sun, Kiara Freitag, Katja Nowick, Marina Jendrach, Frank L. Heppner, Vladimir Despic, Michaela Müller‐McNicoll, Stephan Sigrist, Geert van den Bogaart, Sofiia Reshetniak, Amy S. Gladfelter, Dragomir Milovanovic   +21 more
wiley   +1 more source

High‐Power Hybrid Nanogenerator With Multi‐Degree‐of‐Freedom Mechanical Coupling for Harvesting Water Wave Energy

Advanced Science, EarlyView.
A high‐power hybrid nanogenerator (HP‐HNG) with multi‐degree‐of‐freedom mechanical coupling is reported, integrating multi‐directional wave energy for output to achieve 1 + 1 > 2 energy harvesting. The HP‐HNG achieves a peak output power of 0.764 W, corresponding to a peak power density of 127.303 W m−3. At a wave frequency of 1 Hz, the HP‐HNG delivers
Shuai Ding, Hua Zhai, Hao Gong, Xiao Long, Yuanzhuo Tian, Zhanyong Hong, Long Zheng, Xucong Wang, Xiangyu Chen, Zhong Lin Wang   +9 more
wiley   +1 more source

Constructive Type Theory

, 2015
This chapter is about the type theory created by Martin-Lof in a series of papers (Martin-Lof, 1972, 1975, 1982) and a book (Martin-Lof, 1984). Originally called intuitionistic type theory, a more common name is constructive type theory.
Ranta, Aarne,
core  

Herbivory‐Induced Stomatal Opening Triggers the Dispersal of an Invasive Insect Herbivore

Advanced Science, EarlyView.
The invasive leafminer Phthorimaea absoluta uniquely manipulates plant defenses by inducing stomatal opening in tomato. This response, mediated by the stomatal regulator IQM1, enhances the release of the repellent volatile benzaldehyde. This volatile triggers the dispersal of adult moths, facilitates colonization of new hosts, and leads to rapid ...
Limin Chen, Xiaowei Li, Yaru Wang, Farman Ullah, Shuxing Zhou, Lemeng Dong, Weizhong He, Harro J. Bouwmeester, Youming Hou, Ian T. Baldwin, Yaobin Lu   +10 more
wiley   +1 more source