Miracle-dz/UniFAR-FTUs huggingface dataset:
Dr. M. Himanen is a senior research scientist at VTT Building and Transport in Espoo Finland, a docent of Intelligent Building Management at Helsinki University of Technology in Espoo Finland THE INTELLIGENCE OF INTELLIGENT BUILDINGS

The intelligent buildings have been successfully built according to the intelligent building (IB) concepts. They are no scientific definitions of the intelligent buildings, but exact enough to be used for construction purposes. The IB concepts overlap with healthy or green building concepts, or they have much common with the factors of facilities management and integrated facilities management. Lack of a universal definition of the intelligent buildings has encouraged studying the essence of intelligence, knowledge and knowledge management in order to be able to identify what is the intelligence of a building, which makes intelligent buildings different from other buildings. It has been possible to define the building intelligence as a function of human intelligence. This has been done on the basis of the argumentation which provides answers from the knowledge management theory to the unexpected findings of an empirical survey of the quality differences of two office building types intelligent and other high quality carried out in the Helsinki metropolitan area. The derivation of the building intelligence from the human intelligence and the knowledge transformation from the expert knowledge into intelligent properties, as well as the use of the building intelligence by end-users are defined by the Building Intelligence Framework. About these studies has been written a doctor's thesis (Himanen 2003, cf. also Himanen 2004). The forms of building intelligence and some further findings of them will be represented in this paper.
The Formal Language Theory Column

It is well known that regular (or Type 3) languages are equivalent to finite automata. Nevertheless, many other characterizations of this class of languages in terms of computational devices and generative models are present in the literature. For example, by suitably restricting more general models such as context-free grammars, pushdown automata, and Turing machines, that characterize wider classes of languages, it is possible to obtain formal models that generate or recognize regular languages only. These restricted formalisms provide alternative representations of Type 3 languages that may be significantly more concise than other models that share the same express-
Three‐Dimensional Sediment Dynamics in Well‐Mixed Estuaries: Importance of the Internally Generated Overtide, Spatial Settling Lag, and Gravitational Circulation

To investigate the dominant sediment transport and trapping mechanisms, a semi-analytical three-dimensional model is developed resolving the dynamic effects of salt intrusion on sediment in well-mixed estuaries in morphodynamic equilibrium. As a study case, a schematized estuary with a converging width and a channel-shoal structure representative for the Delaware estuary is considered. When neglecting Coriolis effects, sediment downstream of the estuarine turbidity maximum (ETM) is imported into the estuary through the deeper channel and exported over the shoals. Within the ETM region, sediment is transported seaward through the deeper channel and transported landward over the shoals. The largest contribution to the cross-sectionally integrated seaward residual sediment transport is attributed to the advection of tidally averaged sediment concentrations by river-induced flow and tidal return flow. This contribution is mainly balanced by the residual landward sediment transport due to temporal correlations between the suspended sediment concentrations and velocities at the M2 tidal frequency. The M2 sediment concentration mainly results from spatial settling lag effects and asymmetric bed shear stresses due to interactions of M2 bottom velocities and the internally generated M4 tidal velocities, as well as the salinity-induced residual currents. Residual advection of tidally averaged sediment concentrations also plays an important role in the landward sediment transport. Including Coriolis effects hardly changes the cross-sectionally integrated sediment balance, but results in a landward (seaward) sediment transport on the right (left) side of the estuary looking seaward, consistent with observations from literature. The sediment transport/trapping mechanisms change significantly when varying the settling velocity and river discharge.
Adoption of web-based order processing systems : experiences from tier-1 suppliers in the automotive supply chain

This is an Accepted Manuscript of an article published by Taylor & Francis in Production Planning & Control: The Management of Operations on 06/09/2013, available online: http://wwww.tandfonline. com/10.1080/09537287.2013. 829252 or http://dx.doi. org/10.1080/09537287.2013. 829252. Citation: Adebanjo, Dotun and Laosirihongthong, Tritos (2014) Adoption of web-based orderprocessing systems: experiences from tier-1 suppliers in the automotive supply chain. Production Planning & Control: The Management of Operations, 25 (15). pp. 1287-1301. ISSN 0953-7287 (Print), 1366-5871 (Online) (doi:10.1080/09537287.2013.829252)
Flow Characteristics of a Helicopter Fuselage Configuration Including a Rotating Rotor Head

