Glia-to-neuron reprogramming to the rescue?

Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.

Corrigendum: MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons

There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Neural Regeneration Research(Sharma et al.,2024),because of oversight during final proof checking.The correct description should be“human-GABA receptor A-α1/β2/γ2L human embryonic kidney(HEK)recombinant cell line.”The authors apologize for any inconvenience this correction may cause for readers and editors of Neural Regeneration Research.

Fool-Proof法在图书馆工作中的应用浅探

防呆法在企业生产中有大量的应用,在一些大型企业中也取得了显著的效果。作为一个服务部门和信息生产部门,图书馆应用防呆法无疑有助于图书馆的自动化和规范化。根据防呆法原理从10个方面详细列举了防呆法在图书馆的可能应用。

限缩法定犯适用的证明困境及其出路

在法定犯时代,为避免刑法过度适用减损国家治理整体效果,刑法学界提出了司法限缩方案,希望通过激活违法性认识的适用、严格审查前置的违法性、实质判断法益侵害程度来实现出罪减责。上述主张忽略了司法证明对构成要件的反向制约作用。违法性认识证明困难,决定其应作为责任要素,而非故意要素。行政监管的专业性和复杂性决定了,片面强调司法认定的独立性,否定行政鉴定与行政认定证据资格,不具有现实性。应区分关于专门性问题的报告和行政机关处理决定或意见,对前者参照司法鉴定意见予以规制,将后者归入辅助资料。将个人法益受到侵害作为法定犯构罪的前提,与增设法定犯特别是抽象危险犯立法目的不相适应。抽象危险和具体损害,只有通过反向刑事推定方可建立可转换的联系,从而实现积极出罪。

电影《相助》片尾曲《The Living Proof》的功能文体学分析

电影歌曲作为整部电影的有机组成部分,其重要性不可小觑,一首好的歌曲能达到锦上添花的观影效果。目前国内对电影歌词的研究,大多集中在音乐学、美学、文学等语言学之外的领域,从功能语言学的角度对电影歌曲的解读尚且不多。本文拟以系统功能语法理论为指导,从语境、经验功能、人际功能着手解析电影《相助》片尾曲《The Living Proof》,以期丰富系统功能语法的研究内容,为电影歌词的分析提供新的视角,帮助观影者深度理解影片主题。

FORMAL PROOF OF RELATIVE STRENGTH OF SECURITY AMONG ECK2007 MODEL AND OTHER PROOF MODELS FOR KEY AGREEMENT PROTOCOLS

The differences among the extended Canetti ＆ Krawezyk 2007 model （ECK2007） and other four models, i.e., the Bellare ＆ Rogaway （1993, 1995）models （BR93,BR95）, the Bellare, Pointcheval ＆ Rogaway （2000） model （BPR2000） and the Canetti ＆ Krawczyk （2001） model （CK2001） are given. The relative strength of security among these models is analyzed. To support the implication or non-implication relation among these models, the formal proof or the counter-example is provided.

Comments and Research on Proofs of Chain Rule

In this paper we point out that the proofs of Chain Rule in many intensively used textbooks are not strict an construct anexa mple of a composite function f(u) which is differentiable with respects t o the independednt variable u, but is not differentiable with respect to the dependent variable u=g(x). A strict proof of Chain Rule is presented. Incon sistency of the form and content of Chain Rule is disclosed.

Study on Ignition Proof AZ91D Magnesium Alloy Chips with Cerium Addition

The effect of Ce on ignition point of AZ91D magnesium alloy chips was studied. For the AZ91D and the AZ91D-xCe magnesium alloys, changing the sizes of the chips in the range of 58 - 270 μm has a limited influence on ignition point, however, the shift of the content of Ce has much effect on ignition point. Increasing the Ce content, x from 0.15 to 0.25, the ignition point increases with increasing of Ce; however, x from 0.25 to 0.45, the ignition point decreases with increasing of Ce. By the addition of Ce of 0.25 %. the ignition point is raised by 43℃.

Group Signature Based on Non-interactive Zero-Knowledge Proofs

