Miracle-dz/UniFAR-FTUs huggingface dataset:
Early career teachers in Australia: a critical policy historiography

Abstract Amid the growing ‘teacher quality’ discourse, early career teachers have increasingly been positioned as problematic in Australian education policy discourses over the past decade. This paper uses a critical policy historiography approach to compare representations of early career teachers in two key education policy documents, from the late 1990s and mid-2010s. Starting with the Government response to A Class Act: Inquiry into the Status of the Teaching Profession (1998) and moving to the Government response to Action Now: Classroom Ready Teachers (2015), it explores changing representations in the context of broader shifts in education policy related to teachers’ work over this timeframe. It argues that the early career teacher ‘problem’ is articulated in very different ways in these two timeframes, explores the antecedents of key tenets of the current policy settlement, and, using the theory of practice architectures, considers the implications of these for the preconditions that shape and frame teachers’ work in contemporary times.
TapBoard: making a touch screen keyboard more touchable

A physical keyboard key has three states, whereas a touch screen usually has only two. Due to this difference, the state corresponding to the touched state of a physical key is missing in a touch screen keyboard. This touched state is an important factor in the usability of a keyboard. In order to recover the role of a touched state in a touch screen, we propose the TapBoard, a touch screen software keyboard that regards tapping actions as keystrokes and other touches as the touched state. In a series of user studies, we validate the effectiveness of the TapBoard concept. First, we show that tapping to type is in fact compatible with the existing typing skill of most touch screen keyboard users. Second, users quickly adapt to the TapBoard and learn to rest their fingers in the touched state. Finally, we confirm by a controlled experiment that there is no difference in text-entry performance between the TapBoard and a traditional touch screen software keyboard. In addition to these experimental results, we demonstrate a few new interaction techniques that will be made possible by the TapBoard.
A computer assistant for remote collaborative troubleshooting of domestic medical instruments

Patients suffering from chronic illness, such as diabetes, use various domestic instruments as part of their self-care. For older adults, there is a need for assistance to use the instruments adequately and to solve technical failures. Following the eHealth concept, we designed a computer assistant for an older adult and a technical specialist, which supports remote collaborative troubleshooting which tailors the feedback to the userspsila needs. We evaluated two feedback styles, i.e., cooperative and directive, in the TNO experience lab, with older and younger adults playing the role of patient and technical specialist, respectively, in ldquofailure scenariosrdquo. Results show that most effective troubleshooting occurs with teams consisting of a older patient receiving cooperative feedback and a younger technical specialist receiving directive feedback. In addition, the patient experienced more effort than the technical specialist. Further, different personal characteristics had moderating effects on the evaluation of the feedback styles. Our study concluded that different user groups require different feedback styles and that computer assistance for remote collaborative troubleshooting will be optimal when this feedback is personalized.
Deprogramming Large Software Systems

Developers turn ideas, designs and patterns into source code, then compile the source code into executables. Decompiling turns executables back into source code, and deprogramming turns code back into designs and patterns. In this paper we introduce DeP, a tool for deprogramming software systems. DeP abstracts code into a dependency graph and mines this graph for patterns. It also gives programmers visual means for manipulating the program. We describe DeP's use in several software engineering tasks: design pattern identification, source code refactoring, copy-paste detection, automated code documentation, and programmer fingerprint recognition.
Towards a knowledge cartography approach

We propose in this paper a new approach for knowledge cartography which aims to visualize knowledge of the organization among a clear representation. On the one hand, knowledge cartography approach identifies knowledge and evaluates it on the other hand. Moreover, it aims to visualize this knowledge through an understandable graphical representation. This approach has been tested in the organization of protection of motor-disabled of Sfax-Tunisia (ASHMS).
SIALIC ACID IN LIPOPROTEINS WITH A SPECIAL REFERENCE TO LOW DENSITY LIPOPROTEINS

