Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimal location of FACTS devices using enhanced particle swarm optimization

In this paper a new, an enhanced PSO based optimization is proposed for optimizing the power system losses and voltage profiles. Recently, the Particle Swarm Optimization (PSO) technique has been applied to solve power engineering optimization problems giving better results than classical methods. This paper shows the application of Enhanced PSO for optimal sizing and allocation of a Static Compensator (STATCOM) in a power system. This algorithm finds optimal settings for present infrastructure as well as optimal locations, sizes and control Settings forsettings for STATCOM units. A 30 bus system is used as an example to illustrate the technique. The result shows that the EPSO is able to find the best solution with statistical significance and a high degree of convergence. The simulation results are presented to show a significant improvement of the power system reliability and feasibility and potential of this new approach.
A New Parameterization of the Attitude Kinematics

We present a new method for describing the kinematics of the rotational motion of a rigid body The new kinematic formulation provides a three dimensional parameterization of the rotation group using two perpendicular rotations thus it complements the Eulerian angles three rotations and Euler Rodrigues parameters one rotation The di erential equations can be described by two scalar equations We show the connection of the new parameterization with the other classical parameterizations The new kinematic formulation has potential applications in astrodynamics attitude control robotics and other elds
Motion-based Tracking for Dynamic, Unstructured Environments

The use of robots in dynamic and unstructured environments poses diicult challenges for machine vision. The vision systems for such robots must report changes in the world quickly and must deal with a vast range of objects. In this paper, we describe a vision system that makes use of motion to pick out and track moving objects without requiring information about their shape. We have implemented this system on a graphics accelerator in a Sun workstation. It runs in real time, processing 128 by 128 images at 10{15 frames per second. It has been used to control a camera-panning robot system, that has successfully tracked people walking around for long periods in an unmodiied room.
INQUERY and TREC-7

ipated in only four of the tracks that were part of the TREC-7 workshop. We worked on ad-hoc retrieval, ltering, VLC, and the SDR track. This report covers the work done on each track successively. We start with a discussion of IR tools that were broadly applied in our work. Although UMass used a wide range of tools, from Unix shell scripts, to PC spreadsheets, three major tools were applied across almost all tracks: the Inquery search engine, the InRoute ltering engine, and a a query expansion technique known as LCA. This section provides a brief overview of each of those so that the discussion does not have to repeated for each track. 1.1 Inquery All tracks other than the ltering track used Inqueryy6] as the search engine, sometimes for training, and always for generating the nal ranked lists for the test. We used Inquery V3.2, an in-house development version of the Inquery system made available by the CIIR (V3.1). The diierences between the two are not consequential for this study. The current belief function used by Inquery to calculate the belief in term t within document d is: w t;d = 0:4 + 0:6 tf t;d tf t;d + 0:5 + 1:5 length(d) avg len log N+0:5 nt log N + 1 where n t is the number of documents containing term t, N is the number of documents in the collection, \avg len" is the average length (in words) of documents in the collection, length(d) is the length (in words) of document d, and tf t;d is the number of times term t occurs in document d.
Programming effects of adversity on adolescent adaptive capacity

Het doel van dit proefschrift was om te onderzoeken hoe het meemaken van stressvolle gebeurtenissen voorspellend kan zijn voor veranderingen in adaptieve capaciteit tijdens de adolescentie. Adaptieve capaciteit zegt iets zeggen over iemands vermogen zich aan te passen aan een (veranderende) omgeving en kan op verschillende manieren onderzocht worden. In dit proefschrift hebben we gekeken naar temperament en naar lichamelijke stressreacties op een stressvolle laboratoriumtaak. De resultaten laten zien dat adolescenten die stressvolle gebeurtenissen hebben meegemaakt andere veranderingen laten zien in temperament en stressreactiviteit, dan adolescenten die geen of weinig stressvolle gebeurtenissen hebben meegemaakt. Bijvoorbeeld, adolescenten die stress meemaken rapporteren meer frustratie op 16, dan op 11-jarige leeftijd, terwijl jongeren die geen stress meemaken juist minder snel gefrustreerd zijn naarmate ze ouder worden. Uit het onderzoek kwam ook naar voren dat adolescenten die deze non-normatieve veranderingen in temperament laten zien, een grotere kans hebben om psychische aandoeningen te ontwikkelen. Samen genomen toont dit proefschrift aan dat adaptieve capaciteit (en in het bijzonder temperament) minder stabiel is dan vaak wordt gedacht en dat het belangrijk is om veranderingen in temperament en stressreactiviteit te onderzoeken in de context van stressvolle gebeurtenissen.
Euro Area SMEs Under Financial Constraints: Belief or Reality?

