Results 71 to 80 of about 167,472,804 (289)
As-SidanahThe problem of overlapping land claims is an agrarian issue that continues to arise in urban and peri-urban areas, including Surabaya and Sidoarjo, due to a mismatch between land conditions and residents' legal data.
Lutfil Ansori, Moh Bagus
doaj +1 more source
Advanced Functional Materials, EarlyView.A sequential dual‐alignment strategy independently programs the orientation of conductive metal‐organic framework (c‐MOF) microrods and liquid crystals within a composite film. This approach creates an asymmetric bilayer structure that enables precise, multi‐responsive actuation.
Taegyun Hong +5 more
wiley +1 more source
Tools and techniques for formalising structural proof theory [PDF]
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core +2 more sources
Kajian terhadap Hak Milik Atas Tanah yang Terjadi Berdasarkan Hukum Adat
Kanun, 2012 : In accordance to Article 22 Number 5, 1960 states that the ownership right of land can be issued based on customary law and the procedure of issuing the title right ruled by the law as regulated by Government Regulation.
Ilyas Ismail
doaj +1 more source
Blockchain-Based Solution for the Traceability of Spare Parts in Manufacturing
IEEE Access, 2020 Spare parts are essential assets to maintain productivity and operations. A spare part is used for the repair or replacement of failed units. Tracing and tracking of spare parts ownership can help to ensure reliable outcomes in terms of manufacturing ...
Haya R. Hasan +5 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Advanced ink systems for solution‐processed textile triboelectric nanogenerators are systematically summarized, spanning conductive, tribo‐negative, and tribo‐positive layers. By connecting ink chemistry, deposition methods, and device function, the present review reveals the key governing principles of solution development and highlights practical ...
Xinlong Sun, Stephen Beeby
wiley +1 more source
Secure Encrypted Data Deduplication with Ownership Proof and User Revocation
, 2017 Cloud storage as one of the most important cloud services enables cloud users to save more data without enlarging its own storage. In order to eliminate repeated data and improve the utilization of storage, deduplication is employed to cloud storage.
Wenxiu Ding +2 more
openaire +4 more sources
Myogenic Fusogen‐Engineered Lipid Nanoparticles Enhance mRNA Delivery in Skeletal Muscle
Advanced Functional Materials, EarlyView.This study reports a biomimetic strategy of engineering full‐length Myomaker, a muscle‐specific fusogen, into lipid nanoparticles (LNPs) to harness the native myoblast fusion capability for skeletal muscle mRNA delivery. The resulting Mymk‐LNPs enhance transfection in differentiating myocytes and enable Cre‐mediated reporter activation in injured ...
Fangyu Zhang +18 more
wiley +1 more source
A proof-theoretic analysis of the classical propositional matrix method [PDF]
, 2014 The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory.
Ritter, E +5 more
core +1 more source