This thesis is based on the following original articles, which are referred to in the text by their Roman numerals. acid content of LDL and lipoprotein metabolism in combined hyperlipidemia and primary moderate hypercholesterolemia. acid content of LDL and its relation to lipid concentrations and metabolism of LDL and cholesterol. Submitted. increases the sialic acid content of LDL in hypercholesterolemic patients. Atherosclerosis. In press. 8 ABBREVIATIONS AMI acute myocardial infarction ANOVA analysis of variance apo apolipoprotein Asn asparagine BMI body mass index BMDP BioMedical Data Program CAD coronary artery disease CE cholesterol ester CETP cholesterol ester transfer protein CM chylomicron CMR chylomicron remnant d density DM diabetes mellitus FCHL familial combined hyperlipidemia FCR fractional catabolic rate FFA free fatty acids FH familial hypercholesterolemia HDL high density lipoprotein HL hepatic lipase HMG-CoA 3-hydroxy-3-methylglutaryl coenzyme A IDL intermediate density lipoprotein LCAT lecithin:cholesterol acyltransferase LDL low density lipoprotein Lp(a) lipoprotein(a) LPL lipoprotein lipase PLTP phospholipid transfer protein TG triglyceride TR transport rate TSA total sialic acid VLDL very low density lipoprotein 9 1 INTRODUCTION
An Unsupervised Anomaly Detection Approach for Spacecraft Based on Normal Behavior Clustering

This paper presents a new unsupervised anomaly detection approach for spacecraft based on normal behavior clustering. This method takes as input a set of unlabelled historical telemetry data and automatically detects anomalies within the data. After these abnormal data are removed, the method constructs system normal behavior model based on normal data clustering. Then at run-time, it monitors the status of the spacecraft and detects any anomalies appearing in the real-time telemetry data by checking deviations from the normal behavior model. The experimental results show that the method is efficient and practical for anomaly detection of spacecraft system.
Repeated Games with Asynchronous Monitoring

We study two modi cations of the standard model of repeated games with public signals. In one modi cation, players osberve an underlying public signal at random and privately known times, where the public signals are Poisson events and either the observations occur within a small epsilon time interval or the obsevations have an exponential waiting times. In the second modi cation, the players observe the position of a di¤usion process with a small amount of noise. We show that in the Poisson cases the high-frequency limist are the same as in the Fudenberg and Levine [2007, 2008] study of high-frequency public signals, but that the limits can di¤er when the signals correspond to a di¤usion.
Power Conscious RTL Test Scheduling

In the paper, a methodology of power conscious RTL test scheduling is described. The methodology is based on the fact that circuit under analysis (CUA) is partitioned into testable blocks (TB), the information about the partitioning is the input information for the methodology. TBs are mapped into AMI platform, for each TB the sequences of test vectors are then derived, a professional tool is used for this purpose. The sequences of test vectors are then reordered with the goal to reduce power consumption during test application by reducing switching activities. The power consumption estimation is combined with the implemented platform which allows to gain more precise results. The values of TBs power consumption are then used in RTL test scheduling methodology. The goal is to find test schedule with lowest test application time and lower power consumption than the required maximal value.
I Gave Too Much

Low self-esteem is often related to interpersonal difficulties. In fact, low self-esteem people fear rejection and tend to adopt self-protection goals. In the present work, we tested the idea that when low self-esteem individuals decide to sacrifice personal preferences for their relationship, they come to regret those actions, with further consequences for their well-being. We conducted a study with 130 couples, using experience sampling, daily diary, and a 1-year follow-up assessment. Results showed that low self-esteem is related to greater regret of past sacrifices, which, in turn, affects negative mood, stress, and life satisfaction. Furthermore, mediation analyses revealed that low self-esteem individuals feel less supported by the partner after they sacrifice, which helps explaining why they come to regret their sacrifices.
Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol

