Miracle-dz/UniFAR-FTUs huggingface dataset:
4 Parametrically Excited Micro-and Nanosystems

Though an electrical or mechanical system is traditionally excited into resonance through the application of a time-periodic force whose frequency is commensurate with its natural frequency (i.e., through the application of so-called direct excitation), it is also possible to elicit large response amplitudes in an engineering system by periodically modulating its effective impedance, or providing so-called parametric excitation.This fact ismanifested in the example of a base-excited pendulum. While engineering intuition alone allows one to visualize the likelihood for large angular motions in this system under resonant, horizontal excitation of the pivot, less intuitive is the fact that vertical base excitations (which lead to a time-varying effective stiffness), under certain amplitude/frequency conditions, can also render large angular deflections. Of course, this fact is less intuitive only until one considers that as a child they may have used analogous changes in their effective length to achieve large amplitude motions on playground swings! In scientific and engineering contexts, parametrically excited systems have received considerable research attention, beginning with the early, nineteenth century research endeavors of Faraday [1], Melde [2], Mathieu [3], and Rayleigh [4, 5], and continuing with the twentieth century works of the nonlinear dynamics community (see, for example, [6–9]). Collectively, these works not only introduced the phenomena, but also brought mathematical formalism to its study.This formalism eventually led to the so-called Mathieu Equation, which is commonly used to describe the salient dynamics of parametrically excited systems:
Multifunctional Nanoparticles for Brain Tumor Diagnosis and Therapy

Brain tumors are a diverse group of neoplasms that often carry a poor prognosis for patients. Despite tremendous efforts to develop diagnostic tools and therapeutic avenues, the treatment of brain tumors remains a formidable challenge in the field of neuro-oncology. Physiological barriers including the blood-brain barrier result in insufficient accumulation of therapeutic agents at the site of a tumor, preventing adequate destruction of malignant cells. Furthermore, there is a need for improvements in brain tumor imaging to allow for better characterization and delineation of tumors, visualization of malignant tissue during surgery, and tracking of response to chemotherapy and radiotherapy. Multifunctional nanoparticles offer the potential to improve upon many of these issues and may lead to breakthroughs in brain tumor management. In this review, we discuss the diagnostic and therapeutic applications of nanoparticles for brain tumors with an emphasis on innovative approaches in tumor targeting, tumor imaging, and therapeutic agent delivery. Clinically feasible nanoparticle administration strategies for brain tumor patients are also examined. Furthermore, we address the barriers towards clinical implementation of multifunctional nanoparticles in the context of brain tumor management.
EFFECT OF ORGANIC ACID BLEND AND BACILLUS SUBTILIS ON GROWTH , BLOOD METABOLITES AND ANTIOXIDANT STATUS IN FINISHING BROILERS CHALLENGED WITH CLOSTRIDIUM PERFRINGENS

There is a growing concern over the use of antimicrobial drugs in poultry feed due to the risk of potential resistance of pathogens and the accumulation of antibiotic residues in meat. The present study was designed to compare the effect of an antibiotic, an organic acid and a probiotic on performance traits, blood biochemical parameters, ileal histology and antioxidant status in broilers during finishing phase exposed to Clostridium perfringens challenge. A total of 480 day-old broiler chicks (Ross 308) was randomly allocated to six treatments with eight replicates as follows: control (basal diet); T1: infected with Clostridium perfringens; T2: infected + Avilamycin at the rate of 0.2 g/kg; T3: infected + organic acid blend; T4: infected + consisting of a probiotic, Bacillus subtilis; and T5: infected + organic acid + probiotic. Results showed that body weight and feed conversion ratio (FCR) increased significantly (P<0.05) in T4 and T1 during fourth and third week, respectively. Further, results revealed that blood globulin and total protein decreased significantly (P<0.05) in birds in T1, while albumin increased significantly (P<0.05) in T1 and T2 during the third week. During the fourth week albumin, protein and glucose concentration increased significantly (P<0.05) in T5. Villus height increased significantly in T4 with no significant change (P>0.05) in plasma thiobarbituric acid reactive substances (TBAR) and total antioxidant capacity (TAC). From the results, we concluded that probiotic and organic acid could be successfully used as antibiotic to sustain growth and biochemical profile in broilers challenged with C. perfringens.
All-dielectric, true-time-delay, planar microwave lenses

We present a new technique for designing planar microwave lenses with broadband, true-time-delay response types. The lenses examined in this work are planar structures with circular apertures populated with numerous spatial time-delay units (TDUs). Each TDU is the unit cell of an appropriately designed lowpass frequency selective surface (FSS) that provides a desired time delay over a wide frequency range. The lowpass FSSs used in this paper are all-dielectric type multi-layer structures that are composed of high-εr and low-εr dielectric substrates cascaded sequentially. An all-dielectric lens prototype with focal length to aperture diameter ratios (f=D) of 1.3 is designed, fabricated, and experimentally characterized. It is experimentally demonstrated that the fabricated lens can operate over a bandwidth of 40% without any chromatic aberrations. Moreover, the proposed lens demonstrates an excellent scanning performance with fields of views of ±60°.
THE SIMULTANEOUS EFFECT OF HEAT STRESS AND WATER SUPPLY ON TOTAL POLYPHENOL CONTENT OF EGGPLANT