During the recent financial crisis, euro area firms, and especially Small and Medium-sized Enterprises, have been reporting acute problems of access to external finance. Using firm-level replies to the SME survey on access to finance, we use two indicators of financing constraints based on perceptions on the one side and on experienced financing constraints on the other and run probit and multinomial regressions model to determine which firms’, sectoral or national characteristics drove perceptions and experienced financial constraints during the recent financial turmoil. We find that perceptions of financing crunch was broadly based across firms but those firms who really experienced a credit crunch tended to be small and young, confirming the fact that SMEs tend to suffer more when credit standards are tightened.
P-Glycoprotein4 Displays Auxin Efflux Transporter–Like Action in Arabidopsis Root Hair Cells and Tobacco Cells[W][OA]

ATP binding cassette (ABC) transporters transport diverse substrates across membranes in various organisms. However, plant ABC transporters have only been scantily characterized. By taking advantage of the auxin-sensitive Arabidopsis thaliana root hair cell and tobacco (Nicotiana tabacum) suspension cell systems, we show here that Arabidopsis P-glycoprotein4 (PGP4) displays auxin efflux activity in plant cells. Root hair cell–specific overexpression of PGP4 (PGP4ox) and known auxin efflux transporters, such as PGP1, PGP19, and PIN-FORMEDs, decreased root hair elongation, whereas overexpression of the influx transporter AUXIN-RESISTANT1 enhanced root hair length. PGP4ox-mediated root hair shortening was rescued by the application of auxin or an auxin efflux inhibitor. These results indicate that the increased auxin efflux activity conferred by PGP4 reduces auxin levels in the root hair cell and consequently inhibits root hair elongation. PGP4ox in tobacco suspension cells also increased auxin efflux. PGP4 proteins were targeted to the plasma membrane of Arabidopsis root hair cells and tobacco cells without any clear subcellular polarity. Brefeldin A partially interfered with the trafficking of PGP4 reversibly, and this was rescued by pretreatment with auxin. These results suggest that PGP4 is an auxin efflux transporter in plants and that its trafficking to the plasma membrane involves both BFA-sensitive and -insensitive pathways.
Towards a secure and interoperable DRM architecture

In this paper we look at the problem of interoperability of digital rights management (DRM)systems in home networks. We introduce an intermediate module called the Domain Interoperability Manager (DIM) to efficiently deal with the problem of content and license translation across different DRM regimes. We also consider the threat model specific to interoperability systems, and introduce threats such as the cross-compliancy and splicing attacks. We formalize the adversary model and define security of an interoperable DRM system with respect to this adversary. We finalize by proposing detailed protocols which achieve our security requirements. In order to achieve these requirements we provide novel applications of recently proposed proxy resignature and proxy re-encryption algorithms.
Cooperation-Based Scheduling Algorithm in Wireless Multimedia Sensor Networks

