Miracle-dz/UniFAR-FTUs huggingface dataset:
Experience-driven procedural content generation (Extended abstract)

Procedural content generation is an increasingly important area of technology within modern human-computer interaction with direct applications in digital games, the semantic web, and interface, media and software design. The personalization of experience via the modeling of the user, coupled with the appropriate adjustment of the content according to user needs and preferences are important steps towards effective and meaningful content generation. This paper introduces a framework for procedural content generation driven by computational models of user experience we name Experience-Driven Procedural Content Generation. While the framework is generic and applicable to various subareas of human computer interaction, we employ games as an indicative example of content-intensive software that enables rich forms of interaction.
Logic Meets Learning: From Aristotle to Neural Networks

The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence. In this chapter, we survey work that provides evidence for the long-standing and deep connections between logic and learning. After a brief historical prelude, our narrative is then structured in terms of three strands of interaction: logic versus learning, machine learning for logic, and logic for machine learning, but with ample overlap.
BRAINSFit: Mutual Information Registrations of Whole-Brain 3D Images, Using the Insight Toolkit

The University of Iowa’s Psychiatric Iowa Neuroimaging Consortium (PINC) has developed a program for mutual information registration of 3D brain imaging data using ITK classes, called BRAINSFit. We have written a helper class, itk::MultiModal3DMutualRegistrationHelper to simplify implementation and testing of different transform representations and optimizers. We have added a transform meeting the ITK standard, itk::ScaleVersor3DTransform. BRAINSFit is based on the registration examples from ITK, but adds new features, including the ability to employ different transform representations and optimization functions. Our goal was to determine best practices for registering 3D rigid multimodal MRI of the human brain. A version of the current program is employed here at PINC daily for automated processing of acquired brain images.This project is managed on the NITRC site. http://www.nitrc. org/projects/multimodereg/On the NITRC website, you can acquire the latest source code via SVN, or by downloading a compressed file which is generated every night. Binary versions are also available.
Coastal aquaculture management of research and development coastal aquaculture center region 3, Takhianthong Subdistrict, Kanchanadit District, Surat Thani Province, Thailand

The objectives of this research were: 1) to study the management of coastal aquaculture at the Coastal Aquaculture Research and Development Center, Region 3, Surat Thani Province; 2) study problems and obstacles in aquaculture management. 3) Guidelines for the development of aquaculture management. This research used both qualitative and quantitative methods simultaneously. The sample consisted of 60 people, and a categorical randomisation method was used. The qualitative method used a focus group and selected five key informants specifically. The research instruments used include questionnaires and semi-structured interviews. The Quantitative data analysis used statistics such as; mean, percentage and standard deviation. The results showed that the overall opinion on the management of coastal aquaculture Research and Development Center, Region 3 (Surat Thani) was at a high level with a mean of 4.03. The qualitative research method used in-depth interviews with the sample groups; it was found that coastal aquaculture management can be of two types: 1) The government sector co-ordinates with some agencies and organizations to seek the people’s opinions in unity, which shows a direct collaboration with the government, hence opening room for mutual understanding. Both in terms of giving information, problem-solving, expression of opinion, and joint decision.
A Comparative Analysis and Design of Controllers for Autonomous Bicycles

In this paper, we develop and compare the performance of different controllers for balancing an autonomous bicycle. The evaluation is carried out both in simulation, using two different models, and experimentally, on a bicycle instrumented with only lightweight components, and leaving the bicycle structure practically unchanged. Two PID controllers, a Linear Quadratic Regulator (LQR), and a fuzzy controller are developed and evaluated in simulations where both noise and disturbances are induced in the models. The simulation shows that the LQR controller has the best performance in the simulation scenarios. Experimental results, on the other hand, show that the PID controllers provide better performance when balancing the instrumented bicycle.
Metabolic Profiling Analysis of Liver in Landes Geese During the Formation of Fatty Liver via GC-TOF/MS

