On some Properties of Boolean Functions and Their Binary Decision Diagrams

Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.

Automated Equation Formulation for Causal Loop Diagrams

The annotation of Business Dynamics models with parameters and equations, to simulate the system under study and further evaluate its simulation output, typically involves a lot of manual work. In this paper we present an approach for automated equation formulation of a given Causal Loop Diagram (CLD) and a set of associated time series with the help of neural network evolution (NEvo). NEvo enables the automated retrieval of surrogate equations for each quantity in the given CLD, hence it produces a fully annotated CLD that can be used for later simulations to predict future KPI development. In the end of the paper, we provide a detailed evaluation of NEvo on a business use-case to demonstrate its single step prediction capabilities.

Studies on terpenes solubility in water and deep eutectic solvents diagrams for biomedical applications

The main objectives of this work are the measurement of terpenes solubility in water at different temperatures, and the formulation of Deep Eutectic Solvents based on choline chloride and polycarboxylic acids, that can be used as hydrotropes of aqueous solutions in terpenes, replacing conventional organic solvents. In this work a new experimental methodology was implemented, using dialysis membranes, for the measurement of terpenes solubility in water. Concerning the deep eutectic diagrams formulation, the determination of the melting points of the eutectic mixtures was performed using a visual method. The method used for determining solubilities was previously validated using a well-studied model compound, toluene. The experimental results of terpenes solubilities in water resulted in a very satisfactory coefficients of variation, always below 6%. The experimental solubility data were analysed and the temperature dependence is also studied in a thermodynamic perspective. The compound with the largest solubility dependence with the temperature is geraniol, while thymol presents the smallest. The phase diagrams of DES formulated were quite satisfactory, presenting always eutectic points below to 373.15 K. For some compositions, the systems composed by choline chloride and lactic, or malonic, or myristic acid were liquid at room temperature. In the case of monocarboxylic acids, eutectic is formed at 60% mol of the acid, to dicarboxylic acid is formed at 50% mol of the acid and for tricarboxylic acid these point is formed at 30% mol of the acid. In the future, it will be important to study the effect of DES as hydrotropes in aqueous solutions of terpenes. Furthermore, it would be interesting to study more terpenes in order to assess the effect of the size of the alkyl chain and the structures of the compounds.

Chatter avoidance in the milling of thin floors with bull-nose end mills: Model and stability diagrams

The milling of thin parts is a high added value operation where the machinist has to face the chatter problem. The study of the stability of these operations is a complex task due to the changing modal parameters as the part loses mass during the machining and the complex shape of the tools that are used. The present work proposes a methodology for chatter avoidance in the milling of flexible thin floors with a bull-nose end mill. First, a stability model for the milling of compliant systems in the tool axis direction with bull-nose end mills is presented. The contribution is the averaging method used to be able to use a linear model to predict the stability of the operation. Then, the procedure for the calculation of stability diagrams for the milling of thin floors is presented. The method is based on the estimation of the modal parameters of the part and the corresponding stability lobes during the machining. As in thin floor milling the depth of cut is already defined by the floor thickness previous to milling, the use of stability diagrams that relate the tool position along the tool-path with the spindle speed is proposed. Hence, the sequence of spindle speeds that the tool must have during the milling can be selected. Finally, this methodology has been validated by means of experimental tests.

The manual of chess: containing the elementary principles of the game; illustrated with numerous diagrams, recent games and original problems.

Mode of access: Internet.

Implications of precursor chemistry on the alkaline hydrothermal synthesis of titania/titanate nanostructures

A systematic study of four parameters within the alkaline hydrothermal treatment of three commercial titania powders—anatase, rutile, and Degussa P25—was made. These powders were treated with 5, 7.5, 9, and 10 M NaOH between 100 and 220 °C for 20 h. The effects of alkaline concentration, hydrothermal temperature, and precursor phase and crystallite size on the resultant nanostructure formation have been studied through X-ray diffraction, Raman spectroscopy, transmission electron microscopy, and nitrogen adsorption. Through the correlation of these data, morphological phase diagrams were constructed for each commercial powder. Interpretation of the resultant morphological phase diagrams indicates that alkaline concentration and hydrothermal temperature affect nanostructure formation independently, where nanoribbon formation is significantly influenced by temperature for initial formation. The phase and crystallite size of the precursor also significantly influenced nanostructure formation, with rutile displaying a slower rate of precursor consumption compared with anatase. Small crystallite titania precursors formed nanostructures at reduced hydrothermal temperatures.

