Miracle-dz/UniFAR-FTUs huggingface dataset:
Requirements of the SALTY project

This document is the first external deliverable of the SALTY project (Self-Adaptive very Large disTributed sYstems), funded by the ANR under contract ANR-09-SEGI-012. It is the result of task 1.1 of the Work Package (WP) 1 : Requirements and Architecture. Its objective is to identify and collect requirements from use cases that are going to be developed in WP 4 (Use cases and Validation). Based on the study and classification of the use cases, requirements against the envisaged framework are then determined and organized in features. These features will aim at guide and control the advances in all work packages of the project. As a start, features are classified, briefly described and related scenarios in the defined use cases are pinpointed. In the following tasks and deliverables, these features will facilitate design by assigning priorities to them and defining success criteria at a finer grain as the project progresses. This report, as the first external document, has no dependency to any other external documents and serves as a reference to future external documents. As it has been built from the use cases studies that have been synthesized in two internal documents of the project, extracts from the two documents are made available as appendices (cf. appen- dices B and C).
Endotoxins : Pyrogens, LAL Testing and Depyrogenation

Historical foundations of pyrogen research pyrogen, endotoxin, and fever - an overview endotoxin structure, function, activity the host response to endotoxin non-endotoxin microbial pyrogens (lesser endotoxins and superantigens) non-microbialexogenous pyrogens and drug fever pharmaceutical manufacturing contamination control endotoxin as a standard the rabbit pyrogen test LAL discovery, mechanism, and application LAL assay development, validation and regulation.
Spying Blind

Acknowledgments xiii CHAPTER ONE: An Organizational View of 9/11 1 CHAPTER TWO: Canaries in the Coal Mine: The Case for Failed Adaptation 15 CHAPTER THREE: Crossing an Academic No-Man's Land: Explaining Failed Adaptation 43 CHAPTER FOUR: Fighting Osama One Bureaucrat at a Time: Adaptation Failure in the CIA 61 CHAPTER FIVE: Signals Found and Lost: The CIA and 9/11 101 CHAPTER SIX: Real Men Don't Type: Adaptation Failure in the FBI 120 CHAPTER SEVEN: Evidence Teams at the Ready: The FBI and 9/11 156 CHAPTER EIGHT: The More Things Change . 169 APPENDIX: Intelligence Reform Catalog Methodology 199 Notes 203 References 273 Index 309
THE USE OF NEURAL NETWORKS AND TIME SERIES MODELS FOR SHORT TERM TRAFFIC FORECASTING: A COMPARATIVE STUDY

Short term forecasts of traffic flow at a site may need to be based on inputs from several other sites and times. Neural networks can be readily used for this purpose, because they can be trained to describe the output levels from the input data, without any need to specify in advance what form the relationships should take. Conventional time series analysis techniques can also be used, but require the form of model to be pre-specified. The paper reports results of fitting a range of models to data for a number of links from the "instrumented city" of Leicester, using SCOOT data for 5-minute intervals extracted via the link to Nottingham University. Two test situations were investigated; for a site and its adjoining links, and for a chain of links. The statistical models used were ordinary linear regression (between the flow at a site and flow at adjoining sites in the previous time period); discounted linear regression (in which flows in the previous "n" time periods were included); classical Box-Jenkins techniques (auto-regressive integrated moving average, or ARIMA); and transfer functions (in which the flow is modelled as a time function of the flow at the prediction site and its neighbour). The treatment of missing values and the goodness of fit of the models are described; and it was concluded that, of these statistical techniques, ARIMA models generally gave the better performance. The neural network models used are briefly summarised. Using historic data alone for all the sites showed a substantial under-prediction in the peak, but otherwise fairly good adherence to the original flow profile; but the fit overall was substantially improved by including current data for the adjoining sites as well. (This result is not as surprising as it might seem at first sight, because, in an urban area, some traffic may well flow from one site to another within the same 5-minute intervals). Overall, the conclusion was reached that differences in performance were slight and that other considerations become the determining factor when choosing a forecasting method. Whilst ARIMA models have the advantage of a more explicit structure, neural network models can be easier to develop and incorporate into local code. For the covering abstract of the seminar see IRRD 862693.
Reduced Fouling Ultrafiltration Membranes via In-Situ Polymerisation Using Polydopamine Functionalised Titanium Oxide

