Results 71 to 80 of about 3,028,845 (288)
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
SAS-Sponsored Social Event on Cleveland State University Campus [PDF]
, 2014 Conference attendees are invited to the social event to be held on the Cleveland State University campus in the Julka Hall Atrium following the final poster session from 6 – 7 p.m. on Friday April 11th, 2014.
Event, Social
core
Event-B code generation: type extension with theories [PDF]
, 2012 The Event-B method is a formal modelling approach; our interest is the final step, of generating code for concurrent programs, from Event-B. Our Tasking Event-B tool integrates Event-B to facilitate code generation. The theory plug-in allows mathematical
Edmunds, Andrew +9 more
core +1 more source
Investigating the triangular relationship between Temporary event workforce, event employment businesses and event organisers [PDF]
, 2020 Purpose This study aims to examine issues of talent management (TM) in events. Specifically, it investigates the triangular relationship that exists amongst temporary event workforces, event employment businesses (EEBs) and event organisers (EOs ...
Azara, Iride +2 more
core +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
Event-B model decomposition [PDF]
, 2009 Two methods have been identified in the DEPLOY project for Event-B model decomposition: the shared variable decomposition (called A-style decomposition), and the shared event decomposition (or B-style decomposition).
Silva, Renato, Pascal, Carine
core
Formal modelling for Ada implementations: tasking Event-B [PDF]
, 2012 This paper describes a formal modelling approach, where Ada code is automatically generated from the modelling artefacts. We introduce an implementation-level specification, Tasking Event-B, which is an extension to Event-B.
Edmunds, Andrew +5 more
core +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
Towards the Composition of Specifications in Event-B [PDF]
, 2011 The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition.
Silva, Renato, Renato Silva
core +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