Terra Incognita: A symbolic mythical journey

This practice-led project is implemented in the context of rites of passage based on significant events in formative transitions of Self. It employs an intuitive methodology to examine and explore the 'Child archetype', mythos, symbolic imagination and self-narrative, through the manifestation of a visual symbolic language. The contexts, methods and processes enable empowerment, heightened awareness of personal and collective relationships, meaningful discovery and development of innovative ideas and forms. The implications for this project highlight the importance of intuition in creativity and innovation. Creative practice is a vehicle for personal and collective interconnectedness. I have discovered self-empowerment, meaningful learning and innovative forms of personal and collective communication as a way of enabling transition of a significant life event.

Complex symbolic sequence clustering and multiple classifiers for predictive process monitoring

This paper addresses the following predictive business process monitoring problem: Given the execution trace of an ongoing case,and given a set of traces of historical (completed) cases, predict the most likely outcome of the ongoing case. In this context, a trace refers to a sequence of events with corresponding payloads, where a payload consists of a set of attribute-value pairs. Meanwhile, an outcome refers to a label associated to completed cases, like, for example, a label indicating that a given case completed “on time” (with respect to a given desired duration) or “late”, or a label indicating that a given case led to a customer complaint or not. The paper tackles this problem via a two-phased approach. In the first phase, prefixes of historical cases are encoded using complex symbolic sequences and clustered. In the second phase, a classifier is built for each of the clusters. To predict the outcome of an ongoing case at runtime given its (uncompleted) trace, we select the closest cluster(s) to the trace in question and apply the respective classifier(s), taking into account the Euclidean distance of the trace from the center of the clusters. We consider two families of clustering algorithms – hierarchical clustering and k-medoids – and use random forests for classification. The approach was evaluated on four real-life datasets.

A study of symbolic processing and computational aspects in helicopter dynamics

Even research models of helicopter dynamics often lead to a large number of equations of motion with periodic coefficients; and Floquet theory is a widely used mathematical tool for dynamic analysis. Presently, three approaches are used in generating the equations of motion. These are (1) general-purpose symbolic processors such as REDUCE and MACSYMA, (2) a special-purpose symbolic processor, DEHIM (Dynamic Equations for Helicopter Interpretive Models), and (3) completely numerical approaches. In this paper, comparative aspects of the first two purely algebraic approaches are studied by applying REDUCE and DEHIM to the same set of problems. These problems range from a linear model with one degree of freedom to a mildly non-linear multi-bladed rotor model with several degrees of freedom. Further, computational issues in applying Floquet theory are also studied, which refer to (1) the equilibrium solution for periodic forced response together with the transition matrix for perturbations about that response and (2) a small number of eigenvalues and eigenvectors of the unsymmetric transition matrix. The study showed the following: (1) compared to REDUCE, DEHIM is far more portable and economical, but it is also less user-friendly, particularly during learning phases; (2) the problems of finding the periodic response and eigenvalues are well conditioned.

Music and symbolic dynamics: the science behind an art

Music signals comprise of atomic notes drawn from a musical scale. The creation of musical sequences often involves splicing the notes in a constrained way resulting in aesthetically appealing patterns. We develop an approach for music signal representation based on symbolic dynamics by translating the lexicographic rules over a musical scale to constraints on a Markov chain. This source representation is useful for machine based music synthesis, in a way, similar to a musician producing original music. In order to mathematically quantify user listening experience, we study the correlation between the max-entropic rate of a musical scale and the subjective aesthetic component. We present our analysis with examples from the south Indian classical music system.

用Symbolic Computation计算毛细重力波六阶解

本文首先运用Symbolic Computation在半物理平面(x,)上计算了毛细重力波的六阶解,得到了波形与色散关系,低阶解与 Hogan 结果一致。

Avaliação de textos produzidos na aula de língua portuguesa: abordagens teóricas, questões didático-metodológicas e suas repercussões

