The paper compares computational aspects of four approaches to compute conservation laws of single differential equations (DEs) or systems of them, ODEs and PDEs. The only restriction, required by two of the four corresponding computer algebra programs, is that each DE has to be solvable for a leading derivative. Extra constraints for the conservation laws can be specified. Examples include new...

A relative speciication is a collection of laws relating the behaviour of a required new program to that of one or more existing programs. A two stage method for transforming such relative speciications into eeective functional programs is described and illustrated. The inversion stage rearranges the specifying laws to obtain a collection of partial deenitions for each unknown function, typical...

Many states have enacted fetal protection laws as a way of promoting fetal health and combatting the problem of in utero fetal drug abuse. These laws, however, unduly compromise the constitutional rights of pregnant women, implicating a woman’s rights to privacy, due process, and equal protection under the laws. Additionally, such laws compromise both maternal health and fetal health by discour...

Starting from the pioneering works on software architecture precious guidelines have emerged to indicate how computer programs should be organized. For example the “separation of concerns” suggests to split a program into modules that overlap in functionality as little as possible. However these recommendations are mainly conceptual and are thus hard to express in a quantitative form. Hence sof...

We are concerned with the utility of social laws in a computational environment, laws which guarantee the successful coexistence of multiple programs and programmers. In this paper we are interested in the oo line design of social laws, where we as designers must decide ahead of time on useful social laws. In the rst part of this paper we suggest the use of social laws in the domain of mobile r...

OBJECTIVE We sought to examine the legal and ethical implications of workplace health risk reduction programs (HRRPs) using health risk assessments, individually focused risk reduction, and financial incentives to promote compliance. METHODS We conducted a literature review, analyzed relevant statutes and regulations, and considered the effects of these programs on employee health privacy. ...

We consider the problem of scheduling an application composed of independent tasks on a fully heterogeneous master-worker platform with communication costs. We introduce a bi-criteria approach aiming at maximizing the throughput of the application while minimizing the energy consumed by participating resources. Assuming arbitrary superlinear power consumption laws, we investigate different mode...

In this paper we consider impulsive control of master-slave synchronization schemes that consist of identical Lur’e systems. Impulsive control laws are investigated which make use of linear or nonlinear dynamic measurement feedback. A sufficient condition for global asymptotic stability is presented which is characterized by a set of matrix inequalities. Synchronization is proven for the error ...

Domestic laws, their implementing regulations and policies, and government and private-party governance programs are now being carefully reviewed and revised to enhance their utility to manage the potential risks posed by nanoscale materials. Whether existing laws and their implementing programs are adequate to address such risks will continue to inspire debate and legislative and regulatory in...