Miracle-dz/UniFAR-FTUs huggingface dataset:
Use of AI for Satellite Model Determination from Low Resolution 2D Images

With the growing number of inactive and active man-made space objects orbiting Earth, space situational awareness (SSA) is becoming an ever more critical element of both national security and the commercial use of space. Accurate tracking and identification of resident space objects (RSO) through space-based or ground-based imagery can provide a means of characterizing potential threats to our orbital assets, and possibly to infer the intent of foreign objects. This work discusses the development of a new satellite identification tool that employs physical model predictions and deep learning neural networks (NN) to increase the quantity of information that can be extracted from these sources of space surveillance imagery. When observing distant objects in geo-stationary or midcourse orbits, or small satellites in low orbits, unresolved imagery with less than a dozen resolution elements may be the only available optical measurements. Our satellite identification method, the Cognitive Image Recovery Code (CIRC), is designed to evaluate low resolution imagery, including views from multiple locations and temporal light curves generated from unresolved imagery, and to predict the most likely RSO configuration from a list of possible models. For a number of viewing and illumination angles, the tool applies a dense neural network to identify characteristic features of each model and evaluates the most likely match to an unresolved observation. The training imagery for the machine learning algorithm was generated using QUID (QUick Image Display), our fast, first-principles signature simulation code, and a catalog of physically attributed 3D models of various satellites and RSO types. The fidelity of these simulations ensures that the training imagery is both realistic and radiometrically accurate, and the computation speed generates images onthe-fly, allowing an iterative refinement of the model prediction.
Enhanced Successive Cancellation for Decoding of Polar Codes with Very Low Latency through Multiple Parity Checks

The class of polar codes is the latest development in the field of error correcting for digital communications. One problem with polar codes is that they suffer long latency in the decoding due to the successive-cancellation (SC) nature in the decision process. Various methods have been proposed to ease this problem. In particular, a scheme called simplified successive cancellation (SSC) was proposed shortly after the introduction of polar codes. Then, an improved version of SSC, which is referred to as fast simplified successive cancellation (FSSC) in this paper, was proposed. In this paper, some ideas in SSC and FSSC are further extended to enable even faster decoding of polar codes. We refer to this this newly proposed scheme as enhanced fast simplified successive cancellation (EFSSC). Its computation latency is analyzed and compared to SC, SSC, and FSSC. Moreover, its BLER (block error rate) performance is also presented.
Using Bagasse and Aluminum Sulfate-Modified Bagasse as Adsorbents for Treatment of Industrial Cutting Fluid Wastewater in Laboratory and Pilot Scales

Industrial cutting fluid wastewater (CFW) is considered as hazardous substance due to its detrimental effects to the environment and workers welfare. Treatment of this type of wastewater was sometimes disregarded due to lack of knowledge and resources. However, adsorption, a straightforward approach, was used in this study to address this problem. The feasibility of the bagasse and modified bagasse in the adsorption of CFW was determined. Varying the adsorbent dosage resulted in an increase in the percent adsorption, whereas a decline for the adsorption capacity at equilibrium using a single-stage batch laboratory- and pilot-scale adsorption. The point of zero charge of the bagasse and the modified bagasse was measured to be at pH 5.5 and 2.4, respectively. The experiment also determined that, for a liter of CFW, 10.2 g and 59.2 g of the modified bagasse are required under laboratory- and pilot-scale systems, respectively. Isotherms of Langmuir, Freundlich, and Temkin were used in order to describe the adsorption process. It was determined that the surface heterogeneity and the pore size contributed to the adsorption of CFW; thus, Freundlich isotherm best fitted the data. Functional groups were verified using FTIR analysis and the heat of combustion, and their proximate analyses were determined. Based on the results under laboratory- and pilot-scale systems, modified bagasse is a viable material for the adsorption of CFW and solid fuel source.
Managing supplier relationships in an IT supply network:a case study of how the Philips IT supply network can contribute to successful innovations

Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration.
Research on the Influence Mechanism of Gamification Elements on Users' Willingness to Continue Using in Interest-based Virtual Communities ‐‐ Based on ECM-ISC Model