Dentro do contexto da avaliação formativa, as práticas de correção dos textos produzidos devem ser entendidas não como medição da aprendizagem, mas principalmente como uma pesquisa, elas devem avaliar o aluno, o professor, o processo, as práticas enunciativas, a mediação, a escola e mesmo a família. Contudo, apesar de essa abordagem sobre a avaliação ser compatível com a concepção sócio-histórica e cognitiva da linguagem, que por sua vez é consoante com as orientações dos PCN de Língua Portuguesa, ela parece ainda se mostrar distante dos métodos adotados pelos professores. O objetivo geral desta dissertação é identificar as abordagens teóricas que subjazem aos métodos avaliativos de professores do ensino fundamental em relação à produção textual. Como objetivos específicos buscou-se (i) mapear os modelos de correção textual utilizado por esses professores a fim de oferecer um panorama sobre a realidade do ensino-aprendizagem da escrita; e (ii) organizar um material teórico capaz de embasar a prática avaliativa não apenas como um componente do ato pedagógico, mas também como componente simbólico da construção da imagem que o aluno tem sobre si e sobre sua capacidade de escrever. Trata-se de uma pesquisa qualitativa constituída por dois corpora, organizados a partir dos seguintes instrumentos: entrevista semiestruturada com sete professores que lecionam no terceiro e quarto ciclos do ensino fundamental em escolas públicas e/ou particulares; e textos escritos por alunos e corrigidos pelos mesmos professores-informantes. Constituindo um total de 35 documentos, cinco de cada professor e 3h48min de gravações transcritas. Para análise dos corpora optou-se pelo paradigma interpretativista, aliado ao paradigma indiciário, que busca olhar para além das recorrências, os dados episódicos, singulares, dados que possam ajudar a levantar hipóteses sobre uma realidade não observável por via direta. Em relação às abordagens teóricas, podem-se perceber três manifestações: (i) as que são focadas no sistema, observável quando o professor privilegia aspectos formais e quando suas marcações, ainda que busquem o aspecto discursivo, não são suficientes para que os alunos efetuem reflexões sobre o uso da língua; (ii) as que flutuam entre o estruturalismo e o sociointeracionismo, quando o professor, embora se utilize de práticas mais interacionais ainda deixa amplo espaço para correções formais; (iii) as que são eminentemente sociointeracionistas, em cujas marcas avaliativas pode-se observar respeito pela autoria, apreciação do texto, interferência significativa e convite à reflexão. Dessas práticas emergem dois papéis sociais dicotômicos assumidos pelo professor: o de revisor, que tem profunda relação com práticas avaliativas de medição, e o de leitor-avaliador, em que se pode perceber, além de métodos ligados ao sociointeracionismo e às práticas avaliativas formativas um outro aspecto singular: a afetividade. Para discorrer sobre cada um desses aspectos propostos, construiu-se uma revisão bibliográfica que buscou incorporar à discussão teórico-metodológica questões de ordem subjetivas, que orientam pensar a escrita não só sob seu aspecto sócio-histórico e cognitivo, mas também afetivo

Descriptive Simulation: Combining Symbolic and Numerical Methods in the Analysis of Chemical Reaction Mechanisms

The Kineticist's Workbench is a computer program currently under development whose purpose is to help chemists understand, analyze, and simplify complex chemical reaction mechanisms. This paper discusses one module of the program that numerically simulates mechanisms and constructs qualitative descriptions of the simulation results. These descriptions are given in terms that are meaningful to the working chemist (e.g., steady states, stable oscillations, and so on); and the descriptions (as well as the data structures used to construct them) are accessible as input to other programs.

Symbolic Integration

SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral tables. SIN contains several more methods than are used in the previous symbolic integration program SAINT, and solves most of the problems attempted by SAINT in less than one second. SOLDIER (SOLution of Ordinary Differential Equations Routine) solves first order, first degree ordinary differential equations at the level of a good college sophomore and at an average of about five seconds per problem attempted. The differences in philosophy and operation between SAINT and SIN are described, and suggestions for extending the work presented are made.

Symbolic Mathematical Laboratory

A large computer program has been developed to aid applied mathematicians in the solution of problems in non-numerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses typed commands and a light pen to direct the computer in the application of mathematical transformations; the intermediate results are displayed in standard text-book format so that the system user can decide the next step in the problem solution. Three problems selected from the literature have been solved to illustrate the use of the system. A detailed analysis of the problems of input, transformation, and display of mathematical expressions is also presented.

Fault identification through the combination of symbolic conflict recognition and Markov Chain-aided belief revision

F. Smith and Q. Shen. Fault identification through the combination of symbolic conflict recognition and Markov Chain-aided belief revision. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 34(5):649-663, 2004.