The reduction of emissions in air transport is clearly a main goal of the aeronautical industry today, addressing both fixed wing aircraft and rotorcraft. The first phase of the ADHeRo (Aerodynamic Design Optimization of a Helicopter Fuselage including a Rotating Rotor Head) project contributed to achieving this goal by providing detailed flow characteristics and drag analysis of a state-of-the-art Twin Engine Light class utility helicopter. This was achieved by means of wind tunnel experiments and numerical simulations. It has been shown that optimizing the parasite drag of such a configuration is a vital approach for achieving efficiency gains. In particular, this can be obtained by reducing the drag of the rotor head, the landing skids and the fuselage. The analysis revealed that reducing the interference drag of the landing skids and the rotor head on the fuselage also provides significant potential for efficiency gains. On the other hand, the analysis showed the importance of considering changes in the lift characteristics when optimizing components. Otherwise, efficiency gains could be lost due to higher power requirements for the main rotor.
Finite Element Models for Dynamic Analysis of Vehicles and Bridges under Traffic Loads

We present a finite element model which takes into account the dynamic interaction between a truck and the bridge over which it is passing. The truck-bridge system presented by Marchesiello (1999) and also used by Zhu (2002) is employed to verify our model. The vehicle is a 3D truck with seven degrees of freedom. The bridge is a continuous three-span slab. The displacements obtained are very similar to the results reported by Marchesiello (1999) and Zhu (2002). Once the model has been validated the influence of road roughness is incorporated as a differential displacement between the bridge and truck wheels. Previously the road roughness is evaluated in the isolated vehicle model. Regarding railway traffic the contact between the train wheels and the rail has some particular features which make it a highly non linear problem. In order to solve it FASTIM algorithm (Kalker, 1979) has been implemented by means of Abaqus user element subroutine for dynamic implicit analysis.
Toward A Theory of Knowledge Reuse : Types of Knowledge Reuse Situations and Factors in Reuse Success

This paper represents a step toward a theory of knowledge reusability, with emphasis on knowledge management systems and repositories, often called organizational memory systems. Synthesis of evidence from a wide variety of sources suggests four distinct types of knowledge reuse situations according to the knowledge reuser and the purpose of knowledge reuse. The types involve shared work producers, who produce knowledge they later reuse; shared work practitioners, who reuse each other’s knowledge contributions; expertise-seeking novices; and secondary knowledge miners. Each type of knowledge reuser has different requirements for knowledge repositories. Owing to how repositories are created, reusers’ requirements often remain unmet. Repositories often require considerable rework to be useful for new reusers, but knowledge producers rarely have the resources and incentives to do a good job of repurposing knowledge. Solutions include careful use of incentives and human and technical intermediaries. 04 markus.p65 05/22/2001, 4:32 PM 57
The experimental investigation of thermal flow field of direct air-cooled system for a large power plant

The thermal buoyancy effect was introduced into model tests on a direct air-cooled condenser (ACC) for a large power plant in wind tunnel simulation. In order to get thermal flow field of air-cooled tower, PIV experiments are performed and recirculation ratio of each condition is calculated. Results show that the thermal flow field of the cooling tower has great influence on the recirculation under the cooling tower. Ameliorating the thermal flow field of the cooling tower can reduce the recirculation under the cooling tower and improve the efficiency of direct air-cooled system also.
Ju l 2 01 8 FAST AND BACKWARD STABLE COMPUTATION OF ROOTS OF POLYNOMIALS , PART II : BACKWARD ERROR ANALYSIS