Gamification refers to the inclusion of game design elements into non-game environment, which has been widely used in medical health, education and training, marketing activities and other aspects, and can promote users' willingness to continue to participate. At the same time, as an important marketing tool for enterprises, virtual community undertakes the functions of building communication and interaction platform, sharing and releasing information, and improving brand loyalty. With the intensification of virtual community competition among brands, how to improve the users' willingness to continue to participate is the key to the development of virtual community of brands. Firstly, based on the relevant research, this paper constructs a relationship model of gamification elements of virtual community on the intention of continuous use based on the theory of expectation confirmation and Expectation Confirmation Model of IS Continuance (ECM-ISC). Then we collected data through questionnaires, tested the reliability and validity, and used Smartpls to test the model and hypothesis. The results show that, two gamification elements (social and immersive elements) positively influence expectation confirmation and perceived usefulness, which in turn, positively affect user's satisfaction and continuance intention. At the end of this paper, the paper proposes some reasonable suggestions contributing to the development of virtual community and gamification, as well as indicating the direction of future research.
Title Reduced expression of AMPK-β 1 during tumor progressionenhances the oncogenic capacity of advanced ovarian cancer

AMP-activated protein kinase (AMPK) is a key energy sensor that is involved in regulating cell metabolism. Our previous study revealed that the subunits of the heterotimeric AMPK enzyme are diversely expressed during ovarian cancer progression. However, the impact of the variable expression of these AMPK subunits in ovarian cancer oncogenesis remains obscure. Here, we provide evidence to show that reduced expression of the AMPK-β1 subunit during tumor progression is associated with the increased oncogenic capacity of advanced ovarian cancer cells. Immunohistochemical analysis revealed that AMPK-β1 levels were reduced in advanced-stage (P = 0.008), high-grade (P = 0.013) and metastatic ovarian cancers (P = 0.008). Intriguingly, down-regulation of AMPK-β1 was progressively reduced from tumor stages 1 to 3 of ovarian cancer. Functionally, enforced expression of AMPK-β1 inhibited ovarian-cancer-cell proliferation, anchorage-independent cell growth, cell migration and invasion. Conversely, depletion of AMPK-β1 by siRNA enhanced the oncogenic capacities of ovarian cancer cells, suggesting that the loss of AMPK-β1 favors the aggressiveness of ovarian cancer. Mechanistically, enforced expression of AMPK-β1 increased AMPK activity, which, in turn, induced cell-cycle arrest via inhibition of AKT/ERK signaling activity as well as impaired cell migration/invasion through the suppression of JNK signaling in ovarian cancer cells. Taken together, these findings suggest that the reduced expression of AMPK-β1 confers lower AMPK activity, which enhances the oncogenic capacity of advanced-stage ovarian cancer.
English Language Provision in Australia within the Global Context of ELT

The first part of this report reviews briefly different purposes for learning English worldwide in the current context of globalisation. The second part of this paper researches and critically analyses English language provision in Australia through following topics: Types of programs and providers in the different sectors and their purposes for teaching English; Funding sources for programs; Types and provenance of clients; Nature of curricula, courses and credentials within programs; Purposes of and approaches to language assessment in different sectors;. Regulation of the sectors. By examining a range of published journal articles, facts sheet, discussion feedback, evaluation reports and official internet sites, data were collected, edited, coded, classified and organized. Overall, Australia EL industry is constantly evolving to keep up with the changing needs of the global ELT market. Public and private sectors are strong and making a great progress though quite unstable and sensitive to the external challenges and fluctuations in demand.
Experiments on some effects of certain environmental factors on Gracilaria verrucosa (Hudson) Papenfuss

At an early stage of an autecological study of Gracilaria verrucosa (Hudson) Papenfuss it seemed possible that the best growth of the plants occurred in places, such as the Achill Sound and the Church Island Channel in the Menai Straits, where, in the absence of heavy wave action, strong currents flowed over the plants. Experiments were carried out, in the sea, to investigate the effect of currents on the growth rate; the apparatus used and described here would probably be suitable for the investigation of current effects on other sedentary marine organisms. These experiments also led to some observations on the effects of illumination on the pigmentation and growth rate of the plants which were supplemented by laboratory experiments. High intensity illumination in the laboratory also demonstrated positive phototropism in the plant.
Center-Fed Circularly Polarized Omnidirectional Open-Helical Element Optimization

A Circularly Polarized Omnidirectional Open-Helical Antenna element was designed and optimized. This element consists of 2 dipoles wrapped in a helical shape to force circular polarization. The element was first modeled in ANSYS HFSS and optimized by running parametric simulations to determine the proper angle, trace width, and scaling factor. The element was then etched onto a flex circuit and a circular PCB was used to feed it from the center of the helix. This element had a center frequency of 907 MHz, a bandwidth of 55 MHz, a minimum cross polarization rejection of 11.93 dB, and a total gain of 1.45 dBi. Right and left-hand circular elements can be combined to transmit and receive a signal having any possible polarization on the Poincaré Sphere.
Dynamics in a delayed-neural network q

