The Mechanical\u27s Bull-Session 1934

https://ir.uiowa.edu/mechanicals-bull-session/1004/thumbnail.jp

Studying carbonisation with raman spectroscopy

Raman spectroscopy can provide fast and non-destructive analysis of carbonaceous materials. As it is able to detect nanometre-sized structural features, Raman spectroscopy is widely used in the study of carbon nanotubes, fullerenes, graphenes, and many other carbon-rich materials. Raman analysis has previously shown potential for estimating the heat treatment temperatures (HTT) employed in the preparation of Japanese cedar charcoals which suggested future usefulness in quality control . In the current work, Raman spectroscopy was used to investigate the nanostructural development which had occurred within various chars prepared and carbonised at a range of heat treatment temperatures between ≈ 340°C and 1000°C. Chars were produced from sucrose sugar as standard precursor of high purity and two sources of biomass common in New Zealand (Radiata pine wood and Harakeke leaf fibres). In chars produced at lower HTTs, signals could be detected which were interpreted as representing hydrogen-rich amorphous carbon structures. In contrast, the Raman spectra of well-carbonised chars produced at higher HTTs featured signals consistent with graphene-like structures with coherent domains limited in size to below a few nanometres across. Measurement of such signals provides the ability to evaluate the extent of nanostructural development, identify char samples which are ‘undercooked’ when compared to other char samples, and estimate effective HTTs used in the production of a given char sample. More detailed Raman analysis of Radiata-derived chars was carried out, including analysis of chars produced from carbonising pyrolysis tars. Results of Raman analysis were correlated to H/C atom ratios obtained through elemental analysis for these chars produced from Radiata pine

Simulation, no problem, of course we offer this service! (observations on firms who have worked to make this true)

The paper focuses on the practical experiences of a number of professional firms striving to use simulation to deliver information of value to their clients. It exposes issues such as limitations in existing working practices and the mismatch between language routinely used by facilitators and trainees as well as their different expectations. The paper also discusses the differences observed between incremental implementation of simulation within practices and firms who wished to "jump in at the deep end". Lastly, it addresses the dilemma of how to move simulation tools into the already busy schedules and overloaded programmes of design practices successfully

The Mechanical\u27s Bull-Session 1932

https://ir.uiowa.edu/mechanicals-bull-session/1002/thumbnail.jp

A Global Alliance Against Forced Labour: Report I (B)

Explains how the concept of forced labor is defined in international law and discusses some parameters for identifying contemporary forced labor situations in practice. Provides the first minimum global estimate of the numbers of people in forced labor by an international organization, broken down by geographical region and by form of forced labor. Gives a global picture of contemporary patterns of forced labor, and of action to eradicate it. Reviews the ILO’s assistance to member States for the eradication of forced labor, in view of the creation of a Special Action Programme to Combat Forced Labour. Lastly, it makes recommendations for future action

Lexical Query Modeling in Session Search

Lexical query modeling has been the leading paradigm for session search. In this paper, we analyze TREC session query logs and compare the performance of different lexical matching approaches for session search. Naive methods based on term frequency weighing perform on par with specialized session models. In addition, we investigate the viability of lexical query models in the setting of session search. We give important insights into the potential and limitations of lexical query modeling for session search and propose future directions for the field of session search.Comment: ICTIR2016, Proceedings of the 2nd ACM International Conference on the Theory of Information Retrieval. 201

Session Types for Broadcasting

Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of the parametric framework of broadcasting psi-calculi, giving insights on developing session types within a parametric framework. Our session type theory enjoys the properties of soundness and safety. We further believe that the solutions proposed will eventually provide a deeper understanding of how session types principles should be applied in the general case of communication semantics.Comment: In Proceedings PLACES 2014, arXiv:1406.331