This work is a continuation of Fast and backward stable computation of roots of polynomials by J.L. Aurentz, T. Mach, R. Vandebril, and D.S. Watkins, SIAM Journal on Matrix Analysis and Applications, 36(3): 942–973, 2015. In that paper we introduced a companion QR algorithm that finds the roots of a polynomial by computing the eigenvalues of the companion matrix in O(n) time using O(n) memory. We proved that the method is backward stable. Here we introduce, as an alternative, a companion QZ algorithm that solves a generalized eigenvalue problem for a companion pencil. More importantly, we provide an improved backward error analysis that takes advantage of the special structure of the problem. The improvement is also due, in part, to an improvement in the accuracy (in both theory and practice) of the turnover operation, which is the key component of our algorithms. We prove that for the companion QR algorithm, the backward error on the polynomial coefficients varies linearly with the norm of the polynomial’s vector of coefficients. Thus the companion QR algorithm has a smaller backward error than the unstructured QR algorithm (used by MATLAB’s roots command, for example), for which the backward error on the polynomial coefficients grows quadratically with the norm of the coefficient vector. The companion QZ algorithm has the same favorable backward error as companion QR, provided that the polynomial coefficients are properly scaled.
Prédiction de motifs de séquences pour des systèmes à événements discrets

The problem of predicting the occurrences of a pattern in a partially-observed discreteevent system is studied. The system is modeled by a labeled transition system. The pattern is a set of event sequences modeled by a finite-state automaton. The occurrences of the pattern are predictable if it is possible to infer about any occurrence of the pattern before the pattern is completely executed by the system. An off-line algorithm to verify the property of predictability is presented. The verification is polynomial in the number of states of the system. An on-line algorithm to track the execution of the pattern during the operation of the system is also presented. This algorithm is based on the use of a diagnoser automaton. The results are illustrated using an example from computer systems. Key-words: Labelled Transition Systems, Sequence patterns, Prediction
Misalignment Fault Detection in Dual-rotor System Based on Time Frequency Techniques

In order to improve the energy efficiency and compact structure, the dual-rotor structure including lowpressure rotor and high-pressure rotor has been widely used in aero-engine. Misalignment is one of the most common faults in dual-rotor system, which will causes malfunctions. It is a significant task for rotor dynamics personnel to monitor and defect faults in dual-rotor system. In the paper, the dual-rotor vibration signals are applied to solve the fault identification problem by utilizing time frequency techniques. Numerical simulations are carried out through finite element analysis of dual-rotor system with misalignment fault. Two signal processing tools namely Short Time Fourier Transform (STFT) and Continuous Wavelet Transform are used to detect the misalignment fault and compared to evaluate their diagnosis performance. The effect of addition of Signal to Noise (SNR) on three frequency techniques is presented. Experiments are carried out to obtain the vibration data of dual-rotor test rig and the results from the work show that the technique can be used for the monitoring of misalignment, which will have applications in the condition monitoring and maintenance of various types of rotating machinery.
Rutgers' HARD and Web Interactive Track Experiments at TREC 2003.

N.J. Belkin, D. Kelly, H. -J. Lee, Y. -L. Li, G. Muresan, M. -C. Tang, X. -J. Yuan, X. -M. Zhang School of Communication, Information and Library Studies, Rutgers University, New Brunswick, NJ 08901 [belkin, diane, hyukjinl, lynnlee, muresan, muhchyun, xjyuan, xzhang]@scils.rutgers. edu
Using Computational Models to Understand ASD Facial Using Computational Models to Understand ASD Facial Expression Recognition Patterns Expression Recognition Patterns

Recent advances in computer vision have led to interest in studying how computer vision can simulate our own perception to better understand the intricacies of human neurobiology [1]. Researchers have made strides in computer vision to imitate many facets of human perception, such as object detection, character recognition, and face identiﬁcation [45]. However, there have been fewer studies that try to model atypical human perception [4]. My thesis focuses speciﬁcally on individuals with Autism Spectrum Disorder (ASD) and their deﬁcit in the facial expression recognition (FER) task. I built multiple computer vision models using hand-crafted features and also convolutional neural network architectures to explain the diﬀerences of facial expression recognition between typically developing (TD) individuals and individuals with ASD. The models I created that resembled varying levels of conﬁgural processing support the hypothesis that diminished conﬁgural processing contributes to the FER deﬁcit in individuals with ASD. The models that resembled diﬀerent areas focus do not support the hypothesis that eye-avoidance and therefore focus on the bottom half of the face contributes to the FER deﬁcit in individuals with ASD.
Multi-electrode array study of neuronal cultures expressing nicotinic β2-V287L subunits, linked to autosomal dominant nocturnal frontal lobe epilepsy. An in vitro model of spontaneous epilepsy

