Untangling Mechanized Proofs by Pit-Claudel, Cl?ment

Get full text

Application of henna leaves and boric acid to improve the rheological properties and lubricity of WBM / by Majed Ali Obeid Mohamed, 1991-, author 613646, Abdul Razak Ismail, supervisor 215668, Fakulti Kejuruteraan Kimia Dan Kejuruteraan Tenaga 599090

Application of henna leaves and boric acid to improve the rheological properties and lubricity of WBM / by Majed Ali Obeid Mohamed, 1991-, author 613646

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Once the programmer has finished writing the program, it is already verified with a mathematical correctness proof. Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…We implemented LGTM as a foundational embedding into Coq, mechanising its rules, meta-theory, and the proof of soundness. Furthermore, we developed a library of domain-specific tactics that automate computer-aided hypersafety reasoning, resulting in pleasantly short proof scripts that enjoy a high degree of reuse. …”
Get full text

SNARGs under LWE via Propositional Proofs by Jin, Zhengzhong, Kalai, Yael, Lombardi, Alex, Vaikuntanathan, Vinod

Get full text

A proof of the Nisan-Ronen conjecture --- an overview by Christodoulou, G, Koutsoupias, E, Kovacs, A

Income change and sympathy for right-wing populist parties in the Netherlands: the role of gender and income inequality within households by Roll, Y, De Graaf, N

Nonlinear self-confined plasmonic beams: experimental proof by Kuriakose, T, Renversez, G, Nazabal, V, Elsawy, MMR, Coulon, N, Němec, P, Chauvet, M

Experimental and mathematical investigation of the cold roll forming process by Rohana S. Senanayake.

“…Present an experimental investigation of the cold roll-forming process and the design and fabrication of a cold roll forming mill which was required to carry out the experimental work.…”
Get full text

Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption by Xiao, Hanshen, Suh, G. Edward, Devadas, Srinivas

Get full text

Incentivizing consensus propagation in proof-of-stake based consortium blockchain networks by Kang, Jiawen, Xiong, Zehui, Niyato, Dusit, Wang, Ping, Ye, Dongdong, Kim, Dong In

Subjects: Get full text

Viscoelastic material characterization and novel damper development for sound proof HDD by Yeo, Hui Jie.

Get full text

Water rapid hardening polyurethane for minimally invasive surgery: proof-of-concept by Neo, Jordon Ting Xuan

Get full text

Preservice and novice teachers’ knowledge on preformal proofs: triangle postulate as an example by Leung, K-CI, Lee, C-Y

“…By considering the example of proving the triangle postulate, this study aimed to explore Hong Kong preservice and novice teachers’ knowledge competencies and their beliefs about preformal and formal proofs. The findings revealed that such teachers are not proficient in using preformal proofs and do not realize that preformal proofs are a useful tool for connecting abstract geometrical concepts with concrete meanings. …”

Rutting characteristics rolling-compacted open-graded friction courses by Phone Myint.

“…Gyratory- compacted specimens were prepared by Gyratory Compactor, while two rut slabs (with 5 percent of optimum binder) were fabricated by Rolling Wheel Compactor.…”
Get full text

Annual budgets and rolling budgets use in UK and Australian firms by Bhimani, A, Sivabalan, P, Soonawalla, K, Wakefield, J

“…Nearly a third of firms use rolling budgets, for various reasons including planning and control, aligning with annual budgets. …”

Motorized Hose Rolling Tool for Firefighter: Design and Fabrication Process by Mahmood, Salwa, Mustapha, Mohammad Luqman Hakim, El Bakri, Helmy Mustafa, Abdul Rahman, Ismail, Badulrudin, Mohd Fahmi

“…These findings highlight the effectiveness of motorized hose rolling tool and its potential as a safer alternative to existing methods, offering vital insights for improving occupational health and safety in hose rolling operation. …”
Get full text

Proof of Travel for Trust-Based Data Validation in V2I Communication by Suo, Dajiang, Mo, Baichuan, Zhao, Jinhua, Sarma, Sanjay E.

“…While building a chain of proofs of spatial movement creates burdens for malicious vehicles, acquiring proofs does not result in extra costs for normal vehicles, which naturally want to move from the origin to the destination. …”
Get full text

Qualitative evaluation of the implementation and national roll-out of the NHS App in England by Reidy, C, Papoutsi, C, KC, S, Gudgin, B, Laverty, AA, Greaves, F, Powell, J

“…There was variable organisational capacity to enable implementation and to put in place processes and staff roles required to support patient adoption. Shifting emphasis towards in-person care, challenges with digital inclusion and controversies related to features such as patient access to own records further complicated roll-out. …”