Eggplant is considered as one of the healthiest vegetables due to its nutritional values. A 2-year open field experiment was set up in 2011 and 2012 to observe the effects of heat stress and different irrigation volumes on the amount of phenolic compounds, fibre and dry matter in eggplant fruits. The optimal irrigation volume (IO) was calculated from the daily potential evapotranspiration and was compared to a treatment utilising 50% of the optimal water volume (I50). We concluded that there was no significant difference between the irrigation levels in the aspect of total polyphenol and dry matter, but there was a decrease in fibre content. Yield was increased by 19.6% with irrigation in 2011 and by 4.44% in 2012. The effect of heat stress is closely related to harvest time. In our study we proved that more heat stress resulted in more total polyphenol content in eggplant, the equation describing this relation is y=39.322+0.501x. Heat stress also stimulated dry matter and fibre content, and this influence was also significant.
Design for Additive Manufacturing: Multi Material Sand Mold

Indirect additive manufacturing is an alternative way to produce metal parts by using foundry practices. This paper will detail a novel method that uses the additive manufacturing process of binder jetting with different powders such as silica, aluminum, alumina, and steel to create a multi material mold. Multi material 3D printed molds and cores can improve parts’ design freedom, this methodology gives the ability to have a specific thermal conductivity at a specific location in order to remove or displace hot spots. The reduction of hot spots enables geometries that are more complex and are said to be impossible via traditional sand casting. A binder jetting 3D printer was developed to additively manufacture molds and core with an inorganic binder. Simulation softwares indicate material’s properties and design pertinence.
Scaling of Tip Vortex Cavitation Inception for a Marine Open Propeller

The tip vortex flow generated by a marine open propeller was numerically simulated for three different scales using a Reynolds Averaged Navier-Stokes (RANS) solver. The solutions of RANS were further improved by conducting a Direct Navier-Stokes Simulation (DNSS) in a reduced computational domain. This resulted in significant modifications of the minimum pressure coefficients along the tip vortex. These were analyzed and used to deduce a scaling law. Nuclei effects on the scaling law were investigated with the help of a surface-average pressure (SAP) spherical bubble dynamics model with a realistic bubble nuclei distribution. It was found that the Reynolds number power of the scaling law predicted based on the single phase flow solution is quite different from the classical value. However, the nuclei effects tend to adjust the power back to the classical value if the reference inception criterion is not stringent (higher number of events per second).
A Tool that Combines Building Information Modeling and Knowledge Based Engineering to Assess Façade Manufacturability

Modern façade design projects involve a wide range of materials whose manufacturing and installation impose many different constraints on the design. The façade engineer’s role is to manage and apply these constraints to achieve an optimal design. The paper presents a tool to assist façade consultants in the capture, storage and use of ‘downstream’ design constraints. The aspect of the design process to be targeted by the tool is identified through two process mapping methodologies. The tool captures expert knowledge of the geometric constraints placed on façade panels due to the manufacturing processes. As a demonstration, the tool is applied to real-world façade projects, and is shown to identify areas of the design requiring modification to improve manufacturability.
Using Isabelle / HOL for Static Program Verification in JML 4

JML4 is an Integrated Verification Environment (IVE) for JML-annotated Java that builds upon Eclipse’s support for Java. Two forms of static verification are provided: Extended Static Checking (ESC) and Full Static Program Verification (FSPV). In this paper we explain how use is made of Isabelle/HOL in support of both ESC and FSPV.
3 D Printing Architectural Freeform Elements : Challenges and Opportunities in Manufacturing for Industry 4 . 0

