Miracle-dz/UniFAR-FTUs huggingface dataset:
CosmoMHD: A Cosmological Magnetohydrodynamics Code

In this era of precision cosmology, a detailed physical understanding on the evolution of cosmic baryons is required. Cosmic magnetic fields, though still poorly understood, may represent an important component in the global cosmic energy flow that affects the baryon dynamics. We have developed an Eulerian-based cosmological magnetohydrodynamics code (CosmoMHD) with modern shock capturing schemes to study the formation and evolution of cosmic structures in the presence of magnetic fields. We have implemented several high-resolution finite-volume and finite-difference methods for solving the MHD equations with cosmology. The divergence-free condition of the magnetic fields is preserved at a level of computer round-off error via the constraint transport method. We have also implemented a high-resolution method via dual-equation formulation to track the thermal energy of the baryons accurately in very high Mach number or high Alfvén-Mach number regions. Several numerical tests have demonstrated the efficacy of the proposed schemes.
Transforming Conceptual Model into Logical Model for Temporal Data Warehouse Security: A Case Study

Extraction-transformation-loading (ETL) processes are responsible for the extraction of data from several sources, their cleansing, customization and insertion into a data warehouse. Data warehouse often store historical information which is extracted from multiple, heterogeneous, autonomous and distributed data sources, thereby, the survival of the organizations depends on the correct management, security and confidentiality of the information. In this paper, we are using the Model Driven Architecture (MDA) approach to represent logical model requirements for secure Temporal Data Warehouses (TDW). We use the Platform-Independent Model (PIM) which does not include information about specific platforms and technologies. Nowadays, the most crucial issue in MDA is the transformation between a PIM and Platform Specific Models PSM. Thus, OMG defines use the Query/View/Transformation (QVT) language, an approach for expressing these MDA transformations. This paper proposes a set of rules to transform PIM model for secure temporal data warehouse (TDW) to PSM model, we apply the QVT language to the development of a secure data warehouse by means of a case study.
Extraction and purification of high-value metabolites from microalgae: essential lipids, astaxanthin and phycobiliproteins

The marked trend and consumers growing interest in natural and healthy products have forced researches and industry to develop novel products with functional ingredients. Microalgae have been recognized as source of functional ingredients with positive health effects since these microorganisms produce polyunsaturated fatty acids, polysaccharides, natural pigments, essential minerals, vitamins, enzymes and bioactive peptides. For this reason, the manuscript reviews two of the main high‐value metabolites which can be obtained from microalgae: pigments and essential lipids. Therefore, the extraction and purification methods for polyunsaturated fatty acids, astaxanthin, phycoerythrin and phycocyanin are described. Also, the effect that environmental growth conditions have in the production of these metabolites is described. This review summarizes the existing methods to extract and purify such metabolites in order to develop a feasible and sustainable algae industry.
Early stage power management for 3D FPGAs considering hierarchical routing resources

Designing for low power consumption demands power-efficient devices and good design practices to leverage the architectural features without compromising performance. Power estimation at an early stage of electronic design automation (EDA) flow is essential in order to handle the design issues much earlier. In this paper, we are proposing a methodology for evaluating the power in three-dimensional field-programmable gate arrays (3D FPGAs) at an early stage of the design cycle namely at the partitioning step and making it a power-aware stage. As a part of the work, we also estimate the routing resources needed for the power evaluation. Our estimated power values are compared against the values obtained from a 3D place and route tool, TPR along with the added power calculations, which is demonstrating acceptable accuracy. Our results show that there is a scope for achieving desired distribution of power among the layers well before the placement with reasonable deviation in estimation and proves that our methodology is providing opportunity for power management at earlier stages of the design flow.
Alloplastic Reconstruction of the Extensor Mechanism after Resection of Tibial Sarcoma

Reconstruction of the extensor mechanism is essential for good extremity function after endoprosthetic knee replacement following tumor resection. Only a few biological methods have been able to reliably restore a functional extensor mechanism, but they are often associated with significant complication rates. Reattachment of the patellar tendon to the prosthesis using an alloplastic patellar ligament (Trevira cord) can be an appropriate alternative. In vivo and in vitro studies have already shown that complete fibrous ingrowth in polyethylene chords can be seen after a period of six months. However, until now, no biomechanical study has shown the efficacy of an alloplastic cord and its fixation device in providing sufficient stability and endurance in daily life-activity until newly formed scar tissue can take over this function. In a special test bench developed for this study, different loading regimes were applied to simulate loads during everyday life. Failure loads and failure modes were evaluated. The properties of the cord were compared before and after physiological conditioning. It was shown that rubbing was the mode of failure under dynamic loading. Tensile forces up to 2558 N did not result in material failure. Thus, using an artificial cord together with this fixation device, temporary sufficient stable fixation can be expected.
ISTS 2004-t-11 EFFICIENT UPDATING DIGITAL MAPS BY REMOTE SENSING IMAGES AND THEIR USAGE FOR APPLIED TASKS