Generating Flash files of Your Lectures: Good Practice Strategies Helping Students Engage with Their Learning

Our students come from diverse backgrounds. They need flexibility in their learning. First year students tend to worry when they miss lectures or part of lectures. Having the lecture as an on line resource allows students to miss a lecture without stressing about it and to be more relaxed in the lecture, knowing that anything they may miss will be available later. The resource: The Windows based program from Blueberry Software (not Blackberry!) - BB Flashback - allows the simultaneous recording of the computer screen together with the audio, as well as Webcam recording. Editing capabilities include adding pause buttons, graphics and text to the file before exporting it in a flash file. Any diagrams drawn on the board or shown via visualiser can be photographed and easily incorporated. The audio from the file can be extracted if required to be posted as podcast. Exporting modes other than Flash are also available, allowing vodcasting if you wish. What you will need: - the recording software: it can be installed on the lecture hall computer just prior to lecture if needed - a computer: either the ones in lecture halls, especially if fitted with audio recording, or a laptop (I have used audio recording via Bluetooth for mobility). Feedback from students has been positive and will be presented on the poster.

Diagramming the interior

Mark Taylor's new essay assesses the impact of the diagram on interior design from the late 19th century to the present. Taylor identifies the pop-cultural discourse of advice writing in both books and magazines as a starting point for his analysis. Drawing on diverse sources, his analysis focuses on texts relating to the dynamics of use and flexibility by Catherine Beecher, Harriet Beecher Stowe, Melusina Fay Peirce, Mary Haweis and Christine Frederick among others. The examples in these texts use the home, domestic housekeeping and kitchens as the sites and practices of intervention through which interior design innovations can be enacted. Taylor's analysis identified the innovations in both the social and the political aspects of space and the critique of static space behind these seemingly amateurish and innocuous texts. Identifying these contributions as early precursors of Modernism's open-plan and flexible, dynamic spaces, Taylor also interprets them with a critical concern for the oppositions and hierarchies that can exist in spatial design, and which are the hallmarks of recent Postmodern, phenomenological approaches to interior design and its theorisations. The progressive and subversive "paradigms for living" implicit in these diagrams can be argued to present a model of greater economic, social and political equality as well as representing a more balanced set of power relations in the home. Progressing through the 20th century to the present, Taylor's analysis shifts byond the dressed body and on to the more intimate rituals of the revealed body to further examine how diagrams of the interior, and the interior as a set of diagrams, are also mediators, sites and grounds for the design of social and sexual intimacy. Through a consideration of the link between design, indentity and intimacy (whether of the invisible, fashioned or sexualised body), the diagrms of interiors are reconfigured as radical and critical tools for an animate, material and emancipatory "redressing" of the balance between the body, identity, sexuality, gender, function, mis(use), aesthetics and the interior.

Year 8, 9 and 10 students’ understanding and access of percent knowledge

This paper reports on Years 8, 9 and 10 students’ knowledge of percent problem types, use of diagrams, and type of solution strategy. Non- and semi-proficient students displayed the expected inflexible formula approach to solution but proficient students used a flexible mixture of estimation, number sense and trial and error instead of expected schema based methods.

On the cognitive effectiveness of routing symbols in process modeling languages

Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages using cognitive effectiveness considerations, to make statements about the ease of use and quality of user experience. Aspects of cognitive effectiveness are of importance for learning a modeling language, creating models, and understanding models. We identify the criteria representational clarity, perceptual discriminability, perceptual immediacy, visual expressiveness, and graphic parsimony to compare and assess the cognitive effectiveness of different modeling languages. We apply these criteria in an analysis of the routing elements of UML Activity Diagrams, YAWL, BPMN, and EPCs, to uncover their relative strengths and weaknesses from a quality of user experience perspective. We draw conclusions that are relevant to the usability of these languages in business process modeling projects.

