Validation of a regional Indonesian seas model based on a comparison between model and INSTANT transports

The International Nusantara Stratification and Transport (INSTANT) program measured currents through multiple Indonesian Seas passages simultaneously over a three-year period (from January 2004 to December 2006). The Indonesian Seas region has presented numerous challenges for numerical modelers - the Indonesian Throughflow (ITF) must pass over shallow sills, into deep basins, and through narrow constrictions on its way from the Pacific to the Indian Ocean. As an important region in the global climate puzzle, a number of models have been used to try and best simulate this throughflow. In an attempt to validate our model, we present a comparison between the transports calculated from our model and those calculated from the INSTANT in situ measurements at five passages within the Indonesian Seas (Labani Channel, Lifamatola Passage, Lombok Strait, Ornbai Strait, and Timor Passage). Our Princeton Ocean Model (POM) based regional Indonesian Seas model was originally developed to analyze the influence of bottom topography on the temperature and salinity distributions in the Indonesian seas region, to disclose the path of the South Pacific Water from the continuation of the New Guinea Coastal Current entering the region of interest up to the Lifamatola Passage, and to assess the role of the pressure head in driving the ITF and in determining its total transport. Previous studies found that this model reasonably represents the general long-term flow (seasons) through this region. The INSTANT transports were compared to the results of this regional model over multiple timescales. Overall trends are somewhat represented but changes on timescales shorter than seasonal (three months) and longer than annual were not considered in our model. Normal velocities through each passage during every season are plotted. Daily volume transports and transport-weighted temperature and salinity are plotted and seasonal averages are tabulated.

Towards more flexible Architecture Description Languages for industrial applications

Architecture Description Languages (ADLs) have emerged in recent years as a tool for providing high-level descriptions of software systems in terms of their architectural elements and the relationships among them. Most of the current ADLs exhibit limitations which prevent their widespread use in industrial applications. In this paper, we discuss these limitations and introduce ALI, an ADL that has been developed to address such limitations. The ALI language provides a rich and flexible syntax for describing component interfaces, architectural patterns, and meta-information. Multiple graphical architectural views can then be derived from ALI's textual notation.

Flawed Premises and Unexpected Consequences: Support of Regional Languages in Europe:Support of Regional Languages in Europe

This article discusses the relationship between three language communities in Europe with variant levels of official recognition, namely Kashub, Sorb, and Silesian, and the institutions of their host states as regards their respective use, promotion, and revital-ization. Most language communities across the world campaign for recognition within a geographic/political region, or on the basis of a historic/group identity to ensure their language's use and status. The examples discussed here illustrate that language recognition and policies resulting therefrom and promoting official monolin-gualism strengthen the symbolic status of the language but contribute little to the functionality of language communities outside the area. As this article illustrates, in increasingly multilingual societies, language policies cut off its speakers from the political, economic, and social opportunities accessible through the medium of languages that lack official recognition locally. © 2014 Taylor & Francis Group, LLC.

The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages

We study the computational complexity of finding maximum a posteriori configurations in Bayesian networks whose probabilities are specified by logical formulas. This approach leads to a fine grained study in which local information such as context-sensitive independence and determinism can be considered. It also allows us to characterize more precisely the jump from tractability to NP-hardness and beyond, and to consider the complexity introduced by evidence alone.