Fatty liver production results from the process of overfeeding geese, inducing a dramatic increase in de novo liver lipogenesis. To investigate the alteration of liver metabolites by overfeeding, especially lipid metabolites, and the potential pathways causing these changes, 60 Landes geese at 65 days old were raised in three groups with 20 geese per group, namely, the D0 group (free from gavage), D7 group (overfeeding for 7 days), and D25 group (overfeeding for 25 days). At 90 days old, segments of liver tissue were collected from 10 geese of each group for gas chromatography time-of-flight/mass spectrometry (GC-TOF/MS) analysis. A large number of endogenous molecules in the livers of geese were altered dramatically by overfeeding. In the livers of overfed geese, the level of oleic acid was observed to continuously increase, while the levels of phenylalanine, methyl phosphate, sulfuric acid, and 3-hydroxybenzaldehyde were decreased. The most significantly different metabolites were enriched in amino acid, lipid, and nucleotide metabolism pathways. The present study further supports the idea that Landes geese efficiently produce fatty liver, and potential biomarkers and disturbed metabolic pathways during the process of forming fatty liver were identified. In conclusion, this study might provide some insights into the underlying mechanisms of fatty liver formation.
Stability Analysis of Soil Excavation by 3D FEM

An elastoplastic shear strength reduction FEM is used to analyze the 3D stability of the excavation slope.For the excavation slope with the weak constraint condition,the location of the initial failure plane is in the middle of the slope.With the increment of the factor of strength reduction,the slope failure zone is extended to the sides of the slope.When the ratio of the excavation length to the height is more than 4,the factor of safety of the slope less affected by constrained boundaries is approximately the same as that of plane strain stability analysis.For the excavation slope with the obvious corner effect, each section of the slope almost reaches failure simultaneously.The factor of safety of the slope is larger than that of plane strain stability analysis.If the above problem is analyzed by the 2D plain strain method,the result will be conservative for the design of project.
An autonomic management system for IoT platforms based on data analysis tasks

: In this work, we propose an Autonomic Management System (AMS) for the Internet of Things (IoT) platforms, which uses the concept of autonomic cycle of data analysis tasks to improve and maintain the performance in the IoT platforms. The concept of “Autonomic Cycle of Data Analysis Tasks” is a type of autonomous intelligent supervision that allows reaching strategic objectives around a given problem. In this paper, we propose the conceptualization of the architecture of an AMS composed by an autonomic cycle to optimize the Quality of Services (QoS), and to improve the Quality of Experiences (QoE), in IoT platforms. The autonomous cycle detects and discoveries the current operational state in the IoT platform, and determines the set of tasks to guarantee a given performance (QoS/QoE). This paper presents the details of the architecture of the AMS (components, knowledge models, etc.), and its utilization in two case studies: in a typical application in an IoT context, and in a Tactile Internet System.
Numerical simulation and experimental verification of a fixed-geometry 2D mixed-compression supersonic inlet with sweepforward high-light and "X"-type missile configuration

A numerical simulation was conducted for a fixed-geometry two-dimensional mixed-compression supersonic inlet with sweepforward high-light and "X"-type missile configuration.The results indicate:(1) The total pressure recovery declines with the rise of the free stream Mach number,while the mass flow ratio rises firstly and then declines when its maximum value is obtained at the design point. (2)When the angle of attack increases less than 6°,the total pressure recovery of both side inlets decreases in a narrow range;the mass flow ratio of the lee side inlet is higher than that of the windward inlet,the total flow mass of both sides is almost constant. (3) When the angle of attack increases from 6° to 9°,both the total pressure recovery and the mass flow ratio fall rapidly at the lee side inlet,whereas the total pressure recovery declines and mass flow ratio rises at the windward side inlet. (4)The numerical simulation results show a consistent trend with the experimental results.
EVALUATION OF ANTIMICROBIAL ACTIVITIES OF MICROWAVE-IRRADIATION SYNTHESIZED TETRADENTATE (N2O2 DONOR) SCHIFF BASE AND ITS Cu(II) COMPLEXES