Three-dimensional (3D) printing, as one of the additive manufacturing (AM) technologies, is transforming the design and manufacture of products and components across a variety of disciplines, however, architectural design and the construction industry have only recently begun to adopt these technologies for construction purposes. AM is considered one of the core technological advances in the paradigm shift to Industry 4.0 (the fourth industrial revolution). This term used to describe digitization and automation of the manufacturing environment and is widely recognized as a disruptive technology that could transform architectural design and the construction industry. The potential advantages of 3D printing in the construction sector are significant. They include not only improved environmental and financial resource efficiencies, but also, the capacity to produce complex customized designs for aesthetic and structural applications. As the cost of building houses continues to rise, it is crucial to find innovative ways to build houses efficiently and cost effectively. The earliest records of 3D printing date back to the 1980’s and many industries—from manufacturing to medicine—were early adopters of the technologies resulting in many significant technological advances in those sectors from organ printing to aircraft fabrication. Currently available 3D printing technologies can be adopted for building construction and this paper discusses the applications, advantages, limitations and future directions of 3D printing as a viable solution for affordable house construction with a focus on printing architectural freeform elements. 3D printing offers a new and innovative method of house construction. For this study, an analytical, as well as a numerical model were specifically designed for 3D printing. Previous studies conducted found that the construction of a 3D printed truss-like roof in a cement mixture with high-density polyethylene (HDPE), spanning the entire structure, was structurally feasible in the absence of steel reinforcements. These results led us to investigate the feasibility of 3D printing an entire house without the use of reinforcements. Investigations were also performed on comparing flat-roof and archroof structures and found that whilst maximum tensile stresses within flat-roof would cause the concrete truss structure to fail, the HDPE cement mix in an arch-roof structure had reduced the maximum tensile stresses to an acceptable range to withstand loadings. At the time of writing this paper, several 3D printing techniques could be adopted for the purposes of 3D printing an entire house, and the team believes that future adaptations of existing technologies and printing materials could eliminate the current limitations of 3D printing and become common practice in house construction.
N Nj Mapping Explanation-Based Generalization onto Soar

Explanation-based generalization (EBG) is a powerful approach to concept formation in which a justifiable concept definition is acquired from a single training example and an underlying theory of how the example is an instance of the concept. Soar is an attempt to build a general cognitive architecture combining general learning, problem solving, and memory capabilities. It includes an independently developed learning mechanism, called chunking, that is similar to but not the same as explanation-based generalization. In this article we clarify the relationship between the explanationbased generalization framework and the Soar/chunking combination by showing how the EBG framework maps onto Soar, how several EBG concept-formation tasks are implemented in Soar, and how the Soar approach suggests answers to some of the outstanding issues in explanation-based generalization.
Fingerprint Recognition

9.1 FINGERPRINT RECOGNITION IN MOBILE DEVICES This chapter highlights the most important mechanisms for fingerprint liveness recognition in mobile phones. The structure of this chapter is as follows: Section 9.2 introduces a general definition and an overview of fingerprint recognition methods. Public databases for fingerprint recognition are presented in Section 9.3. Section 9.4 details liveness detection on fingerprints and discusses the following techniques: pore detection, CONTENTS 9.1 Fingerprint Recognition in Mobile Devices 265 9.2 Introduction 266 9.3 Public Databases for Fingerprint Recognition 268 9.3. 1 LivDet 268 9.3. 2 CASIA-FingerprintV5 269 9.3. 3 Repository for Individuals of Special Concern 269 9.4 Liveness Detection on Fingerprints 270 9.4.1 Pore Detection-Based 272 9.4.2 Perspiration-Based 272 9.4. 3 Skin Deformation-Based 274 9.4. 4 Image Quality-Based 274 9.4. 4.1 Profiling and Wavelet: Joint Time Frequency Analysis 274 9.4. 4.2 3D Image Quality: FPCLiveTouchTM 275 9.4. 5 Temperature-Based 276 9.4. 6 Skin Resistance-Based 277 9.5 Conclusion 278 References 279
Developing an Automatic Tool for Visualizing Source Code against Bad Smell Patterns

Today, software is expanding its influence on everyday life as well as in various industries. However, although it has been growing our software industry, the perception of software quality is still insufficient. Our domestic software ventures & small businesses have lacked investment in maintenance due to mainly focused on implementation. Actually software can not completely constructed at the development phase. Therefore, how to do refactoring them very well? In this paper, we suggest to implement a tool to automatically visualize the code through reverse engineering. This tool uses to extract the information with SQL Program to find bad smell patterns within the source code. And that can also find how much complexity be there in the code. With this approach to visualize the code inner structure, developers can easily do refactoring which parts of its source codes by themselves. Hopefully, it may improve the quality of the software with our visualization tool.
Ultrastructural Morphometry of Bovine Compact Morulae Produced In Vivo or In Vitro1

