Results 31 to 40 of about 60,497 (198)
Kuliah kerja mahasiswa (KKM) merupakan salah satu mata kuliah wajib di Universitas Banten Jaya. Pelaksanaan KKM masih terdapat kekurangan pada monitoring kegiatan mahasiswa baik itu kegiatan harian, progress project kelompok, hingga presensi peserta KKM.
Nur Hidayanti +3 more
doaj +1 more source
A Meta-model Semantics for Structural Constraints in UML [PDF]
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English.
Gaito, S. +5 more
core +1 more source
Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Peripheral lysosomes recruit PLEKHG3 to focal adhesions and restrain protrusion dynamics
Proximity‐dependent labeling at the LAMTOR complex revealed the Rho GEF PLEKHG3 as a lysosome‐proximal protein directing the study toward the influence of lysosome positioning on actin dynamics and cell motility. We show that PLEKHG3 colocalizes with lysosomes at focal adhesion sites and observe that forced peripheral dispersion of lysosomes hinders ...
Rainer Ettelt +8 more
wiley +1 more source
Phenomenological–based strategy for the Gurson-Tvergaard-Needleman model parameters identification
The Gurson–Tvergaard–Needleman GTN model is widely used for ductile fracture simulations. However, the selection of its parameters is often done randomly to reproduce the experimental data without considering the physical consistency of the set of ...
R. Bensaada +5 more
doaj +1 more source
TURTLE: A real-time UML profile supported by a formal validation toolkit [PDF]
The paper presents a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's extensibility mechanisms to enhance class and activity diagrams.
Courtiat, Jean-Pierre +4 more
core +1 more source
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla +9 more
wiley +1 more source
UML-B: Formal modelling and design aided by UML
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by the success of the B method as a practically useful formal modelling technique. The two notations have much to offer each other.
Snook, Colin, Butler, Michael
core +1 more source
Research on technical status date management for in-service aircraft based on S5000F
At present, due to lack of the domestic technical status data management standards for in-service aircraft, the data management is managed by multiple related parties and is not planed as a whole, the data is difficult to correlate and trace, so it ...
NIE Haoyu, ZHAO Wenwu
doaj +1 more source

