Sister Practices: Non-Normative Experiences of Time and Technology

This chapter summarises some of the learning from a material practice that sits in a sisterly manner next to architecture. Drawing on feminist writing and the experiences of women in professional life more generally, the chapter will examine how mainstream understanding of time and technology limit the engagement of those people in society who do not fit given norms. The chapter argues that when we examine such concepts in more detail and expand them to reflect diverse experiences those very same concepts offer new potentials and innovative openings for the progression of disciplines such as architecture.

On Reasonable Space and Time Cost Models for the λ-Calculus

Slot and van Emde Boas Invariance Thesis states that a time (respectively, space) cost model is reasonable for a computational model C if there are mutual simulations between Turing machines and C such that the overhead is polynomial in time (respectively, linear in space). The rationale is that under the Invariance Thesis, complexity classes such as LOGSPACE, P, PSPACE, become robust, i.e. machine independent. In this dissertation, we want to find out if it possible to define a reasonable space cost model for the lambda-calculus, the paradigmatic model for functional programming languages. We start by considering an unusual evaluation mechanism for the lambda-calculus, based on Girard's Geometry of Interaction, that was conjectured to be the key ingredient to obtain a space reasonable cost model. By a fine complexity analysis of this schema, based on new variants of non-idempotent intersection types, we disprove this conjecture. Then, we change the target of our analysis. We consider a variant over Krivine's abstract machine, a standard evaluation mechanism for the call-by-name lambda-calculus, optimized for space complexity, and implemented without any pointer. A fine analysis of the execution of (a refined version of) the encoding of Turing machines into the lambda-calculus allows us to conclude that the space consumed by this machine is indeed a reasonable space cost model. In particular, for the first time we are able to measure also sub-linear space complexities. Moreover, we transfer this result to the call-by-value case. Finally, we provide also an intersection type system that characterizes compositionally this new reasonable space measure. This is done through a minimal, yet non trivial, modification of the original de Carvalho type system.

TRAVELLING THROUGH PITCH SPACE SPEEDS UP MUSICAL TIME

SEVERAL MODELS OF TIME ESTIMATION HAVE BEEN developed in psychology; a few have been applied to music. In the present study, we assess the influence of the distances travelled through pitch space on retrospective time estimation. Participants listened to an isochronous chord sequence of 20-s duration. They were unexpectedly asked to reproduce the time interval of the sequence. The harmonic structure of the stimulus was manipulated so that the sequence either remained in the same key (CC) or travelled through a closely related key (CFC) or distant key (CGbC). Estimated times were shortened when the sequence modulated to a very distant key. This finding is discussed in light of Lerdahl's Tonal Pitch Space Theory (2001), Firmino and Bueno's Expected Development Fraction Model (in press), and models of time estimation.

Residence time distribution in holding tubes using generalized convection model and numerical convolution for non-ideal tracer detection

A procedure is proposed for the determination of the residence time distribution (RTD) of curved tubes taking into account the non-ideal detection of the tracer. The procedure was applied to two holding tubes used for milk pasteurization in laboratory scale. Experimental data was obtained using an ionic tracer. The signal distortion caused by the detection system was considerable because of the short residence time. Four RTD models, namely axial dispersion, extended tanks in series, generalized convection and PER + CSTR association, were adjusted after convolution with the E-curve of the detection system. The generalized convection model provided the best fit because it could better represent the tail on the tracer concentration curve that is Caused by the laminar velocity profile and the recirculation regions. Adjusted model parameters were well cot-related with the now rate. (C) 2010 Elsevier Ltd. All rights reserved.

Infinite horizon MPC with non-minimal state space feedback

In the MPC literature, stability is usually assured under the assumption that the state is measured. Since the closed-loop system may be nonlinear because of the constraints, it is not possible to apply the separation principle to prove global stability for the Output feedback case. It is well known that, a nonlinear closed-loop system with the state estimated via an exponentially converging observer combined with a state feedback controller can be unstable even when the controller is stable. One alternative to overcome the state estimation problem is to adopt a non-minimal state space model, in which the states are represented by measured past inputs and outputs [P.C. Young, M.A. Behzadi, C.L. Wang, A. Chotai, Direct digital and adaptative control by input-output, state variable feedback pole assignment, International journal of Control 46 (1987) 1867-1881; C. Wang, P.C. Young, Direct digital control by input-output, state variable feedback: theoretical background, International journal of Control 47 (1988) 97-109]. In this case, no observer is needed since the state variables can be directly measured. However, an important disadvantage of this approach is that the realigned model is not of minimal order, which makes the infinite horizon approach to obtain nominal stability difficult to apply. Here, we propose a method to properly formulate an infinite horizon MPC based on the output-realigned model, which avoids the use of an observer and guarantees the closed loop stability. The simulation results show that, besides providing closed-loop stability for systems with integrating and stable modes, the proposed controller may have a better performance than those MPC controllers that make use of an observer to estimate the current states. (C) 2008 Elsevier Ltd. All rights reserved.

Performance of a multi-level TDR system exposed to tropical field conditions - A time-space comparison with tensiometry

Time-domain reflectometry (TDR) is an important technique to obtain series of soil water content measurements in the field. Diode-segmented probes represent an improvement in TDR applicability, allowing measurements of the soil water content profile with a single probe. In this paper we explore an extensive soil water content dataset obtained by tensiometry and TDR from internal drainage experiments in two consecutive years in a tropical soil in Brazil. Comparisons between the variation patterns of the water content estimated by both methods exhibited evidences of deterioration of the TDR system during this two year period at field conditions. The results showed consistency in the variation pattern for the tensiometry data, whereas TDR estimates were inconsistent, with sensitivity decreasing over time. This suggests that difficulties may arise for the long-term use of this TDR system under tropical field conditions. (c) 2008 Elsevier B.V. All rights reserved.

