An efficient procedure for embedding kinematic boundary conditions in the biharmonic equation, for problems such as the pure streamfunction formulation of the Navier-Stokes equations and thin plate bending, is based on a stabilized variational formulation, obtained by Nitsche's approach for enforcing boundary constraints. The absence of kinematic admissibility constraints allows the use of non-conforming meshes with non-interpolatory approximations, thereby providing added flexibility in addressing the higher continuity requirements typical of these problems. Variationally conjugate pairs weakly enforce kinematic boundary conditions. The use of a scaling factor leads to a formulation with a single stabilization parameter. For plates, the enforcement of tangential derivatives of deflections obviates the need for pointwise enforcement of corner values in the presence of corners. The single stabilization parameter is determined from a local generalized eigenvalue problem, guaranteeing coercivity of the discrete bilinear form. The accuracy of the approach is verified by representative computations with bicubic B-splines, providing guidance to the determination of the scaling and exhibiting optimal rates of convergence and robust performance with respect to values of the stabilization parameter. 656 I. HARARI AND E. GROSU of freedom. However, the method suffers from the lack of a rigorous criterion for defining its stabilization parameter. A discontinuous Galerkin method [9] alleviates this difficulty. Another approach [10], with deflection and rotation degrees of freedom, is based on a stabilized method for a mixed representation.Smooth functions such as B-splines attain higher global continuity with relative ease, making them suitable for higher-order problems. B-splines of degree k are typically C k 1 continuous. Such bases are becoming increasingly popular for use in finite element computations, in part due to their ability to provide exact geometric representations (as with the isogeometric concept [11]). This has led to renewed interest in direct discretization of C 1 theories such as thin plate (and shell) bending [12][13][14].Conventional finite elements based on virtual work treat kinematic boundary conditions as essential conditions, requiring the basis to be interpolatory and the mesh to conform to the boundary of the domain. Weakly enforcing the kinematic boundary conditions eliminates the geometric limitation of classical C 1 elements such as Bogner-Fox-Schmit. This notion was explored in the context of hybrid methods [15,16]. (Similar ideas are used to enforce inter-element continuity for timeharmonic waves [17].) However, hybrid methods require additional degrees of freedom for the auxiliary fields and, as in the case of mixed methods, are subject to stability issues.We present a variational formulation for fourth-order elliptic problems with embedded Dirichlet boundary conditions based on the Nitsche approach. This is one of several techniques under the broad category of immersed boundary and interface...