Filters








254,927 Hits in 4.4 sec

Information dynamics and uniform substitution

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard
2013 Synthese  
While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting  ...  The proof of this result illuminates the reasons for the failure of uniform substitution. 1 Dynamic epistemic logics are not the only modal logics to have been proposed that are not closed under uniform  ...  We are grateful to the workshop organizers and participants for valuable discussion.  ... 
doi:10.1007/s11229-013-0278-0 fatcat:x7atirvbqveftmz3f3klghkiau

Modular versus uniform cultured neuronal networks: a modeling study

Przemyslaw Nowak, Paolo Massobrio, Sergio Martinoia
2013 BMC Neuroscience  
We hope that our models will help explain differences in dynamics exhibited by modular networks versus uniform networks, allow better understanding of the structurefunction relationship and information  ...  For this purpose, we develop neuronal network models to determine how different network properties affect the dynamics of modular networks and compare these effects with those observed in uniform networks  ...  We hope that our models will help explain differences in dynamics exhibited by modular networks versus uniform networks, allow better understanding of the structurefunction relationship and information  ... 
doi:10.1186/1471-2202-14-s1-p265 pmcid:PMC3704360 fatcat:3zfwno7eibhu5plbiqueiyxywi

A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics

Nathan Fulton, André Platzer
2016 Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016  
To support axiomatic theorem proving, the logic allows equivalence rewriting deep within formulas and supports both uniform renaming and uniform substitutions.  ...  Differential dynamic logic is a logic for specifying and verifying safety, liveness, and other properties about models of cyberphysical systems.  ...  We also thank the anonymous reviewers for their suggestions and comments.  ... 
doi:10.1145/2854065.2854078 dblp:conf/cpp/FultonP16 fatcat:srmlvx5csjd5xbdozezl3zwlgm

Cyber-Physical Systems: Computation, Communication, and Control

Liguo Zhang, Yaser P. Fallah, Rezgui Jihene
2013 International Journal of Distributed Sensor Networks  
Tan et al. proposes a half-dynamic subtree strategy that supports the replication of metadata, the dynamic addition, and failure recovery of metadata server (MDS).  ...  Furthermore, a uniform authentication framework is constructed for M2M context, and all possible authentication mechanisms are pointed out in M2M.  ...  Acknowledgment e authors would like to thank all the reviewers for their diligent evaluations and valuable suggestions to improve the quality of the accepted papers.  ... 
doi:10.1155/2013/475818 fatcat:x6r4ysqdyrcvpeblockwbbimh4

Evolutionary Dynamics of Information Diffusion Over Social Networks

Chunxiao Jiang, Yan Chen, K. J. Ray Liu
2014 IEEE Transactions on Signal Processing  
Specifically, we analyze the framework in uniform degree and non-uniform degree networks and derive the closed-form expressions of the evolutionary stable network states.  ...  In this paper, we propose an evolutionary game theoretic framework to model the dynamic information diffusion process in social networks.  ...  Three kinds of networks, complete, uniform and non-uniform degree social networks, were analyzed with the derivation of information diffusion dynamics.  ... 
doi:10.1109/tsp.2014.2339799 fatcat:jerk3py36jfttpnsqgdfjl5r4a

Chaos-Based Synchronized Dynamic Keys and Their Application to Image Encryption with an Improved AES Algorithm

Chih-Hsueh Lin, Guo-Hsin Hu, Che-Yu Chan, Jun-Juh Yan
2021 Applied Sciences  
The statistical analysis, histogram, information entropy, and correlation indexes have been calculated and analyzed through simulation experiments in order to demonstrate the capability and improvement  ...  However, in the proposed design, by introducing the synchronization technology of chaotic systems, the static key becomes dynamic and random, and it does not need to be kept or transmitted in open channels  ...  Introduction Since the high-speed growth and wide application in the field of the multimedia information and internet technology, the security demands for data communication and image information confidentiality  ... 
doi:10.3390/app11031329 fatcat:4ux42ozl45hpzlep2w2w5gfuli

Schematic Validity in Dynamic Epistemic Logic: Decidability [chapter]

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard
2011 Lecture Notes in Computer Science  
Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution.  ...  The classic example is Public Announcement Logic (PAL), an extension of epistemic logic based on the idea of information acquisition as elimination of possibilities.  ...  Acknowledgements We wish to thank Johan van Benthem for stimulating our interest in the topic of this paper and two anonymous referees for comments.  ... 
doi:10.1007/978-3-642-24130-7_6 fatcat:3bzc5q2gu5cifg5keiqnk4lkse