Wireless Multimedia Sensor Networks (WMSNs) are characterized by limited hardware resource, bandwidth and variable channel capacity. Most potential applications of WMSN require the network to reliably transmit large multimedia content to sink and to minimize the whole energy consumption. Energy and bandwidth are important factors which must be taken into account when schedule links. We use the data aggregate to reduce the amount of data in WMSN. In this paper, we proposed a simple heuristic algorithm: Cooperation-based scheduling which is base on conflict graph. If the node has minimum degree in conflict graph, it will be scheduled preferentially. The cooperation is means that we will schedule the children firstly when the children of the node has the data. The depth of priority scheduling (PSD) represent the level of cooperation in this paper. We researched the influence of different PSD on schedule performance of Cooperation-based scheduling. The simulation results show that Cooperation-based scheduling has remarkable improvements on the scheduling length and energy efficiency.
Dipole-dipole interactions in protein-protein complexes: a quantum mechanical study of the ubiquitin-Dsk2 complex

Quantum mechanical calculations are performed on the proteins that constitute the ubiquitin-Dsk2 complex whose atomic structure has been experimentally determined by NMR spectroscopy (PDB id 1WR1). The results indicate that the dipole moment vectors of the two proteins are aligned in a head-to-tail orientation while forming and angle of ~130{\deg}. Hence, attractive dipole-dipole interactions not only stabilize the protein-protein complex but they are likely to favor the correct orientation of the proteins during the formation of the complex.
Impact of circulation on export production, dissolved organic matter, and dissolved oxygen in the ocean: Results from Phase II of the Ocean Carbon‐cycle Model Intercomparison Project (OCMIP‐2)

Results are presented of export production, dissolved organic matter (DOM) and dissolved oxygen simulated by 12 global ocean models participating in the second phase of the Ocean Carbon‐cycle Model Intercomparison Project. A common, simple biogeochemical model is utilized in different coarse‐resolution ocean circulation models. The model mean (±1σ) downward flux of organic matter across 75 m depth is 17 ± 6 Pg C yr−1. Model means of globally averaged particle export, the fraction of total export in dissolved form, surface semilabile dissolved organic carbon (DOC), and seasonal net outgassing (SNO) of oxygen are in good agreement with observation‐based estimates, but particle export and surface DOC are too high in the tropics. There is a high sensitivity of the results to circulation, as evidenced by (1) the correlation of surface DOC and export with circulation metrics, including chlorofluorocarbon inventory and deep‐ocean radiocarbon, (2) very large intermodel differences in Southern Ocean export, and (3) greater export production, fraction of export as DOM, and SNO in models with explicit mixed layer physics. However, deep‐ocean oxygen, which varies widely among the models, is poorly correlated with other model indices. Cross‐model means of several biogeochemical metrics show better agreement with observation‐based estimates when restricted to those models that best simulate deep‐ocean radiocarbon. Overall, the results emphasize the importance of physical processes in marine biogeochemical modeling and suggest that the development of circulation models can be accelerated by evaluating them with marine biogeochemical metrics.
Toxic effects of methylmercury, arsanilic acid and danofloxacin on the differentiation of mouse embryonic stem cells into neural cells

This study was performed to assess the neurotoxic effects of methylmercury, arsanilic acid and danofloxacin by quantification of neural-specific proteins in vitro. Quantitation of the protein markers during 14 days of differentiation indicated that the mouse ESCs were completely differentiated into neural cells by Day 8. The cells were treated with non-cytotoxic concentrations of three chemicals during differentiation. Low levels of exposure to methylmercury decreased the expression of GABAA-R and Nestin during the differentiating stage, and Nestin during the differentiated stage. In contrast, GFAP, Tuj1, and MAP2 expression was affected only by relatively high doses during both stages. Arsanilic acid affected the levels of GABAA-R and GFAP during the differentiated stage while the changes of Nestin and Tuj1 were greater during the differentiating stage. For the neural markers (except Nestin) expressed during both stages, danofloxacin affected protein levels at lower concentrations in the differentiated stage than the differentiating stage. Acetylcholinesterase activity was inhibited by relatively low concentrations of methylmercury and arsanilic acid during the differentiating stage while this activity was inhibited only by more than 40 µM of danofloxacin in the differentiated stage. Our results provide useful information about the different toxicities of chemicals and the impact on neural development.
Inferring Structural and Architectural Features of Brain Tissue from DT-MRI Measurements

