395 research outputs found
World Trade, Farm Policy, and Agribusiness Accountability: The Role of Reflexive Modernization in Constructing a Democratic Food System
The future of farm policy in the United States will be influenced by trends in economic and political globalization, such as the World Trade Organization (WTO), due to the obligation of member nation-states to make domestic policies conform to international trade agreements. Commentators have noted that the WTO has been structured to favor transnational agribusiness at the expense of small farmers, food consumers, and the natural environment. However, the WTO contains contradictions that might be exploited by alternative agriculture advocates to influence Congressional interpretations of the trade agreement. This essay uses reflexive modernization theory to highlight efforts by alternative agriculture groups in the U.S. to lay bare the contradictions and advocate for agribusiness accountability, environmental protection, and food sovereignty. We seek to answer whether WTO negotiations and potential farm subsidy restrictions might provide an opportunity for reforming the U.S. farm bill
An artificial neural network approach for modelling the ward atmosphere in a medical unit
Artificial neural networks (ANNs) have been developed, implemented and tested on the basis of a four-year-long experimental data set, with the aim of analyzing the performance and clinical outcome of an existing medical ward, and predicting the effects that possible readjustments and/or interventions on the structure may produce on it. Advantages of the ANN technique over more traditional mathematical models are twofold: on one hand, this approach deals quite naturally with a large number of parameters/variables, and also allows to identify those variables which do not play a crucial role in the system dynamics; on the other hand, the implemented ANN can be more easily used by a staff of non-mathematicians in the unit, as an on-site predictive tool. As such, the ANN model is particularly suitable for the case study. The predictions from the ANN technique are then compared and contrasted with those obtained from a generalized kinetic approach previously proposed and tested by the authors. The comparison on the two case periods shows the ANN predictions to be somewhat closer to the experimental values. However, the mean deviations and the analysis of the statistical coefficients over a span of multiple years suggest the kinetic model to be more reliable in the long run, i.e., its predictions can be considered as acceptable even on periods that are quite far away from the two case periods over which the many parameters of the model had been optimized. The approach under study, referring to paradigms and methods of physical and mathematical models integrated with psychosocial sciences, has good chances of gaining the attention of the scientific community in both areas, and hence of eventually obtaining wider diffusion and generalization.
Strategies of post-adhesion of the Chamber of Commerce and Industry of Bucharest – a marketing approach
In order to achieve its existential purpose, respective the development of the commerce, industry, agriculture and services, according to the requirements of the market economy within the globalization of the international economy, on one hand, and of the postadhesion of Romania to the European Union, on the other hand, The Chamber of Commerce and Industry of Bucharest needs to become an instrument and at the same time a satisfaction mean of the customers’ needs, starting from the small, medium and large companies to associations and patronages and ending with the destination of Bucharest, as a harmony of these requirements. With this purpose, a marketing approach of the strategies of the Chamber of Commerce and Industry of Bucharest will have as an initial point, the identification and creation of a hierarchy of the identity elements and specificity of the metropolitan area of Bucharest, elements that constitute the material or human potential. As a result, in his quality of main organization and equidistant of the economic environment of Bucharest, the Chamber of Commerce and Industry of Bucharest will consolidate its image, at the same time with its importance, through all the services offered to create a lasting development of Bucharest.partnership strategies, personnel strategies, product strategies, promotion strategies.
Gradual Certified Programming in Coq
Expressive static typing disciplines are a powerful way to achieve
high-quality software. However, the adoption cost of such techniques should not
be under-estimated. Just like gradual typing allows for a smooth transition
from dynamically-typed to statically-typed programs, it seems desirable to
support a gradual path to certified programming. We explore gradual certified
programming in Coq, providing the possibility to postpone the proofs of
selected properties, and to check "at runtime" whether the properties actually
hold. Casts can be integrated with the implicit coercion mechanism of Coq to
support implicit cast insertion a la gradual typing. Additionally, when
extracting Coq functions to mainstream languages, our encoding of casts
supports lifting assumed properties into runtime checks. Much to our surprise,
it is not necessary to extend Coq in any way to support gradual certified
programming. A simple mix of type classes and axioms makes it possible to bring
gradual certified programming to Coq in a straightforward manner.Comment: DLS'15 final version, Proceedings of the ACM Dynamic Languages
Symposium (DLS 2015
Recommended from our members
Non-Convex Optimization and Applications to Bilinear Programming and Super-Resolution Imaging
Bilinear programs and Phase Retrieval are two instances of nonconvex problems that arise in engineering and physical applications, and both occur with their fundamental difficulties. In this thesis, we consider various methods and algorithms for tackling these challenging problems and discuss their effectiveness. Bilinear programs (BLPs) are ubiquitous in engineering applications, economics, and operations research, and have a natural encoding to quadratic programs. They appear in the study of Lyapunov functions used to deduce the stability of solutions to differential equations describing dynamical systems. For multivariate dynamical systems, the problem formulation for computing an appropriate Lyapunov function is a BLP. In electric power systems engineering, one of the most practically important and well-researched subfields of constrained nonlinear optimization is Optimal Power Flow wherein one attempts to optimize an electric power system subject to physical constraints imposed by electrical laws and engineering limits, which can be naturally formulated as a quadratic program. In a recent publication, we studied the relationship between data flow constraints for numerical domains such as polyhedra and bilinear constraints. The problem of recovering an image from its Fourier modulus, or intensity, measurements emerges in many physical and engineering applications. The problem is known as Fourier phase retrieval wherein one attempts to recover the phase information of a signal in order to accurately reconstruct it from estimated intensity measurements by applying the inverse Fourier transform. The problem of recovering phase information from a set of measurements can be formulated as a quadratic program. This problem is well-studied but still presents many challenges. The resolution of an optical device is defined as the smallest distance between two objects such that the two objects can still be recognized as separate entities. Due to the physics of diffraction, and the way that light bends around an obstacle, the resolving power of an optical system is limited. This limit, known as the diffraction limit, was first introduced by Ernst Abbe in 1873. Obtaining the complete phase information would enable one to perfectly reconstruct an image; however, the problem is severely ill-posed and the leads to a specialized type of quadratic program, known as super-resolution imaging, wherein one attempts to learn phase information beyond the limits of diffraction and the limitations imposed by the imaging device
Recommended from our members
Non-Convex Optimization and Applications to Bilinear Programming and Super-Resolution Imaging
Bilinear programs and Phase Retrieval are two instances of nonconvex problems that arise in engineering and physical applications, and both occur with their fundamental difficulties. In this thesis, we consider various methods and algorithms for tackling these challenging problems and discuss their effectiveness. Bilinear programs (BLPs) are ubiquitous in engineering applications, economics, and operations research, and have a natural encoding to quadratic programs. They appear in the study of Lyapunov functions used to deduce the stability of solutions to differential equations describing dynamical systems. For multivariate dynamical systems, the problem formulation for computing an appropriate Lyapunov function is a BLP. In electric power systems engineering, one of the most practically important and well-researched subfields of constrained nonlinear optimization is Optimal Power Flow wherein one attempts to optimize an electric power system subject to physical constraints imposed by electrical laws and engineering limits, which can be naturally formulated as a quadratic program. We study the relationship between data flow constraints for numerical domains such as polyhedra and bilinear constraints. The problem of recovering an image from its Fourier modulus, or intensity, measurements emerges in many physical and engineering applications. The problem is known as Fourier phase retrieval wherein one attempts to recover the phase information of a signal in order to accurately reconstruct it from estimated intensity measurements by applying the inverse Fourier transform. The problem of recovering phase information from a set of measurements can be formulated as a quadratic program. This problem is well-studied but still presents many challenges. The resolution of an optical device is defined as the smallest distance between two objects such that the two objects can still be recognized as separate entities. Due to the physics of diffraction, and the way that light bends around an obstacle, the resolving power of an optical system is limited. This limit, known as the diffraction limit, was first introduced by Ernst Abbe in 1873. Obtaining the complete phase information would enable one to perfectly reconstruct an image; however, the problem is severely ill-posed and the leads to a specialized type of quadratic program, known as super-resolution imaging, wherein one attempts to learn phase information beyond the limits of diffraction and the limitations imposed by the imaging device.</p
Empowering Children and Families with Food Allergies: An Innovative Role for Occupational Therapy
Food allergies (FAs) have far-reaching implications regarding occupational participation. Children with food allergies and their families experience impacts on their daily life activities. The current standard of care for FAs fails to adequately address the wide-ranging barriers to participation in home, school, and community environments. This study used a mixed-method design to examine the impacts of FA on the needs of children and families affected by FA. Eighteen parents of children with FAs and six health care providers of children with FAs were interviewed; the parents also completed two questionnaires to identify the level of impact of FA on areas of daily living. The results indicated that parents perceive FA as a significant barrier to several aspects of daily life, and parents and health care providers recognized the need for additional supports for families of children with FA. Occupational therapists can intervene to help families with FA improve their participation in daily life activities while managing and limiting exposure to FAs. Expanding the role of occupational therapists to address the needs of families with FAs and recommendations for supporting this population are discussed
PKCθ Signals Activation versus Tolerance In Vivo
Understanding the pathways that signal T cell tolerance versus activation is key to regulating immunity. Previous studies have linked CD28 and protein kinase C-θ (PKCθ) as a potential signaling pathway that influences T cell activation. Therefore, we have compared the responses of T cells deficient for CD28 and PKCθ in vivo and in vitro. Here, we demonstrate that the absence of PKCθ leads to the induction of T cell anergy, with a phenotype that is comparable to the absence of CD28. Further experiments examined whether PKCθ triggered other CD28-dependent responses. Our data show that CD4 T cell–B cell cooperation is dependent on CD28 but not PKCθ, whereas CD28 costimulatory signals that augment proliferation can be uncoupled from signals that regulate anergy. Therefore, PKCθ relays a defined subset of CD28 signals during T cell activation and is critical for the induction of activation versus tolerance in vivo
- …