LSMAC and LSNAIT: Two Approaches for Cluster-based Scalable Web Servers

Server responsiveness and scalability are more important than ever in today’s client/server dominated network environments. Recently, researchers have begun to consider cluster-based computers using commodity hardware as an alternative to expensive specialized hardware for building scalable Web servers. In this paper, we present performance results comparing two cluster-based Web servers based on different server infrastructures: MAC-based dispatching (LSMAC) and IP-based dispatching (LSNAT). Both cluster-based server systems were implemented as application-space programs running on commodity hardware. We point out the advantages and disadvantages of both systems. We also identify when servers should be clustered and when clustering will not improve performance.

The SB-index and the HSB-index: efficient indices for spatial data warehouses

Spatial data warehouses (SDWs) allow for spatial analysis together with analytical multidimensional queries over huge volumes of data. The challenge is to retrieve data related to ad hoc spatial query windows according to spatial predicates, avoiding the high cost of joining large tables. Therefore, mechanisms to provide efficient query processing over SDWs are essential. In this paper, we propose two efficient indices for SDW: the SB-index and the HSB-index. The proposed indices share the following characteristics. They enable multidimensional queries with spatial predicate for SDW and also support predefined spatial hierarchies. Furthermore, they compute the spatial predicate and transform it into a conventional one, which can be evaluated together with other conventional predicates by accessing a star-join Bitmap index. While the SB-index has a sequential data structure, the HSB-index uses a hierarchical data structure to enable spatial objects clustering and a specialized buffer-pool to decrease the number of disk accesses. The advantages of the SB-index and the HSB-index over the DBMS resources for SDW indexing (i.e. star-join computation and materialized views) were investigated through performance tests, which issued roll-up operations extended with containment and intersection range queries. The performance results showed that improvements ranged from 68% up to 99% over both the star-join computation and the materialized view. Furthermore, the proposed indices proved to be very compact, adding only less than 1% to the storage requirements. Therefore, both the SB-index and the HSB-index are excellent choices for SDW indexing. Choosing between the SB-index and the HSB-index mainly depends on the query selectivity of spatial predicates. While low query selectivity benefits the HSB-index, the SB-index provides better performance for higher query selectivity.

Interpreting Judgements using Knowledge Representation Methods and Computational Models of Argument

The goal of the present research is to define a Semantic Web framework for precedent modelling, by using knowledge extracted from text, metadata, and rules, while maintaining a strong text-to-knowledge morphism between legal text and legal concepts, in order to fill the gap between legal document and its semantics. The framework is composed of four different models that make use of standard languages from the Semantic Web stack of technologies: a document metadata structure, modelling the main parts of a judgement, and creating a bridge between a text and its semantic annotations of legal concepts; a legal core ontology, modelling abstract legal concepts and institutions contained in a rule of law; a legal domain ontology, modelling the main legal concepts in a specific domain concerned by case-law; an argumentation system, modelling the structure of argumentation. The input to the framework includes metadata associated with judicial concepts, and an ontology library representing the structure of case-law. The research relies on the previous efforts of the community in the field of legal knowledge representation and rule interchange for applications in the legal domain, in order to apply the theory to a set of real legal documents, stressing the OWL axioms definitions as much as possible in order to enable them to provide a semantically powerful representation of the legal document and a solid ground for an argumentation system using a defeasible subset of predicate logics. It appears that some new features of OWL2 unlock useful reasoning features for legal knowledge, especially if combined with defeasible rules and argumentation schemes. The main task is thus to formalize legal concepts and argumentation patterns contained in a judgement, with the following requirement: to check, validate and reuse the discourse of a judge - and the argumentation he produces - as expressed by the judicial text.

Managing server energy and reducing operational cost for online service providers