Autosomal dominant nocturnal frontal lobe epilepsy (ADNFLE) is a partial sleep-related epilepsy which can be caused by mutant neuronal nicotinic acetylcholine receptors (nAChR). We applied multi-electrode array (MEA) recording methods to study the spontaneous firing activity of neocortical cultures obtained from mice expressing or not (WT) an ADNFLE-linked nAChR subunit (β2-V287L). More than 100,000 up-states were recorded during experiments sampling from several thousand neurons. Data were analyzed by using a fast sliding-window procedure which computes histograms of the up-state durations. Differently from the WT, cultures expressing β2-V287L displayed long (10–32 s) synaptic-induced up-state firing events. The occurrence of such long up-states was prevented by both negative (gabazine, penicillin G) and positive (benzodiazepines) modulators of GABAA receptors. Carbamazepine (CBZ), a drug of choice in ADNFLE patients, also inhibited the long up-states at micromolar concentrations. In cultures expressing β2-V287L, no significant effect was observed on the action potential waveform either in the absence or in the presence of pharmacological treatment. Our results show that some aspects of the spontaneous hyperexcitability displayed by a murine model of a human channelopathy can be reproduced in neuronal cultures. In particular, our cultures represent an in vitro chronic model of spontaneous epileptiform activity, i.e., not requiring pre-treatment with convulsants. This opens the way to the study in vitro of the role of β2-V287L on synaptic formation. Moreover, our neocortical cultures on MEA platforms allow to determine the effects of prolonged pharmacological treatment on spontaneous network hyperexcitability (which is impossible in the short-living brain slices). Methods such as the one we illustrate in the present paper should also considerably facilitate the preliminary screening of antiepileptic drugs (AEDs), thereby reducing the number of in vivo experiments.
Research Africa Network (RAN) RAN Working Paper

The study examines the long run relationship and interconnections between public debt and domestic investment in 13 West African countries from 1986-2018. Using panel Panel Dynamic Least Squares (DOLS) and Panel Fully Modified Least Squares (FMOLS), debt (% of GDP) and external debt have an insignificant effect on investment in the long run, suggesting the negligible effect of public debt on the level of investments. But domestic investment Granger causes public debt indicators, implying that there is unidirectional causality. This suggests that any investment-generation policy could engender a rise in public borrowing, although such public loans might not be effective when there is pervasive mismanagement of public funds, as public debts need to be well managed for ensuring improved investment. Thus, the study suggests that maintaining a strong and effective debt-investment nexus requires fiscal consolidation efforts across countries, as such could lead to enhanced institutional capacity and sustainable investment-generation policy.
Phylogenetic relationships of Mexican minnows of the genus Notropis ( Actinopterygii , Cyprinidae )