Abstract The objective of this study was to compare the ultrastructure of bovine compact morulae produced in vivo or in vitro using morphometric analysis. Compact morulae produced in vivo were obtained from superovulated Holstein cows. Compact morulae produced in vitro were obtained from cumulus-oocyte complexes aspirated from ovaries of Holstein cows. The complexes were matured and fertilized in vitro. At 20 h postinsemination (hpi), zygotes were distributed into 1 of 3 culture media: 1) IVPS (in vitro produced with serum): TCM-199 + 10% estrous cow serum (ECS); 2) IVPSR (in vitro produced with serum restriction): TCM-199 + 1% BSA until 72 hpi followed by TCM-199 + 10% ECS from 72 to 144 hpi; 3) mSOF (modified synthetic oviductal fluid): SOF + 0.6% BSA. At 144 hpi, five grade 1 compact morulae from each of the four treatments were prepared for transmission electron microscopy. The volume density occupied by cellular components was determined by the point-count method using a sampling of seven to nine random micrographs from each compact morula. The volume density of lipid was greater (P < 0.05) in compact morulae from IVPS, IVPSR, and mSOF treatments compared with those produced in vivo. There was a reduced proportional volume of total mitochondria in compact morulae from the IVPS treatment compared with those produced in vivo (P < 0.05). For compact morulae from the IVPS culture treatment, the volume density of vacuoles was greater than that for compact morulae produced in vivo (P < 0.05). The cytoplasmic-to-nuclear ratio for compact morulae from the IVPS treatment was increased (P < 0.05) compared with the ratio for those produced in vivo. In conclusion, compact morulae produced in vitro differed ultrastructurally from those produced in vivo. Compact morulae produced in IVPS culture medium possessed the greatest deviations in cellular ultrastructure.
Brief Report ( 5 Z )-4-bromo-5-( bromomethylene )-3-butyl-2 ( 5 H )-furanone reduces corrosion from Desulfotomaculum orientis

( 5Z )-4-bromo-5-(bromomethylene)-3-butyl-2( 5H )-furanone (furanone) from the red marine alga Delisea pulchra was found previously to inhibit the growth, swarming and biofilm formation of Gram-positive bacteria (Ren et al ., 2002, Lett Appl Microbiol 34: 293– 299). In the present study, the Gram-positive sulphatereducing bacterium (SRB), Desulfotomaculum orientis , was used to study the inhibition of mild steel corrosion due to the addition of furanone. The weight loss from batch coupon experiments incubated with 40 m g ml 1 furanone was reduced fivefold compared with samples that lacked furanone. Analysis of the metal surface with environmental scanning electron microscopy further confirmed the protection afforded by the addition of furanone. In agreement with the corrosion inhibition, most probable number (MPN) analysis showed that 20 and 40 m g ml 1 furanone inhibited 58% and 96% of the D. orientis growth respectively. Hence, furanone has the potential to inhibit microbial-induced corrosion related to Grampositive bacteria.
Mothers' characteristics, interactions, and infants' characteristics.

Stable characteristics of rhesus monkey mothers, in terms of Confident and Excitable scores, were significantly positively correlated with the respective scores of their daughters but not their sons. With sons, mothers' Excitable scores were significantly negatively correlated with sons' Confident scores. Correlations of the maternal scores with earlier mother/infant interactions suggest how mothers' characteristics could have influenced infant characteristics. Mothers' Confident scores were negatively correlated with both rejecting and leaving their daughters. When a year old the daughters, on the other hand, left mothers relatively frequently and played a relatively low role in maintaining proximity. For both sons and daughters, mothers' Excitable scores were positively correlated with approaching and leaving their infants, as well as restricting at the age of weaning. Infants approached Excitable mothers relatively frequently, and year-old sons played a relatively high role in maintaining proximity with mother. In terms of attachment theory, Confident mothers appear to provide a "secure base" for their daughters, but reject their sons when very young. Excitable mothers appear to behave inappropriately to both sons and daughters, producing infants who may be "insecurely attached. "
Hodge Theory on a Compact Complex Manifold 1 2 . The Hodge Decomposition on Kähler Manifolds 8 3

Assuming a limited knowledge of complex manifolds and sheaf cohomology we provide an overview of Hodge Theory, leading to a proof of the Kodaira Vanishing Theorem. Our intention is to fill the gap in Hartshorne [3]. These lecture notes were produced to accompany a series of lectures which I gave at the Mathematics Institute of the University of Warwick in March, 1998.
Automatic Key-phrase Extraction to Support the Understanding of Infrastructure Disaster Resilience

Preventing natural disasters from causing substantial social-economic damages relies heavily on the disaster resilience of the nation’s critical infrastructure. According to the National Academy of Sciences, research on understanding and analyzing the disaster resilience of our infrastructure systems is a “national imperative”. To address this need, this paper proposes an automatic keyphrase extraction methodology to extract relevant phrases on disaster resilience from documents in infrastructure domain. In developing the proposed methodology, a document collection including research papers and public reports are prepared. Noun phrases are first extracted from every sentence in the collection and form the candidates for keyphrases following a filtering procedure. Each candidate phrase is then represented as a global semantic vector and a local semantic vector. To select relevant phrases on disaster resilience, a semantic similarly measure is proposed to incorporate the semantics of candidate phrases in both the general and infrastructure domain. Ten physical resilience concepts from a pre-developed community resilience hierarchy is selected as the target concepts to evaluate the performance of the proposed methodology. When evaluated on the document collection, the proposed methodology achieved 66% of precision at top 20 extracted keyphrases on average.