Miracle-dz/UniFAR-FTUs huggingface dataset:
Iteration-Complexity of a Linearized Proximal Multiblock ADMM Class for Linearly Constrained Nonconvex Optimization Problems

This paper analyzes the iteration-complexity of a class of linearized proximal multiblock alternating direction method of multipliers (ADMM) for solving linearly constrained nonconvex optimization problems. The subproblems of the linearized ADMM are obtained by partially or fully linearizing the augmented Lagrangian with respect to the corresponding minimizing block variable. The derived complexity bounds do not depend on the specific forms of the actual linearizations but only on some Lipschitz constants which quantify the approximation errors. Iteration-complexity is then established by showing that the linearized ADMM class is a subclass of a general non-Euclidean ADMM for which a general iteration-complexity analysis is also obtained. Both ADMM classes allow the choice of a relaxation parameter in the interval (0, 2) as opposed to being equal to one as in many of the previous papers on this topic. 2000 Mathematics Subject Classification: 47J22, 49M27, 90C25, 90C26, 90C30, 90C60, 65K10.
Complete mitochondrial genome of the soybean stem fly Melanagromyza sojae (Diptera: Agromyzidae)

Abstract We report the complete mitochondrial DNA genome of the soybean stem fly (SSF) Melanagromyza sojae from Brazil Santa Catarina state based on Illumina MiSeq sequence data. The estimated mitogenome is 15 475 base pairs (bp) (KT597923), with 13 protein-coding genes (PCGs), two ribosomal RNA (rRNA) genes, and 22 tRNAs, and an estimated 579 bp AT-rich control region. Similar to other insects, the SSF mitogenome is A–T bias with 40.9% A, 36.7% T, 13.6% C, and 8.8% G. Molecular characterization of SSF mitogenome will facilitate the development of effective molecular markers, and robust and rapid identification of suspected biosecurity incursions and field infestations of this insect pest.
Pilot evaluation of resin composite cement adhesion to zirconia using a novel silane system

Objective. In this study, we evaluated the effect of two silane coupling agents and their blends with a cross-linker silane on the bond strength of a dimethacrylate-based resin composite cement to surface-conditioned zirconia. Material and Methods. A total of 40 planar zirconia specimens were used for 8 test groups. After alumina particle abrasion, followed by tribochemical silica-coating, the specimens were randomly assigned to four silanizations: with 1.0 vol% 3-methacryloyloxypropyltrimethoxysilane or 1.0 vol% 3-mercaptopropyltrimethoxysilane or their blends with 1.0 vol% 1,2-bis-(triethoxysilyl)ethane (all in ethanol/water). The resin composite (RelyX™ ARC, 3M ESPE) stubs (n=10/group) were light-polymerized onto zirconia specimens. Four test groups were tested without water storage and 4 thermo-cycled at 6000 cycles (5±1°C to 55±1°C), with a dwelling time of 30 s. The shear bond strength of the cement stubs to zirconia was measured using a universal testing machine at a constant cross-head speed of 1 mm/min. Scanning electron microscopy was employed for imaging the zirconia surface after conditioning and testing. Failure mode was evaluated visually. A surface chemical analysis was carried out with the EDXA system. Results. The highest shear bond strength was 21.9±8.7 MPa, obtained with a blend of 3-mercaptopropyltrimethoxysilane and 1,2-bis-(triethoxysilyl)ethane (dry storage), and 16.0±1.5 MPa, with 3-methacryloyloxypropyltrimethoxysilane (thermo-cycled). Thermo-cycling decreased the bond strengths significantly (ANOVA, p<0.01), and the silanes differed significantly (p<0.005). Some specimens suffered from spontaneous debonding during thermo-cycling. Conclusions. The luting cement adhesion might be promoted to silica-coated zirconia with 1.0 vol% 3-methacryloyloxypropyltrimethoxysilane and with a blend of 1.0 vol% 3-mercaptopropyltrimethoxysilane and 1.0 vol% 1,2-bis-(triethoxysilyl)ethane.
Graphene-Based Interconnects on Hexagonal Boron Nitride Substrate