The past decade has seen the energy consumption in servers and Internet Data Centers (IDCs) skyrocket. A recent survey estimated that the worldwide spending on servers and cooling have risen to above $30 billion and is likely to exceed spending on the new server hardware . The rapid rise in energy consumption has posted a serious threat to both energy resources and the environment, which makes green computing not only worthwhile but also necessary. This dissertation intends to tackle the challenges of both reducing the energy consumption of server systems and by reducing the cost for Online Service Providers (OSPs). Two distinct subsystems account for most of IDC’s power: the server system, which accounts for 56% of the total power consumption of an IDC, and the cooling and humidifcation systems, which accounts for about 30% of the total power consumption. The server system dominates the energy consumption of an IDC, and its power draw can vary drastically with data center utilization. In this dissertation, we propose three models to achieve energy effciency in web server clusters: an energy proportional model, an optimal server allocation and frequency adjustment strategy, and a constrained Markov model. The proposed models have combined Dynamic Voltage/Frequency Scaling (DV/FS) and Vary-On, Vary-off (VOVF) mechanisms that work together for more energy savings. Meanwhile, corresponding strategies are proposed to deal with the transition overheads. We further extend server energy management to the IDC’s costs management, helping the OSPs to conserve, manage their own electricity cost, and lower the carbon emissions. We have developed an optimal energy-aware load dispatching strategy that periodically maps more requests to the locations with lower electricity prices. A carbon emission limit is placed, and the volatility of the carbon offset market is also considered. Two energy effcient strategies are applied to the server system and the cooling system respectively. With the rapid development of cloud services, we also carry out research to reduce the server energy in cloud computing environments. In this work, we propose a new live virtual machine (VM) placement scheme that can effectively map VMs to Physical Machines (PMs) with substantial energy savings in a heterogeneous server cluster. A VM/PM mapping probability matrix is constructed, in which each VM request is assigned with a probability running on PMs. The VM/PM mapping probability matrix takes into account resource limitations, VM operation overheads, server reliability as well as energy effciency. The evolution of Internet Data Centers and the increasing demands of web services raise great challenges to improve the energy effciency of IDCs. We also express several potential areas for future research in each chapter.

Governor Tom Judge: Early Years - The Path to Becoming Montana's 18th Governor -- Sidney Armstrong, Larry Pettit & Kent Kleinkopf “In the Crucible of Change”

