738 research outputs found
Health Benefit Plans and the Americans with Disabilities Act
This brochure on health benefit plans and the Americans with Disabilities Act (ADA) is one of a series on human resources practices and workplace accommodations for persons with disabilities edited by Susanne M. Bruyère, Ph.D., CRC, SPHR, Director, Program on Employment and Disability, School of Industrial and Labor Relations – Extension Division, Cornell University. Cornell University was funded in the early 1990’s by the U.S. Department of Education National Institute on Disability and Rehabilitation Research as a National Materials Development Project on the employment provisions (Title I) of the ADA (Grant #H133D10155). These updates, and the development of new brochures, have been funded by Cornell’s Program on Employment and Disability, the Pacific Disability and Business Technical Assistance Center, and other supporters
Maximal quadratic modules on *-rings
We generalize the notion of and results on maximal proper quadratic modules
from commutative unital rings to -rings and discuss the relation of this
generalization to recent developments in noncommutative real algebraic
geometry. The simplest example of a maximal proper quadratic module is the cone
of all positive semidefinite complex matrices of a fixed dimension. We show
that the support of a maximal proper quadratic module is the symmetric part of
a prime -ideal, that every maximal proper quadratic module in a
Noetherian -ring comes from a maximal proper quadratic module in a simple
artinian ring with involution and that maximal proper quadratic modules satisfy
an intersection theorem. As an application we obtain the following extension of
Schm\" udgen's Strict Positivstellensatz for the Weyl algebra: Let be an
element of the Weyl algebra which is not negative semidefinite
in the Schr\" odinger representation. It is shown that under some conditions
there exists an integer and elements such
that is a finite sum of hermitian squares. This
result is not a proper generalization however because we don't have the bound
.Comment: 11 page
'The show must go on': Event dramaturgy as consolidation of community
Event dramaturgy and cultural performance have not been examined in the literature from a strategic standpoint of fostering the social value of events. Thus, the purpose of this study was to explore the case of the Water Carnival, a celebratory event in a rural community of Southwest Texas, demonstrating the essence of this event as a symbolic social space, wherein event participants instantiate a shared and valued sense of community. A hermeneutical approach was employed, interpreting the event and its symbolisms as a text, combined with findings from ethnographic fieldwork, including participant observation, in-depth interviews and analysis of archival documents. The study examines the ways that dramaturgy in the Water Carnival helps frame the ongoing public discourse for community improvement and enhances social capital. The implications of the study for social leverage of events are discussed. It is suggested that a foundation for strategic social planning is the understanding of events as symbolic social spaces and their embeddedness in community development, which can be accomplished when events are pertinent to public discourse, address community issues, represent an inclusive range of stakeholders, and promote cooperation
Planning and Leveraging Event Portfolios: Towards a Holistic Theory
This conceptual paper seeks to advance the discourse on the leveraging and legacies of events by examining the planning, management, and leveraging of event portfolios. This examination shifts the common focus from analyzing single events towards multiple events and purposes that can enable cross-leveraging among different events in pursuit of attainment and magnification of specific ends. The following frameworks are proposed: (1) event portfolio planning and leveraging, and (2) analyzing events networks and inter-organizational linkages. These frameworks are intended to provide, at this infancy stage of event portfolios research, a solid ground for building theory on the management of different types and scales of events within the context of a portfolio aimed to obtain, optimize and sustain tourism, as well as broader community benefits
Non-polynomial Worst-Case Analysis of Recursive Programs
We study the problem of developing efficient approaches for proving
worst-case bounds of non-deterministic recursive programs. Ranking functions
are sound and complete for proving termination and worst-case bounds of
nonrecursive programs. First, we apply ranking functions to recursion,
resulting in measure functions. We show that measure functions provide a sound
and complete approach to prove worst-case bounds of non-deterministic recursive
programs. Our second contribution is the synthesis of measure functions in
nonpolynomial forms. We show that non-polynomial measure functions with
logarithm and exponentiation can be synthesized through abstraction of
logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem
using linear programming. While previous methods obtain worst-case polynomial
bounds, our approach can synthesize bounds of the form
as well as where is not an integer. We present
experimental results to demonstrate that our approach can obtain efficiently
worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the
divide-and-conquer algorithm for the Closest-Pair problem, where we obtain
worst-case bound, and (ii) Karatsuba's algorithm for
polynomial multiplication and Strassen's algorithm for matrix multiplication,
where we obtain bound such that is not an integer and
close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201
A Survey of Satisfiability Modulo Theory
Satisfiability modulo theory (SMT) consists in testing the satisfiability of
first-order formulas over linear integer or real arithmetic, or other theories.
In this survey, we explain the combination of propositional satisfiability and
decision procedures for conjunctions known as DPLL(T), and the alternative
"natural domain" approaches. We also cover quantifiers, Craig interpolants,
polynomial arithmetic, and how SMT solvers are used in automated software
analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest,
Romania. 201
Serum lutein concentrations in healthy term infants fed human milk or infant formula with lutein
LNCS
We address the problem of analyzing the reachable set of a polynomial nonlinear continuous system by over-approximating the flowpipe of its dynamics. The common approach to tackle this problem is to perform a numerical integration over a given time horizon based on Taylor expansion and interval arithmetic. However, this method results to be very conservative when there is a large difference in speed between trajectories as time progresses. In this paper, we propose to use combinations of barrier functions, which we call piecewise barrier tube (PBT), to over-approximate flowpipe. The basic idea of PBT is that for each segment of a flowpipe, a coarse box which is big enough to contain the segment is constructed using sampled simulation and then in the box we compute by linear programming a set of barrier functions (called barrier tube or BT for short) which work together to form a tube surrounding the flowpipe. The benefit of using PBT is that (1) BT is independent of time and hence can avoid being stretched and deformed by time; and (2) a small number of BTs can form a tight over-approximation for the flowpipe, which means that the computation required to decide whether the BTs intersect the unsafe set can be reduced significantly. We implemented a prototype called PBTS in C++. Experiments on some benchmark systems show that our approach is effective
Pit and fissure sealants in dental public health – application criteria and general policy in Finland
<p>Abstract</p> <p>Background</p> <p>Pit and fissure sealants (sealants) are widely used as a non-operative preventive method in public dental health in Finland. Most children under 19 years of age attend the community-organized dental health services free of charge. The aims of this study were to find out to what extent sealants were applied, what the attitudes of dental professionals towards sealant application were, and whether any existing sealant policies could be detected among the health centres or among the respondents in general. The study evaluated changes that had taken place in the policies used during a ten year period (1991–2001).</p> <p>Methods</p> <p>A questionnaire was mailed to each chief dental officer (CDO) of the 265 public dental health centres in Finland, and to a group of general dentists (GDP) applying sealants in these health centres, giving a total of 434 questionnaires with 22 questions. The response rate was 80% (N = 342).</p> <p>Results</p> <p>A majority of the respondents reported to application of sealants on a systematic basis for children with increased caries risk. The criteria for applying sealants and the actual strategies seemed to vary locally between the dentists within the health centres and between the health centres nationwide. The majority of respondents believed sealants had short- and long-term effects. The overall use of sealants decreased towards the end of the ten year period. The health centres (N = 28) choosing criteria to seal over detected or suspected enamel caries lesion had a DMFT value of 1.0 (SD ± 0.49) at age 12 (year 2000) compared to a value of 1.2 (SD ± 0.47) for those health centres (N = 177) applying sealants by alternative criteria (t-test, p < 0.05).</p> <p>Conclusion</p> <p>There seems to be a need for defined guidelines for sealant application criteria and policy both locally and nationwide. Occlusal caries management may be improved by shifting the sealant policy from the traditional approach of prevention to interception, i.e. applying the sealants over detected or suspected enamel caries lesions instead of sealing sound teeth.</p
- …