Important Characteristics In An MBA Program: The Perceptions Of Online MBA Students

This study examines characteristics important to online MBA students and alumni. The study looks at what characteristics are important in an online MBA Program and if the level of importance of these characteristics varies by demographic variables.  The study focuses on availability, program quality, program length, cost, and courses in the curriculum.  The results suggest that the importance of characteristics in a MBA program falls into three tiers.  The most important characteristic is availability.  The next tier of importance is quality, program length, and cost.  There is no significant difference in importance among these three characteristics, but they are all significantly lower in importance than availability.  The final characteristic is courses as this is rated significantly lower than the other characteristics in terms of importance.  The research also examined if there were differences in importance characteristics by gender, age, years’ work experience and income and found while the basic order rankings were very similar across the different demographic variables, there were a few differences among demographic groups.  Women rated as quality, length, and courses at a higher level of importance than men did.  Finally, those with more years work experience rated availability at a significantly higher level of importance than those with fewer years work experience

Monitoring Networks through Multiparty Session Types

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity

Geometry Optimization for Miniaturized Thermoelectric Generators

Thermoelectric materials capable of converting heat into electrical energy are used in sustainable electric generators, whose efficiency has been normally increased with incorporation of new materials with high figure of merit (ZT) values. Because the performance of these thermoelectric generators (TEGs) also depends on device geometry, in this study we employ the finite element method to determine optimized geometries for highly efficient miniaturized TEGs. We investigated devices with similar fill factors but with different thermoelectric leg geometries (filled and hollow). Our results show that devices with legs of hollow geometry are more efficient than those with filled geometry for the same length and cross-sectional area of thermoelectric legs. This behavior was observed for thermoelectric leg lengths smaller than 0.1 mm, where the leg shape causes a significant difference in temperature distribution along the device. It was found that for reaching highly efficient miniaturized TEGs, one has to consider the leg geometry in addition to the thermal conductivity

The occurrence of two morphologically similar Chaetozone (Annelida: Polychaeta: Cirratulidae) species from the Italian seas: Chaetozone corona Berkeley & Berkeley, 1941 and C. carpenteri McIntosh, 1911

The present study reports the spread of the cirratulids Chaetozone corona Berkeley & Berkeley, 1941 and Chaetozone carpenteri McIntosh, 1911 in the Western Central Adriatic Sea, off the coasts of Pescara (Italy). The two species were collected between 2014 and 2016 from soft bottom stations (at depths from 16.5 to 130 m) where the environment was more or less disturbed due to fishing activities. One specimen of C. corona was found also off the coast of Calafuria (Livorno, Italy), representing the first record of this species in the Tyrrhenian Sea. Chaetozone carpenteri could be a native species present in the Mediterranean for a long time but rarely recorded because of taxonomic confusion. Chaetozone corona was already known from the eastern Mediterranean Sea (except from the Adriatic Sea), where it is considered an established alien species. Our results extend the geographic range of these two cirratulid species, providing some information on their ecology and habitat preference. We also suggest a likely vector of spread of C. corona from the easternmost part of the Mediterranean towards the study area. The finding of reproducing specimens of C. corona and C. carpenteri supports the hypothesis that these two species have found a suitable habitat in the Western Central Adriatic Sea, and there will become well established. Although nothing suggests that C. corona would be invasive, it may, however, compete with native species. These findings also seem particularly relevant in order to improve the knowledge of Mediterranean biodiversity

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

A Calculus for Orchestration of Web Services

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages

Explicit connection actions in multiparty session types

This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections

Numerical study of jets produced by conical wire arrays on the Magpie pulsed power generator

The aim of this work is to model the jets produced by conical wire arrays on the MAGPIE generator, and to design and test new setups to strengthen the link between laboratory and astrophysical jets. We performed the modelling with direct three-dimensional magneto-hydro-dynamic numerical simulations using the code GORGON. We applied our code to the typical MAGPIE setup and we successfully reproduced the experiments. We found that a minimum resolution of approximately 100 is required to retrieve the unstable character of the jet. We investigated the effect of changing the number of wires and found that arrays with less wires produce more unstable jets, and that this effect has magnetic origin. Finally, we studied the behaviour of the conical array together with a conical shield on top of it to reduce the presence of unwanted low density plasma flows. The resulting jet is shorter and less dense.Comment: Accepted for publication in Astrophysics & Space Science. HEDLA 2010 conference procedings. Final pubblication will be available on Springe

Tinted Semi-Transparent Solar Panels Allow Concurrent Production of Crops and Electricity on the Same Cropland

Agrivoltaics describes concurrent agricultural production of crops and photovoltaic generation of electricity on the same cropland. By using tinted semi-transparent solar panels, this study introduces a novel element to transform the concept of agrivoltaics from just solar-sharing to selective utilisation of different light wavelengths. Agrivoltaic growth of basil and spinach was tested. When compared with classical agriculture, and based on the feed-in-tariff of the experimental location, agrivoltaic co-generation of biomass and electricity is calculated to result in an estimated financial gross gain up to +2.5% for basil and +35% for spinach. Marketable biomass yields did not change significantly for basil, while a statistically significant loss was observed for spinach. This was accompanied by a relative increase in the protein content for both plants grown under agrivoltaic conditions. Agrivoltaics implemented with tinted solar panels improved the biomass production per unit amount of solar radiation up to 68%, with up to 63% increase in the ratio of leaf and stem biomass to root. Agrivoltaics can enrich the portfolio of farmers, mitigate risks associated with climate, and vastly enhance global photovoltaics capacity without compromising agricultural production.Leverhulme Trust RPG-2015-393 Italian Ministry of University and Research (to co-author A Schievano