In this paper, we consider a neural network of four identical neurons with time-delayed connections. Some parameter regions are given for global, local stability and synchronization using the theory of functional differential equations. The root distributions in the corresponding characteristic transcendental equation are analyzed, Pitchfork bifurcation, Hopf and equivariant Hopf bifurcations are investigated by revealing the center manifolds and normal forms. Numerical simulations are shown the agreements with the theoretical results. 2006 Elsevier Ltd. All rights reserved.
Effects of Structural Priming on Complex Sentence Production in Korean-English Bilingual Children

617 This is an open-access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/ by-nc/4.0) which permits unrestricted noncommercial use, distribution, and reproduction in any medium, provided the original work is properly cited. Copyright © 2016 Korean Academy of Speech-Language Pathology and Audiology Effects of Structural Priming on Complex Sentence Production in Korean-English Bilingual Children
Tracking Sensitive Information and Operations in Integrated Clinical Environment

Integrated Clinical Environment (ICE) is a standardized framework for achieving device interoperability in medical cyber-physical systems. The ICE utilizes high-level supervisory apps and a low-level communication middleware to coordinate medical devices. The need to design complex ICE systems that are both safe and effective has presented numerous challenges, including interoperability, context-aware intelligence, security and privacy. In this paper, we present a data flow analysis framework for the ICE systems. The framework performs the combination of static and dynamic analysis for the sensitive data and operations in the ICE systems. Our experiments demonstrate that the data flow analysis framework can record how the medical devices transmit sensitive data and perform misuse detection by tracing the runtime context of the sensitive operations.
The Static Rebalancing Problem in Bicycle-Sharing Systems with Unusable Bicycles

This paper addresses the static bicycle rebalancing problem with multiple vehicles and multiple visits. The objective is to rebalance the stations of a bicycle-sharing system to reach the target number of good bicycles minimizing the total travelling time using a fleet of homogeneous vehicles. The vehicles have identical capacities and service time limits, and are allowed to visit the stations multiple times. One major challenge is that the unusable bicycles and the maintenance operations of bicycles are considered. In this paper, we propose a mixed integer programming model for solving the problem. The repair station is introduced to the model and all unusable bicycles at stations are delivered to the repair station. Considering the possibility of being outsourced to a third-party service company, our study requires that all vehicles depart from and return to the depot with no bicycles. The mathematical formulation of the problem is computationally tested.
Modeling and control of 3-Ф grid connected inverter system for distributed power generation system

At present scenario, renewable energy sources become an alternative source of energy for future energy demand and to mitigate environment pollution problems. Grid connected renewable energy source like wind energy system uses power electronics converters as an interfacing device between wind energy system and utility grid. These converters are commonly based on a voltage source inverter (VSI) connected to the supply network, operated to achieve objectives such as power flow regulation with unity power factor operation. However, intermittent nature of wind energy must be controlled to meet the grid requirements. The grid requirements include independent control of active & reactive power, improved power quality, grid synchronization and Good transient response during fault conditions etc. Usually voltage oriented control (VOC) of grid side converter in the synchronous reference frame was universally adapted for independent control of active and reactive power of the grid. However, the dynamic response during abnormal condition of grid is sluggish and poor power quality. In order to design controller for robust performance and to know the control characteristics, VSI needs to be accurately modelled. This project has taken an attempt to derive the small signal model of a single phase inverter in isolated mode and its performance with different controllers. Further, the work is extended to modelling of three phase grid connected VSI and its relevant transfer functions have been deduced from the model so as to analyse the system performance for designing a controller through well-known bode plots. The studied system is modelled and simulated in the MATLAB-Simulink environment.
Eddy Current Loss Control in High Speed PM Starter-Generator

This paper highlights the advancement in high speed generation applications along with describing the state of the art in the machine design technologies enabling such an application uptake. Via the investigating on a 250kW high speed PM starter-generator by using the 3-D FEA, the eddy current loss in rotor restrain sleeve, stator end-caps, as well as those in magnets are studied in the view of material and geometry dimensions. Some design arts or dimensions refers to minimize machine eddy current losses going to the minimum are proposed, which are verified by experiments. Both the obtained results and proposed conclusions are have of important significant for high speed machine design or optimization.
Directivity Enhancehment of Antipodal Vivaldi Antenna using Broadband Metasurface Lens