The dramatic period of progressive change in Montana that is documented "In the Crucible of Change" series really exploded with the election of Governors Forrest Anderson and Tom Judge. Anderson's single term saw the dispatching of the sales tax as an issue for a long period, the reorganization of the executive branch of state government and the revision of Montana's Constitution. As a former legislator, county attorney, Supreme Court justice, and Attorney General, Anderson brought unmatched experience to the governorship when elected. Tom Judge, although much younger (elected MT’s youngest governor at age 38 immediately following Anderson), also brought serious experience to the governorship: six years as a MT State Representative, two years as a MT State Senator, four years is Lieutenant Governor and significant business experience. The campaign and election of John F. Kennedy in 1960 spurred other young Americans to service, including Tom Judge. First elected in 1960, he rose rapidly through MT’s political-governmental hierarchy until he took over the governorship in time to implement many of the changes started in Governor Anderson’s term. But as a strong progressive leader in his own right, Governor Judge sponsored and implemented significant advancements of his own for Montana. Those accomplishments, however, are the subject of other films in this series. This film deals with Tom Judge’s early years – his rise to the governorship from when he returned home after college at Notre Dame and newspaper experience in Kentucky to his actual election in November 1972. That story is discussed in this episode by three major players in the effort, all directly involved in Tom Judge’s early years and path to the governorship: Sidney Armstrong, Larry Pettit and Kent Kleinkopf. Their recollections of the early Tom Judge and the period of his advancement to the governorship provide an insider’s perspective of the growth of this significant leader of the important period of progressive change documented “In the Crucible of Change.” Sidney Armstrong, President of Sidney Armstrong Consulting, serves on the board and as the Executive Director of the Greater Montana Foundation. Formerly Executive Director of the Montana Community Foundation (MCF), she has served on national committees and participated in national foundation initiatives. While at MCF, she worked extensively with MT Governors Racicot and Martz on the state charitable endowment tax credit and other endowed philanthropy issues. A member of MT Governor Thomas L. Judge’s staff in the 1970s, she was also part of Governor Brian Schweitzer’s 2004 Transition Team, continuing to serve as a volunteer advisor during his term. In the 1980s, Sidney also worked for the MT State AFL-CIO and the MT Democratic Party as well as working two sessions with the MT Senate as Assistant Secretary of the Senate and aide to the President. A Helena native, and great granddaughter of pioneer Montanans, Sidney has served on numerous nonprofit boards, and is currently a board member for the Montana History Foundation. Recently she served on the board of the Holter Museum of Art and was a Governor’s appointee to the Humanities Montana board. She is a graduate of the International School of Geneva, Switzerland and the University of Montana. Armstrong's Irish maternal immigrant great-grandparents, Thomas and Maria Cahill Cooney, came to Virginia City, MT in a covered wagon in 1865, looking for gold. Eventually, they settled on the banks of the Missouri River outside Helena as ranchers. She also has roots in Butte, MT, where her journalist father's family, both of whom were newspaper people, lived. Her father, Richard K. O’Malley, is also the author of a well-known book about Butte, Mile High, Mile Deep, recently re-published by Russell Chatham. She is the mother of four and the grandmother of eight. Dr. Lawrence K. Pettit (Larry Pettit) (b. 5/2/1937) has had a dual career in politics and higher education. In addition to being Montana’s first Commissioner of Higher Education (the subject of another film in this series); Pettit, of Lewistown, served as legislative assistant to U.S. Senators James E. Murray and Lee Metcalf, campaign manager, head of transition team and assistant to Montana Governor Thomas L. Judge; taught political science at The Pennsylvania State University (main campus), was chair of political science at Montana State University, Deputy Commissioner for Academic Programs at the Texas Higher Education Coordinating Board, Chancellor of the University System of South Texas (since merged with Texas A&M University), President of Southern Illinois University, and President of Indiana University of Pennsylvania from where he retired in 2003. He has served as chair of the Commission on Leadership for the American Council on Education, president of the National Association of (University) System Heads, and on many national and state boards and commissions in higher education. Pettit is author of “If You Live by the Sword: Politics in the Making and Unmaking of a University President.” More about Pettit is found at http://www.lawrencekpettit.com… Kent Kleinkopf of Missoula is co-founder of a firm with a national scope of business that specializes in litigation consultation, expert vocational testimony, and employee assistance programs. His partner (and wife of 45 years) Kathy, is an expert witness in the 27 year old business. Kent received a BA in History/Education from the University of Idaho and an MA in Economics from the University of Utah. The Kleinkopfs moved to Helena, MT in 1971 where he was Assistant to the Commissioner of State Lands (later Governor) Ted Schwinden. In early 1972 Kent volunteered full time in Lt. Governor Tom Judge’s campaign for Governor, driving the Lt. Governor extensively throughout Montana. After Judge was elected governor, Kent briefly joined the staff of Governor Forrest Anderson, then in 1973 transitioned to Judge’s Governor’s Office staff, where he became Montana’s first “Citizens’ Advocate.” In that capacity he fielded requests for assistance from citizens with concerns and information regarding State Agencies. While on the Governor’s staff, Kent continued as a travel aide with the governor both in Montana and nationally. In 1977 Kent was appointed Director of the MT Department of Business Regulation. That role included responsibility as Superintendent of Banking and Chairman of the State Banking Board, where Kent presided over the chartering of many banks, savings and loans, and credit unions. In 1981 the Kleinkopfs moved to Missoula and went into the business they run today. Kent was appointed by Governor Brian Schweitzer to the Board of the Montana Historical Society in 2006, was reappointed and continues to serve. Kathy and Kent have a daughter and son-in-law in Missoula.

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Against Logically Possible World-Relativized Existence

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Inversion, Obviation, and Animacy in Native Languages of the Americas: Elements for a Cross-linguistic Survey

Native languages of the Americas whose predicate and clause structure reflect nominal hierarchies show an interesting range of structural diversity not only with respect to morphological makeup of their predicates and arguments but also with respect to the factors governing obviation status. The present article maps part of such diversity. The sample surveyed here includes languages with some sort of nonlocal (third person acting on third person) direction-marking system.