The trade-off phenomenon between selectivity and permeation flux is a major challenge in pressure-driven membranes, and specifically for ultrafiltration membranes. Currently, many research studies have been performed to try to increase permeability while maintaining the rejection at a high level. However, in most of these studies, the improvement of permeability was accompanied by a decrease in rejection or vice versa. To tackle this problem, TiO2 nanoparticles were attached on the surface of PES membranes using polydopamine as adhesive agent. In general, it is quite challenging to attach/bind TiO2 on the surface of membranes due to agglomeration of nanoparticles. Therefore, we developed a practical, simple and a scalable method to attach TiO2 nanoparticles (NPs) on the top surface of membrane using one-step dip coating. Experimental results revealed that the modified layer enhanced the hydrophilicity of the PES UF membranes as confirmed by the decrease of contact angle from. As a result, the modified membranes exhibited a significant improvement in anti-fouling properties, with 12 times higher water permeation flux (962 LMH for pDA-f-TiO2-PES30) as compared to the pristine PES membranes (79.9 LMH). The static adsorption of BSA on the surface of membranes was reduced from (60 µg/cm2 for pristine PES to 21 µg/cm2 for pDA-f-TiO2- PES120). Furthermore, the modified PES membranes displayed a higher flux recovery ratio (97%) and fouling reversibility (98.62%) than pristine PES membrane (37.63%). Also, the coated PES membranes bestowed a good antibacterial property relative to the pristine one. Besides, the membranes showed better physical and chemical stability as compared with unmodified PES membranes. Thus, this study provided a facile approach for enhancing the anti-fouling performance of PES ultrafiltration membranes.
Corporate sustainability in the Brazilian electricity power sector: a case study

1.Avenida Maracanã, 229, Maracanã, Rio de Janeiro, RJ, 20271-110, Depto. de Engenharia de Produção, Bloco E, 1o andar, paulamichelle_4@hotmail.com; 2. marta.ferreira57@gmail.com; 3. bruna_damatta@hotmail.com; 4. maressa_ro@hotmail.com; 5. thamires_curopos@hotmail.com PURCIDONIO, P.M. ; FERREIRA, M.L. A. ; MARQUES, B.M. ; LEÃO, M.F. ; SOARES, T.C. S. Sustentabilidade corporativa no setor de energia elétrica Brasileiro: um estudo de caso. GEPROS. Gestão da Produção, Operações e Sistemas, v. 15, n. 2, p. 337368, 2020. DOI: 10.15675/gepros.v15i2. 2538 GEPROS. Gestão da Produção, Operações e Sistemas, Bauru, Ano 14, no 4, out-dez/2018, p. 1-23. DOI: 10.15675/gepros.v13i4. 1965 Editor Responsável: Prof. Dr. Hermes Moretti Ribeiro da Silva GEPROS. Gestão da Produção, Operações e Sistemas, v. 15, no 2, p. 337 368, 2020.
Bearing capacity of perforated offshore foundations under combined loading

This thesis presents experimental work and numerical analysis that has been undertaken to assess the bearing capacity of perforated offshore foundations. Perforated foundations may be used to support subsea infrastructure, including as mudmats into which a number of perforations have been made, or as grillages which consist of a series of structurally connected strip footings. Larger gravity base foundations, such as for offshore wind turbines or oil and gas platforms, may adopt a single central perforation. The advantages of using perforated foundations can include reduced material requirements and easier offshore handling as a result of smaller weight and lower hydrodynamic forces during deployment. Limited guidance currently exists for assessing the bearing capacity of these foundation types. Bearing capacity of perforated foundations has been examined in this thesis under conditions of combined vertical, horizontal and moment loading which is typical in offshore settings. Undrained soil conditions have been considered, except for the case of grillages in which drained conditions are often most relevant. Experimental work has included centrifuge testing of ring and square annular foundations on clay, and 1g testing of grillage foundations on sand. Finite element modelling has also been undertaken to assess perforated foundation capacity. A Tresca material subroutine (UMAT) and an adaptive meshing scheme have been developed to improve the accuracy of the finite element analysis carried out. The results showed that perforated foundations can be an efficient foundation solution for accommodating combined loading. As a ratio of their vertical load capacity, perforated foundations may be able to withstand higher moment and horizontal loads compared with unperforated foundations. The experimental and numerical results have been used to develop design expressions that could be employed by practitioners to estimate the vertical and combined load bearing capacity of these foundation types.
MILITARY DEPLOYMENT AND COMMERCIAL TRANSPORTATION SERVICES: SURVEY OF AN EVOLVING PARTNERSHIP