Swapping space for time and unfair tests of ecological models

Testing ecological models for management is an increasingly important part of the maturation of ecology as an applied science. Consequently, we need to work at applying fair tests of models with adequate data. We demonstrate that a recent test of a discrete time, stochastic model was biased towards falsifying the predictions. If the model was a perfect description of reality, the test falsified the predictions 84% of the time. We introduce an alternative testing procedure for stochastic models, and show that it falsifies the predictions only 5% of the time when the model is a perfect description of reality. The example is used as a point of departure to discuss some of the philosophical aspects of model testing.

Time to rehospitalization in patients with schizophrenia discharged on first generation antipsychotics, non-clozapine second generation antipsychotics, or clozapine

Rehospitalization is an important outcome of drug effectiveness in schizophrenia. In this study, the hypothesis that clozapine and some second generation antipsychotics (SGA) were superior to first generation antipsychotics (FGA) in preventing rehospitalization of patients with schizophrenia discharged from a university hospital in Brazil was tested. A retrospective observational study was conducted designed to evaluate time to rehospitalization of patients with schizophrenia discharged on a regimen of oral FGA, depot FGA, risperidone, olanzapine and amisulpride, other SGA, or clozapine, during a three-year follow-up period. Risk factors associated with rehospitalization were examined. Of the 464 patients with schizophrenia discharged from hospital, 242 met criteria for study entry. Higher rehospitalization rates were observed in patients treated with depot FGA (30%), risperidone (30%) and other SGA groups (28.5%), respectively. Clozapine was significantly associated with lower rehospitalization risk compared with risperidone. The risk of rehospitalization in patients on olanzapine and amisulpride, and oral FGA, was similar to that of patients in use of clozapine. These results however, are limited by the heterogeneity of illness severity across the groups. (C) 2011 Elsevier Ireland Ltd. All rights reserved.

Gene expression profile analysis of primary glioblastomas and non-neoplastic brain tissue: identification of potential target genes by oligonucleotide microarray and real-time quantitative PCR

The prognosis of glioblastomas is still extremely poor and the discovery of novel molecular therapeutic targets can be important to optimize treatment strategies. Gene expression analyses comparing normal and neoplastic tissues have been used to identify genes associated with tumorigenesis and potential therapeutic targets. We have used this approach to identify differentially expressed genes between primary glioblastomas and non-neoplastic brain tissues. We selected 20 overexpressed genes related to cell cycle, cellular movement and growth, proliferation and cell-to-cell signaling and analyzed their expression levels by real time quantitative PCR in cDNA obtained from microdissected fresh tumor tissue from 20 patients with primary glioblastomas and from 10 samples of non-neoplastic white matter tissue. The gene expression levels were significantly higher in glioblastomas than in non-neoplastic white matter in 18 out of 20 genes analyzed: P < 0.00001 for CDKN2C, CKS2, EEF1A1, EMP3, PDPN, BNIP2, CA12, CD34, CDC42EP4, PPIE, SNAI2, GDF15 and MMP23b; and NFIA (P: 0.0001), GPS1 (P: 0.0003), LAMA1 (P: 0.002), STIM1 (P: 0.006), and TASP1 (P: 0.01). Five of these genes are located in contiguous loci at 1p31-36 and 2 at 17q24-25 and 8 of them encode surface membrane proteins. PDPN and CD34 protein expression were evaluated by immunohistochemistry and they showed concordance with the PCR results. The present results indicate the presence of 18 overexpressed genes in human primary glioblastomas that may play a significant role in the pathogenesis of these tumors and that deserve further functional investigation as attractive candidates for new therapeutic targets.

Time will tell: Ambiguous non-responses on internet relay chat

The design of Internet Relay Chat (IRC) affords for, and itself produces, non-response situations that are not possible in FTF or telephone interaction. These system-occasioned nonresponses produce almost isomorphic stimuli to participant non-responses. Situations thus arise in which non-responses are interpersonally accountable despite agentive ambiguity. This study explores four intersections of participant-action and system-occasioned non-responses. An extension to Pomerantz's (1984b) 'pursuing a response' problems/solutions is proposed. The impact of IRC's design on its popularity is discussed in contrast to more recent chat systems. Suggestions are made for active and passive presence and non-response accounting features in future chat systems.

Supporting real-time parallel task models with work-stealing

Dynamic parallel scheduling using work-stealing has gained popularity in academia and industry for its good performance, ease of implementation and theoretical bounds on space and time. Cores treat their own double-ended queues (deques) as a stack, pushing and popping threads from the bottom, but treat the deque of another randomly selected busy core as a queue, stealing threads only from the top, whenever they are idle. However, this standard approach cannot be directly applied to real-time systems, where the importance of parallelising tasks is increasing due to the limitations of multiprocessor scheduling theory regarding parallelism. Using one deque per core is obviously a source of priority inversion since high priority tasks may eventually be enqueued after lower priority tasks, possibly leading to deadline misses as in this case the lower priority tasks are the candidates when a stealing operation occurs. Our proposal is to replace the single non-priority deque of work-stealing with ordered per-processor priority deques of ready threads. The scheduling algorithm starts with a single deque per-core, but unlike traditional work-stealing, the total number of deques in the system may now exceed the number of processors. Instead of stealing randomly, cores steal from the highest priority deque.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Fractional State Space Analysis of Temperature Time Series

Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.