The microwave-promoted synthetic method was used to synthesize the dibasic (N2O2 donor) tetradentate unsymmetrical Schiff base [N,N-bis-(o-hydroxy acetophenone)-o-phenylenediimine as primary ligand] and its eight Cu(II) complexes with different monodentate secondary ligands in green ethanol aqueous solvent. Analytical analysis, conductivity measurement, magnetic moment determination and several spectroscopic techniques characterized all the mononuclear and non-electrolytic complexes synthesized through the environmentally benign method. The present study ascertained that the investigated Cu(II) complexes have a distorted octahedral geometry. These complexes have greater antimicrobial activities than the free ligand toward the tested microorganisms as a result of the chelation effect.
Formulation and evaluation of oral disintegrating tablets of furosemide

Orally disintegrating tablets of Furosemide were prepared, evaluated and the comparison of the action of different concentrations of disintegrants on disintegration and dissolution of the tablets were studied. Direct compression method was used to prepare the orally disintegrating tablets containing 20 mg of Furosemide. The formulation was conducted using different concentrations of crospovidone, croscarmellose and sodium starch glycolate as superdisintegrants and their interactions with Furosemide were also evaluated using FTIR. FTIR studies using the drug and its mixtures with the excipients showed that the peaks correlate with one another which signify that there is no interaction between the drug molecule and the excipients used. The obtained results revealed that the disintegration time of ODTs were between 9 to 59 seconds. The percentage drug content of tablets in all the formulations was found between 91.51% to 106.69%, which complies with the limits established in pharmacopoeia. The in-vitro dissolution studies show maximum release of 89.47% in formulation F3 and minimum of 77.64% in formulation F12. Higher concentration of crospovidone and croscarmellose in formulations F3 and F6 showed better dissolution properties than SSG. So by varying the concentrations of superdisintegrants, oral disintegrating tablets can be formulated.
Relationship of Bifurcation and Power Conversion Efficiency in DC-DC Converter with TEM

In this study, we investigate the circuit performance of a current-controlled boost DC-DC converter with the thermoelectric module (TEM). The stability of circuit operation is analyzed using the stability analysis method based on the return map, and the parameters with stable circuit operation are selected. First, the circuit model and circuit equation of a current-controlled boost DC-DC converter with a TEM is shown. Second, we defined the return map of this circuit. We analyze the stability of circuit operation using the return map, and circuit parameters that enable stable circuit operation are derived. Finally, we implement a converter suitable for the output characteristics of the TEM using the parameters with stable circuit operation obtained from the numerical simulation results, and we verify the circuit performance using the experimental results.
Identification of broad-leaf trees using deep learning based on field photographs of multiple leaves

ABSTRACT We used deep learning to identify broad-leaved tree species based on photographs taken outdoors that included multiple leaves. We took 300 photographs of each of 12 broad-leaved tree species, and used these to produce 43,200 256 × 256 pixels images. We used Caffe as the deep learning framework, and AlexNet and GoogLeNet as the deep learning algorithms. We trained four learning models from a combination of test data ratios, with/without data augmentation, and assessed the classification accuracy based on the ratio of correct classifications to total classifications (“correct ratio”). We divided leaf images into 10 equal sets and conducted 10 iterations without duplication. The results indicated that the highest average correct ratio for the 10 sets was 97.0% in GoogLeNet after 200 epochs. GoogLeNet showed a higher average correct ratio than AlexNet for all of the learning models. A higher proportion of test data resulted in lower average correct ratios without data augmentation. However, the correct ratio tended to improve with data augmentation. Pairs of mutually misclassified species were not necessarily misidentified within categories based on morphological similarity.
Assessment of Coordinated Heterogeneous Exploration of Complex Environments

