A Variable Neighborhood Search Approach for Solving the Maximum Set Splitting Problem

This paper presents a Variable neighbourhood search (VNS) approach for solving the Maximum Set Splitting Problem (MSSP). The algorithm forms a system of neighborhoods based on changing the component for an increasing number of elements. An efficient local search procedure swaps the components of pairs of elements and yields a relatively short running time. Numerical experiments are performed on the instances known in the literature: minimum hitting set and Steiner triple systems. Computational results show that the proposed VNS achieves all optimal or best known solutions in short times. The experiments indicate that the VNS compares favorably with other methods previously used for solving the MSSP. ACM Computing Classification System (1998): I.2.8.

Node centrality for continuous-time quantum walks

The study of complex networks has recently attracted increasing interest because of the large variety of systems that can be modeled using graphs. A fundamental operation in the analysis of complex networks is that of measuring the centrality of a vertex. In this paper, we propose to measure vertex centrality using a continuous-time quantum walk. More specifically, we relate the importance of a vertex to the influence that its initial phase has on the interference patterns that emerge during the quantum walk evolution. To this end, we make use of the quantum Jensen-Shannon divergence between two suitably defined quantum states. We investigate how the importance varies as we change the initial state of the walk and the Hamiltonian of the system. We find that, for a suitable combination of the two, the importance of a vertex is almost linearly correlated with its degree. Finally, we evaluate the proposed measure on two commonly used networks. © 2014 Springer-Verlag Berlin Heidelberg.

A continuous-time quantum walk kernel for unattributed graphs

Kernel methods provide a way to apply a wide range of learning techniques to complex and structured data by shifting the representational problem from one of finding an embedding of the data to that of defining a positive semidefinite kernel. In this paper, we propose a novel kernel on unattributed graphs where the structure is characterized through the evolution of a continuous-time quantum walk. More precisely, given a pair of graphs, we create a derived structure whose degree of symmetry is maximum when the original graphs are isomorphic. With this new graph to hand, we compute the density operators of the quantum systems representing the evolutions of two suitably defined quantum walks. Finally, we define the kernel between the two original graphs as the quantum Jensen-Shannon divergence between these two density operators. The experimental evaluation shows the effectiveness of the proposed approach. © 2013 Springer-Verlag.

Limit Theorems for Non-Critical Branching Processes with Continuous State Space

2000 Mathematics Subject Classification: Primary 60J80, Secondary 60G99.

Wave Operators for Defocusing Matrix Zakharov-Shabat Systems with Pnonvanishing at Infinity

2000 Mathematics Subject Classification: Primary: 34L25; secondary: 47A40, 81Q10.

Continuous property measurement techniques and physics based mathematical model for frost growth control

The development of a new set of frost property measurement techniques to be used in the control of frost growth and defrosting processes in refrigeration systems was investigated. Holographic interferometry and infrared thermometry were used to measure the temperature of the frost-air interface, while a beam element load sensor was used to obtain the weight of a deposited frost layer. The proposed measurement techniques were tested for the cases of natural and forced convection, and the characteristic charts were obtained for a set of operational conditions. ^ An improvement of existing frost growth mathematical models was also investigated. The early stage of frost nucleation was commonly not considered in these models and instead an initial value of layer thickness and porosity was regularly assumed. A nucleation model to obtain the droplet diameter and surface porosity at the end of the early frosting period was developed. The drop-wise early condensation in a cold flat plate under natural convection to a hot (room temperature) and humid air was modeled. A nucleation rate was found, and the relation of heat to mass transfer (Lewis number) was obtained. It was found that the Lewis number was much smaller than unity, which is the standard value usually assumed for most frosting numerical models. The nucleation model was validated against available experimental data for the early nucleation and full growth stages of the frosting process. ^ The combination of frost top temperature and weight variation signals can now be used to control the defrosting timing and the developed early nucleation model can now be used to simulate the entire process of frost growth in any surface material. ^

The unintended [or intended?] political consequences of electoral systems: The case of Bolivia