We demonstrated graphene interconnects on layered insulator-hexagonal boron nitride ( h-BN). Performance metrics are compared among three material systems: CVD graphene on h-BN, CVD graphene on SiO<sub>2</sub>, and exfoliated graphene on SiO<sub>2</sub>. CVD graphene on h-BN shows approximately 19 times and 8 times improved conductivity as compared with CVD graphene on SiO<sub>2</sub> and exfoliated graphene on SiO<sub>2</sub>, respectively. For graphene on h-BN, an ultrahigh carrier mobility (~ 15 000 cm<sup>2</sup>/V·s at a carrier density of 1 × 10<sup>12</sup> cm<sup>-2</sup>) is observed. The breakdown power density is much increased, attributed to the higher thermal conductivity of h-BN (than that of SiO<sub>2</sub>) that facilitates heat dissipation. Electrical annealing reduces graphene sheet resistance. Unlike the case for SiO<sub>2</sub> substrate, the absence of positive shift of Dirac point could be due to the interface-state-free nature of h-BN substrate. The research suggests that h-BN could be used as an alternative substrate material for graphene-based interconnects, overcoming performance limit and reliability issues caused by the SiO<sub>2</sub> substrate.
TGFBR1 and TGFBR2 mutations in patients with features of Marfan syndrome and Loeys‐Dietz syndrome

Marfan syndrome (MFS) is an autosomal dominant connective tissue disorder characterized by manifestations in the cardiovascular, skeletal, ocular, and other organ systems. MFS type1 (MFS1) is caused by mutations in the gene encoding fibrillin (FBN1). Recently, the transforming growth factor‐β receptor‐2 gene, TGFBR2, has been shown to be associated with a second type of this disorder with typically mild or absent ocular involvement (MFS type 2; MFS2). Several point mutations were found in the highly conserved serine/threonine kinase domain of TGFBR2. Mutations in both TGFBR1 and TGFBR2 are associated with Loeys‐Dietz aortic aneurysm syndrome (LDS). We searched for TGFBR1 and TGFBR2 mutations in 41 unrelated patients fulfilling the diagnostic criteria of Ghent nosology or with the tentative diagnosis of Marfan syndrome, in whom mutations in the FBN1 coding region were not identified. In TGFBR1, two mutations and two polymorphisms were detected. In TGFBR2, five mutations and six polymorphisms were identified. Reexamination of patients with a TGFBR1 or TGFBR2 mutation revealed extensive clinical overlap between patients with MFS1, MFS2, and LDS. Hum Mutat 0, 770–777, 2006. © 2006 Wiley‐Liss, Inc.
Shaped passive magnetic field shaping for roadway IPT

Shaping of the magnetic field between the primary and secondary coils of Inductive Power Transfer Systems is crucial for system performance and to keep leakage within emissions guidelines. This paper gives an overview of different methods used to shape the magnetic field, followed by work done by the authors looking into one of these methods for use in an electric vehicle charging application using in-ground ferrite-less coils. The proposed method uses a short-circuited loop of wire around the main primary coil to shape the magnetic field. The paper focuses on the geometry and distribution of this shorted loop so that the magnetic field can be enhanced in some areas such as between coils and minimised in other areas where people may be near the operating pads. The method is explored through simulation, showing that it can be a useful tool in designing a practical system.
Prevalence of Drug-Related Problems and Cost-Savings Opportunities in Medicaid High Utilizers Identified by a Pharmacist-Run Drug Regimen Review Center