Safer sex choices among African-American college women

The purpose of this dissertation was to explore and describe the factors that influence the safer sex choices of African-American college women. The pandemic of HIV and the prevalence of other sexually transmitted diseases has disproportionately affected African-American females. As young women enter college they are faced with a myriad of choices. Unprotected sexual exploration is one choice that can lead to deadly consequences. This dissertation explores, through in-depth interviews, the factors associated with the decision to practice or not practice safe sex. ^ The first study describes the factors associated with increased sexual risk taking among African-American college women. Sexual risk taking or sex without a condom was found to be more likely when issues of self or partner pleasure were raised. Participants were also likely to have sexual intercourse without a condom if they desired a long term relationship with their partner. ^ The second study examined safe sex decision making processes among a group of African-American college women. Women were found to employ both emotional and philosophical strategies to determine their safe sex behavior. These strategies range from assessing a partner's physical capabilities and appearance to length of the dating relationship. ^ The third study explores the association between knowledge and risk perception as predictors for safer sex behaviors. Knowledge of HIV/AIDS and other STDs was not found to be a determinant of safer sex behavior. Perception of personal risk was also not highly correlated with consistent safer sex behavior. ^ These studies demonstrate the need for risk-based safer sex education and intervention programs. The current climate of knowledge-based program development insures that women will continue to predicate their decision to practice safer sex on their limited perception and understanding of the risks associated with unprotected sexual behavior. Further study into the emotional and philosophical determinants of sexual behavior is necessary for the realistic design of applicable and meaningful interventions. ^

Predicados, propiedades y condiciones de aplicación

En el presente artículo examinamos la relación entre predicados y propiedades. Por un lado, procuramos mostrar que la concepción de acuerdo con la cual la función primaria de predicados es la de denotar propiedades es insatisfactoria. Por otro lado, distinguimos entre el criterio de uso de predicados y su condición de aplicación, i. e. la condición que un objeto debe satisfacer para que sea correcto aplicar el predicado a él. Defendemos que propiedades se relacionan con predicados en la medida en que la condición de aplicación de un predicado es la instanciación de una propiedad

Predicados, propiedades y condiciones de aplicación

En el presente artículo examinamos la relación entre predicados y propiedades. Por un lado, procuramos mostrar que la concepción de acuerdo con la cual la función primaria de predicados es la de denotar propiedades es insatisfactoria. Por otro lado, distinguimos entre el criterio de uso de predicados y su condición de aplicación, i. e. la condición que un objeto debe satisfacer para que sea correcto aplicar el predicado a él. Defendemos que propiedades se relacionan con predicados en la medida en que la condición de aplicación de un predicado es la instanciación de una propiedad

Predicados, propiedades y condiciones de aplicación

En el presente artículo examinamos la relación entre predicados y propiedades. Por un lado, procuramos mostrar que la concepción de acuerdo con la cual la función primaria de predicados es la de denotar propiedades es insatisfactoria. Por otro lado, distinguimos entre el criterio de uso de predicados y su condición de aplicación, i. e. la condición que un objeto debe satisfacer para que sea correcto aplicar el predicado a él. Defendemos que propiedades se relacionan con predicados en la medida en que la condición de aplicación de un predicado es la instanciación de una propiedad

Temporary jobs and globalization

Deregulation of the use of temporary workers in 2004 (the Worker Dispatching Act of 2004) has been regarded as an important reason for the recent rise of temporary workers in Japan. However, the shift from permanent to temporary workers began long before. This paper empirically explores links between the shift from permanent to temporary workers in the Japanese manufacturing sector and economic globalization, using industry-level data. We find that outsourcing is positively correlated with the replacement of permanent workers with temporary workers in domestic production. In addition, we find that industries losing world share of value added tend to decrease the employment of permanent workers. Industries with higher exports or imports are aggressive in using temporary workers, which suggests the role of temporary workers as an employment buffer.