SOSOPT is a Matlab toolbox for formulating and solving Sum-of-Squares (SOS) polynomial optimizations. This document briefly describes the use and functionality of this toolbox. Section 1 introduces the problem formulations for SOS tests, SOS feasibility problems, SOS optimizations, and generalized SOS problems. Section 2 reviews the SOSOPT toolbox for solving these optimizations. This section i...

Carrying out collaborative learning activities (supported by technologies or not) typically involves the coordination of multiple participants, in their dynamic assignment to groups and roles and in the distribution of resources and tools to specific group or individuals. While the mechanisms required to address these coordination aspects in digital educational spaces have been largely studied,...

Science on a Sphere (SoS) is a compelling educational display installed at numerous museums and planetariums around the world; essentially the SoS display is a large spherical surface on which multicolor high-resolution depictions of (e.g.) planetary weather maps may be depicted. Fascinating as the SoS display is, however, it is in practice restricted to the use of museum professionals; student...

We introduce the concept of sos-convex Lyapunov functions for stability analysis of discrete time switched systems. These are polynomial Lyapunov functions that have an algebraic certificate of convexity, and can be efficiently found by semidefinite programming. We show that sos-convex Lyapunov functions are universal (i.e., necessary and sufficient) for stability analysis of switched linear sy...

Vendors cannot provide all the operating system services that users demand. As a result, there has been a persistent desire to make operating systems more exible and customizable. It is natural that object-oriented technology would come to bear on this area. However, many solutions have been disappointing when it comes to ease of use. This paper describes the design and implementation of Frigat...

BACKGROUND The aim of the study was to verify the association between body composition and physical fitness with bone status in children and adolescents. METHODS A cross-sectional study was conducted with 300 healthy students (148 boys, 152 girls). Weight, height, fat and fat-free mass, and percentage of body fat (%BF) were evaluated, as were physical fitness (abdominal exercise, flexibility,...

The LexA protein is a transcriptional repressor of the bacterial SOS DNA repair system, which comprises a set of DNA repair and cellular survival genes that are induced in response to DNA damage. Its varied DNA binding motifs have been characterized and reported in the Escherichia coli, Bacillus subtilis, rhizobia family members, marine magnetotactic bacterium, Salmonella typhimurium and recent...

With the growing advances in computing and communications technologies, the concept of system-of-systems (SoS) becomes widely recognized as it offers potential benefits and new challenges. Relevant perspectives related to SoS constitutes nowadays an active domain of research, among them those issues concerning the need of full interoperation. When it is related to enterprise information systems...

The Sos recruitment system (SRS) is a novel genetic method for detecting protein-protein interactions. The method is based on localizing Sos, a Ras guanyl nucleotide exchange factor (GEF), to the plasma membrane through interaction between two fusion proteins. Mammalian Ras can bypass the requirement for a functional Ras GEF and represents a predictable false positive in this system. This repor...

We recently discovered that exposure of enterohemorrhagic Escherichia coli (EHEC) to d-serine resulted in accumulation of this unusual amino acid, induction of the SOS regulon, and downregulation of the type III secretion system that is essential for efficient colonization of the host. Here, we have investigated the physiological relevance of this elevated SOS response, which is of particular i...