BACKGROUND: Despite numerous reports of state Medicaid drug utilization review (DUR) programs, little data are available about the prevalence of drug related problems (DRPs) in Medicaid patients. A university-based, pharmacist-run DUR program for high utilizers was created as an alternative to imposition of a statutory limit of 7 medications per month in the Utah Medicaid program in 2002. The DUR program was designed to suggest ways that high-utilizing patients could decrease their total number of medications to 7 or fewer prior to imposition of the 7-medication limit at some time in the future. OBJECTIVES: To describe the experience in 1 Medicaid DUR program and to report the prevalence of DRPs and cost-saving opportunities (CSOs) among a population of Medicaid recipients who were high utilizers of prescription drugs. METHODS: DRPs were identified by 5 clinical pharmacists employed by the Drug Regimen Review Center (DRRC) in Salt Lake City. The purpose of the center was to provide drug therapy review services for a select number of Utah Medicaid recipients (200-300 per month) who exceeded a 7-medication limit during the calendar years 2003 and 2004. RESULTS: Out of 391,890 eligible Medicaid recipients, 242,411 (62%) received at least 1 medication, and 16,958 (4.3%) exceeded the 7-medication limit during the review period. Of those exceeding the limit, the DRRC reviewed a total of 3,706 (21.9%) patients, representing the highest utilizers by volume of medication. The prevalence of DRPs considered clinically important in the review cohort was 79.7% of patients, including therapeutic duplications in 54.6% of patients, dose form optimization in 29.7%, and inappropriate uncoordinated care in 25.3%. The average pharmacy cost per month for patients with at least 1 DRP was $1,081; by contrast, the average pharmacy cost per month for all other patients receiving at least 1 prescription was $91. CONCLUSIONS: Approximately 4% of Medicaid recipients exceeded the 7-medication monthly limit. Among the 22% highest utilizers in this group, 48% of nursing home residents and 87% of ambulatory recipients had at least 1 DRP, or an overall rate of 80% of high-use Medicaid recipients or as much as 3.2% of the Medicaid population.
Deformable models: canonical parameters for surface representation and multiple view integration

Three-dimensional viewpoint invariance is an important requirement in the representation of surfaces for recognition tasks. Parameterized surfaces possess this desirable property. In general, the parameters in a parametric surface representation can be arbitrarily defined. A canonical, intrinsic parameterization provides a consistent, invariant form for describing surfaces. The goal of this work is to define and construct such a parameterization. <<ETX>>
Integrating Positive Psychology Into Family Therapy

The article provides an overview of positive family therapy that combines family therapy and positive psychology to develop a nonpathologizing, growth-oriented, strengths-based, relationship-focused model of intervening with families. The theoretical roots from both family therapy and positive psychology are described. The unique feature is the mechanism of change, broaden and build theory from positive psychology. Examples of techniques are provided that foster strengths, virtues, approach goals, and positive affect. In accordance with the counseling psychology tradition, we argue that positive family therapy is culturally sensitive, growth oriented, and hope enhancing.
A backstepping design approach to a class of mobile robots

This paper considers the trajectory tracking of a class of mobile robots. First, a Lyapunov-based controller is designed to stabilize the robot's orientation angle. Then, a backstepping control law is proposed to drive the robot's position error to zero; hence, achieving asymptotic tracking of a reference trajectory. The stability of the closed-loop system is proved using Lyapunov theory. The effectiveness of the proposed controllers is demonstrated via numerical simulations.
Development of smart controller with demand response for AMI connection

In order to comprise energy efficiency for electrical devices in homes, a smart grid-base AMI (Advanced Metering Infrastructure), which checks electricity consumption and controls the electric energy used with the demand response technique, is necessary for remotely managing the load of the energy and power consumed. The smart controller calculates the amount of electricity consumed by customer on real time basis from the utility supplier like electric supply company. In this paper, we propose the hardware architecture and software of the smart controller for use as the platform in smart grid system. The smart controller is installed on the electric plug of the electric appliance. The smart controller grasps the electricity amount used in the electric appliance and delivers to the AMI / EMS (Energy Management Server). In addition, according to the electricity price change, the use of energy of the electric appliance is limited. It will also show that it is available to apply to home for efficiently controlling the electric energy consumption.
A dynamic navigation for autonomous mobiles robots