We conducted phylogenetic analyses based on complete mitochondrial cytochrome b gene sequences among southern and central Mexican cyprinid species, included in the genera Notropis and Hybopsis . In addition 15 northern species of the genera Notropis and Hybopsis were included in the analyses in order to place the Mexican species into a larger phylogenetic framework. The phylogenetic relationships supported the existence of five major clades: (1) including species of the subgenus Alburnops of the genus Notropis plus N. shumardi ; (2) species of the subgenus Notropis ; (3) species of the genus Hybopsis ; (4) species of the N. texanus + N. volucellus species group of the genus Notropis ; (5) Mexican endemic species of the genus Notropis plus the genus Yuriria . Previous phylogenetic inferences based on morphological characters resolved the Mexican minnows analysed as N. sallaei , N. calientis, N. boucardi and Y. alta , non-monophyletic. According to our cytochrome b evidence all Mexican minnows of the genera Notropis and Yuriria formed a monophyletic group with respect to the northern species of the genera Notropis and Hybopsis . Within the Mexican clade, three well-supported clades were identified: the first included the closely related species N. moralesi and N. boucardi , which occur in three independent drainages of south Mexico; the second consisted of two different lineages, N. imeldae and an undescribed species of Notropis , inhabiting two independent drainages of south Mexico; the third comprised two central Mexican Notropis species ( N. calientis and N. sallaei ) and the Y. alta populations. Based on this study and pending a more extensive taxonomic revision of the genus Notropis , we adopt the conservative criterion of considering all Notropis species from southern and central Mexico examined, including Y. alta, as belonging to the genus Notropis . © 2003 The Linnean Society of London, Biological Journal of the Linnean Society , 2003, 80 , 323–337.
1 31 0 . 39 04 v 3 [ he pph ] 1 2 D ec 2 01 3 A Possible Reason for M H ≃ 126 GeV

In the standard model (SM) of particle theory there exists what has been called ”the scandal of the fermion masses” meaning that none of the twelve quark and lepton masses have been satisfactorily explained by theory. On the other hand, the masses of the spin-one bosons, the photon, gluon, W and Z are well understood in terms of symmetry breaking. Now, there is one additional boson, with spin-zero, and the issue is whether its mass can be explained.
Computational principles of sensorimotor control that minimise uncertainty and variability

Sensory and motor noise limits the precision with which we can sense the world and act upon it. Recent research has begun to reveal computational principles by which the central nervous system reduces the sensory uncertainty and movement variability arising from this internal noise. Here we review the role of optimal estimation and sensory filtering in extracting the sensory information required for motor planning, and the role of optimal control, motor adaptation, and impedance control in the specification of the motor output signal.
IMPLEMENTATION OF LTE ADVANCED USING DIFFERENT RELAY ENVIRONMENT IN OFDMA SYSTEM WITH SER PERFORMANCE

The challenging task in a wireless communication system is to design an efficient communication system because of many factors, which affects the performance. In recent years due to rapid development in wireless communication, huge demands for broadband mobile wireless communications and the emergence of new wireless multimedia applications have constituted the motivation to the development of broadband wireless access technologies. The Long Term Evolution (LTE) system has been specified by the Third Generation Partnership Project (3GPP) on the way towards Fourth-Generation (4G) mobile to ensure 3GPP keeping the dominance of the cellular communication technologies. LTE-A will meet or exceed the requirements of the International Telecommunication Union (ITU) for the 4G radio communication standard. LTE-A is being specified initially as part of the 3GPP specifications. Where the current generation of mobile telecommunication networks are collectively known as 3G (for "third generation"), LTE is marketed as 4G. In this paper, LTE-A WINNER MIMO uses Orthogonal Frequency Division Multiplexing (OFDM) for the downlink is proposed. OFDMA meets the LTE requirement for spectrum flexibility and enables costefficient solutions for very wide carriers with high peak rates. The multiple access schemes in LTE downlink uses Orthogonal Frequency Division Multiple Access (OFDMA). Power saving in transmission is an extensive issue for the multiple access techniques used in LTE, therefore in this paper, an important transmission factor SER for OFDMA system, is considered. It is proved that the proposed model with the existing model by the comparison of SER performance versus SNR, CCDF of PTS-PAR reduction with different fading models (Rayleigh, Rician and Standard) and CDF plot for capacity of power with various cases (Random, Water Filling / Pouring and Equal) in both channel and link of OFDMA system for different relay environments in WINNER MIMO LTE-A has better performance in all aspects.
ON SURFACE ROUGHNESS BY LASER CUT

Laser cutting is one of the most industrial applications. Laser cutting with oxygen is used primarily for cutting of mild and low-alloyed steels. Cut surface quality is a very important characteristic of laser cutting that ensures an advantage on other contour cutting processes. This paper gives results of the experimental research referring to the determination of surface indicators obtained by laser cutting. The relationships between roughness parameters are given by linear and exponential equations.