Localized direct boundary–domain integro–differential formulations for scalar nonlinear boundary-value problems with variable coefficients [PDF]
, 2005 Mixed boundary-value Problems (BVPs) for a second-order quasi-linear elliptic partial differential equation with variable coefficients dependent on the unknown solution and its gradient are considered.
Mikhailov, SE
core +7 more sources
Direct localized boundary-domain integro-differential formulations for physically nonlinear elasticity of inhomogeneous body [PDF]
, 2005 A static mixed boundary value problem (BVP) of physically nonlinear elasticity for a continuously inhomogeneous body is considered. Using the two-operator Green-Betti formula and the fundamental solution of an auxiliary linear operator, a non-standard ...
Mikhailov, SE
core +6 more sources
Localized direct boundary-domain integro-differential formulations for incremental elasto-plasticity of inhomogeneous body [PDF]
, 2006 A quasi-static mixed boundary value problem of incremental elasto-plasticity for a continuously inhomogeneous body is considered. Using the two-operator Green–Betti formula and the fundamental solution of a reference homogeneous linear elasticity problem,
Mikhailov, SE
core +6 more sources
Incremental localized boundary-domain integro-differential equations of elastic damage mechanics for inhomogeneous body [PDF]
, 2006 Copyright @ 2006 Tech Science PressA quasi-static mixed boundary value problem of elastic damage mechanics for a continuously inhomogeneous body is considered.
Mikhailov, SE
core +6 more sources
Proceedings of the ACM on Programming Languages, 2017 We introduce the FUSION algorithm for local refinement type inference, yielding a new SMT-based method for verifying programs with polymorphic data types and higher-order functions. FUSION is concise as the programmer need only write signatures for (externally exported) top-level functions and places with cyclic (recursive) dependencies, after which ...
Benjamin Cosman, Ranjit Jhala
openaire +2 more sources
Ultrasound classification-guided minimally invasive rotary cutting in granulomatous lobular mastitis
BMC Women's Health, 2020 Background To summarize the clinical experience of ultrasound-guided minimally invasive surgery for granulomatous lobular mastitis (GLM), and explore the feasibility of this technique for treating GLM.
Hongye Liao +5 more
doaj +1 more source
Clinicopathologic analysis of localized nasal/paranasal diffuse large B-cell lymphoma. [PDF]
PLoS ONE, 2013 Diffuse large B-cell lymphoma (DLBCL) comprises 2 molecularly distinct subgroups of non-germinal center B-cell-like (non-GCB) and germinal center B-cell-like (GCB) DLBCLs, with the former showing relatively poor prognosis.
Hiroko Toda +5 more
doaj +1 more source
Localized boundary-domain integral equation formulation for mixed type problems [PDF]
, 2010 Copyright @ 2010 Walter de Gruyter GmbHSome modified direct localized boundary-domain integral equations (LBDIEs) systems associated with the mixed boundary value problem (BVP) for a scalar “Laplace” PDE with variable coefficient are formulated and ...
Mikhailov, SE +5 more
core +1 more source
Advances in Materials Science and Engineering, 2021 In this research, the ranges of the localized states in which the recombination and the trapping rates of free carriers dominate the entire transition rates of free carriers in the bandgap of the p-type semiconductor are described.
Megersa Wodajo Shura
doaj +1 more source
Localized Insulin-Derived Amyloidosis in Diabetes Mellitus Type 1 Patient: A Case Report
Diagnostics, 2023 Localized insulin-derived amyloidosis (LIDA) is a rare local complication of subcutaneous insulin application occurring in patients with diabetes type 1 and 2.
Jan Hrudka +3 more
doaj +1 more source