Results 51 to 60 of about 23,557 (297)
Abstract Interpretation of Microcontroller Code: Intervals meet Congruences [PDF]
, 2013 Bitwise instructions, loops and indirect data access present challenges to the verification of microcontroller programs. In particular, since registers are often memory mapped, it is necessary to show that an indirect store operation does not accidently ...
Brauer, Jorg +2 more
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Bloodstream infections due to repeated vascular access (VA) puncture and circuit connections remain major concerns in hemodialysis. Therefore, we examined current practices for glove, disinfectant, and personal protective equipment (PPE) use according to VA type in national university hospitals in Japan.
Aiko Yamada +6 more
wiley +1 more source
Journal of Telecommunications and Information Technology, 2004 Implementation of new services in the network requires appropriate methods and tools for checking correctness of interworking between terminals and exchanges.
Wojciech Michalski
doaj +1 more source
Empirical sigma - d relations and main galactic radio loops [PDF]
Serbian Astronomical Journal, 2002 This paper represents a review of the empirical Galactic and extragalactic sigma - D relations (relations between the surface brightness sigma and the diameter D) for supernova remnants (SNRs), with checking the connection of the main Galactic radio ...
Urošević Dejan V.
doaj +1 more source
Loop Leaping with Closures (proof appendix for conference submission) [PDF]
, 2012 Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time.
Brauer, Jorg +3 more
core
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
A Stevedore's protein knot. [PDF]
PLoS Computational Biology, 2010 Protein knots, mostly regarded as intriguing oddities, are gradually being recognized as significant structural motifs. Seven distinctly knotted folds have already been identified. It is by and large unclear how these exceptional structures actually fold,
Daniel Bölinger +6 more
doaj +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
FEBS Letters, EarlyView.Drosophila park mutants serve as a model for Parkinson's disease. We used this strain to investigate the connection between oxidative stress and the circadian clock mechanism. We showed that increased oxidative stress affects the physiology of pacemaker cells, disrupting their daily structural plasticity. Lack of rhythmic signaling from pacemaker cells
Kamila Zientara +3 more
wiley +1 more source
A Case of Milk-Alkali Syndrome Caused by Diuretic-Induced Alkalosis and Polypharmacy
Medicina, 2023 Milk-alkali syndrome, which is characterized by hypercalcemia, metabolic alkalosis, and renal dysfunction, typically results from the ingestion of large amounts of calcium and absorbable alkaline products.
Naoya Mizutani +2 more
doaj +1 more source