ABSTRACT Diffusion tensor magnetic resonance imaging is an imaging modality that measures the diffusion properties of water molecules in tissues noninvasively. Water diffusion is affected by tissue constituents, such as macromolecules, membranes, organelles, as well as by tissue microstructure, architecture, and organization. From the quantities measured with diffusion tensor-magnetic resonance imaging, one can infer information about brain tissue that cannot be obtained using conventional, compositional-based (eg, proton density and chemical spectroscopy), or relaxometry-based (eg, magnetization transfer, T1, T2, and T2*) magnetic resonance imaging methods. Understanding the relationship between a measured water diffusion pattern and the underlying histological features of the tissue, however, is not simple. In the absence of a robust and comprehensive model of water diffusivity in biological tissues, the biological interpretation of diffusion measurements relies on empirical evidence. Herein, the properties of several diffusion tensor-derived quantities are reviewed, together with the experimental evidence that helps clarify their relationship with the underlying properties of brain tissue.
Understanding the Costs of Many-Task Computing Workloads on Intel Xeon Phi Coprocessors

Many-Task Computing (MTC) aims to bridge the gap between HPC and HTC. MTC emphasizes running many computational tasks over a short period of time, where tasks can be either dependent or independent of one another. MTC has been well supported on Clouds, Grids, and Supercomputers on traditional computing architectures, but the abundance of hybrid large-scale systems using accelerators has motivated us to explore the support of MTC on the new Intel Xeon Phi accelerators. The Xeon Phi is a PCI-Express based expansion card comprised of 60 cores supporting 240 hardware threads to produce up to 1 teraflop of doubleprecision performance in a single accelerator. These cards are already being integrated into super-computing clusters such as Stampede, which hosts over 6,400 Xeon Phi Accelerators totaling in over 7 petaflops of doubleprecision performance. This work provides an in depth understanding of MTC on the Intel Xeon Phi and presents our preliminary results of running several different workloads on pre-production Intel Xeon Phi hardware. By utilizing Intel’s provided SCIF protocol for communicating across the PCI-Express bus we have achieved over 90% efficiency near or outperforming OpenMP offloading tasks over 300 uS with our batch framework. This performance opens the opportunity for the development of a framework for executing heterogeneous tasks on the Xeon Phi alongside other potential accelerators including graphics cards for MTC applications. Our framework will provide fine granularity for executing MTC applications across large scale compute clusters. It will be integrated with our existing graphics card framework, GeMTC, to provide transparent access to GPUs, Xeon Phis, and future generations of accelerators to help bridge the gap into Exascale computing Keywords-MIMD, MTC, Accelerator, Intel Xeon Phi, Coprocessor
A Unidirectional Cell Switching Gate by Engineering Grating Length and Bending Angle

On a microgrooved substrate, cells migrate along the pattern, and at random positions, reverse their directions. Here, we demonstrate that these reversals can be controlled by introducing discontinuities to the pattern. On “V-shaped grating patterns”, mouse osteogenic progenitor MC3T3-E1 cells reversed predominately at the bends and the ends. The patterns were engineered in a way that the combined effects of angle- and length-dependence could be examined in addition to their individual effects. Results show that when the bend was placed closer to one end, migration behaviour of cells depends on their direction of approach. At an obtuse bend (135°), more cells reversed when approaching from the long segment than from the short segment. But at an acute bend (45°), this relationship was reversed. Based on this anisotropic behaviour, the designed patterns effectively allowed cells to move in one direction but blocked migrations in the opposing direction. This study demonstrates that by the strategic placement of bends and ends on grating patterns, we can engineer effective unidirectional switching gates that can control the movement of adherent cells. The knowledge developed in this study could be utilised in future cell sorting or filtering platforms without the need for chemotaxis or microfluidic control.
Females' Willingness to Work and the Discouragement Effect of a Poor Local Childcare Provision

