Results 101 to 110 of about 828,996 (313)
Constraint-Based Contract Inference for Deductive Verification
, 2020 Assertion-based software model checking refers to techniques that take a program annotated with logical assertions and statically verify that the assertions hold whenever program execution is at the corresponding control point.
Lidström, Christian, +7 more
core +1 more source
Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]
Jisuanji kexueFirst-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
Production Risk Analysis and Key Points for Field Inspection of Medical Electron Linear Accelerator
Zhongguo yiliao qixie zazhiThe medical electron linear accelerator（LINAC） has the characteristics of complex system structure, many core components and high precision control requirements, which puts forward higher requirements for product quality control and regulation.
Yiqiang YANG
doaj +1 more source
CoRR, 2017 Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However, widespread adoption remains unlikely in the short term and one of the remaining obstacles in that ...
Rodrigo Castaño +3 more
openaire +2 more sources
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
Contracting with Risk Aversion and Subjective Beliefs Under Costly State Verification [PDF]
We study the loan contracing problem of Gale and Hellwig (1985) under general assumptions of risk aversion and possibly diverse subjective beliefs of the borrower and lender about the income of the investment.
Mordecai Kurz, Carsten Krabbe Nielsen
core
Zhongguo yiliao qixie zazhiThis study conducted statistics on the special review applications for Class Ⅱ innovative medical devices in Shanghai from April 2020 to April 2023.
Qiong XIE
doaj +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source