This paper assesses coordination strategies for heterogeneous robots teams exploring complex three-dimensional communication-limited environments. A multi-agent coordination framework is presented that enables exploration of subterranean environments by teams of aerial and ground robots, designed for and deployed in the DARPA Subterranean Challenge. Various trade-offs in team strategies are investigated including deployment order, sharing map information, and marsupial operations.
The Effectiveness of Chocolate in Reducing the Number of Methicillin-Resistant Staphylococcus aureus Colonies in Rattus norvegicus

Chocolate has long been understood to provide positive emotions and a good mood if consumed in moderation. Chocolate contains prebiotics naturally from its constituent ingredients produced during the production process. Prebiotics, frequently oligosaccharides, are substances which cannot be metabolized by the human digestive system but can be employed by a group of bacteria in the gut, understood as probiotics. The positive relationship among them provides benefits for the host in eliminating pathogens. One of the well-known pathogens which frequently cause infection either in the community or in hospitals is methicillin-resistant Staphylococcus aureus (MRSA). Since it was first identified in 1960, MRSA has caused health problems until today. Research conducted on two groups of Rattus norvegicus infected with MRSA and then fed chocolate revealed a decrease in the average number of bacterial colonies on the skin compared to the control group. In the group fed chocolate at a dose of 50 mg/day, the bacterial colonies decreased to 1.28 x 108 CFU/cm2 in 7 days, lower than in the control group (1.46 x 108 CFU/cm2) at the same time. While those fed 75 mg/day chocolate decreased to 2.70 x 107 CFU/cm2 and the three groups were significantly different (0.000<0.05). Prebiotics fermented by probiotics release short-chain fatty acids (SCFA), which compete with the pathogens for attaching to the epithelial wall so that pathogens lose space and nutrients to survive. However, the adverse effect of chocolate may occur because it contains sugar which is a nutrient for bacteria, but if the balance of normal flora and adequate intake of prebiotics are administered, the pathogen could be eliminated.
Design of a Passive RFID Tag Antenna with a Modified T-match Structure

This paper presents design of a printed dipole antenna suitable for RFID applications. The RFID chip of Farsens Rockyl00 with the input impedance of 64 - j 469 Ω at 868 MHz was used to develop a passive RFID sensor tag. The antenna was etched on an FR4 dielectric substrate with a relative permittivity of 4.4, loss tangent of 0.02, and thickness of 1.6 mm. Initially, a simple dipole antenna with a single T-match structure was designed having overall dimensions of 163 mm × 16 mm × 1.6 mm. The antenna was simulated in ANSYS High Frequency Structure Simulator (HFSS) and found that its impedance is 63.66 + j 130.56 Ω. Then the T-match was modified by adding another bridge parallel to the T-match and by folding the dipole. The dimensions of its structure were optimized by using parametric optimization to match the impedance. The impedance match between the proposed antenna and the chip concerning the power transmission coefficient is 0.998. The simulated S11 ≤ -10 dB bandwidth is 690 MHz - 970 MHz. The radiation patterns are omnidirectional with a gain of about 1.7 dB. The read range of the proposed antenna was computed and found as 2.36 m.
G2 smooth, curvature constrained, local motion planning for automated vehicles

A new local motion planning method for automated vehicles in structured road scenarios is considered. Utilizing three consecutive clothoids, it is shown that real time generation of feasible trajectories for automated vehicles is possible. Separate path generation and consecutive velocity planning is considered. The path planning is reduced to a small set of nonlinear algebraic equations, while the velocity planning comprised of forward, backward and joint iteration processes. By varying some continuous parameters, multiple feasible plans can be generated and one of those can be chosen based on multiple criteria. A left turn at an intersection is used as an illustrative example.
Mathematical analysis of HIV infection of CD4+ T-cells with discrete delays

In this study, we introduce a discrete time to the model to describe the time delays between infection of a CD4+ T-cells, and the emission of viral particles on a cellular level. We begin by determining the existence and stability of the equilibrium. Further We investigate the global stability of the infection-free equilibrium and give sufficient condition for the local stability of the infected steady state is asymptotically stable for all delays. Finally, the numerical simulations are presented to illustrate the analytical results.
Key technologies of network collaborative digital preassembly system

