An Existential Perspective on Addiction Treatment: A Logic-based therapy case study

In this essay I argue that a comprehensive understanding of addiction and its treatment should include an existential perspective. I provide a brief overview of an existential perspective of addiction and recovery, which will contextualize the remainder of the essay. I then present a case study of how the six-step philosophical practice method of Logic-Based Therapy can assist with issues that often arise in addiction treatment framed through an existential perspective

Investigating mathematics and learning to teach mathematics

This paper deals with an idea that plays an increasing role in teaching and in teacher education—investigating as a powerful paradigm of knowledge construction. Investigations may be carried out both in learning mathematics and in learning how to teach mathematics at preservice and inservice levels. I look into investigations in mathematics and in the mathematics curriculum, pointing out some issues that teachers face proposing them in the classroom. Then, I discuss teacher education and professional development, stressing the value of investigations about practice as a means of developing knowledge. I conclude with examples of work done by preservice and inservice teachers and by teams of teachers and researchers focusing on pupils’ investigative work in mathematics classes that illustrate the educational value of this activity and discuss the roles of the teacher.Este artigo baseia-se numa ideia que desempenha um papel crescente no ensino e na formação de professores – investigar constitui um paradigma poderoso de construção do conhecimento. Tanto podem ser realizadas investigações no ensino da Matemática como na formação inicial e contínua do professor de Matemática. Assim, analiso o papel das investigações em Matemática e no currículo de Matemática, apontando algumas questões que os professores enfrentam quando as propõem na sala de aula. De seguida, discuto a formação de professores e o desenvolvimento profissional, dando ênfase ao valor das investigações sobre a prática como meio de desenvolver novo conhecimento. Concluo com exemplos de trabalho realizado por professores em formação inicial e contínua e por equipas de professores e investigadores que se centram no trabalho investigativo dos alunos realizado nas aulas de Matemática, exemplos esses que ilustram o valor educacional desta actividade e permitem discutir os papéis do professor

Simultaneous reconstruction of outer boundary shape and admittivity distribution in electrical impedance tomography

The aim of electrical impedance tomography is to reconstruct the admittivity distribution inside a physical body from boundary measurements of current and voltage. Due to the severe ill-posedness of the underlying inverse problem, the functionality of impedance tomography relies heavily on accurate modelling of the measurement geometry. In particular, almost all reconstruction algorithms require the precise shape of the imaged body as an input. In this work, the need for prior geometric information is relaxed by introducing a Newton-type output least squares algorithm that reconstructs the admittivity distribution and the object shape simultaneously. The method is built in the framework of the complete electrode model and it is based on the Fr\'echet derivative of the corresponding current-to-voltage map with respect to the object boundary shape. The functionality of the technique is demonstrated via numerical experiments with simulated measurement data.Comment: 3 figure

Doing and Showing

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.Comment: 54 pages, 2 figure

DramaQA: Character-Centered Video Story Understanding with Hierarchical QA

Despite recent progress on computer vision and natural language processing, developing video understanding intelligence is still hard to achieve due to the intrinsic difficulty of story in video. Moreover, there is not a theoretical metric for evaluating the degree of video understanding. In this paper, we propose a novel video question answering (Video QA) task, DramaQA, for a comprehensive understanding of the video story. The DramaQA focused on two perspectives: 1) hierarchical QAs as an evaluation metric based on the cognitive developmental stages of human intelligence. 2) character-centered video annotations to model local coherence of the story. Our dataset is built upon the TV drama "Another Miss Oh" and it contains 16,191 QA pairs from 23,928 various length video clips, with each QA pair belonging to one of four difficulty levels. We provide 217,308 annotated images with rich character-centered annotations, including visual bounding boxes, behaviors, and emotions of main characters, and coreference resolved scripts. Additionally, we provide analyses of the dataset as well as Dual Matching Multistream model which effectively learns character-centered representations of video to answer questions about the video. We are planning to release our dataset and model publicly for research purposes and expect that our work will provide a new perspective on video story understanding research.Comment: 21 pages, 10 figures, submitted to ECCV 202