Uniform Random Sampling of Traces in Very Large Models

This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a succinct way as a set of communicating reactive modules. The method relies upon techniques for counting and drawing uniformly at random words in regular languages. Each module is considered as an automaton defining such a language. It is shown how it is possible to combine local uniform drawings of traces, and to obtain some global uniform random sampling, without construction of the global model

The Borel Complexity of Isomorphism for Some First Order Theories

In this work we consider several instances of the following problem: "how complicated can the isomorphism relation for countable models be?"' Using the Borel reducibility framework, we investigate this question with regard to the space of countable models of particular complete first-order theories. We also investigate to what extent this complexity is mirrored in the number of back-and-forth inequivalent models of the theory. We consider this question for two large and related classes of theories. First, we consider o-minimal theories, showing that if T is o-minimal, then the isomorphism relation is either Borel complete or Borel. Further, if it is Borel, we characterize exactly which values can occur, and when they occur. In all cases Borel completeness implies lambda-Borel completeness for all lambda. Second, we consider colored linear orders, which are (complete theories of) a linear order expanded by countably many unary predicates. We discover the same characterization as with o-minimal theories, taking the same values, with the exception that all finite values are possible except two. We characterize exactly when each possibility occurs, which is similar to the o-minimal case. Additionally, we extend Schirrman's theorem, showing that if the language is finite, then T is countably categorical or Borel complete. As before, in all cases Borel completeness implies lambda-Borel completeness for all lambda

An Earth Orbiting Satellite Service and Repair Facility

A conceptual design was produced for the Geosynchronous Satellite Servicing Platform (GSSP), an orbital facility capable of repairing and servicing satellites in geosynchronous orbit. The GSSP is a man-tended platform, which consists of a habitation module, operations module, service bay and truss assembly. This design review includes an analysis of life support systems, thermal and power requirements, robotic and automated systems, control methods and navigation, and communications systems. The GSSP will utilize existing technology available at the time of construction, focusing mainly on modifying and integrating existing systems. The entire facility, along with two satellite retrieval vehicles (SRV), will be placed in geosynchronous orbit by the Advanced Launch System. The SRV will be used to ferry satellites to and from the GSSP. Technicians will be transferred from Earth to the GSSP and back in an Apollo-derived Crew Transfer Capsule (CTC). These missions will use advanced telerobotic equipment to inspect and service satellites. Four of these missions are tentatively scheduled per year. At this rate, the GSSP will service over 650 satelites during the projected 25 year lifespan

Autonomous global sky surveillance with real-time robotic follow-up: Night Sky Awareness through Thinking Telescopes Technology

Abstract We discuss the development of prototypes for a global grid of advanced "thinking" sky sentinels and robotic followup telescopes that observe the full night sky to provide real-time monitoring of the night sky by autonomously recognizing anomalous behavior, selecting targets for detailed investigation, and making real-time, follow-up observations. The layered, fault-tolerant, network uses relatively inexpensive robotic EO sensors to provide persistent autonomous monitoring and real-time anomaly detection to enable rapid recognition and a swift response to transients as they emerge. This T3 global EO grid avoids the limitations imposed by geography and weather to provide persistent monitoring of the night sky

Harnessing demographic differences in organizations:what moderates the effects of workplace diversity?

To account for the double-edged nature of demographic workplace diversity (i.e,. relational demography, work group diversity, and organizational diversity) effects on social integration, performance, and well-being related variables, research has moved away from simple main effect approaches and started examining variables that moderate these effects. While there is no shortage of primary studies of the conditions under which diversity leads to positive or negative outcomes, it remains unclear which contingency factors make it work. Using the Categorization-Elaboration Model as our theoretical lens, we review variables moderating the effects of workplace diversity on social integration, performance, and well-being outcomes, focusing on factors that organizations and managers have control over (i.e., strategy, unit design, human resource, leadership, climate/culture, and individual differences). We point out avenues for future research and conclude with practical implications

Sequencing of the Sea Lamprey (Petromyzon marinus) Genome Provides Insights into Vertebrate Evolution

Lampreys are representatives of an ancient vertebrate lineage that diverged from our own ∼500 million years ago. By virtue of this deeply shared ancestry, the sea lamprey (P. marinus) genome is uniquely poised to provide insight into the ancestry of vertebrate genomes and the underlying principles of vertebrate biology. Here, we present the first lamprey whole-genome sequence and assembly. We note challenges faced owing to its high content of repetitive elements and GC bases, as well as the absence of broad-scale sequence information from closely related species. Analyses of the assembly indicate that two whole-genome duplications likely occurred before the divergence of ancestral lamprey and gnathostome lineages. Moreover, the results help define key evolutionary events within vertebrate lineages, including the origin of myelin-associated proteins and the development of appendages. The lamprey genome provides an important resource for reconstructing vertebrate origins and the evolutionary events that have shaped the genomes of extant organisms