Single-layer decoupling networks for large circulant symmetric arrays

In this paper, the authors propose a new structure for the decoupling of circulant symmetric arrays of more than four elements. In this case, network element values are again obtained through a process of repeated eigenmode decoupling, here by solving sets of nonlinear equations. However, the resulting circuit is much simpler and can be implemented on a single layer. The corresponding circuit topology for the 6-element array is displayed in figure diagrams. The procedure will be illustrated by considering different examples.

How Novices Model Business Processes

In this paper, we examine the design of business process diagrams in contexts where novice analysts only have basic design tools such as paper and pencils available, and little to no understanding of formalized modeling approaches. Based on a quasi-experimental study with 89 BPM students, we identify five distinct process design archetypes ranging from textual to hybrid, and graphical representation forms. We also examine the quality of the designs and identify which representation formats enable an analyst to articulate business rules, states, events, activities, temporal and geospatial information in a process model. We found that the quality of the process designs decreases with the increased use of graphics and that hybrid designs featuring appropriate text labels and abstract graphical forms are well-suited to describe business processes. Our research has implications for practical process design work in industry as well as for academic curricula on process design.

Solving graphics tasks : gender differences in middle-school students

The capacity to solve tasks that contain high concentrations of visual-spatial information, including graphs, maps and diagrams, is becoming increasingly important in educational contexts as well as everyday life. This research examined gender differences in the performance of students solving graphics tasks from the Graphical Languages in Mathematics (GLIM) instrument that included number lines, graphs, maps and diagrams. The participants were 317 Australian students (169 males and 148 females) aged 9 to 12 years. Boys outperformed girls on graphical languages that required the interpretation of information represented on an axis and graphical languages that required movement between two- and three-dimensional representations (generally Map language).

Individual differences in learning from worked examples by senior secondary mathematics students

The primary purpose of this research was to examine individual differences in learning from worked examples. By integrating cognitive style theory and cognitive load theory, it was hypothesised that an interaction existed between individual cognitive style and the structure and presentation of worked examples in their effect upon subsequent student problem solving. In particular, it was hypothesised that Analytic-Verbalisers, Analytic-Imagers, and Wholist-lmagers would perform better on a posttest after learning from structured-pictorial worked examples than after learning from unstructured worked examples. For Analytic-Verbalisers it was reasoned that the cognitive effort required to impose structure on unstructured worked examples would hinder learning. Alternatively, it was expected that Wholist-Verbalisers would display superior performances after learning from unstructured worked examples than after learning from structured-pictorial worked examples. The images of the structured-pictorial format, incongruent with the Wholist-Verbaliser style, would be expected to split attention between the text and the diagrams. The information contained in the images would also be a source of redundancy and not easily ignored in the integrated structured-pictorial format. Despite a number of authors having emphasised the need to include individual differences as a fundamental component of problem solving within domainspecific subjects such as mathematics, few studies have attempted to investigate a relationship between mathematical or science instructional method, cognitive style, and problem solving. Cognitive style theory proposes that the structure and presentation of learning material is likely to affect each of the four cognitive styles differently. No study could be found which has used Riding's (1997) model of cognitive style as a framework for examining the interaction between the structural presentation of worked examples and an individual's cognitive style. 269 Year 12 Mathematics B students from five urban and rural secondary schools in Queensland, Australia participated in the main study. A factorial (three treatments by four cognitive styles) between-subjects multivariate analysis of variance indicated a statistically significant interaction. As the difficulty of the posttest components increased, the empirical evidence supporting the research hypotheses became more pronounced. The rigour of the study's theoretical framework was further tested by the construction of a measure of instructional efficiency, based on an index of cognitive load, and the construction of a measure of problem-solving efficiency, based on problem-solving time. The consistent empirical evidence within this study that learning from worked examples is affected by an interaction of cognitive style and the structure and presentation of the worked examples emphasises the need to consider individual differences among senior secondary mathematics students to enhance educational opportunities. Implications for teaching and learning are discussed and recommendations for further research are outlined.