The Secure Shell (SSH) protocol is widely used to provide secure remote access to servers, making it among the most important security protocols on the Internet. We show that the signed-Diffie--Hellman SSH ciphersuites of the SSH protocol are secure: each is a secure authenticated and confidential channel establishment (ACCE) protocol, the same security definition now used to describe the security of Transport Layer Security (TLS) ciphersuites. While the ACCE definition suffices to describe the security of individual ciphersuites, it does not cover the case where parties use the same long-term key with many different ciphersuites: it is common in practice for the server to use the same signing key with both finite field and elliptic curve Diffie--Hellman, for example. While TLS is vulnerable to attack in this case, we show that SSH is secure even when the same signing key is used across multiple ciphersuites. We introduce a new generic multi-ciphersuite composition framework to achieve this result in a black-box way.
Hypoxia-Inducible Factor 1α Determines Gastric Cancer Chemosensitivity via Modulation of p53 and NF-κB

Background Reduced chemosensitivity of solid cancer cells represents a pivotal obstacle in clinical oncology. Hence, the molecular characterization of pathways regulating chemosensitivity is a central prerequisite to improve cancer therapy. The hypoxia-inducible factor HIF-1α has been linked to chemosensitivity while the underlying molecular mechanisms remain largely elusive. Therefore, we comprehensively analysed HIF-1α's role in determining chemosensitivity focussing on responsible molecular pathways. Methodology and Principal Findings RNA interference was applied to inactivate HIF-1α or p53 in the human gastric cancer cell lines AGS and MKN28. The chemotherapeutic agents 5-fluorouracil and cisplatin were used and chemosensitivity was assessed by cell proliferation assays as well as determination of cell cycle distribution and apoptosis. Expression of p53 and p53 target proteins was analyzed by western blot. NF-κB activity was characterized by means of electrophoretic mobility shift assay. Inactivation of HIF-1α in gastric cancer cells resulted in robust elevation of chemosensitivity. Accordingly, HIF-1α-competent cells displayed a significant reduction of chemotherapy-induced senescence and apoptosis. Remarkably, this phenotype was completely absent in p53 mutant cells while inactivation of p53 per se did not affect chemosensitivity. HIF-1α markedly suppressed chemotherapy-induced activation of p53 and p21 as well as the retinoblastoma protein, eventually resulting in cell cycle arrest. Reduced formation of reactive oxygen species in HIF-1α-competent cells was identified as the molecular mechanism of HIF-1α-mediated inhibition of p53. Furthermore, loss of HIF-1α abrogated, in a p53-dependent manner, chemotherapy-induced DNA-binding of NF-κB and expression of anti-apoptotic NF-κB target genes. Accordingly, reconstitution of the NF-κB subunit p65 reversed the increased chemosensitivity of HIF-1α-deficient cells. Conclusion and Significance In summary, we identified HIF-1α as a potent regulator of p53 and NF-κB activity under conditions of genotoxic stress. We conclude that p53 mutations in human tumors hold the potential to confound the efficacy of HIF-1-inhibitors in cancer therapy.
An improved charge pump circuit for non-volatile memories in RFID tags

In this paper, we present an improved charge pump circuit for the non-volatile memories in RFID tags. The circuit consists of a single pumping branch without auxiliary capacitors and operates with a simple two-phase clock. The internal high voltages are used to control the gate and bulk terminals of the charge transfer switch. As a result, the threshold voltage loss and the leakage currents are eliminated. An eight-stage charge pump circuit with each pumping capacitance of 0.5pF has been implemented in a 0. 18µm standard CMOS process. The measured results show that the output voltage reaches 8.4V with 44MΩ resistive load under the supply voltage of 1.5V and clock frequency of 0.78MHz. The clock driver and the charge pump totally consume a current of 3µA.
Experimental Studies on Various Types of Animal Mimicking Robots