The effect of sequence quality on sequence alignment

K. Malde
2008 Bioinformatics  
Quality values provide valuable information, but are primarily used only for trimming sequences and generally ignored in subsequent analyses.  ...  A prototype implementation is also provided, and used to post-process a set of BLAST results.  ...  For nucleotide sequences, often a uniform background distribution is assumed and the substitution matrix is simplified to two values: a positive score (or reward) in the case of identical letters, and  ... 
doi:10.1093/bioinformatics/btn052 pmid:18296747 fatcat:h4c6ul3targa3na62g7nslhjmi

3P031 Gliding and binding of mycoplasma on uniform sialylated oligosaccharide(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P031 単一シアル酸オリゴ糖上でのマイコプラズマの滑走と結合(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Taishi Kasai, Tasuku Hamaguchi, Makoto Miyata
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_1 fatcat:yrzbquyo4vcshncs3kv7mgjrry

3P035 Global motion of ABC transporters using nonlinear relaxation dynamics in elastic network model(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P035 Elastic Network Model を用いたABC トランスポーターのglobal motion の解析(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Naoki Arai, Tadaomi Furuta, Minoru Sakurai
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_5 fatcat:yspxhqw6ubap5fw3cxp4vuxpem

Singular Spectrum of Lebesgue Measure Zero¶for One-Dimensional Quasicrystals

Daniel Lenz
2002 Communications in Mathematical Physics  
Furman and a uniform ergodic theorem due to the author.  ...  The spectrum of one-dimensional discrete Schr\"odinger operators associated to strictly ergodic dynamical systems is shown to coincide with the set of zeros of the Lyapunov exponent if and only if the  ...  Furstenberg for most valuable discussions and for bringing the work of A. Furman [22] to the authors attention. The author would also like to thank D.  ... 
doi:10.1007/s002200200624 fatcat:xzup3f6einbpze3vfgrxoplnyq

3P034 Replica exchange MD and ab initio fragment MO calculations for searching stable conformations of amyloid-b dimer in water(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P034 レプリカ交換MD 及びフラグメントMO 計算によるアミロイドβ ダイマーの水中での安定構造の探索(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Hiromi Ishimura, Akisumi Okamoto, Atsushi Yano, Noriyuki Kurita
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_4 fatcat:a4c3hbvzsndsffh3vcev5adn74

3P036 X-ray crystal structures of carbonmonoxy hemoglobin photolysis intermediates(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P036 一酸化炭素型ヘモグロビンの光解離中間体のX線結晶構造(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Ayana Tomita, Tokushi Sato, Hiroki Noguchi, Shunsuke Nozawa, Shin-ya Koshihara, Sam-Yong Park, Naoya Shibayama, Shin-ichi Adachi
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_6 fatcat:nakolphdfrerrnzvredufjmdpe

3P033 Molecular simulation study on the mechanism of substrate uptake in cellulase TrCel7A(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P033 セルラーゼTrCel7A の基質取り込み機構に関する分子シミュレーション研究(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Takashi Kanazawa, Minoru Sakurai, Tadaomi Furuta
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_3 fatcat:fmfbahhxhjdhfkrtarf4u44tie

3P032 Substrate Recognition and Sliding Properties of an Anti-HIV Factor APOBEC3G analyzed by Real-time NMR Monitoring Strategy(01B. Protein: Structure & Function,Poster,The 52nd Annual Meeting of the Biophysical Society of Japan(BSJ2014))
3P032 抗HIV 因子APOBEC3G の基質認識及びスライディング機構の実時間NMR 解析(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))

Keisuke Kamba, Takashi Nagata, Masato Katahira
2014 Seibutsu Butsuri  
Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ...  Mycoplasma cells glided faster, more constantly, with acceralated pivoting on uniform SO than on mixed SO, suggesting that they can glide efficiently on uniform SO and processively on mixed SO. 3P032 抗  ...  Res. & inform., Tokyo Tech) ABC transporters have two TMDs and two NBDs. TMD and NBD are connected with ICL.  ... 
doi:10.2142/biophys.54.s254_2 fatcat:4dok7olu4nhcdcxfou22ysotai
« Previous Showing results 1 — 15 out of 254,927 results