Problems of Standard Model, Review

It is assumed that standard model is the most successful theory of particle physics but it is not perfect. In this paper, I am interested to flash the published results of various proposals of theoretical physicists in various modes of Standard Model and beyond. There are no specifications theory to declare new model to till date, although some ideas that would modify the standard model in many ways helps to understand the existing results.

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol

Mimblewimble (MW) is a privacy-oriented cryptocurrency technology that provides security and scalability properties that distinguish it from other protocols of its kind. We present and discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model that is key in the described verification process, and identify and precisely state [Review 2]sufficientthe conditions for our model to ensure the verification of the relevant security properties of MW. Since MW is built on top of a consensus protocol, we develop a Z specification of one such protocol and present an excerpt of the prototype after its Z specification. This prototype can be used as an executable model. [Review 3]where simulations can be run This allows us to analyze the behavior of the protocol without having to implement it in a low level programming language. Finally, we analyze the Grin and Beam implementations of MW in their current state of development.

Character education learning for high school students with a Contextual Teaching Learning (CTL) Approach in Civics Subjects in West Seram District

This research is development (R & D). In this research purpose to develop a character education learning module contextual teaching and learning (CTL) approach of PKn subject. This research was conducted at SMA Negeri 7 Kabupaten Seram Bagian Barat. This research method refers to the development model of Derek Rowntree and Dick &Carry. The development procedure through three stages, the first stage uses Dick & Carry model until the seventh step is selecting and developing. In the second and third stages using Derek Rowntree model. Review process through reviews of media expert and instructional design expert and reviews of media and language experts. To the target, a one-to-one test was conducted, small group test and field test. Evaluation is carried out until summative evaluation with calculations N-Gain Score to measure the level of effectiveness. The result of effectiveness state that the student character learning module in PKn subject is effective in used.