An efficient procedure for updating digital maps by using remote sensing images is proposed in the paper. An algorithm for matching of remote sensing images with digital maps based on modified polynomial approximation is proposed that gives a smaller error in the determination of coordinates than other methods. Map updating algorithm is described. Practical experiments of the procedure are given and other practical tasks will be shown in the presentation.
Indoor Map-Constrained Robot Localization Using Incidental Radio Observations

We are interested in equipping an indoor mobile robot with a robust localization algorithm. We assume that the robot is performing some task that requires it to continuously move, and localization needs to be incidentally achieved. A few other known efforts, e.g., a museum-guide robot, a service robot, or a soccer robot, have addressed similar indoor incidental localization and navigation problems, but have mostly relied on visual-based landmark perception. Such tasks can include frequent stoppages that can play an important role in reducing localization uncertainty. In this work, we assume that the environment includes static radio nodes, which can be queried for localization landmark information. We introduce a representation of the indoor map in terms of both rigid map constraints, e.g., corridor width and connectedness, and as a set of sampled location points with signal strengths defining the a priori map knowledge. The dynamic radio signal strength from the sensor network nodes, along with the discrete map points is used to generate a continuous localization probability distribution. This probability distribution, combined with the motion data of the robot and the rigid map constraints reults in a novel indoor localization algorithm. Two novel approaches in our algorithm compared to other algorithms are the method of generation of an estimate of the perceptual model that is continuous in space, and the use of rigid map constraints for weighting location beliefs. We demonstrate the algorithm in an autonomously moving robot that interacts with a real sensor network in our building.
An Inversion Inequality for Potentials in Quantum Mechanics

We suppose: (1) that the ground-state eigenvalue E=F(v) of the Schrodinger Hamiltonian H=−Δ+vf(x) in one dimension is known for all values of the coupling v>0; and (2) that the potential shape can be expressed in the form f(x)=g(x2), where g is monotone increasing and convex. The inversion inequality f(x)⩽f(1/4x2) is established, in which the “kinetic potential” f(s) is related to the energy function F(v) by the transformation {f(s)=F′(v), s=F(v)−vF′(v)}. As an example, f is approximately reconstructed from the energy function F for the potential f(x)=ax2+b/(c+x2).
LDS1-produced oxylipins are negative regulators of growth, conidiation and fumonisin synthesis in the fungal maize pathogen Fusarium verticillioides

Oxylipins are fatty acid-derived signaling compounds produced by all eukaryotes so far investigated; in mycotoxigenic fungi, they modulate toxin production and interactions with the host plants. Among the many enzymes responsible for oxylipin generation, Linoleate Diol Synthase 1 (LDS1) produces mainly 8-hydroperoxyoctadecenoic acid and subsequently different di-hydroxyoctadecenoic acids. In this study, we inactivated a copy of the putative LDS1 ortholog (acc. N. FVEG_09294.3) of Fusarium verticillioides, with the aim to investigate its influence on the oxylipin profile of the fungus, on its development, secondary metabolism and virulence. LC-MS/MS oxylipin profiling carried out on the selected mutant strain revealed significant quali-quantitative differences for several oxylipins when compared to the WT strain. The Fvlds1-deleted mutant grew better, produced more conidia, synthesized more fumonisins and infected maize cobs faster than the WT strain. We hypothesize that oxylipins may act as regulators of gene expression in the toxigenic plant pathogen F. verticillioides, in turn causing notable changes in its phenotype. These changes could relate to the ability of oxylipins to re-shape the transcriptional profile of F. verticillioides by inducing chromatin modifications and exerting a direct control on the transcription of secondary metabolism in fungi.
Text classification without labeled negative documents