The present study was concerned with evaluating one basic institution in Bolivian democracy: its electoral system. The study evaluates the impact of electoral systems on the interaction between presidents and assemblies. It sought to determine whether it is possible to have electoral systems that favor multipartism but can also moderate the likelihood of executive-legislative confrontation by producing the necessary conditions for coalition building. ^ This dissertation utilized the case study method as a methodology. Using the case of Bolivia, the research project studied the variations in executive-legislative relations and political outcomes from 1985 to the present through a model of executive-legislative relations that provided a typology of presidents and assemblies based on the strategies available to them to bargain with each other for support. A complementary model that evaluated the state of their inter-institutional interaction was also employed. ^ Results indicated that executive-legislative relations are profoundly influenced by the choice of the electoral system. Similarly, the project showed that although the Bolivian mixed system for legislative elections, and executive formula favor multipartism, these electoral systems do not necessarily engender executive-legislative confrontation in Bolivia. This was mainly due to the congressional election of the president, and the formulas utilized to translate the popular vote into legislative seats. However, the study found that the electoral system has also allowed for anti-systemic forces to emerge and gain political space both within and outside of political institutions. ^ The study found that government coalitions in Bolivia that are promoted by the system of congressional election of the president and the D'Hondt system to allocate legislative seats have helped ameliorate one of the typical problems of presidential systems in Latin America: the presence of a minority government that is blocked in its capacity to govern. This study was limited to evaluating the impact of the electoral system, as the independent variable, on executive-legislative interaction. However, the project revealed a need for more theoretical and empirical work on executive-legislative bargaining models in order to understand how institutional reforms can have an impact on the incentives of presidents and legislators to form coherent coalitions. ^

The electoral geography of the Slovak Republic: A comparison of the 1994, 1998, and 2002 parliamentary elections

In what can rightly be said to be one of the most dramatic geopolitical shifts in modern times, the collapse of communist regimes in Central Europe and the former Soviet Union brought about dramatic changes in the entire region. As a consequence, wide ranging political, economic, and social transformations have occurred in almost all of these countries since 1989. The Slovak Republic, as a newly democratic country, went through the establishment of the electoral and party systems that are the central mechanisms to the formation of almost all modern democratic governments. The primary research purpose of this dissertation was to describe and explain regional variations in party support during Slovakia’s ten years of democratic transformation. A secondary purpose was to relate these spatial variations to the evolution of political parties in the post-independence period in light of the literature on transitional electoral systems. Research questions were analyzed using both aggregate and survey data. Specifically, the study utilized electoral data from 1994, 1998, and 2002 Slovak parliamentary elections and socio-economic data of the population within Slovak regions which were eventually correlated with the voting results by party in the 79 Slovak districts. The results of this study demonstrate that there is a tendency among voters in certain regions to provide continuous support to the same political parties/movements over time. In addition, the socio-economic characteristics of the Slovak population (gender, age, education, religion, nationality, unemployment, work force distribution, wages, urban-rural variable, and population density) in different regions tend to influence voting preferences in the parliamentary elections. Finally, there is an evident correlation between party preference and the party’s position on integration into European Union, as measured by perceived attitudes regarding the benefits of EU membership.

Power and thermal aware scheduling for real-time computing systems

Over the past few decades, we have been enjoying tremendous benefits thanks to the revolutionary advancement of computing systems, driven mainly by the remarkable semiconductor technology scaling and the increasingly complicated processor architecture. However, the exponentially increased transistor density has directly led to exponentially increased power consumption and dramatically elevated system temperature, which not only adversely impacts the system's cost, performance and reliability, but also increases the leakage and thus the overall power consumption. Today, the power and thermal issues have posed enormous challenges and threaten to slow down the continuous evolvement of computer technology. Effective power/thermal-aware design techniques are urgently demanded, at all design abstraction levels, from the circuit-level, the logic-level, to the architectural-level and the system-level. ^ In this dissertation, we present our research efforts to employ real-time scheduling techniques to solve the resource-constrained power/thermal-aware, design-optimization problems. In our research, we developed a set of simple yet accurate system-level models to capture the processor's thermal dynamic as well as the interdependency of leakage power consumption, temperature, and supply voltage. Based on these models, we investigated the fundamental principles in power/thermal-aware scheduling, and developed real-time scheduling techniques targeting at a variety of design objectives, including peak temperature minimization, overall energy reduction, and performance maximization. ^ The novelty of this work is that we integrate the cutting-edge research on power and thermal at the circuit and architectural-level into a set of accurate yet simplified system-level models, and are able to conduct system-level analysis and design based on these models. The theoretical study in this work serves as a solid foundation for the guidance of the power/thermal-aware scheduling algorithms development in practical computing systems.^