We have studied various types of animal mimicking robots, such as a fish robot, birds robot and an insect robot, since 2000. In the studies of the fish and the bird robots, optimization of the complex motions of swimming in the water and the flapping in the air were optimized in order to generate the maximum propulsion forces. In the studies of the robot of insect type, aerodynamic studies using a wind tunnel were performed. We also developed an advanced wind tunnel experimental method, by which small flapping robots of insect type can fly statically at a fixed point in the wind tunnel. It enables us to measure or observe various aerodynamic characteristics of the flapping micro air vehicles.
Total-Order R/p lti-Agent Task-Network Planning for Contract

This paper describes the results of applying a modified version of hierarchical task-network (HTN) planning to the problem of declarer play in contract bridge. We represent information about bridge in a task network that is extended to represent multi-agency and uncertainty. Our game-playing procedure uses this task network to generate game trees in which the set of alternative choices is determined not by the set of possible actions, but by the set of available tactical and strategic schemes. This approach avoids the difficulties that traditional game-tree search techniques have with imperfectinformation games such as bridge-but it also differs in several significant ways from the planning techniques used in typical HTN planners. We describe why these modifications were needed in order to build a successful planner for bridge. This same modified HTN planning strategy appears to be useful in a variety of application domains-for example, we have used the same planning techniques in a processplanning system for the manufacture of complex electromechanical devices (Hebbar et al. 1996). We discuss why the same technique has been successful in two such diverse domains.
Assessing the impact of Laurentide Ice Sheet topography on glacial climate

Abstract. Simulations of past climates require altered boundary conditions to account for known shifts in the Earth system. For the Last Glacial Maximum (LGM) and subsequent deglaciation, the existence of large Northern Hemisphere ice sheets caused profound changes in surface topography and albedo. While ice-sheet extent is fairly well known, numerous conflicting reconstructions of ice-sheet topography suggest that precision in this boundary condition is lacking. Here we use a high-resolution and oxygen-isotope-enabled fully coupled global circulation model (GCM) (GISS ModelE2-R), along with two different reconstructions of the Laurentide Ice Sheet (LIS) that provide maximum and minimum estimates of LIS elevation, to assess the range of climate variability in response to uncertainty in this boundary condition. We present this comparison at two equilibrium time slices: the LGM, when differences in ice-sheet topography are maximized, and 14 ka, when differences in maximum ice-sheet height are smaller but still exist. Overall, we find significant differences in the climate response to LIS topography, with the larger LIS resulting in enhanced Atlantic Meridional Overturning Circulation and warmer surface air temperatures, particularly over northeastern Asia and the North Pacific. These up- and downstream effects are associated with differences in the development of planetary waves in the upper atmosphere, with the larger LIS resulting in a weaker trough over northeastern Asia that leads to the warmer temperatures and decreased albedo from snow and sea-ice cover. Differences between the 14 ka simulations are similar in spatial extent but smaller in magnitude, suggesting that climate is responding primarily to the larger difference in maximum LIS elevation in the LGM simulations. These results suggest that such uncertainty in ice-sheet boundary conditions alone may significantly impact the results of paleoclimate simulations and their ability to successfully simulate past climates, with implications for estimating climate sensitivity to greenhouse gas forcing utilizing past climate states.
On the behavior of Dempster's rule of combination and the foundations of Dempster-Shafer Theory

On the base of simple emblematic example we analyze and explain the inconsistent and inadequate behavior of Dempster-Shafer's rule of combination as a valid method to combine sources of evidences. We identify the cause and the effect of the dictatorial power behavior of this rule and of its impossibility to manage the conflicts between the sources. For a comparison purpose, we present the respective solution obtained by the more efficient PCR5 fusion rule proposed originally in Dezert-Smarandache Theory framework. Finally, we identify and prove the inherent contradiction of Dempster-Shafer Theory foundations.
Eurographics/ Acm Siggraph Symposium on Computer Animation (2007) Harmonic Skeleton for Realistic Character Animation