In this paper, we discuss cooperative approach to solve the problem of navigation for autonomous mobile robots in fully dynamic environments, it is about building an environment of robotics specific to a construction site where such robots must cooperate to deal with the functions related to the site. For that, we used the power of the biological inspiration; the genetic algorithms (GA's) because theirs capacity to solve hard problems in short time in any environment with increasing complexity which are an interesting alternative to conventional methods of path planning. Our work is to determine the optimal path of several mobile robots using genetic algorithms in a dynamic environment. The evaluation of paths is a "fitness" function based on the path length. This method is implemented and tested on several scenarios. The results demonstrate the robustness and performance of our approach.
Recognition of license plate character based on wavelet transform and generalized regression neural network

Recognition methods of Chinese characters and similar characters are the main factors which affect the rate of license plate character recognition system. In this paper, a hybrid method based on wavelet transform and generalized regression neural network (GRNN) is proposed. For Chinese characters, a block projection with wavelet packet transform is adopted to extract the feature and a clustering algorithm is presented to reduce the dimension of feature vector. Moreover, the method of the characteristic regional recognition is introduced to recognition the similar characters. Besides, the clustering method based on wavelet transform is used to extract the feature of letter and digital characters. Furthermore, GRNN with powerful non-linear mapping capability and high fault-tolerant ability is designed as character classifier in the multi-network character recognition system. Finally, the result shows that the recognition rate of whole network could reach up to 91% and the classification algorithm has better robustness.
Effects of depression on memory performance and metamemory in children.

OBJECTIVE To investigate the effects of depression on memory performance and metamemory in children. METHOD Performance on automatic memory tasks (frequency of occurrence), effortful memory tasks (Children's Auditory Verbal Learning Test), and a Metamemory Battery were examined in 21 unmedicated, depressed children and 21 nondepressed controls (matched for age, gender, and full-scale IQ). Subjects were divided into three groups based on depression severity (high depressed, low depressed, nondepressed). RESULTS High depressed patients demonstrated performance deficits relative to nondepressed and low depressed children on the Children's Auditory Verbal Learning Test, Immediate Recall trial. Both groups of depressed children performed more poorly on the Metamemory Battery when compared to nondepressed children. Severity of depression differentiated overall performance. Metamemory performance of depressed subjects indicates possible difficulty with overestimation of memory abilities. No differences were found on automatic memory task performance. CONCLUSIONS Memory impairment in depression varies as a function of severity and may be evident only when a certain level of depression is reached. Overestimation of memory ability by depressed children may be an attempt to compensate for feelings of inadequacy or inferiority. It may also lead depressives to use poor judgment in selecting appropriate solutions for problems. Targeting these cognitive distortions could be a focal point of clinical and educational interventions.
Molecular cloning and characterization of the tumor transforming gene (TUTR1): a novel gene in human tumorigenesis

We cloned and sequenced the cDNA of a potent tumor transforming gene (TUTR1) from human testis and determined its primary structure. The TUTR1 cDNA is composed of 656 nucleotides and encodes a novel protein of 202 amino acids. The predicted TUTR1 protein is extremely hydrophilic and contains two proline-rich motifs at its C-terminus. Northern blot analysis of the mRNA from various human tissues and tumors revealed that TUTR1 mRNA is highly expressed in tumors of the pituitary gland, adrenal gland, ovary, endometrium, liver, uterus, and kidney as well as in cell lines derived from tumors of the pituitary, breast, endometrium, and ovary. With the exception of the testis, the levels of TUTR1 mRNA were either very low or undetectable in normal human tissues. Overexpression of TUTR1 in mouse fibroblasts (NIH 3T3) cells resulted in an increase in cell proliferation, induced cellular transformation in vitro, and promoted tumor formation in nude mice. These results suggest that TUTR1 is a novel and potent transforming gene, which may be involved in tumorigenesis in numerous different human tumors.
5′ Hox Genes and Meis 1, a Hox-DNA Binding Cofactor, Are Expressed in the Adult Mouse Epididymis1

Abstract Hox genes determine the formation of segmented structures during development. The epididymis shows a segmented organization in its structure and function beyond embryogenesis. This study examined the adult mouse epididymis and vas deferens for expression of 5′ hox genes and a hox-DNA binding cofactor. Reverse transcriptase-polymerase chain reaction (RT-PCR) showed the expression of hoxa-9, hoxa-10, hoxa-11, hoxd-9, and hoxd-10 in all regions including the vas deferens. Semiquantitative RT-PCR revealed highest mRNA levels for hoxa-11 in the distal part of the epididymis and vas deferens, and this was confirmed by Northern blot analysis. To determine protein presence an antibody raised against a peptide N-terminal to the homeodomain of hoxa-11 was produced in rabbits. The antibody recognized a band of approximately 37–39 kDa in Western blot analysis. Immunohistochemistry indicated the presence of hoxa-11 in the nuclei of the epithelial cells with some staining in the cytoplasm. Staining was also detected in nuclei of interstitial cells throughout the entire organ and the vas deferens. A DNA binding cofactor for hoxa-11, Meis 1, was investigated for its presence in the epididymis. Semiquantitative RT-PCR identified both transcripts for Meis 1 (Meis 1a and Meis 1b) in all regions. Protein presence was confirmed by Western blot analysis, and this detected one band of approximately 53–55 kDa. Immunohistochemistry localized Meis 1 in the nuclei of interstitial cells throughout the entire organ and the vas deferens. Our study provides preliminary data from which we suggest the involvement of homeodomain transcription factors in the maintenance of segmental function of the adult epididymis and vas deferens.
Electrophoretic study of the genome of human rotaviruses from Rio de Janeiro, São Paulo and Pará, Brazil

SUMMARY Human rotaviruses from the states of Rio de Janeiro, São Paulo and Pará of Brazil were analysed by RNA electrophoresis. At least some bands characteristic of rotavirus double-stranded RNA were detected in 138 (86·8%) of 159 faecal samples in which the presence of rotavirus had been demonstrated by enzyme immunoassay. Of the RNA-positi ve samples, 18 (13·0%) were classified as subgroup 1, 94 (68·1%) as subgroup 2, and 26 (18·8%) could not be classified due to absence of visible bands 10 and 11. Subgroup 2 was more frequent in the three states. All strains of subgroup 1 detected in Rio de Janeiro were associated with a single short-lived school outbreak. All strains of subgroup 1 resembled each other in electrophoretie pattern, irrespective of geographical origin, although minor differences could be detected by co-electrophoresis. Subgroup 2, on the other hand, showed a great degree of electrophoretic heterogeneity and could be divided into several sub-categories.
Gas detection and identification using MEMS TOF mass spectrometer

This work reports on both the micro fabrication of a miniaturized MEMS ion source and its utilization as a simple Time-Of-Flight (TOF) MEMS mass spectrometer for gas detection. Microelectronic manufacturing process is used for the fabrication. The ion source and the analyzer are manufactured simultaneously and collectively. The ionizer generates one of the highest current for an integrated ion source. Mass spectra of several gases, such as ethanol, argon, krypton and xenon have been obtained.
A dual tangent based algorithm for maximum power point tracking of solar PV systems

In this paper, a new algorithm is presented for maximum power point tracking (MPPT) of solar PV array. This method first forecasts the maximum power point (MPP) by using tangents to the power-voltage curve at two end points of an interval and then iteratively converges to the MPP by evaluating whether the true MPP lies on the left or right side of the estimated MPP. The proposed algorithm has the advantage that MPPT is achieved within an almost fixed and small number of iterations irrespective of the power level. The working of the control approach is first demonstrated through MATLAB/Simulink simulation and simulated results are then verified experimentally by the hardware implementation of a standalone photo-voltaic (PV) system.
On the Discovery and Utility of Precedence Constraints in Temporal Planning

We extend the precedence constraints contexts heuristic (hpcc) to a temporal and numeric setting, and propose rules to account precedence constraints among comparison variables and logical variables. Experimental results on benchmark domains show that our extension has the potential to lead to better plan quality than that with the heuristic proposed by Eyerich and others.
A method of antenna barrier detection and depth estimation

Visual-based obstacle detection is becoming more and more widely used in autonomous navigation. However, there are various of obstacles in the environment, such as the Air wire, which is a big threat to the micro-UAV autonomous flight. Therefore, antenna wire detection and depth estimation have its practical significance. In this paper, we propose a new Air wire detection algorithm, which uses the 2Dimage information and static stereo vision to detect the Air wire in the environment, and then perform the depth estimation of the antenna. In contrast to the method of static stereos vision, we use the motion of the camera combined with the video stream information to solve the depth of the antenna wire from multiple visual angles and provide accurate 3D scene information for autonomous navigation and obstacle avoidance. We experimented indoors and outdoors respectively. we demonstrate our method can accurately solve the depth of the antenna obstacle, and its effect is far more than the current mainstream static stereos vision.