Results 31 to 40 of about 258,275 (298)
, 2012 TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System.
Damien Doligez +15 more
core +7 more sources
Hak Nafkah Anak Akibat Perceraian [PDF]
, 2011 Provision of living child after the divorce is the duty of parents, especially fathers, In prctice the father of the obligations does not conform to the religious court\u27s decition.
Bambang Ali Kusumo, Nur Cholifah &
core
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL
, 2017 We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage ...
A Bundy +10 more
core +1 more source
National Urban Wastewater Treatment Program: Assessment of Task Implementation [PDF]
, 2011 This paper presents an assessment of the state of advancement of work on tasks encompassed by the National Urban Wastewater Treatment Program that are vital in meeting the transitional goals as defined in the Poland's Treaty of Accession to the European ...
Lipińska Danuta
core +2 more sources
FEBS Letters, EarlyView.Mitochondrial remodeling shapes neural and glial lineage progression by matching metabolic supply with demand. Elevated OXPHOS supports differentiation and myelin formation, while myelin compaction lowers mitochondrial dependence, revealing mitochondria as key drivers of developmental energy adaptation.
Sahitya Ranjan Biswas +3 more
wiley +1 more source
Vestnik Omskoj Ûridičeskoj Akademii, 2012 This article deals with the changes in legal regime of marital property, the motives and consequences of spouses’ marriage contract, agreement on the division of property and ways of recognition these transactions void, if the aim of their contract was ...
Zimnitskaya A. S.
doaj +2 more sources
ECtHR judgments: national judicial authority execution obligations
The Journal of the National Institute of Justice, 2022 In this article, we have researched the concept of the execution of ECtHR judgments by the national judicial authority with the finalization of the reasoning for the application of the judicial precedent in criminal proceedings. At the same time, we approached the premises for the use of jurisprudence as a source of law in the criminal process ...
openaire +1 more source
An Altered Derivatives Marketplace: Clearing Swaps Under Dodd-Frank [PDF]
, 2012 Though over a year has passed, the impact of the Dodd Frank Act remains unclear. This Note examines the provisions of the Act that relate to swap transactions within the context of pre-reform and postreform markets.
Giovanella, L. +4 more
core +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source