University of California

About: University of California is a education organization based out in Oakland, California, United States. It is known for research contribution in the topics: Population & Layer (electronics). The organization has 55175 authors who have published 52933 publications receiving 1491169 citations. The organization is also known as: UC & University of California System.

Is the professional satisfaction of general internists associated with patient satisfaction

Abstract: BACKGROUND: The growth of managed care has raised a number of concerns about patient and physician satisfaction. An association between physicians’ professional satisfaction and the satisfaction of their patients could suggest new types of organizational interventions to improve the satisfaction of both.

VIS: A System for Verification and Synthesis

Abstract: ion Manual abstraction can be performed by giving a file containing the names of variables to abstract. For each variable appearing in the file, a new primary input node is created to drive all the nodes that were previously driven by the variable. Abstracting a net effectively allows it to take any value in its range, at every clock cycle. Fair CTL model checking and language emptiness check VIS performs fair CTL model checking under Buchi fairness constraints. In addition, VIS can perform language emptiness checking by model checking the formula EG true. The language of a design is given by sequences over the set of reachable states that do not violate the fairness constraint. The language emptiness check can be used to perform language containment by expressing the set of bad behaviors as another component of the system. If model checking or language emptiness fail, VIS reports the failure with a counterexample, (i.e., behavior seen in the system that does not satisfy the property for model checking, or valid behavior seen in the system for language emptiness). This is called the “debug” trace. Debug traces list a set of states that are on a path to a fair cycle and fail the CTL formula. Equivalence checking VIS provides the capability to check the combinational equivalence of two designs. An important usage of combinational equivalence is to provide a sanity check when re-synthesizing portions of a network. VIS also provides the capability to test the sequential equivalence of two designs. Sequential verification is done by building the product finite state machine, and checking whether a state where the values of two corresponding outputs differ, can be reached from the set of initial states of the product machine. If this happens, a debug trace is provided. Both combinational and sequential verification are implemented using BDD-based routines. Simulation VIS also provides traditionaldesign verification in the form of a cycle-based simulator that uses BDD techniques. Since VIS performs both formal verification and simulation using the same data structures, consistency between them is ensured. VIS can generate random input patterns or accept user-specified input patterns. Any subtree of the specified hierarchy may be simulated.

Methods of fabricating nanostructures and nanowires and devices fabricated therefrom

Abstract: One-dimensional nanostructures having uniform diameters of less than approximately 200 nm. These inventive nanostructures, which we refer to as “nanowires”, include single-crystalline homostructures as well as heterostructures of at least two single-crystalline materials having different chemical compositions. Because single-crystalline materials are used to form the heterostructure, the resultant heterostructure will be single-crystalline as well. The nanowire heterostructures are generally based on a semiconducting wire wherein the doping and composition are controlled in either the longitudinal or radial directions, or in both directions, to yield a wire that comprises different materials. Examples of resulting nanowire heterostructures include a longitudinal heterostructure nanowire (LOHN) and a coaxial heterostructure nanowire (COHN).

Margin-Based Asset Pricing and Deviations from the Law of One Price

Abstract: In a model with heterogeneous-risk-aversion agents facing margin constraints, we show how securities’ required returns increase in both their betas and their margin requirements. Negative shocks to fundamentals make margin constraints bind, lowering risk-free rates and raising Sharpe ratios of risky securities, especially for high-margin securities. Such a funding-liquidity crisis gives rise to “bases,” that is, price gaps between securities with identical cash-flows but different margins. In the time series, bases depend on the shadow cost of capital, which can be captured through the interest-rate spread between collateralized and uncollateralized loans and, in the cross-section, they depend on relative margins. We test the model empirically using the credit default swap–bond bases and other deviations from the Law of One Price, and use it to evaluate central banks’ lending facilities. (JEL G01, G12, G13, E44, E50) The paramount role of funding constraints becomes particularly salient during liquidity crises, with the one that started in 2007 being an excellent case in point. Banks unable to fund their operations closed down, and the funding problems spread to other investors, such as hedge funds, that relied on bank funding. Therefore, traditional liquidity providers became forced sellers, interest-rate spreads increased dramatically, Treasury rates dropped sharply, and central banks stretched their balance sheets to facilitate funding. These funding problems had significant asset-pricing effects, the most extreme example being the failure of the Law of One Price (LoOP): Securities with (nearly)

T cell subsets and the recognition of MHC class.

Abstract: We have presented and/or briefly reviewed data which indicates that there are two T cell subsets which interact respectively with the two Classes (1 and 2) of MHC antigen and which can be identified by the Ly (mouse) or Leu (human) molecules that they express. This correlation, and the large body of (largely) circumstantial but still quite convincing data, suggests that these Ly and Leu molecules play a very important role in T cell responses by actually interacting with monomorphic MHC class specific determinants. We suggest that this interaction facilitates and possibly helps direct the binding of the T cell receptor to polymorphic MHC determinants and antigen. In this model T cell "recognition" of MHC and antigen consists of several independent but connected interactions of T cell surface structure with MHC molecules and antigen on antigen-presenting cells or targets.