This paper presents a new solution for the problem of building a text classifier with a small yet of labeled positive documents (P) and a large set of unlabeled documents (U). Here, the unlabeled documents are mixed with both of the positive and negative documents. In other words, no document is labeled as negative. This makes the task of building a reliable text classifier challenging. In general, the existing approaches for solving this kind of problem use a two-step approach: i) extract the negative documents (N) from U; and ii) build a classifier based on P and N. However, none of the reported studies tries to further extract any positive documents (P') from U. Intuitively, extracting P' from U will increase the reliability of the classifier. However, extracting P' from U is difficult. A document in U that possesses some of the features exhibited in P does not necessarily mean that it is a positive document, and vice versa. It is very sensitive to extract positive documents, because those extracted positive samples may become noises. The very large size of U and the very high diversity exhibited there also contribute to the difficulty of extracting any positive documents. In this paper, we propose a partition-based heuristic which aims at extracting both of the positive and negative documents in U. Extensive experiments based on three benchmarks are conducted. The favorable results indicated that our proposed heuristic outperforms all of the existing approaches significantly, especially in the case where the size of P is extremely small.
Dynamics of Quantum Adiabatic Evolution Algorithm for Number Partitioning

We have developed a general technique to study the dynamics of the quantum adiabatic evolution algorithm applied to random combinatorial optimization problems in the asymptotic limit of large problem size n. We use as an example the NP-complete Number Partitioning problem and map the algorithm dynamics to that of an auxiliary quantum spin glass system with the slowly varying Hamiltonian. We use a Green function method to obtain the adiabatic eigenstates and the minimum exitation gap, gmin = O(n2(sup -n/2)), corresponding to the exponential complexity of the algorithm for Number Partitioning. The key element of the analysis is the conditional energy distribution computed for the set of all spin configurations generated from a given (ancestor) configuration by simultaneous flipping of a fixed number of spins. For the problem in question this distribution is shown to depend on the ancestor spin configuration only via a certain parameter related to the energy of the configuration. As the result, the algorithm dynamics can be described in terms of one-dimensional quantum diffusion in the energy space. This effect provides a general limitation of a quantum adiabatic computation in random optimization problems. Analytical results are in agreement with the numerical simulation of the algorithm.
Who wants to be normal?

This editorial refers to ‘Does implementation of the European guidelines based on the SCORE model double the number of Norwegian adults who need cardiovascular drugs for primary prevention? The Tromso study 2001'† by Hartz et al., on page 2673 Is the average elderly Norwegian at high risk of cardiovascular disease after 60 years of age? Will most of these men and women need health care or even drug treatment in order to lower serum lipids and/or blood pressure? Well, according to the present guidelines of the European Heart Association, this actually seems to be the case.1 Hartz et al . 2 show that in Tromso, Norway, the vast majority of men >60 years, and females >70, have a 10-year risk of fatal cardiovascular disease exceeding 5%, the suggested limit for intervention. We can argue about the exact figures, including the (unpublished) confidence interval of the 5% limit, but the main message is clear: it is normal to be at ‘high’ risk. And what is true for Norway would be true for most other European countries. However, many clinicians will find this definition of normality hard to accept. Some will object simply on the basis of semantics: the ‘average’ can never be equal to ‘high’. Some will feel that it is unethical to turn the majority of seemingly healthy citizens into patients requiring medical treatment and surveillance. When it comes to long-term pharmacological treatment, many doctors are still wondering whether all-cause mortality is significantly lowered by drug treatment and whether study participants were representative of their own patients in clinical practice. Some will argue that the necessary societal expenses could be better used for other purposes, unless each person … *Corresponding author E-mail address : staffan.lindeberg{at}med.lu. se
Residential real estate pricing decision factors among developers in Klang Valley, Malaysia

This paper has two (2) principal aims; (1) to investigate the elements that influence residential real estate pricing by developers and; (2) to analyze which factors that are most significant in influencing real estate pricing. Using Analytic Hierarchy Process (AHP) approach, factors and sub-factors were identified and developed into a hierarchy of real estate pricing determinant for the purpose of the AHP assessment framework. Using random sampling, about thirty (30) respondents from twenty nine (29) developer's company around Selangor were selected as a sample. This study successfully identified a few factors and sub factors that are most significant to residential real estate pricing. The findings suggest the demographic and neighborhood aspects and; legal aspect were the most important factors in determining the residential real estate pricing followed by the physical aspects of property and economic aspects.
MODULATION OF SEPTO-HIPPOCAMPAL (cid:1) ACTIVITY BY GABA A RECEPTORS: AN EXPERIMENTAL AND COMPUTATIONAL APPROACH 1

— (cid:1) Frequency oscillation of the septo-hippocampal system has been considered as a prominent activity associated with cognitive function and affective processes. It is well documented that anxiolytic drugs diminish septo-hip-pocampal oscillatory (cid:1) activity contributing to their either therapeutic or unwanted side effects. In the present experiments we applied a combination of computational and physiological techniques to explore the functional role of GABA A receptors in (cid:1) oscillation. In electrophysiological experiments extracellular single unit recordings were performed from medial septum/ diagonal band of Broca with simultaneous hippocampal (CA1) electroencephalogram (EEG) recordings from anesthetized rats. Neurotransmission at GABA A receptors were modulated by means of pharmacological tools: the actions of the GABA A receptor positive allosteric modulator diazepam and inverse agonist/negative allosteric modulator FG-7142 were evaluated on septo-hippocampal activity. Systemic administration of di-azepam inhibited, whereas FG-7142 enhanced (cid:1) oscillation of septal neurons and hippocampal EEG (cid:1) activity. In parallel to these experimental observations, a computational model has been constructed by implementing a septal GABA neuron model with a CA1 hippocampal model containing three types of neurons (including oriens and basket interneurons and pyramidal cells; latter modeled by multicompartmental techniques; for detailed model description with network parameters see online addendum: http://geza.kzoo.edu/theta). This connectivity made the network capable of simulating the responses of the septo-hippocampal circuitry to the modulation of GABA A transmission, and the presently described computational model proved suitable to reveal several aspects of pharmacological modulation of GABA A receptors. In addition, computational ﬁndings indicated different roles of distinctively located GABA A receptors in (cid:1) generation. © 2004 IBRO
Improving Reusability by Recasting Single Large-Effect Operations as Objects

Extending the object-oriented paradigm by "recasting" single large-effect operations as objects markedly improves reusability by increasing flexibility in terms of both functionality and performance. Two examples in this report, a Sorting_Machine and a Spanning_Forest_Machine, illustrate the recasting technique — which might also be called "machine-oriented programming. "
Evaluation of Quality in Computer Games

Abstract Computer games play an important role in the cultural daily life of children, teenagers and adults. This has led to arguments both in the EU and the Nordic countries that computer games should be included in the culture political strategies for financial funding as well as the development of talents for the game industry. Still this has yet to result in culture political efforts and progressive strategies on a larger scale. On the contrary the political initiatives tend to result in restrictions more than efforts being made to encourage and develop the game industry. This article draws a picture of the current culture political situation and criticizes the media skeptical debate for making a poor starting point for formulating a progressive political strategy. It would be more fruitful to have a closer look at the specific characteristics of computer games and how computer games are being played and the role they are playing in the social life of different groups of player. The article outlines ananalytical apparatus for evaluation of quality in computer games.
An Unsupervised Optimization of Structuring Elements for Noise Removal Using GA

In this paper we propose an unsupervised method of optimizing structuring elements (SEs) used for impulse noise reduction in texture images through the opening operation which is one of the morphological operations. In this method, a genetic algorithm (GA), which can effectively search wide search spaces, is applied and the size of the shape of the SE is included in the design variables. Through experiments, it is shown that our new approach generally outperforms the conventional method.
Anomaly Intrusion Detection Approach Using Hybrid MLP/CNN Neural Network

An anomaly intrusion detection approach based on hybrid MLP/CNN (multi-layer perceptron/chaotic neural network) neural network is proposed in this paper. Most anomaly detection approaches using MLP can detect novel real-time attacks, but still has high false alarm rates. Most attacks are composed of a series of anomaly events. These attacks are called time-delayed attacks, which current neural network IDSs (intrusion detection system) cannot identify efficiently. A hybrid MLP/CNN neural network is constructed in order to improve the detection rate of time-delayed attacks. While obtaining a similarly detection rate of real-time attacks as the MLP does, the proposed approach can detect time-delayed attacks efficiently with chaotic neuron. This approach also exhibits a lower false alarm rate when detects novel attacks. The simulation tests are conducted using DARPA 1998 dataset. The experimental results are presented and compared in ROC curves, which can demonstrate that the proposed approach performs exceptionally in terms of both detection rate and false alarm rate
Increasing Cross-Domain Call Batching Using Promises and Batched Control Structures

In a client-server system, it may be possible for the client to corrupt server data through unsafe access methods or programming error. A common method for protecting the server data is to separate the client and server into distinct protection domains, e.g. Unix processes. Communications between client and server is restricted to a well-defined set of cross-domain calls and results are passed as opaque pointers to server data. Unfortunately, cross-domain calls are expensive and seriously affect the performance of the system. In his work on Batched Futures, Bogle presents a mechanism for batching cross-domain calls, thus amortizing the overhead of the domain crossing across the batch. Bogle showed that the improvement in performance is directly proportional to the average size of a batch (batching factor). This thesis describes two mechanisms that can be used to improve the batching factor: basic value promises and batched control structures. Basic value promises allow the batching of calls that return basic values (eg. integer, boolean, character and real). Batched control structures allow the batching of simple control flow statements such as if statements, while loops and for loops. Both mechanisms have been implemented in Thor, an object-oriented database system. This thesis presents performance results showing the effectiveness of both mechanisms in increasing the performance of cross-domain calls.