Results 61 to 70 of about 224,890 (308)
Verified programs with binders
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification, 2014 Programs that treat datatypes with binders, such as theorem provers or higher-order compilers, are regularly used for mission-critical purposes, and must be both reliable and performant. Formally proving such programs using as much automation as possible is highly desirable.
Clochard, Martin +2 more
openaire +3 more sources
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Development and design of binder systems for titanium metal injection molding: An overview
, 2013 Titanium metal injection molding (Ti-MIM) has been practiced since the late 1980s. Logically, the Ti-MIM practice follows the similar processes developed for the antecedent materials such as stainless steel and ceramics.
Neil Edmonds +9 more
core +1 more source
THE OPPORTUNITY OF IMPLEMENTATION THE ANCHORED SUPPORTING OF UNDERGROUND EXCAVATIONS [PDF]
Fiabilitate şi Durabilitate, 2013 As an objective necessity of restriction the scope of the steel timbering used for the current metalsupport of the underground excavations, resulting from the not correlation of the symmetric constructionsupporting system with uneven maximum vector ...
Marius EREMIA VLAICU POPA +2 more
doaj
Variability of properties of composite boards from plant raw materials with cyclic temperature-moisture impacts [PDF]
Сибирский лесной журнал, 2019 Due to the increase of the amount of unused waste, including that of plant origin, the prospects of its application to obtaining new products is becoming increasingly important.
A. A. Titunin +2 more
doaj +1 more source
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Design of an extrusion screw and solid fuel produced from coconut shell [PDF]
Songklanakarin Journal of Science and Technology (SJST), 2006 The objectives were to design an extrusion screw to produce biomass solid fuel in a cold extrusion process, and investigate the effects of molasses used as a selected adhesive on the physical properties of extruded products.
Madhiyanon, T +2 more
doaj
Geopolymer binder for pervious concrete
Građevinar, 2021 Construction of pervious concrete (PC) pavements is an exclusive and efficient measure for solving environmental problems while also contributing to sustainability.
Elango Krishnan Soundararajan +1 more
doaj +1 more source
Calpain small subunit homodimerization is robust and calcium‐independent
FEBS Letters, EarlyView.Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy +4 more
wiley +1 more source