We analyze the effects of regional structures on females’ willingness to work as well as on the probability that non-employed women who are willing to work actually will engage in job search. Special permission was granted to link regional data to individual respondents in the German Socio-Economic Panel (SOEP). Results of a bivariate probit model correcting for sample selection show that high regional unemployment discourages women from entering the labor market. Further, findings indicate that women with young children are willing to work, but that women with young children and mothers who are unhappy with the regional childcare provision are the least likely to look for a job. These findings indicate that high institutional and spatial barriers discourage mothers from entering employment.
Multi-Agent Teamwork, Adaptive Learning, and Adversarial Planning in Robocup Using a PRS Architecture

Our approach for the Robocup97 competition is to emphasize teamwork among agents by augmenting reactions (based on awareness of the current situation) with predictions (based on predefined multiagent maneuvers). These predictions are accomplished by allowing agents to cooperatively accomplish predefined plans, which are elaborated reactively and hierarchically to ensure responsiveness to changing circumstances. By supporting the runtime construction of plans, our approach simplifies the introduction of new plans, strategies, and actions, and produces a framework for dynamic adaptation and plan recognition through automatically generating belief networks. Our implementation is built on top of UM-PRS, a procedural reasoning system architecture for real-time environments, which allows specifying, executing, and integrating plans based on subgoaling and preconditions.
Explicit Learning of a Dynamic System with a Non-salient Pattern

We examine the hypothesis that a specific goal leads to implicit learning, whereas a nonspecific goal leads to explicit learning, even though the pattern to be learnt is non-salient. Subjects learned a dynamic control task (Berry & Broadbent, 1984). One group of subjects had a specific control goal, the second group had a non-specific pattern-search goal, and the third group had both goals. On measures of learning (control performance, prediction, and general questions), the non-specific group learnt explicitly, outperforming the other two groups on all learning measures. The specific group performed next best on control performance and prediction questions but performed very poorly on general questions. The dual-goal group performed poorly on all measures. Non-specific subjects predicted well on both familiar and unfamiliar situations. Specific-goal subjects predicted well on familiar situations, regardless of whether their previous response had been correct or incorrect. Dual-goal subjects predicted well only on familiar correct situations. We conclude that the non-specific group learned through explicit hypothesis testing, the specific group learned through a mixture of explicit problem solving and implicit instance learning, and the dual-goal group learned instances. Results are discussed in terms of dual-space models of problem solving and hypothesis testing and in terms of implicit instance learning. We consider how the choice of learning goal affects the cognitive processes used during learning and suggest that having subjects learn the same information implicitly or explicitly is potentially useful for drawing clearer distinctions between implicit and explicit modes of learning.
Session-Based Compositional Verification on Actor-based Concurrent Systems ∗

Motivations Concurrent and distributed systems are the pillars of modern IT infrastructures. It is of great importance that such systems work properly. However, quality assurance of such systems is non-trivial since they depend on unpredictable factors, such as different processing speeds of independent components. Besides, it is non-trivial to ensure communication (composed by interactions) safety: as developers implement applications locally, the sending application’s expected sequence of interactions may not fit the receiving application’s. Thus interactions between endpoints could become inconsistent and unexpected messages may damage endpoint applications such that extra cost is caused to the overall system. These challenges motivate compositional frameworks combining precise modeling and analysis with suitable tool support for such kind of systems. In particular, it is crucial to provide a verification framework which is able to analyze the overall interactions and structurally verify endpoint applications in an intuitive way with respect to endpoint behavior. Object orientation is the leading framework for concurrent and distributed systems. Concurrent objects combine object-orientation with the actor model [7]. Actors communicate with one another by asynchronous message passing, which allows the caller to continue with its own activity without blocking while waiting for the reply. Moreover, the notion of futures [6] improves this paradigm by providing a decoupling of the process invoking a method and the process reading the returned value. By sharing future identities, the caller enables other objects to wait for the same method results.