All public logs
Jump to navigation
Jump to search
Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 04:27, 8 December 2022 Benkoo2 talk contribs created page File:OnTheHourGlassModel with variants.png
- 04:27, 8 December 2022 Benkoo2 talk contribs uploaded File:OnTheHourGlassModel with variants.png
- 04:25, 8 December 2022 Benkoo2 talk contribs created page File:SequencedDataValidationWithHashCode.png
- 04:25, 8 December 2022 Benkoo2 talk contribs uploaded File:SequencedDataValidationWithHashCode.png
- 04:21, 8 December 2022 Benkoo2 talk contribs created page File:RicardianContract as a Bowtie.png
- 04:21, 8 December 2022 Benkoo2 talk contribs uploaded File:RicardianContract as a Bowtie.png
- 04:20, 8 December 2022 Benkoo2 talk contribs created page File:Workflow Composed of Smart Contracts.png
- 04:20, 8 December 2022 Benkoo2 talk contribs uploaded File:Workflow Composed of Smart Contracts.png
- 04:16, 8 December 2022 Benkoo2 talk contribs created page File:All DataTypes Are POSets.png
- 04:16, 8 December 2022 Benkoo2 talk contribs uploaded File:All DataTypes Are POSets.png
- 04:14, 8 December 2022 Benkoo2 talk contribs created page File:Trust worthy data is mother of all sciences.png
- 04:14, 8 December 2022 Benkoo2 talk contribs uploaded File:Trust worthy data is mother of all sciences.png
- 04:11, 8 December 2022 Benkoo2 talk contribs created page File:Mutli-level HoareTriples with LogicModel.png
- 04:11, 8 December 2022 Benkoo2 talk contribs uploaded File:Mutli-level HoareTriples with LogicModel.png
- 04:07, 8 December 2022 Benkoo2 talk contribs created page File:Correct by Design and Hoare Triple.png
- 04:07, 8 December 2022 Benkoo2 talk contribs uploaded File:Correct by Design and Hoare Triple.png
- 03:57, 8 December 2022 Benkoo2 talk contribs created page File:SingleSheafOfTruth In Sanscrit.png
- 03:57, 8 December 2022 Benkoo2 talk contribs uploaded File:SingleSheafOfTruth In Sanscrit.png
- 03:55, 8 December 2022 Benkoo2 talk contribs created page Template:SoG Booklet Image (Created page with "<noinclude> This template tries to standardize the display of images for the Science of Governance booklet When one needs to insert an image, just write: {{SoG Booklet Image |name=FileName }} </noinclude> [[File:{{{FileName}}} |800px |center |link=https://docs.google.com/presentation/d/12f5qKPDmY4VfKaj5_5VmjSptVF6zygQGZ8jJWxMfkyw/edit#slide=id.g16a28f7ac6a_2_203 ]]")
- 03:49, 8 December 2022 Benkoo2 talk contribs created page File:Correctness represented visually.png
- 03:49, 8 December 2022 Benkoo2 talk contribs uploaded File:Correctness represented visually.png
- 03:44, 8 December 2022 Benkoo2 talk contribs created page ECatalogue Smart Contract Logic Model/Context (Created page with "Smart contract that enables creation of one Product Catalogue. <noinclude> {{category_csd |categories=Smart Contract,Context }} </noinclude>")
- 09:48, 7 December 2022 Benkoo2 talk contribs created page File:ThreeAspectsOfTrustworthiness.png
- 09:48, 7 December 2022 Benkoo2 talk contribs uploaded File:ThreeAspectsOfTrustworthiness.png
- 09:45, 7 December 2022 Benkoo2 talk contribs created page File:PKC A Tech for Trust.png
- 09:45, 7 December 2022 Benkoo2 talk contribs uploaded File:PKC A Tech for Trust.png
- 08:58, 7 December 2022 Benkoo2 talk contribs created page Break symmetry (Redirected page to Symmetry breaking) Tag: New redirect
- 08:57, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained (Created page with "This is a page that describes how to fill up the empty fields of a logic model. {{Template:LogicModel |name=Logic Model Explained }}")
- 08:56, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Output (Created page with "A collection of observable states or resources that are derived from the prescribed process mentioned in the same logic model.")
- 08:56, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Process (Created page with "A specification of the implementation process that takes the inputs to generate prescribed outputs.")
- 08:55, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Input (Created page with "A collection of resources that are required to kick off an implementation process for the execution of the goal statement.")
- 08:55, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Boundary (Created page with "Information that is related to the execution of this logic model that is not captured by the previous six fields.")
- 08:54, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Criteria (Created page with "A collection of conditional statements, both pre and post conditions of the execution process, to define the safe and liveness conditions that form the correct/successful criteria.")
- 08:53, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Goal (Created page with "An imperative statement to "break symmetry" in showing what action must be executed in the context presented above.")
- 08:53, 7 December 2022 Benkoo2 talk contribs created page Logic Model Explained/Context (Created page with "The temporal and spatial environment of the operational system of interest. The spatial and temporal information can also be recursively encoded by hyperlinks or hash codes.")
- 08:35, 7 December 2022 Benkoo2 talk contribs created page Correct (Redirected page to Correctness) Tag: New redirect
- 03:51, 7 December 2022 Benkoo2 talk contribs created page Jitsi (Created page with "[https://meet.pkc-dev.org/pkcmeeting Jisti Meeting]")
- 17:40, 2 December 2022 Benkoo2 talk contribs created page Video/Everything You Need to Know About Control Theory (Created page with "{{cite book |editor=MATLAB |editor-link=MATLAB |date=Oct 27, 2022 |title=Everything You Need to Know About Control Theory |url=https://www.youtube.com/watch?v=lBC1nEq0_nk |location=local page |publisher=MATLAB }} <noinclude> {{#Widget:YouTube |id=lBC1nEq0_nk }} {{PagePostfix |category_csd=Control Theory,Linear Algebra,Feedback Loop |semantic_labels=Organized by:Organized by::MATLAB Presented by:Pr...")
- 14:53, 2 December 2022 Emhavis2 talk contribs created page User talk:Flyer116 (User access: new section)
- 14:38, 2 December 2022 Benkoo2 talk contribs created page Video/Bell's Inequality: The weirdest theorem in the world (Created page with "{{cite book |title=Bell's Inequality: The weirdest theorem in the world |editor=Professor M does Science |editor-link=Professor M does Science |date=Jul 1, 2020 |url=https://www.youtube.com/watch?v=p1zg-c1nvwQ |publisher=Qiskit |location=local page |access-date=2 December 2022 |quote= }} <noinclude> {{#widget:YouTube |id=p1zg-c1nvwQ |width=640 }} Please see this link:[https://qiskit.org/textbook/ch...")
- 02:04, 2 December 2022 User account Flyer116 talk contribs was created automatically
- 05:09, 1 December 2022 Benkoo2 talk contribs created page SoG Works Cited (Created page with "Dev4X, https://www.dev4x.com. Accessed 18 September 2022. Akerlof, George A. “The Market for ‘Lemons’: Quality Uncertainty and the Market Mechanism.” The Quarterly Journal of Economics, vol. 84, no. 3, 1970, pp. 488–500. JSTOR, https://doi.org/10.2307/1879431. Appelbaum, J.R. Communication in a World of Pervasive Surveillance: Sources and Methods: Counter-strategies Against Pervasive Surveillance Architecture. Technische Universiteit Eindhoven, 2022. 1 vols....")
- 05:07, 1 December 2022 Benkoo2 talk contribs created page SOG Appendix (Created page with "Logic Models as Multi-Level Hoare Triples Logic models describe the chains of causes and effects leading to an outcome. While many logic models use a four-step process (Input, Activities, Output, and Outcomes/Impacts), logic models can be turned into concise (one page) document, listing the abstract goal statements in a triple, called: Context -> Actionable Goal -> Success Criteria, and another triple called Input -> Process -> Output. This is structurally identical to...")
- 05:06, 1 December 2022 Benkoo2 talk contribs created page SoG Acknowledgements (Created page with "This document is a production of the G20 Professorship Office, under the direction of Dr. Satryo S. Brodjonegoro, the President of Indonesian Academy of Sciences. The list of contributors is rather large, and can be found on the website: https://pkc.pub/wiki/G20_Contributors. We want to acknowledge the support and trust by the following individuals: Coordinating Minister of Maritime Affairs and Investment, Luhut Binsar Pandjaitan Managing Director of IEEE Standards A...")
- 05:05, 1 December 2022 Benkoo2 talk contribs created page SoG Conclusion (Created page with "The Science of Governance (SoG) is our answer to the growing problems of information asymmetry and technological complexity caused by the accelerating Digital Transformation. These problems plague social justice and destabilize political structures. Due to its abstract nature, SoG is a neutral theoretical foundation to help innovate and improve global governance while employing Tech for Trust (TfT) to solve the world’s problems and serving as a concrete global “clock...")
- 05:04, 1 December 2022 Benkoo2 talk contribs created page SoG Scientific Governance in Action (Created page with "The success criteria must make SoG not only scientifically sound, but also practically operable. To satisfy these two potentially contentious criteria, we need to inclusively consider competing scientific methodologies, identify the converging ideas and rules and compile them into shared knowledge bases (PKCs) as symmetrical data content. It is also necessary to identify diverging ideas and rules, and make sure different opinions can easily branch out to isolated knowled...")
- 05:02, 1 December 2022 Benkoo2 talk contribs created page SoG Proposed Actions after G20 in 2022 (Created page with "To operationalize the SoG, we need to enable the following actions and associated resources: Creating an institution, initially called the G20 Professorship Program, which will invite world leading experts in various fields to collaborate and formulate the foundational scientific questions and solutions of SoG. #Working with educational institutions (universities, educational ministries), to develop strategies and programs in disseminating knowledge of SoG. This would...")
- 05:01, 1 December 2022 Benkoo2 talk contribs created page SoG Trans-disciplined SoG Examples (Created page with "SoG provides a scientific basis for policy correctness, so that tedious and complex entanglement of interacting policies and anecdotal events can be verified with the help of automatically executed algorithms and pre/post condition verifiable data. In other words, making policy changes learnable and accountable requires a PKC-based version control and content comparison/verification framework that analyzes government policies against a significant amount of real world ev...")
- 04:58, 1 December 2022 Benkoo2 talk contribs created page SoG Desirable Outcome (Created page with "PKC implementation can be successful when it satisfies the following conditions: It enables owners of PKC to collect, catalog, navigate, search, and process data assets using computing technologies that have been released to the general public as Open-source and Open Format solutions. All chosen technical solutions should be affordable to everyone. It must store the change history of data assets by registering changes using various levels of technically secured (cryptogr...")
- 04:58, 1 December 2022 Benkoo2 talk contribs created page SoG Processes and Resources (Created page with "To ensure trustworthiness, the source code of PKC should not only be Open-sourced; it is even more important to be compliant to open and exchangeable formats. Open-source technology is usually created by other entities, so when mistakes in the software happen, the person would have a harder time identifying what exactly to fix. Open-format solves this issue as one can directly see the codes themselves. The following diagram shows the Open-source solutions adopted as the...")