A system which supported multidisciplinary engineers in different places to carry out a collaborative digital preassembly was put forward.The digital preassembly model was constructed based on the technologies of general Virtual Reality Modeling Language(VRML)parsing and feature information obtaining was studied.By study on organization and flow of NetMeeting,the collaborative preassembly method was put forward,and the prototype system was then developed.The application showed that collaborative engineers could simulate and analyze the assembly process simultaneously by using this system.
Improved Breakdown Characteristics for AlN/GaN/InGaN Coupling Channel HEMTs with $\text{SiN}_{x}$ Removal and Backfill Technique

In this work, we report high breakdown characteristics of AlN/GaN/InGaN coupling channel HEMTs (CC-HEMTs) using by silicon nitride $(\text{SiN}_{x})$ passivation layer removal and backfill technique (PRB). Owing to the modulated barrier stress and blocked interface leakage path, the fabricated HEMTs exhibit excellent electrical characteristics, including a high breakdown voltage of 340 V. The small-signal measurements revealed that the current gain cutoff frequency (fT) and maximum oscillation frequency (fmax) are 12.3 and 35.9 GHz, respectively. A high Johnson's figure of merit (JFoM) of 4.2 THz∙V is achieved, benchmark against state-of-the-art (SOA) report of existing GaN HEMTs platform. These results have proved that the great potential of AlN/GaN/InGaN CC-HEMTs with reasonable device design applied for the next generation radio frequency front-end modules (FEMs) and power conversion integrated circuits.
A B73×Palomero Toluqueño mapping population reveals local adaptation in Mexican highland maize

Abstract Generations of farmer selection in the central Mexican highlands have produced unique maize varieties adapted to the challenges of the local environment. In addition to possessing great agronomic and cultural value, Mexican highland maize represents a good system for the study of local adaptation and acquisition of adaptive phenotypes under cultivation. In this study, we characterize a recombinant inbred line population derived from the B73 reference line and the Mexican highland maize variety Palomero Toluqueño. B73 and Palomero Toluqueño showed classic rank-changing differences in performance between lowland and highland field sites, indicative of local adaptation. Quantitative trait mapping identified genomic regions linked to effects on yield components that were conditionally expressed depending on the environment. For the principal genomic regions associated with ear weight and total kernel number, the Palomero Toluqueño allele conferred an advantage specifically in the highland site, consistent with local adaptation. We identified Palomero Toluqueño alleles associated with expression of characteristic highland traits, including reduced tassel branching, increased sheath pigmentation and the presence of sheath macrohairs. The oligogenic architecture of these three morphological traits supports their role in adaptation, suggesting they have arisen from consistent directional selection acting at distinct points across the genome. We discuss these results in the context of the origin of phenotypic novelty during selection, commenting on the role of de novo mutation and the acquisition of adaptive variation by gene flow from endemic wild relatives.
Coaching to Support Mental Health Apps: Exploratory Narrative Review

Background The therapeutic alliance is crucial for the success of face-to-face therapies. Little is known about how coaching functions and fosters the therapeutic alliance in asynchronous treatment modalities such as smartphone apps. Objective The aim of this paper was to assess how coaching functions and fosters the therapeutic alliance in asynchronous treatment modalities. Methods We conducted a selected review to gather preliminary data about the role of coaching in mobile technology use for mental health care. We identified 26 trials using a 2019 review by Tønning et al and a 2021 scoping review by Tokgöz et al to assess how coaching is currently being used across different studies. Results Our results showed a high level of heterogeneity as studies used varying types of coaching methods but provided little information about coaching protocols and training. Coaching was feasible by clinicians and nonclinicians, scheduled and on demand, and across all technologies ranging from phone calls to social media. Conclusions Further research is required to better understand the effects of coaching in mobile mental health treatments, but examples offered from reviewed papers suggest several options to implement coaching today. Coaching based on replicable protocols that are verifiable for fidelity will enable the scaling of this model and a better exploration of the digital therapeutic alliance.