At the Summer Ports and Waterways Conference in Portland, Oregon, July 2003, the Transportation Research Board's Military Transportation Committee convened a group of military and commercial freight transportation experts to review the effects of deployment on U.S. transportation providers and their customers. Program participants reviewed lessons learned in the Desert Shield-Desert Storm operations, as well as actions and programs to improve the military-commercial partnerships and transportation efficiency in peacetime and in a time of national emergency. Panelists evaluated transportation performance in Operation Enduring Freedom and Operation Iraqi Freedom. This article summarizes presentations that addressed Surface Deployment and Distribution Command (SDDC) operations to deploy and sustain warfighting units, the experience of the trucking industry in support of military transportation, rail experience in supporting military transportation, the joint planning of sealift requirements during Operation Iraqi Freedom, the transition of commercial port facilities for operations in support of Operation Iraqi Freedom, and Desert Shield-Desert Storm operations and improvements that have been implemented with the commercial carriers supporting military transportation.
A COMPARISON OF RESCHEDULING METHODS OF ACTIVE POWER GENERATION WITH REGARD TO STEADY STATE STABILITY LIMIT

This paper discussed an active power generator scheduling in order to increase the limit level of steady state systems especially in the peak load condition. Some power generator optimization methods such as those of Langrange, Genetic Algorithm (GA), NN-GA, Merit Order, and the proposed Z-Thevenin-based were studied and compared in respect of their steady state aspects. A method proposed in this paper was a developed one based on the Thevenin equivalent impedance values between each load respected to each generator. These impedance values represented the point-to-point electric distance between a specific load and a related generator. Power generators with the closest impedance to the load were operated at the maximum level, followed by other generators. In this research, REI-Dimo was used to determine the steady state stability limit (SSSL). The steady state stability index values obtained through the various generator scheduling methods have been compared with the proposed method. As a study case, this research reviewed the 500kV-Jawa-Bali interconnection system. The simulation results showed that the proposed method required the highest operational cost; however, it had the highest limit level of steady state stability compared to other optimization techniques. Thus, the proposed method could be used to create the steady state stability limit of the system especially in the peak load condition.
Aprenentatge de la Programació al Citilab: Squeak i Scratch

Aquest article vol ser un recull de les primeres experiencies al Citilab apropant la programacio dels ordinadors a la gent del carrer. Sense cap requeriment previ, qualsevol pot inscriure's a algun dels cursos de la nostra oferta docent en programacio. Aix o ha estat possible principalment gracies a l'existencia de programari adequat, tot ell realitzat en entorns Smalltalk: Scratch per a nens petits (i no tan petits! ), BotsInc com a iniciacio a l'Smalltalk i el mateix Squeak, implementacio open source d'Smalltalk utilitzada en la creacio del programari esmentat, per a programadors experimentats.
Gotta CAPTCHA ’Em All: A Survey of 20 Years of the Human-or-computer Dilemma

A recent study has found that malicious bots generated nearly a quarter of overall website traffic in 2019 [102]. These malicious bots perform activities such as price and content scraping, account creation and takeover, credit card fraud, denial of service, and so on. Thus, they represent a serious threat to all businesses in general, but are especially troublesome for e-commerce, travel, and financial services. One of the most common defense mechanisms against bots abusing online services is the introduction of Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHA), so it is extremely important to understand which CAPTCHA schemes have been designed and their actual effectiveness against the ever-evolving bots. To this end, this work provides an overview of the current state-of-the-art in the field of CAPTCHA schemes and defines a new classification that includes all the emerging schemes. In addition, for each identified CAPTCHA category, the most successful attack methods are summarized by also describing how CAPTCHA schemes evolved to resist bot attacks, and discussing the limitations of different CAPTCHA schemes from the security, usability, and compatibility point of view. Finally, an assessment of the open issues, challenges, and opportunities for further study is provided, paving the road toward the design of the next-generation secure and user-friendly CAPTCHA schemes.
Darts: A runtime based on the Codelet execution model

Over the past decade computer architectures have drastically evolved to circumnavigate prevailing physical limitations in chip technology. Energy consumption and heat expenditure have become the predominant concerns for architects and chip manufacturers. Previously anticipated trends such as frequency scaling, deep execution pipelines, and fully consistent caches in future many-core systems have been deemed unsustainable. Current architectures are exhibiting new trends including simpler pipelines, lower frequencies, and scratch pad memories. Moreover, these architectures have an ever increasing number of cores. Many predict future architectures to contain thousands of heterogeneous cores on a single die. With these radical shifts in architectures, current execution models are struggling to adequately scale in performance and newer metrics like energy consumption. The shortcomings of current models have caused some to look back to fine-grained execution models designed for parallelism like dataflow and EARTH. Using these models as inspiration, the Codelet execution model is an event-driven, fine-grained model designed to exploit parallelism while providing efficient mechanism for locality. In the following, we present the Delaware Asynchronous RunTime System (DARTS), an implementation of the Codelet model. DARTS is a faithful implementation of the Codelet model, providing a vehicle to reason and further develop codelet ideas. It provides two levels of parallelism, event-driven codelets permitting fine-grained parallelism and invoked threaded procedures which ensures locality. Furthermore, the DARTS runtime is built on a reconfigurable abstract machine allowing DARTS to provide performance portability across both architectures and applications. In addition,
Die Erstellung von Annotationsrichtlinien als Community-Aufgabe für die Digitalen Geisteswissenschaften

