Results 61 to 70 of about 387,319 (288)
Independence and concurrent separation logic
, 2008 A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that emphasizes the ...
Glynn Winskel +2 more
core +1 more source
Advanced Functional Materials, EarlyView.For the first time, a highly sensitive electrochemical biosensor based on SiO2‐based hairy particles with a grafted PDMAEMA polymer brush containing a quantifiable and large amount of immobilized Laccase is reported. The fabricated biosensor exhibits a sensitivity of 0.14 A·m⁻¹, a limit of detection (LOD) of 0.1 µm, and a detection range of 0.3–750 µm,
Pavel Milkin +7 more
wiley +1 more source
LEGALIZE CUSTOM-RELATED LANDOWNERSHIP TRANSACTIONS: THE INDONESIAN EXPERIENCE
Diponegoro Law Review, 2023 The secret sale of land raises changes in certificate ownership dilemma. The absence of seller during creation of the Deed of Sale and Purchase (AJB) poses a severe obstacle, coupled with the buyer's lack of knowledge.
Abdul Wahid +3 more
doaj +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
A Review on Secure Data Deduplication: Cloud Storage Security Issue
Journal of King Saud University: Computer and Information Sciences, 2022 Cloud storage service providers caters to the need of organizations and individuals by allowing them to store, transfer and backup their ever-increasing amount of data at low cost along with providing access to the other resources of cloud. For providing
Priteshkumar Prajapati, Parth Shah
doaj +1 more source
Problem Jual Beli Tanah Berstatus Letter C Studi Kasus di Kecamatan Slogohimo Kabupaten Wonogiri [PDF]
, 2016 The existence Letter C is used by some people as evidence of his land ownership, there is only an evidence of tax payment on customary land, or proof that the land has been registered as an object of taxation and thus should be paid tax.
, Darsono, S.H., M.Hum +1 more
core
, 2015 We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor's control whether or not the cell has been re-allocated.
Haziza, Frédéric +3 more
core +1 more source
Who is Afraid of Political Risk? Multinational Firms and their Choice of Capital Structure [PDF]
, 2007 This paper investigates how multinational firms choose their capital structure in response to political risk. We focus on two choice variables, the leverage and the ownership structure of the foreign affiliate, and we distinguish different types of ...
Kesternich, Iris, Schnitzer, Monika
core +2 more sources
Advanced Functional Materials, EarlyView.DNA strands are employed both as dynamic linkers and nanoscale templates for the integration of Ag2S nanoparticles on MoS2, which in turn imparted photothermal responsiveness; this feature permits the selective cargo (fluorophore, quantum dots or an enzyme) release from the MoS2 surface in response to local heat induced by light irradiation.
Kai Chen +3 more
wiley +1 more source
An importance of the negatory action for the environmental protection [PDF]
Zbornik Radova: Pravni Fakultet u Novom Sadu, 2015 This article primarily reviews a notion and an importance of the negatory claim, regardless of how the owner's property had been interfered with. The comparison between the notions of negatory action and negatory claim has been made on the basis of their
Cvetić Radenka M.
doaj +1 more source