Non-Interactive Zero-Knowledge(NIZK for short) proofs are fascinating and extremely useful in many security protocols. In this paper,a new group signature scheme,decisional linear assumption group signature(DLAGS for short) with NIZK proofs is proposed which can prove and sign the multiple values rather than individual bits based on DLIN assumption. DLAGS does not need to interact between the verifier and issuer,which can decrease the communication times and storage cost compared with the existing interactive group signature schemes. We prove and sign the blocks of messages instead of limiting the proved message to only one bit(0 or 1) in the conventional non-interactive zero-knowledge proof system,and we also prove that our scheme satisfy the property of anonymity,unlinkability and traceability. Finally,our scheme is compared with the other scheme(Benoitt's scheme) which is also based on the NIZK proofs system and the DLIN assumption,and the results show that our scheme requires fewer members of groups and computational times.

A SIMPLE PROOF OF STABILITY AND CONVERGENCE IN L＿2 FOR SOME DIFFERENCE SCHEMES AND THEIR EXTRAPOLATION METHOD FOR PARABOLIC EQUATIONS

ＡＳＩＭＰＬＥＰＲＯＯＦＯＦＳＴＡＢＩＬＩＴＹＡＮＤＣＯＮＶＥＲＧＥＮＣＥＩＮＬ＿２ＦＯＲＳＯＭＥＤＩＦＦＥＲＥＮＣＥＳＣＨＥＭＥＳＡＮＤＴＨＥＩＲＥＸＴＲＡＰＯＬＡＴＩＯＮＭＥＴＨＯＤＦＯＲＰＡＲＡＢＯＬＩＣＥＱＵＡＴＩＯＮＳＳｕｎＺｈｉｚｈｏｎｇ...

Local Geometric Proof of Riemann Conjecture

Riemann hypothesis (RH) is a difficult problem. So far one doesn’t know how to go about it. Studying ζ and using analysis method likely are two incor-rect guides. Actually, a unique hope may study Riemann function , , by geometric analysis, which has the symmetry: v=0 if β=0, and basic expression . We show that |u| is single peak in each root-interval of u for fixed β ∈(0,1/2]. Using the slope ut, we prove that v has opposite signs at two end-points of Ij. There surely exists an inner point such that , so {|u|,|v|/β} form a local peak-valley structure, and have positive lower bound in Ij. Because each t must lie in some Ij, then ||ξ|| > 0 is valid for any t (i.e. RH is true). Using the positivity of Lagarias (1999), we show the strict monotone for β > β0 ≥ 0 , and the peak-valley structure is equiva-lent to RH, which may be the geometric model expected by Bombieri (2000). This research follows Liuhui’s methodology: “Computing can detect the un-known and method”.

Effect of RE on the ignition-proof, microstructure and properties of AZ91D magnesium alloy

The magnesium alloy is prone to burn during die-casting, which limits its applications severely, so the effect of adding rare earth （RE） on the ignition-proof of AZ91D Mg alloy is studied. The results indicate that the addition of mischmetal RE elements has a remarkable influence on the ignition-proof property of the magnesium alloy. It is found that the ignition temperature of the magnesium alloy can be greatly raised by adding a proper amount of RE. When the amount is 0.1wt%, the ignition temperature reaches 877℃ which is 206℃ higher than that of AZ91D without RE and the mechanical properties of the alloy are also improved, However, the amount of RE must be properly controlled because too much RE would induce grain coarsening and reduce the mechanical properties.

Game-Based Automated Security Proofs for Cryptographic Protocols

Provable security has become a popular approach for analyzing the security of cryptographic protocols.However,writing and verifying proofs by hand are prone to errors.This paper advocates the automatic security proof framework with sequences of games.We make slight modifications to Blanchet's calculus to make it easy for parsing the initial game.The main contribution of this work is that it introduces algebraic properties with observational equivalences to automatic security proofs,and thus can deal with some practical cryptographic schemes with hard problems.We illustrate the use of algebraic properties in the framework by proving the semantic security of the ElGamal encryption scheme.

Analyses on Ignition-Proof Mechanics of AZ91D Alloy Added with Ce

Theoretical analysis on ignition-proof of AZ91D alloy added with Ce was studied. The effect of Ce on burning temperature was investigated. The burning temperature increases with increasing Ce by insulation work at different temperatures. The influence of Ce on maximum insulation work time was also studied. The maximum insulation work time increases with increasing Ce and decreases with the melting temperature. There is a tendency for Ce to concentrate on the surface of melti.ng AZ91D alloy. Ce will react with MgO and O2. The resultant will fill the cavity of MgO film to form multifilm. So the density of surface film of liquid Mg will increase to prevent burning.

一类决策模型的payoff-proof纳什均衡解

研究1种基于线性规划约束的多人决策模型。首先,运用线性规划和对偶理论给出了纳什均衡点存在的充分必要条件,进而证明了在这种模型下的纳什均衡点可以在多项式时间内求解。其次,在原有的纳什均衡定义的基础上,定义了1个强均衡的概念—payoff-proof纳什均衡,并对前述模型研究了payoff-proof纳什均衡的性质和存在性。

Membership Proof and Verification in Authenticated Skip Lists Based on Heap

How to keep cloud data intact and available to users is a problem to be solved. Authenticated skip list is an important data structure used in cloud data integrity verification. How to get the membership proof of the element in authenticated skip list efficiently is an important part of authentication. Kaouthar Blibech and Alban Gabillon proposed a head proof and a tail proof algorithms for the membership proof of elements in the authenticated skip list. However, the proposed algorithms are uncorrelated each other and need plateau function. We propose a new algorithm for computing the membership proof for elements in the authenticated skip list by using two stacks, one is for storing traversal chain of leaf node, the other is for storing authentication path for the leaf. The proposed algorithm is simple and effective without needing plateau function. It can also be applicable for other similar binary hash trees.

Ignition-proof performance and mechanism of AZ91D-3Nd-xDy magnesium alloys at high temperatures

This study focused on the synergistic effect of alloying elements neodymium(Nd) and dysprosium(Dy) on the ignition-proof performance of AZ91D alloy. The ignition-proof mechanism of AZ91D-3 Nd-x Dy(x = 0.5, 1.0, 1.5, 2.0 and 2.5 wt.%) alloy was discussed in depth through ignition-proof testing and microstructure observation. The results showed that the AZ91D-3 Nd-2 Dy alloy exhibited the highest ignition-point of 893 K, increased by 69 K as compared to the AZ91D alloy. The ignition-proof mechanism of Nd and Dy additions lay in three aspects:(1) the formation of denser oxide film consisting of Dy_2O_3 and MgO improves the oxidation resistance of the alloy,(2) the great reduction of the low melting-point phase β-Mg_(17)Al_(12), which leads to the decrease in the oxygen diffusion channels, and(3) the newly formed high melting-point phases(Al_2Nd and Al_2Dy), which block the oxygen diffusion channels and prevent the chemical reaction of Mg and oxygen.

A Privacy-Preserving Grouping Proof Protocol Based on ECC with Untraceability for RFID

An RFID (Radio-Frequency IDentification) system provides the mechanism to identify tags to readers and then to execute specific RFID-enabled applications. In those applications, secure protocols using lightweight cryptography need to be developed and the privacy of tags must be ensured. In 2010, Batina et al. proposed a privacy-preserving grouping proof protocol for RFID based on ECC (Elliptic Curve Cryptography) in public-key cryptosystem. In the next year, Lv et al. had shown that Batina et al.’s protocol was insecure against the tracking attack such that the privacy of tags did not be preserved properly. Then they proposed a revised protocol based on Batina et al.’s work. Their revised protocol was claimed to have all security properties and resisted tracking attack. But in this paper, we prove that Lv et al.’s protocol cannot work properly. Then we propose a new version protocol with some nonce to satisfy the functions of Batina et al.’s privacy-preserving grouping proof protocol. Further we try the tracing attack made by Lv et al. on our protocol and prove our protocol can resist this attack to recover the untraceability.

An Elementary Proof of Fermat’s Last Theorem for Epsilons

The author presents a new approach which is used to solve an important Diophantine problem. An elementary argument is used to furnish another fully transparent proof of Fermat’s Last Theorem. This was first stated by Pierre de Fermat in the seventeenth century. It is widely regarded that no elementary proof of this theorem exists. The author provides evidence to dispel this belief.