A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Information dynamics and uniform substitution
2013
Synthese
Preserved Fulltext
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
2013
BMC Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Distributed Sensor Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
IEEE Transactions on Signal Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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年度))
2014
Seibutsu Butsuri
3P031 単一シアル酸オリゴ糖上でのマイコプラズマの滑走と結合(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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年度))
2014
Seibutsu Butsuri
3P035 Elastic Network Model を用いたABC トランスポーターのglobal motion の解析(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2002
Communications in Mathematical Physics
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2001 pre-print arXiv:math-ph/0106012v1 fatcat:qtaukkbkknb3tdzsp6nieeyubm
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年度))
2014
Seibutsu Butsuri
3P034 レプリカ交換MD 及びフラグメントMO 計算によるアミロイドβ ダイマーの水中での安定構造の探索(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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年度))
2014
Seibutsu Butsuri
3P036 一酸化炭素型ヘモグロビンの光解離中間体のX線結晶構造(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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年度))
2014
Seibutsu Butsuri
3P033 セルラーゼTrCel7A の基質取り込み機構に関する分子シミュレーション研究(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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年度))
2014
Seibutsu Butsuri
3P032 抗HIV 因子APOBEC3G の基質認識及びスライディング機構の実時間NMR 解析(01B. 蛋白質:構造機能相関,ポスター,第52回日本生物物理学会年会(2014年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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