Permission to make digital or hard copies of part or all of this wor k for per sonal or classr oom use is granted without fee provided that copies are not made or distributed for commer cial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this wor k owned by other s than ACM must be honored. Abstracting with cr edit is permitted. To copy other wise, to republish, to post on ser ver s, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions Dept, ACM Abstract Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location of the joints does not usually match the real bone structure of the model. This paper proposes the use of anatomical information to enhance the skeleton. Using a harmonic function, this information can be recovered from the skeleton itself, which is guaranteed not to have undesired endpoints. The skeleton is computed as a Reeb graph of such a function over the surface of the model. Starting from one point selected on the head of the character, the entire process is fast, automatic and robust; it generates skeletons whose joints can be associated with the character's anatomy. Results are provided, including a quantitative validation of the generated skeletons.
BioCreative V BioC track overview: collaborative biocurator assistant task for BioGRID

BioC is a simple XML format for text, annotations and relations, and was developed to achieve interoperability for biomedical text processing. Following the success of BioC in BioCreative IV, the BioCreative V BioC track addressed a collaborative task to build an assistant system for BioGRID curation. In this paper, we describe the framework of the collaborative BioC task and discuss our findings based on the user survey. This track consisted of eight subtasks including gene/protein/organism named entity recognition, protein–protein/genetic interaction passage identification and annotation visualization. Using BioC as their data-sharing and communication medium, nine teams, world-wide, participated and contributed either new methods or improvements of existing tools to address different subtasks of the BioC track. Results from different teams were shared in BioC and made available to other teams as they addressed different subtasks of the track. In the end, all submitted runs were merged using a machine learning classifier to produce an optimized output. The biocurator assistant system was evaluated by four BioGRID curators in terms of practical usability. The curators’ feedback was overall positive and highlighted the user-friendly design and the convenient gene/protein curation tool based on text mining. Database URL: http://www.biocreative. org/tasks/biocreative-v/track-1-bioc/
An L 2 Norm Trajectory-Based Local Linearization for Low Order Systems

Abstract This paper presents a linear transformation for low order nonlinear autonomous differential equations. The procedure consists of a trajectory-based local linearization, which approximates the nonlinear system in the neighborhood of its equilibria. The approximation is possible even in the non-hyperbolic case which is of a particular interest. The linear system is derived using an L 2 norm optimization and the method can be used to approximate the derivative at the equilibrium position. Unlike the classical linearization, the L 2 norm linearization depends on the initial state and has the same order as the nonlinearity. Simulation results show good agreement of the suggested method with the nonlinear system.
What Happened to the NGC 6251 Counterjet?

We have used the Very Long Baseline Array to produce a high dynamic range image of the nucleus of NGC 6251 at 1.6 GHz and snapshot images at 5.0, 8.4, and 15.3 GHz to search for emission from a parsec-scale counterjet. Previous VLBI images at 1.6 GHz have set a lower limit for the jet/counterjet brightness ratio near the core at about 80:1, which is larger than expected, given the evidence that the radio axis is fairly close to the plane of the sky. A possible explanation is that the inner few parsecs of the counterjet are hidden by free-free absorption by ionized gas associated with an accretion disk or torus. This would be consistent with the nearly edge-on appearance of the arcsecond-scale dust disk seen in the center of NGC 6251 by Hubble Space Telescope (HST). We detect counterjet emission close to the core at 1.6 GHz, but not at the higher frequencies. Given that the optical depth of free-free absorption falls off more rapidly with increasing frequency than the optically thin synchrotron emission from a typical radio jet, this result implies that the absence of a detectable parsec-scale counterjet at high frequencies is not due to free-free absorption unless the density of ionized gas is extremely high and we have misidentified the core at 1.6 GHz. The most likely alternative is a large jet/counterjet brightness ratio caused by relativistic beaming, which in turn requires the inner radio axis to be closer to our line of sight than the orientation of the HST dust disk would suggest.