46 research outputs found
Portfolio of recorded performances and exegesis: Messiaen’s musical language for the jazz pianist - an exploration through performance.
No full textMoving beyond Gunther Schuller’s Third Stream amalgamation of classical and jazz, this study explores whether the musical language of Olivier Messiaen can make a valid contribution to jazz piano performance. Initially, my project sought to answer such questions as: What elements of the musical language of Messiaen already exist in the jazz vocabulary? Am I able to extend this further? What are the timbral structures and pianistic effects within Messiaen’s musical language? What will be the most effective application of Messiaen’s musical language to jazz piano performance? Endeavouring to answer the final question led me to consider such aspects as whether the project should be limited to quoting Messiaen motifs, arranging Messiaen melodies, replacing jazz harmonic structures on standards with examples from Messiaen’s musical language or whether it would be better to approach the research conceptually. The work of Hubert Nuss provided encouraging reassurance that this was not an impossible task. In order to articulate this conception, the initial challenge was to decide how the classical and jazz worlds might meet in a ‘Messiaen’ technique. The approach adopted was similar to that used for undergraduate jazz study, namely, immersion in the piano scores and recordings of Messiaen’s music as well as by live performances. This was followed by the development and assessment of a contrived approach when specific techniques, such as tonal colourings or harmonic structures, were developed through prepared exercises and consciously included in my performance. It was then compared with an intuitive approach when no such precise parameters were established. This submission consists of CD recordings of two public recitals and an exegesis. It documents the development of this Messiaen technique and discusses its application in my performances. It also demonstrates the ways that Messiaen’s musical language can be used within jazz piano performance to provide a colour that distinguishes jazz piano performance in a competitive field.Thesis (M.Mus.) -- University of Adelaide, Elder Conservatorium of Music, 201
Nesticus baeticus sp. n., a new troglobitic spider species from south-west Europe (Araneae, Nesticidae)
No full textA new troglobitic species, Nesticus baeticus sp. n. (♂♀), inhabiting the karst landscapes of the high part of the Cazorla, Segura and Las Villas Natural Park (NE Jaén, Spain) where it has been found in 8 caves is diagnosed and described, its distribution and habitat are also analyzed.The new species belongs to the Iberian species group that includes Nesticus luquei, Nesticus lusitanicus and Nesticus murgis. Evolutionary relationships of the Iberian Nesticus species are discussed on the basis of morphological and molecular data (cox1 and rrnL). Arachnida, Araneae, taxonomy, description, new species, caves, Iberian Peninsula, Mediterranean basi
Fully stabilized 750-MHz Yb: fiber frequency comb
No full textThis study focuses on presenting a fully stabilized, self-referenced Yb: fiber frequency comb respectively phase locked to a microwave standard and an optical reference employing the highest, fundamental repetition rate of 750-MHz without additional external amplifiers and compressors. In addition, the challenge of phase locking the carrier envelop offset frequency for this high-repetition-rate fiber frequency comb is separately investigated in two schemes, namely, f-2f self-referencing and an approach of phase locking a beat note between the Yb: fiber frequency comb and a continuous wave laser. (C) 2017 Optical Society of AmericaJapan Science and Technology Agency (JST) through the ERATO MINOSHIMA Intelligent Optical Synthesizer (IOS) Project [JPMJER1304]SCI(E)ARTICLE1011910-119182
JST ERATO Igarashi Design Interface Lab
No full textThis paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the hu-man body as a guide. It consists of a body-sized physical mannequin, a screen, and tangible prop tools for drawing in 3D on and around the mannequin. As the user draws, he/she modifies or creates pieces of digital cloth, which are displayed on a model of the mannequin on the screen. We explore the capacity of our 3D input tools to create a variety of dresses. We also describe observations gained from users designing actual physical garments with the system. Author Keywords Clothing design, DIY, craft, tangible interaction, 3D drawin
There's No Place Like Home
No full textThe phrase 'There’s No Place Like Home' evokes a sense of longing for one’s home and the familiar, comfortable surroundings it provides. It implies that home is a safe and secure place, a sanctuary from the outside world; it is a place where one belongs. However, this is not always the case for the survivors of domestic abuse.In recent years, we faced an incredible increase in incidents of domestic violence these last few years, with Greece having the highest increase during the pandemic (Louloudi et al., 2023). In 2020, 8 victims were reported, and in 2022 this number soared to 24, an increase of 200%. We live in a society where we assume that everything is perfect or are we simply pretending that this is the case. Perhaps we need to stop and reflect: What lies behind these appealing facades of households? What role does the home play in the interpersonal relationships within a family? “I would like people in general, and not only architects, to understand that architecture is not only what it looks like, but also what happens in it.” As Bernard Tschumi adds, “Architecture is defined by the actions it witnesses as much as by the enclosure of its walls”. — Bernard Tschumi, 1981<br/
Parametric Timed Model Checking for Guaranteeing Timed Opacity
No full textThis is the author (and extended) version of the manuscript of the same name published in the proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002) and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JSTInternational audienceInformation leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage is the ability for an attacker to deduce internal information depending on the system execution time. We address the following problem: given a timed system, synthesize the execution times for which one cannot deduce whether the system performed some secret behavior. We solve this problem in the setting of timed automata (TAs). We first provide a general solution, and then extend the problem to parametric TAs, by synthesizing internal timings making the TA secure. We study decidability, devise algorithms, and show that our method can also apply to program analysis
Japanese Way of Scientific and Technological Development
No full textThe author analyses the Japanese way to a global scientific and technological leadership basing on a selective R&D strategy. He describes the system of main tasks to be solved on the basis of R&D achievements for raising the socioeconomic level of Japan. It is emphasized a significant role of the government in supporting the newest directions of technological progress such as «Large Projects», ERATO, PRESTO etc. Some principal measures for promoting and estimating activities of researchers and inventors are considered in details. The article provides an outline of the R&D priorities presented in the national Science and Technology Basic Plans - «Green innovations», «Life innovations», «Cyberspace & Physical Space Technologies». It contains a description of concrete directions and topics examined by Japanese experts in the S&T forecasts prepared by the National Institute of Science and Technology Policy
A evolução do comportamento canibal e não-canibal em imaturos de Heliconius erato phyllis e evidências da herança do reconhecimento de parentesco lagarta-ovo
No full textO reconhecimento de parentes é importante para a evolução de comportamentos como o altruísmo e a cooperação. As lagartas recém-eclodidas de Heliconius erato phyllis podem ser canibais e reconhecer ovos irmãos, canibalizando preferencialmente não-parentes quando há a opção de canibalizar um ou outro. A presente Dissertação compreende três artigos relacionados, especificados a seguir. O primeiro enfoque foi buscar responder se o reconhecimento de parentesco observado nessa espécie (demonstrado em artigo publicado em 2011 pela autora) é compatível com o modelo de evolução por seleção de parentesco, o qual postula que o comportamento altruísta teria vantagens sob determinadas condições. Foram feitas estimativas de custos e benefícios do comportamento canibal (egoísta) e não-canibal (altruísta). Para isso, foram utilizados alguns parâmetros da ontogenia, como peso e volume do ovo, duração de cada ínstar e pupa, dias totais da eclosão até a emergência do adulto, taxa de crescimento, peso da pupa, área das asas, mortalidade de imaturos e sobrevivência sem alimento. Também se verificou o número de irmãos que chegam à fase adulta de canibais e não-canibais. Os resultados mostraram que houve diferenças significantes para volume e peso do ovo (ovos de não-canibais foram menores do que de canibais), e para duração do primeiro ínstar, duração do estágio pupal e total de dias da eclosão até a fase adulta (canibais se desenvolveram mais rápido do que não-canibais). A mortalidade entre canibais e não-canibais não diferiu, mas a sobrevivência sem alimento dos canibais foi significativamente maior. Assim, alguns parâmetros da ontogenia indicaram algumas vantagens do comportamento canibal. No entanto, não-canibais deixaram aproximadamente o dobro de irmãos que chegaram à fase adulta, sendo que irmãos de canibais e de não-canibais tiveram um desenvolvimento igual. Duas modificações da regra de Hamilton foram feitas, a partir das quais se pode concluir que o reconhecimento de parentesco observado nessa espécie pode ter evoluído por seleção de parentesco. Não-canibais tiveram o benefício de deixar mais irmãos, mas sofreram o custo de ter o desenvolvimento um pouco mais lento, embora esses 7 custos tenham se restringido aos estágios imaturos. A segunda abordagem deste estudo, também uma consequência do trabalho de 2011, foi detectar onde está o sinal de reconhecimento no ovo, se no córion e/ou no embrião. Primeiramente, foram realizados testes de canibalismo lagarta-ovo entre meio-irmãos onde o pai era comum (não foi possível produzir meio-irmãos quando a mãe era comum porque em Heliconius erato phyllis, a fêmea é monândrica). A frequência de canibalismo foi comparada com trabalho anterior já referido, onde foi de 53% para ovos irmãos e de 83% para não-parentes. A frequência total de canibalismo observada neste experimento (83,7%) não diferiu da esperada para não-parentes, mas diferiu da frequência de canibalismo esperada para irmãos, sugerindo que lagartas meio-irmãs não reconhecem os ovos restantes como parentes. Este resultado, por si só, reforça a ideia de que a informação sobre o parentesco está no córion do ovo. Realizaram-se também testes de canibalismo entre lagartas para verificar se a informação sobre o parentesco estaria na cutícula que recobre as mesmas, ou em outras estruturas. Em testes de canibalismo entre lagartas de primeiro ínstar, irmãs e não-parentes, a frequência de canibalismo não diferiu significativamente, logo neste primeiro teste não houve evidência de que a fonte do reconhecimento estivesse na lagarta. Já em testes entre lagartas de diferentes ínstares foi possível categorizar diferentes comportamentos, os quais foram denominados de indiferença, fuga, hostilidade, ataque e canibalismo. Também não houve diferença estatisticamente significativa entre lagartas irmãs e nãoirmãs, para as categorias comportamentais analisadas. Esses resultados sugerem que o sinal avaliado para o reconhecimento de parentesco está no córion do ovo e não na lagarta. O terceiro enfoque desse estudo foi fazer inferências sobre o modo de herança do reconhecimento de parentesco (e canibalismo) nesta espécie, através de cruzamentos, entre canibais irmãos (r = 0,5) e não-parentes (r = 0), e entre não-canibais irmãos e não-parentes. A prole destes cruzamentos foi analisada quanto ao comportamento canibal e não-canibal. A ontogenia das lagartas canibais e não-canibais resultantes dos cruzamentos, bem como dos ovos restantes, foi acompanhada, a fim de verificar se existem diferenças no desenvolvimento entre indivíduos com diferentes coeficientes de endocruzamento. As variáveis analisadas foram peso e volume do ovo, duração 8 dos ínstares e pupa, tempo total da eclosão até o adulto, taxa de crescimento, peso da pupa, área das asas e mortalidade de imaturos. Independentemente do comportamento parental, para F = 0,25, houve uma frequência elevada de nãocanibais (> 70%). Já para F = 0, a frequência de lagartas canibais foi alta (> 50%). Houve diferenças estatisticamente significativas entre o grupo não-endocruzado e endocruzado para peso da pupa e área das asas (endocruzados menores que não-endocruzados) e para mortalidade de imaturos (maior para endocruzados). Os resultados sugerem que o reconhecimento de parentesco tem um forte componente genético, enquanto que o canibalismo parece ser principalmente devido à ausência ou a poucos genes para reconhecimento, podendo ter importante influência ambiental. Por outro lado, o endocruzamento produziu efeitos no sentido de expressar a depressão pelo endocruzamento. Neste sentido, embora o presente trabalho utilizasse diferentes variáveis, ele confirmou os efeitos deletérios do endocruzamento, já publicados em artigo anterior, com a mesma espécie.Kin recognition is important for the evolution of behaviors such as altruism and cooperation. Newly hatched caterpillars of Heliconius erato phyllis may be cannibals and recognize sibling eggs, preferentially cannibalizing non-kin when there is an option to cannibalize one or other. The present Dissertation comprises three related articles, specified below. The first approach was to try answering whether kin recognition observed in this species (demonstrated in an paper published in 2011 by the author), is compatible with the model of evolution by kin selection, which postulates that altruistic behavior is advantageous under given conditions. Costs and benefits of cannibalistic (selfish) and non-cannibalistic (altruist) behaviors were estimated. For this, a few parameters of ontogeny were used, such as egg weight and volume, duration of each instar and pupa, total days from hatching to adult emergence, growth rate, weight of the pupa, wings area, mortality of immatures and survival under starvation. The number of siblings of cannibals and non-cannibals that reach adulthood was also verified. The results showed that there were significant differences for egg volume and weight (noncannibal eggs are smaller than cannibal ones), and for duration of the first instar during the pupal stage, and total number of days from hatching to the adult stage (cannibals develop faster than non-cannibals).There was no difference in mortality between cannibals and non-cannibals, but cannibal survival without food was significantly higher. Thus, a few parameters of ontogeny indicate a few advantages of cannibal behavior. However, non-cannibals leave approximately double the number of siblings that reach adulthood, and siblings of cannibals and non-cannibals have the same development. Two modifications of Hamilton’s rule were made, from which it can be concluded that kin recognition observed in this species may have evolved by kin selection. Non-cannibals have the benefit of leaving more siblings, but suffer the cost of developing slightly slower, although these costs are limited to the immature stages. The second approach of this study, also a consequence of the 2011 work, was to detect where the recognition signal of the egg is, if in the chorion and/or in the embryo. First, cannibalism tests were 10 performed among half-siblings with the same father (it was not possible to produce half-siblings with the same mother, because in Heliconius erato phyllis, the female is monandric). The frequency of cannibalism was compared to the previous, aforementioned work, where it was 53% for sibling eggs and 83% for non-kin. The total frequency of cannibalism observed in this experiment (83.7%) is not different from that expected for non-kin, but different from the frequency of cannibalism expected for siblings, suggesting that half-sibling caterpillars do not recognize the remaining eggs as kin. This result in itself supports the idea that information about kinship is in the chorion of the egg. Cannibalism tests were also performed among caterpillars to verify whether the information about kinship could be in the cuticle that covers them, or in other structures. In cannibalism tests among first instar caterpillars that are siblings and non-kin, the frequency of cannibalism was not significantly different, thus, in this first test there was no evidence that the source of recognition was in the caterpillar. On the other hand, in tests among caterpillars from different instars, different behaviors could be categorized, and they were called indifference, flight, hostility, attack and cannibalism. There was also no statistically significant difference between sibling and non-sibling caterpillars, for the behavior categories analyzed. These results suggest that the signal evaluated for kin recognition is in the chorion of the egg, not in the caterpillar. The third approach of this study was to make inferences about the mode of inheritance of kin recognition (and cannibalism) in this species, by crosses, between sibling (r = 0.5) and non-kin (r = 0) cannibals, and between sibling and non-kin noncannibals. The offspring of these crosses was analyzed regarding cannibal and non-cannibal behavior. The ontogeny of cannibal and non-cannibal caterpillars resulting from the crosses, as well as of the remaining eggs, was followed to find whether there were differences in the development among individuals with different coefficients of inbreeding. The variables analyzed were egg weight and volume, duration of instars and pupa, total time from hatching to adulthood, growth rate, weight of pupa, area of wings and immature mortality. Independently of the parental behavior, for F = 0.25 there was a high frequency of non-cannibals (> 70%). On the other hand, for F = 0, there was a high frequency of cannibal caterpillars (> 50%). There were statistically significant differences among the non11 inbred and the inbred group for weight of the pupa and wing area (inbred smaller than non-inbred), and for mortality of the immatures (greater for inbred). The results suggest that kin recognition has a strong genetic component, while cannibalism appears to be due mainly to the absence or to few genes for recognition, and may have suffered major environmental influence. On the other hand, inbreeding produced effects, in the sense of expressing inbreeding depression. In this sense, although the present study used different variables, it confirms the deleterious effects of inbreeding, already published in a previous article on the same species
Exemplifying parametric timed specifications over signals with bounded behavior
No full textSpecifying properties can be challenging work. In this paper, we propose an
automated approach to exemplify properties given in the form of automata
extended with timing constraints and timing parameters, and that can also
encode constraints over real-valued signals. That is, given such a
specification and given an admissible automaton for each signal, we output
concrete runs exemplifying real (or impossible) runs for this specification.
Specifically, our method takes as input a specification, and a set of
admissible behaviors, all given as a subclass of rectangular hybrid automata,
namely timed automata extended with arbitrary clock rates, signal constraints,
and timing parameters. Our method then generates concrete runs exemplifying the
specification.Comment: This is the author (and extended) version of the manuscript of the
same name published in the proceedings of the 14th NASA Formal Methods
Symposium (NFM 2022). This work is partially supported by ERATO HASUO
Metamathematics for Systems Design Project (No. JPMJER1603), JST and by the
ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015
A new sulfur bioconversion process development for energy- and space-efficient secondary wastewater treatment
No full textHarvesting organic matter from wastewater is widely applied to maximize
energy recovery; however, it limits the applicability of secondary treatment
for acceptable effluent discharge into surface water bodies. To turn this
bottleneck issue into an opportunity, this study developed oxygen-induced
thiosulfatE production duRing sulfATe reductiOn (EARTO) to provide an efficient
electron donor for wastewater treatment. Typical pretreated wastewater was
synthesized with chemical oxygen demand of 110 mg/L, sulfate of 50 mg S/L, and
varying dissolved oxygen (DO) and was fed into a moving-bed biofilm reactor
(MBBR). The MBBR was operated continuously with a short hydraulic retention
time of 40 min for 349 days. The formation rate of thiosulfate reached
0.12-0.18 g S/(m2.d) with a high produced thiosulfate-S/TdS-S ratio of 38-73%
when influent DO was 2.7-3.6 mg/L. The sludge yield was 0.23-0.29 gVSS/gCOD,
much lower than it was in conventional activated sludge processes. Then, batch
tests and metabolism analysis were conducted to confirm the oxygen effect on
thiosulfate formation, characterize the roles of sulfate and microbial
activities, and explore the mechanism of oxygen-induced thiosulfate formation
in ERATO. Results examined that oxygen supply promoted the
thiosulfate-Sproduced/TdS-Sproduced ratio from 4% to 24-26%, demonstrated that
sulfate and microbial activities were critical for thiosulfate production, and
indicated that oxygen induces thiosulfate formation through two pathways: 1)
direct sulfide oxidation, and 2) indirect sulfide oxidation, sulfide is first
oxidized to S0 (dominant) which then reacts with sulfite derived from
oxygen-regulated biological sulfate reduction. The proposed compact ERATO
process, featuring high thiosulfate production and low sludge production,
supports space- and energy-efficient secondary wastewater treatment.Comment: Written by Chu-Kuan Jiang; edited by Yang-Fan Deng, Hongxiao Guo,
Guang-Hao Chen, Di Wu; Corresponding authors: Guang-Hao Chen, Di Wu; Last
author (team leader): Guang-Hao Che