In this work, radiation performance of an antipodal Vivaldi antenna is enhanced using a broadband metasurface lens structure in 1-6 GHz bandwidth. Radiation pattern for the new antenna is more directive due to electromagnetic properties of the metasurface lens. In order to create such a lens, electrically responsive unit cells with high effective permittivity values are utilized. Unit cell dimensions are adjusted to display no resonant behaviour in the designated bandwidth. Overall lens structure is etched over the same substrate containing the antipodal Vivaldi antenna resulting in a compact and low profile design. Far-field radiation patterns indicate a more directive beam is radiated from the modified antenna with metasurface lens. Measurement and simulation results show that directivity is increased considerably without affecting the efficiency characteristics of the antenna due to the inclusion of the metasurface lens.
Full Sparsity in Compressive Processing for Non-Linear Inverse Scattering

This work presents an innovative full sparse inverse scattering method for non-linear inverse scattering problems. The retrieval of the total field configuration inside a non accessible domain is solved using an efficient Compressive Processing inversion. Accordingly, an over-complete dictionary is built and optimized using a dictionary learning algorithm, in order to assure the sparse representation of the unknowns.
Effects of Time on Task, Breaks, and Target Prevalence on Screener Performance in an X-ray Image Inspection Task

Currently, it is not clear how long security officers can maintain their performance when inspecting X-ray images of passenger bags for prohibited items. New technologies and working environments in airport security screening could profit from longer screening durations, and they might also facilitate performance upkeep. In our study, two groups of security officers conducted a one-hour simulated cabin baggage screening task. One group took 10-minute breaks every 20 minutes; the other worked continuously. Both groups worked under two different target prevalence conditions. Results showed a shift in response tendency that developed at the beginning of the task. Moreover, security officers were able to maintain their visual inspection performance over the course of one hour. There was no difference in performance between the group with breaks and the group without breaks. These results lay the groundwork for further testing longer screening durations in the field.
An Integrated Safety Management System Based on Ubiquitous Internet of Things in Electricity for Smart Pumped-storage Power Stations

The safety management is an important and fundamental task in the construction and operation of pumped-storage power stations. However, because of the traditional technical framework, the relevant systems are separated from each other, leading to a lot of disadvantages in application and performance. In order to meet the requirements of smart pumped-storage power stations, an integrated safety management system (ISMS) based on ubiquitous internet of things in electricity is proposed in this paper. The ISMS is divided into five layers including data display layer, data manipulation layer, data processing layer, data transmission layer and data acquisition layer. It consists of six modules, i.e., central control module, cave access control and personnel location module, video and security monitoring module, emergency broadcasting and communication module, geological warning module, and fall protection module. All modules are integrated into a unified information platform.
The relationship between family social capital, social media use and life satisfaction in adolescents

Background: Nowadays, two social phenomena are identified as factors that significantly influence life satisfaction among adolescents: family social capital and social media use. This study aimed to investigate the direct and indirect relationships between family social capital and life satisfaction, and the possible mediating role of social media use between the variables among Iranian adolescents. Methods: In 2018, this cross-sectional study was carried out on 835 adolescents aged from 12to 19, in six high schools of Isfahan, Iran. Data were collected using a validated four-section questionnaire including demographic characteristics (3 items), life satisfaction (5 items), family social capital (31 items) and social media use (4 items) scales. IBM SPSS version 21 statistical software and AMOS version 24 were used to analyze the data. Structural equation modeling was used to assess the fit of model. The significance level of 0.05 was considered for all data analyses. Results: The findings indicated that family social capital and social media use explained 50%of the variance in life satisfaction. Social media use was found with a partial mediating role in the association between family social capital and life satisfaction. Family social capital was the strongest predictor of life satisfaction (β =0.681, P<0.001). The relationship between social media use and life satisfaction was also statistically significant (β =- 0.12, P<0.001). Conclusion: Social media use and family social capital should be considered while investigating the determinants of life satisfaction among adolescents.
SHACS: Spatial Heterodyne Atmospheric Carbon Dioxide Spectrometer

Climate change is of increasing concern and efforts to mitigate its effects are targeted on reducing fossil CO2 emissions. Satellite observations play a key role in the understanding and management of the problem. Whilst detecting CO2 optically is relatively straight-forward, and has been achieved with small satellites, accurate quantitative mapping of CO2 requires very high precision ( 300:1). This normally requires high performance, large and complex instruments whose high cost, mass, volume, and power requirements preclude their use on small satellites. This paper presents the developmental stage of a single channel (1.6 μm) compact precision Spatial Heterodyne Atmospheric Carbon-Dioxide Spectrometer (SHACS), which utilises the Spatial Heterodyne Spectrometer (SHS) technique to form a robust, compact, no-moving-part Fourier Transform Spectrometer (FTS). This instrument achieves a high spectral resolution of 0.25cm-1 at a high SNR of >700:1 and can fit into a micro-satellite platform. With this performance, high quality measurements of atmospheric CO2 concentration with measurement precision of <4 ppm can be achieved.