Development of physics-based models and design optimization of power electronic conversion systems

The main objective for physics based modeling of the power converter components is to design the whole converter with respect to physical and operational constraints. Therefore, all the elements and components of the energy conversion system are modeled numerically and combined together to achieve the whole system behavioral model. Previously proposed high frequency (HF) models of power converters are based on circuit models that are only related to the parasitic inner parameters of the power devices and the connections between the components. This dissertation aims to obtain appropriate physics-based models for power conversion systems, which not only can represent the steady state behavior of the components, but also can predict their high frequency characteristics. The developed physics-based model would represent the physical device with a high level of accuracy in predicting its operating condition. The proposed physics-based model enables us to accurately develop components such as; effective EMI filters, switching algorithms and circuit topologies [7]. One of the applications of the developed modeling technique is design of new sets of topologies for high-frequency, high efficiency converters for variable speed drives. The main advantage of the modeling method, presented in this dissertation, is the practical design of an inverter for high power applications with the ability to overcome the blocking voltage limitations of available power semiconductor devices. Another advantage is selection of the best matching topology with inherent reduction of switching losses which can be utilized to improve the overall efficiency. The physics-based modeling approach, in this dissertation, makes it possible to design any power electronic conversion system to meet electromagnetic standards and design constraints. This includes physical characteristics such as; decreasing the size and weight of the package, optimized interactions with the neighboring components and higher power density. In addition, the electromagnetic behaviors and signatures can be evaluated including the study of conducted and radiated EMI interactions in addition to the design of attenuation measures and enclosures.

Turning Passive Detection Systems into Field Experiments: An Application Using Wetland Fishes and Enclosures to Track Fine-Scale Movement and Habitat Choice

Understanding habitat selection and movement remains a key question in behavioral ecology. Yet, obtaining a sufficiently high spatiotemporal resolution of the movement paths of organisms remains a major challenge, despite recent technological advances. Observing fine-scale movement and habitat choice decisions in the field can prove to be difficult and expensive, particularly in expansive habitats such as wetlands. We describe the application of passive integrated transponder (PIT) systems to field enclosures for tracking detailed fish behaviors in an experimental setting. PIT systems have been applied to habitats with clear passageways, at fixed locations or in controlled laboratory and mesocosm settings, but their use in unconfined habitats and field-based experimental setups remains limited. In an Everglades enclosure, we continuously tracked the movement and habitat use of PIT-tagged centrarchids across three habitats of varying depth and complexity using multiple flatbed antennas for 14 days. Fish used all three habitats, with marked species-specific diel movement patterns across habitats, and short-lived movements that would be likely missed by other tracking techniques. Findings suggest that the application of PIT systems to field enclosures can be an insightful approach for gaining continuous, undisturbed and detailed movement data in unconfined habitats, and for experimentally manipulating both internal and external drivers of these behaviors.

Evaluating High-Resolution Aerial Photography Acquired by Unmanned Aerial Systems for Use in Mapping Everglades Wetland Plant Associations

Mapping of vegetation patterns over large extents using remote sensing methods requires field sample collections for two different purposes: (1) the establishment of plant association classification systems from samples of relative abundance estimates; and (2) training for supervised image classification and accuracy assessment of satellite data derived maps. One challenge for both procedures is the establishment of confidence in results and the analysis across multiple spatial scales. Continuous data sets that enable cross-scale studies are very time consuming and expensive to acquire and such extensive field sampling can be invasive. The use of high resolution aerial photography (hrAP) offers an alternative to extensive, invasive, field sampling and can provide large volume, spatially continuous, reference information that can meet the challenges of confidence building and multi-scale analysis.

Variable Speed Limit Strategies to Reduce the Impacts of Traffic Flow Breakdown at Recurrent Freeway Bottlenecks

