Miracle-dz/UniFAR-FTUs huggingface dataset:
Design of the Active Attitude Determination and Control System for the est

Design of the Active Attitude Determination and Control System for the e-st@r cubesat / Stesina F. ; Corpino S. ; Mozzillo R. ; Obiols Rabasa G. In: INTERNATIONAL ASTRONAUTICAL CONGRESS: IAC PROCEEDINGS. ISSN 1995-6258. ELETTRONICO. (2012). ((Intervento presentato al convegno 63rd International Astronautical Congress tenutosi a Naples, Italy nel 2-5 October 2012. Original Design of the Active Attitude Determination and Control System for the e-st@r cubesat
The Emerging Theory of Average-Case Complexity

Abstract : A primary contribution of theoretical computer science has been the identification of the so-called NP-complete problems, a well-known class of problems provably equivalent to one another in worst-case computational complexity, modulo polynomial-time computation. These problems, being the hardest in the class NP, are widely believed to be unsolvable by any polynomial- time algorithm, and indeed, no sub-exponential time algorithm is known for any NP-complete problem. This paper reviews some of the recent results that have emerged in the study of average-case complexity. Included is a description of Levin's framework for studying average-case complexity, as well as his proof of the existence of complete problems for a class of distributional problems. The paper also presents some new results, including a natural and more liberal extension of Levin's model, in addition to a partial characterization of the relationships among the new average-case complexity classes. (kr)
Planning and Control for Agile Quadruped Robots

Machines have facilitated our lives since centuries. The next generation of mobile helpers may have the abilities and agility of legged animals and can thus support us in unstructured and challenging environments, especially, when it comes to work in hazardous surroundings. In order to achieve this vision, we need to improve the algorithmic intelligence of legged robots and give them the skills to locomote over any terrain. This thesis addresses this problem by proposing control methods for torque-controllable quadruped robots with articulated legs. Building on recent advances, this thesis presents approaches to plan and control agile motions to enable the robots to walk and run over unperceived obstacles using various dynamic gaits, even with limited perception of the environment. We begin by introducing a fast and accurate simulation method to test our controllers and optimize control parameters in simulation. The simulation technique solves the equations of motion together with set-valued contact and impulse laws by a time-stepping scheme. We compare the method with a simple integration scheme together with compliant contact models. The results show that using hard contacts and describing the rigid-body dynamics with a minimal set of generalized coordinates is as fast as the simple one, but is much easier to tune since the contact parameters do not affect the physical behavior of the robot. For model-based control, we model the dynamics of the actuators in addition to the multi-body dynamics. This enables the robot to exploit the series elasticity to accomplish highly agile jump maneuvers. Additionally, we present an estimation method of the local terrain for dynamic locomotion and outline a state estimation technique to robustly predict the pose and velocity of the main body of the quadrupeds. We then present an approach to control desired motion plans. By regulating the ground reaction forces through model-based methods and corrective stepping control based on simple feedback laws, the proposed adaptive tracking controller is robust against perturbations from irregular terrain and unan-
Minimal cyclic-4-connected graphs

A theory of cyclic-connectivity is developed, matroid dual to the standard vertex-connectivity. The cyclic-4-connected graphs minimal under the elementary operations of single-edge deletion or contraction and removal of a trivalent vertex are classified. These turn out to belong to three simple infinite families of indecomposable graphs, or to be decomposable into constituent subgraphs which themselves belong to three simple infinite families. This is modeled after W. T. Tutte's theorem classifying the minimal 3-connected graphs under single-edge deletion or contraction as forming the single infinite family of "wheels. " Such theorems serve two main purposes: (1) illustrating the structure of graphs in the class by isolating a type of extremal graph, and (2) by providing a set-up so that induction on |E(G)| can be carried out effectively within the class.
WORKING PAPER SERIES No . 13 / 2002 MODEL SPECIFICATION AND INFLATION FORECAST UNCERTAINTY

Three classes of inflation models are discussed: Standard Phillips curves, New Keynesian Phillips curves and Incomplete Competition models. Their relative merits in explaining and forecasting inflation are investigated theoretically and empirically. We establish that Standard Phillips-curve forecasts are robust to types of structural breaks that harm the Incomplete Competion model forecasts, but exaggerate forecast uncertainty in periods with no breaks. As the potential biases in after-break forecast errors for the Incomplete Competition model can be remedied by intercept corrections, it offers the best prospect of successful inflation forecasting.
Guide To Parallel Programming On Sequent Computer Systems

1/1985 3/1985 7/1985 3/1986 4/1987 10/1988 4/1989 4/1990 11/1990 6/1991 8/1991 11/1991 5/1992 8/1992 4495,570 4,503,499 4,530,051 4.577. 272 4,661,900 4,780,821 4,819,159 4,914.570 4,969,092 5,027269 5,043.866 5,065,311 5,117,352 5,140,689 Kitajima et al. . Mason et al. . Johnson et al. . Ballew et al. . Chen et al. . Crossley. Shipley et al. Peacock. Shorter. Grant et al. . Myre, Jr. et al. . 364/200 Masai et al. . Falek. Kobayashi.
Sparse MultiTask Reinforcement Learning

In multi-task reinforcement learning (MTRL), the objective is to simultaneously learn multiple tasks and exploit their similarity to improve the performance w.r. t. single-task learning. In this paper we investigate the case when all the tasks can be accurately represented in a linear approximation space using the same small subset of the original (large) set of features. This is equivalent to assuming that the weight vectors of the task value functions are jointly sparse, i.e., the set of their non-zero components is small and it is shared across tasks. Building on existing results in multi-task regression, we develop two multi-task extensions of the fitted Q-iteration algorithm. While the first algorithm assumes that the tasks are jointly sparse in the given representation, the second one learns a transformation of the features in the attempt of finding a more sparse representation. For both algorithms we provide a sample complexity analysis and numerical simulations.
Doppler broadening of energy spectra in Compton cameras

Compton cameras utilize the Compton effect to achieve directional localization of gamma rays. The accuracy of the localization depends, in part, on the uncertainties in the measurement of energies. These uncertainties have conventionally been assumed to be due to the effects of finite detector energy resolution alone. There is another source of energy uncertainty that none of the Compton cameras proposed or built thus far accounts for the Doppler broadening of energy spectra that arises from the Compton interaction between gamma rays and moving electrons bound to atoms. The authors have used Monte Carlo simulations and direct calculations to demonstrate that the energy uncertainties due to Doppler broadening are non-negligible. For low-energy gamma rays, these uncertainties are generally more significant than those due to the finite energy resolutions of semiconductor detectors (for example, germanium and silicon). Expressions for estimating the angular uncertainties in Compton cameras due to energy resolution and Doppler broadening are derived. The authors conclude that the accuracy of the calculation of the scatter angle can be improved if the electron pre-collision momentum is known. However, even without such knowledge. Compton cameras still have the potential to achieve spatial resolutions that are comparable to those of mechanically collimated systems.
Oil and Unemployment in a New-Keynesian Model

The effects of oil shocks in inflation and growth have been widely discussed in the literature, however few have focused on the impact of oil price increases on unemployment. In order to shed some light on this problem, this paper develops a medium scale Dynamic Stochastic General Equilibrium model (DSGE) that allows for oil utilization in production and consumption as in Acurio-Vasconez (2015); unemployment as in Mortensen & Pissarides (1994); and staggered nominal wage contracting as in Gertler & Trigari (2009). It then analyzes the effects of oil price increases on the economy. The model recovers most of the well-known stylized facts observed after the oil shock in the 2000s'. A sensitivity analysis shows that the reduction of the bargaining power of households to negotiate wage contracts reduces the impact of an oil shock in unemployment, without affecting negatively GDP. However, it also shows that the reduction of bargaining power, together with wage flexibility strongly reduces the increase in unemployment after an oil shock, but causes a decrease in real wages, which reduces household income and affects GDP.
Changing the mindset: An innovative work-based learning programme within an English higher education institution

This paper aims to explore and critically analyse the perceptions and experiences of academics in relation to the design and delivery of an innovative Work Based Learning (WBL) programme within an English higher education institution (HEI). These perceptions were gathered through semi-structured interviews and subjected to discourse analysis. Consequently, the key themes which have emerged are: (i) the intensity of the learning experience, (ii) the tensions and pressures amongst academics delivering the programme, for example an expectation that academics „get it right first time‟, and (iii) learning support for students. The paper concludes with recommendations for future policy and research.
Reclassification of Brevibacteriurn incerturn ( Breed 1953 ) as Desernzia incerta gen . nov . , comb . nov .

In the course of a study on insect-associated bacteria, and Brevibacterium testaceum to Aureobacterium a Gram-positive bacterium was isolated by Steinhaus (Collins et al., 1983a). The unification of Aureo(1941) from the ovaries of the lyreman cicada, Tibicen bacterium and Microbacterium in a redefined genus linnei. The physiological and cultural characteristics Microbacterium has recently been proposed by resembled those of the genus Listeria, but because of Takeuchi & Hatano (1998). the taxonomic uncertainty which surrounded the Listeria group (Steinhaus, 1941) at that time, the isolate was tentatively classified as Bacterium incertum. Breed (1 953) transferred this species to the genus Brevibacterium as Brevibacterium incertum. Over the years, the genus became a dumping ground for misclassified strains with superficial morphological and physiological similarities. Several Brevibacteriurn species have been transferred to other genera: Brevibacterium protophormiae to Arthrobacter (Stackebrandt et al., 1983) ; Brevibacterium fermentans and Brevibacterium lyticum to Cellulomonas (Stackebrandt et al., 1982); Brevibacterium albidum, Brevibacterium citreum, Brevibacterium luteum and Brevibacterium pusillurn to Curtobacterium (Yamada & Komagata, 1972; Farrow et al., 1994); Brevibacterium amrnoniagenes (Collins, 1987), Brevibacterium divaricatum and Brevibacterium vitarumen (Lankelle et al., 1980) to Corynebacterium; Brevibacterium acetylicum to Exiguobacterium (Farrow et al., 1994) ; Brevibacterium imperiale (Collins et al., 1983b) and Brevibacterium oxydans to Microbacterium (Schumann et al. 1998) : and Brevibacterium saperdae Analysis of the amino acid composition of the peptidoglycan of B. incertum (Schleifer & Kandler, 1972) revealed the presence of L-lysine, while strains of the type species Brevibacterium linens contained mesodiaminopimelic acid. Subsequent studies on the composition of isoprenoid quinones and fatty acids (Collins & Kroppenstedt, 1983) confirmed the misclassification of B. incertum as, in contrast to B. linens, menaquinones were absent and fatty acids contained substantial amounts of monounsaturated fatty acids of the cis-vaccenic acid series. Collins & Kroppenstedt (1983) pointed out that the lack of isoprenoid quinones suggests a relatedness of B. incertum to certain other Gram-positive taxa, such as Erysipelothrix, Gemella, Lactobacillus or Streptococcus, which lack respiratory quinones (Collins & Jones, 1981), while the type of fatty acids indicated a relationship to the lactic acid bacteria (see Kroppenstedt & Kutzner, 1978 ; Collins & Kroppenstedt, 1983). Subsequently, the species Brevibacterium incertum was listed as species incertae sedis in Bergey's Manual of Systematic Bacteriology (Jones & Keddie, 1986).
Adaptive mechanisms for self-aware multicore systems

As the push for extreme scale performance continues to make computer architectures increasingly complex, there has been a call for better programming models, and the systems to support them. Todays microprocessors now expose more system resources than ever to software, leaving it up to the application programmer to manage them. Studies have shown that the energy efficiency of future technologies may eventually affect the ultimate performance of multicore processors, and so programmers are forced to optimize systems for both performance and energy in the midst of countless configurable parameters an extremely difficult task. Self-aware systems can configure themselves through introspection, providing performance and energy optimization without pressing an unrealistic burden on the programmer. However, to build effective self-aware systems, we must identify useful sources of adaptivity. This thesis will show the effectiveness of a number of adaptive mechanisms for self-aware multicore systems. We show that adding these mechanisms improves efficiency, and then make a case for coordinated adaptive systems. Coordinated systems treat adaptivity as a first-class object, and can outperform all non-adaptive, statically configured, and uncoordinated adaptive systems that do not possess a general view of system-wide adaptivity. Thesis Supervisor: Srini Devadas Title: Professor of Electrical Engineering and Computer Science Thesis Supervisor: Anant Agarwal Title: Professor of Electrical Engineering and Computer Science
Title: Structural Health Monitoring in Near-Space Environment, a High Altitude Balloon Test.

The advent of commercial space travel has inspired engineers to rethink design and operation of space transportation systems. Structural health monitoring (SHM) is seen as a promising technology to reduce time to launch and operation costs with simultaneous improvements in the safety of commercial space vehicles. This technology, however, should be validated in realistic environments. In this contribution, exposure of sensors and measurement hardware to the near-space environment was considered and its effect on SHM procedures was investigated. The flight profile of the high-altitude balloon included 1 hour and 36 minutes of accent, 57 minutes of float at 102000 ft and approximately 30 minutes of decent. Three SHM technologies were tested: elastic wave propagation, electro-mechanical impedance, and strain/temperature wireless sensing. The elastic wave propagation experiment consisted of structural sound speed calculation, damage detection, and acoustic emission studies enabled by commercially available hardware. The test was successful, showing variation of sound speed at different stages of the flight and potential to detect structural damage in bolted joint connecting elements of the payload. Acoustic emission activity was also measured. In the second experiment, electro-mechanical impedance of active sensors was measured. However, due to launch delay, only on-the-ground data was collected. The third experiment explored wireless sensing in near-space environment using a commercially available hardware configuration for strain and temperature sensing. Sensor data was collected wirelessly during the high-altitude balloon flight. The study suggests potential of active diagnosis for continuous SHM of space vehicles and indicates specifics of using off-the-shelf sensor solutions in the near-space environment.
Hankel transforms in generalized Fock spaces

A classical Fock space consists of functions of the form,ϕ↔(ϕ0,ϕ1,…,ϕq),where ϕ0∈ℂ and ϕq∈Lp(ℝq), q≥1. We will replace the ϕq, q≥1 with test functions having Hankel transforms. This space is a natural generalization of a classical Fock space as seen by expanding functionals having abstract Taylor Series. The particular coefficients of such series are multilinear functionals having distributions as their domain. Convergence requirements set forth are somewhat in the spirit of ultra differentiable functions and ultra distribution theory. The Hankel transform oftentimes implemented in Cauchy problems will be introduced into this setting. A theorem will be proven relating the convergence of the transform to the inductive limit parameter, s, which sweeps out a scale of generalized Fock spaces.
Behavioural Stimulation and Sensation Seeking among prisoners : Applications to substance use Ireland

Background: Sensation-seeking among prisoners with substance dependence difficulties (drug and/or alcohol) was examined. This topic is under-researched in a prisoner sample. Aims: To examine the association between sensation-seeking, other personality variables, and substance dependency among prisoners. To examine if sensation-seeking can be refined. Methods: Adult male prisoners (n = 200) completed self-report measures examining the constructs of interest. Results: Sensation-seeking comprised extraversion and openness to experience. It was more appropriately described as Behavioural-Stimulation-and-Sensation-Seeking (BStim-SS). BStim-SS related to drug and poly-substance dependency but not alcohol-only dependency. Increased impulsivity was related to all substance use dependencies. Conclusions and implications for practice: The BStim-SS presents as a valuable concept to apply to forensic populations. It captures the need for behavioural and emotional stimulation and lends support to Reward Discounting theory as valuable to apply across substance dependency. Implications for practice include: • A need to identify a broader concept of sensation-seeking for prisoner samples; • The recognition of differences within substance dependent samples, with impulsivity presenting differently across drug and/or alcohol dependent groups; • Recognition that concepts regularly applied to community samples need to be examined more specifically among forensic samples to ascertain validity.
Deconstructing The Unskilled-And-Unaware Problem: Examining The Effect of Feedback on Misestimation While Disentangling Cognitive Bias From Statistical Artifact

The Unskilled-and-Unaware Problem (UUP) describes the phenomenon where poor performers tend to overestimate their abilities while high performers underestimate theirs. Dunning (2011) argues that the misestimations of low and high performers result from two separate deficits in metacognitive ability. An alternate explanation provided by Krueger and Mueller (2002) suggests that the observed results are a product of the better-than-average (BTA) heuristic and the statistical artifact of regression to the mean. This study controlled for this statistical artifact by reducing measurement error. I also tested the metacognition explanation by examining the effects of different forms of feedback on misestimation. Results generally replicated previous research in that there was a strong negative relationship between performance and misestimation. Additionally, misestimations lessened somewhat over time, demonstrating a calibration effect that was greatest for participants with more extreme scores. However, calibration was not attributable to direct feedback, and calibration was seen even for participants who did not receive feedback. These results imply that individuals may need feedback more verisimilar to that of their everyday experiences to better utilize it to inform their self-assessments and reduce misestimation. This has implications for improving our interactions in instructional and other performance-based settings.
In vitro and in vivo study of NETosis in diabetic wound healing

People with diabetes have an increased risk of developing several serious health problems. One of the most frequent complication is an impaired wound healing. Neutrophils are recruited early to the wound bed and, upon activation, they undergo histone citrullination by protein arginine deiminase (PAD)4, exocytosis of chromatin and enzymes as neutrophil extracellular traps (NETs), and death. This process is called NETosis. In diabetes, neutrophils are primed to release NETs and die by NETosis. Although this process is a defense against infection, excessive NETosis can damage tissue. The aim of this study was to examine the effect of NETosis on the healing of diabetic foot ulcers (DFUs). Using proteomics, we found that NET components were enriched in non-healing human DFUs. In an independent validation cohort, a high concentration of neutrophil elastase in the wound was associated with infection and a subsequent worsening of the ulcer. NET components were elevated in the blood of patients with DFUs. Neutrophils isolated from the blood of DFU patients showed an increased spontaneous NETosis, but an impaired inducible NETosis. We have set up a system of intravital microscopy to monitor the presence of neutrophils in a mouse model of ulcer; this imaging technique, in addition to FACS detection of histone citrullination, showed that (1) PAD4 activity was increased by diabetes and (2) NETosis occurred in the bed of excisional wounds. PAD4 inhibition by Cl-amidine reduced NETting neutrophils and rescued wound healing in diabetic mice. Cumulatively, these data suggest that NETosis delays DFU healing and its modulation could be a therapeutic strategy to improve outcome of DFU in diabetic patients.
Radiative transfer simulation on computer models of Elaeis guineensis

Les donnees morphologiques necessaires a la construction des maquettes ont ete mesurees sur un ensemble d'arbres d'une plantation en Cote d'Ivoire. A partir de ces donnees, le logiciel AMAP du CIRAD a permis de reconstituer une scene de 11 palmiers ou des modeles numeriques ont ensuite ete mis en oeuvre pour simuler l'interception et la rediffusion de la lumiere. Des mesures radiatives in situ ont ete effectuees dans la palmeraie pour controler la qualite des simulations : rayonnement incident et rayonnement transmis au sol. La repartition du rayonnement transmis au niveau du sol a ete simulee grâce au modele "Shadow". Les taux de transmission simules sont tres proches des taux mesures. Le modele "Transrad" simule les rediffusions multiples de la lumiere au sein de la canopee et permet d'obtenir un bilan radiatif detaille. Les palmes les plus basses interceptent une fraction relativement importante du Rayonnement Photosynthetiquement Actif. Un modele de lancer de rayons a enfin servi a simuler la reflectance directionnelle de la palmeraie