The article describes the idea, operationalization decisions and results of the first shared task in the Digital Humanities. In the task, different participating teams developed annotation guidelines for narrative levels independently. Annotation guidelines are a prerequisite for the development of systems for the automatic detection of textual phenomena, and thus needed in Computational Literary Studies because they allow large-scale studies of narrative phenomena. The developed guidelines were compared using a newly developed evaluation scheme that brings together the three dimensions of conceptual coverage, applicability and usefulness.
A Comprehensive Architecture for the Cooperative Guidance and Control of Autonomous Ground and Air Vehicles

Hai Ngoc Pham Master of Engineering (Research) The University of Sydney March 2007 A Comprehensive Architecture for the Cooperative Guidance and Control of Autonomous Ground and Air Vehicles This thesis deals with the problem of cooperative explorations of a group of autonomous vehicles in unknown environments in the context of decentralized behaviour. The main contribution of this thesis is the development of a comprehensive decentralized cooperative exploration frame work in which each individual vehicle has the ability to explore an unknown environment by itself and also by cooperative behaviour in a team of several vehicles. To simulate the whole system, each individual vehicle will have the ability to explore an unknown environment by dynamically path-planning (with obstacle and collision avoidance), high-level controlling, updating the environment map, proposing potential destinations (frontiers), and solving online task assignment. In this thesis, the framework simulates an unknown environment as an occupancy grid map and uses a frontier-base exploration strategy, in which a cell will be marked as a frontier if it is adjacent at least one open cell, as the core architecture. In dealing with the uncertainties in process transition and observation models of autonomous vehicles, the well-known discrete extended Kalman filter (EKF) algorithm is investigated and implemented. When exploring the environment, a vehicle will update its surrounding information, then propose its potential destinations and evaluate the utility (benefit) to travel to each of those destinations. The benefit to go to each destination is derived from the subtraction of the utility (value) of that cell to the sum of the cost to travel to that cell and the steering cost. The key to cooperative exploration in the team of vehicles lies in each vehicle’s ability to communicate the updates of the world to the whole team and to contribute to the global list of potential destinations. And each vehicle has the capability of solving the task assignment problem for the team by calling its own online-task-assignment solving engine. This algorithm results each vehicle in having a destination to visit, which benefits the whole team the most and reduces the total exploration time of the team.
Aided Navigation: GPS with High Rate Sensors

Design Cutting-Edge Aided Navigation Systems for Advanced Commercial & Military Applications Aided Navigation is a design-oriented textbook and guide to building aided navigation systems for smart cars, precision farming vehicles, smart weapons, unmanned aircraft, mobile robots, and other advanced applications. The navigation guide contains two parts explaining the essential theory, concepts, and tools, as well as the methodology in aided navigation case studies with sufficient detail to serve as the basis for application-oriented analysis and design. Filled with detailed illustrations and examples, this expert design tool takes you step-by-step through coordinate systems, deterministic and stochastic modeling, optimal estimation, and navigation system design. Authoritative and comprehensive, Aided Navigation features: End-of-chapter exercises throughout Part I In-depth case studies of aided navigation systems Numerous Matlab-based examples Appendices define notation, review linear algebra, and discuss GPS receiver interfacing Source code and sensor data to support examples is available through the publisher-supported website Inside this Complete Guide to Designing Aided Navigation Systems • Aided Navigation Theory: Introduction to Aided Navigation • Coordinate Systems • Deterministic Modeling • Stochastic Modeling • Optimal Estimation • Navigation System Design • Navigation Case Studies: Global Positioning System (GPS) • GPS-Aided Encoder • Attitude and Heading Reference System • GPS-Aided Inertial Navigation System (INS) • Acoustic Ranging and Doppler-Aided INS Table of contents I. Theory Part I: Overview Chapter 1. Overview Chapter 2. Reference Frames Chapter 3. Deterministic Systems Chapter 4. Stochastic Processes Chapter 5. Optimal State Estimation Chapter 6. Performance Analysis Chapter 7. Navigation System Design II. Application Part II: Overview Chapter 8. Global Positioning System Chapter 9. GPS Aided Encoder-Based Dead-Reckoning Chapter 10. AHRS Chapter 11. Aided Inertial Navigation Chapter 12. LBL and Doppler Aided INS Appendix A: Notation Appendix B: Linear Algebra Review Appendix C: Calculation of GPS Satellite Position & Velocity Appendix D: Quaternions Bibliography Index