Variable Speed Limit (VSL) strategies identify and disseminate dynamic speed limits that are determined to be appropriate based on prevailing traffic conditions, road surface conditions, and weather conditions. This dissertation develops and evaluates a shockwave-based VSL system that uses a heuristic switching logic-based controller with specified thresholds of prevailing traffic flow conditions. The system aims to improve operations and mobility at critical bottlenecks. Before traffic breakdown occurrence, the proposed VSL’s goal is to prevent or postpone breakdown by decreasing the inflow and achieving uniform distribution in speed and flow. After breakdown occurrence, the VSL system aims to dampen traffic congestion by reducing the inflow traffic to the congested area and increasing the bottleneck capacity by deactivating the VSL at the head of the congested area. The shockwave-based VSL system pushes the VSL location upstream as the congested area propagates upstream. In addition to testing the system using infrastructure detector-based data, this dissertation investigates the use of Connected Vehicle trajectory data as input to the shockwave-based VSL system performance. Since the field Connected Vehicle data are not available, as part of this research, Vehicle-to-Infrastructure communication is modeled in the microscopic simulation to obtain individual vehicle trajectories. In this system, wavelet transform is used to analyze aggregated individual vehicles’ speed data to determine the locations of congestion. The currently recommended calibration procedures of simulation models are generally based on the capacity, volume and system-performance values and do not specifically examine traffic breakdown characteristics. However, since the proposed VSL strategies are countermeasures to the impacts of breakdown conditions, considering breakdown characteristics in the calibration procedure is important to have a reliable assessment. Several enhancements were proposed in this study to account for the breakdown characteristics at bottleneck locations in the calibration process. In this dissertation, performance of shockwave-based VSL is compared to VSL systems with different fixed VSL message sign locations utilizing the calibrated microscopic model. The results show that shockwave-based VSL outperforms fixed-location VSL systems, and it can considerably decrease the maximum back of queue and duration of breakdown while increasing the average speed during breakdown.

The Electoral Geography of the Slovak Republic: A Comparison of the 1994, 1998, and 2002 Parliamentary Elections

In what can rightly be said to be one of the most dramatic geopolitical shifts in modern times, the collapse of communist regimes in Central Europe and the former Soviet Union brought about dramatic changes in the entire region. As a consequence, wide ranging political, economic, and social transformations have occurred in almost all of these countries since 1989. The Slovak Republic, as a newly democratic country, went through the establishment of the electoral and party systems that are the central mechanisms to the formation of almost all modern democratic governments. The primary research purpose of this dissertation was to describe and explain regional variations in party support during Slovakia’s ten years of democratic transformation. A secondary purpose was to relate these spatial variations to the evolution of political parties in the post-independence period in light of the literature on transitional electoral systems. Research questions were analyzed using both aggregate and survey data. Specifically, the study utilized electoral data from 1994, 1998, and 2002 Slovak parliamentary elections and socio-economic data of the population within Slovak regions which were eventually correlated with the voting results by party in the 79 Slovak districts. The results of this study demonstrate that there is a tendency among voters in certain regions to provide continuous support to the same political parties/movements over time. In addition, the socio-economic characteristics of the Slovak population (gender, age, education, religion, nationality, unemployment, work force distribution, wages, urban-rural variable, and population density) in different regions tend to influence voting preferences in the parliamentary elections. Finally, there is an evident correlation between party preference and the party’s position on integration into European Union, as measured by perceived attitudes regarding the benefits of EU membership.

Properties of seawater and particulate matter from a WETLabs AC-S spectrophotometer and a WETLabs chlorophyll fluorometer mounted on the continuous surface water sampling system during the Tara Oceans expedition 2009-2013

The Tara Oceans Expedition (2009-2013) was a global survey of ocean ecosystems aboard the Sailing Vessel Tara. It carried out extensive measurements of evironmental conditions and collected plankton (viruses, bacteria, protists and metazoans) for later analysis using modern sequencing and state-of-the-art imaging technologies. Tara Oceans Data are particularly suited to study the genetic, morphological and functional diversity of plankton. The present data publication provides permanent links to original and updated versions of validated data files containing measurements from the Continuous Surface Sampling System [CSSS]. Water was pumped at the front of the vessel from ~2m depth, then de-bubbled and circulated to a WETLabs AC-S spectrophotometer and a WETLabs chlorophyll fluorometer. Systems maintenance (instrument cleaning, flushing) was done approximately once a week and in port between successive legs. All data were stamped with a GPS.