Miracle-dz/UniFAR-FTUs huggingface dataset:
The FIPA-OS agent platform: Open Source for Open Standards

FIPA-OS (FIPA Open Source) is an open agent platform originating from Nortel Networks. The platform supports communication between multiple agents using an agent communication language which conforms to the FIPA (Foundation for Intelligent Physical Agents) agent standards. A key focus of the platform is that it supports openness. This is naturally supported by the agent paradigm itself and by the design of the platform itself whose parts have loose coupling such that extensions and innovations to support agent communication can occur in several key areas. The openness is further emphasized in that the platform software is distributed and managed under an open-source licensing scheme. FIPA-OS is being deployed in several domains including virtual private network provisioning, distributed meeting scheduling and a virtual home environment. It has been demonstrated to interoperate with other heterogeneous FIPA compliant platforms and is in use in numerous institutions around the world.
A giant planet candidate near a young brown dwarf - Direct VLT/NACO observations using IR wavefront sensing

We present deep VLT/NACO infrared imaging and spectroscopic observations of the brown dwarf 2MASSWJ 1207334−393254, obtained during our on-going adaptive optics survey of southern young, nearby associations. This ∼25 MJup brown dwarf, located ∼70 pc from Earth, has been recently identified as a member of the TW Hydrae Association (age ∼ 8 Myr). Using adaptive optics infrared wavefront sensing to acquire sharp images of its circumstellar environment, we discovered a very faint and very red object at a close separation of ∼780 mas (∼55 AU). Photometry in the H, Ks and Lbands and upper limit in J-band are compatible with a spectral type L5−L9.5. Near-infrared spectroscopy is consistent with this spec- tral type estimate. Different evolutionary models predict an object within the planetary regime with a mass of M = 5 ± 2 MJup and an effective temperature of Teff = 1250 ± 200 K.
MIMO in Next Generation Networks: A case study

The expectation from the next generation wireless communication networks is to be able to handle much higher data rates with the higher capacity. A user, with mobility, will access the network and must be able to use the system without any difficulty to different networks. The spectra allocation is expected to be more flexible. MIMO techniques are heavily exploited and integrated into many wireless standards like third-generation (3G) and fourth-generation (4G) wireless communication systems, IEEE 802.11n wireless local area network (WLAN) standard, IEEE 802.20 mobile broadband wireless access system and the 3GPP Long Term Evolution (LTE) of wideband CDMA (W-CDMA). Multiple-Input Multiple-Output (MIMO) based Wireless communication systems increased spectral efficiency for a given total transmit power, increased capacity by introducing additional spatial channels that are exploited by space-time coding. In this paper, survey of MIMO system is described and its concept, factors that can improve the performance of MIMO system. It includes the channel types, channel coding methods, number of transmitters and receivers by using space-time-frequency adaptive processing that can affect the performance of the MIMO.
Cycling Behavior and Memory Formation

Circadian research has spent considerable effort in the determining clock output pathways, including identifying both physiological and behavioral processes that demonstrate significant time-of-day variation. Memory formation and consolidation represent notable processes shaped by endogenous circadian oscillators. To date, very few studies on memory mechanisms have considered potential confounding effects of time-of-day and the organism's innate activity cycles (e.g., nocturnal, diurnal, or crepuscular). The following studies highlight recent work describing this interactive role of circadian rhythms and memory formation, and were presented at a mini-symposium at the 2009 annual meeting of the Society for Neuroscience. The studies illustrate these time-of-day observations in a variety of behavioral paradigms and model organisms, including olfactory avoidance conditioning in Drosophila, long-term sensitization in Aplysia, active-avoidance conditioning in Zebrafish, and classical fear conditioning in rodents, suggesting that the circadian influence on memory behavior is highly conserved across species. Evidence also exists for a conserved mechanistic relationship between specific cycling molecules and memory formation, and the extent to which proper circadian cycling of these molecules is necessary for optimal cognitive performance. Studies describe the involvement of the core clock gene period, as well as vasoactive intestinal peptide, melatonin, and the cAMP/MAPK (cAMP/mitogen-activated protein kinase) cascade. Finally, studies in humans describe evidence for alterations in cognitive performance based on an interaction between sleep–wake homeostasis and the internal circadian clock. Conservation of a functional relationship between circadian rhythms with learning and memory formation across species provides a critical framework for future analysis of molecular mechanisms underlying complex behavior.
The effect of priming on preschooler ’ s extension of novel words – how far can ‘ dumb ’ processes go ?

In the language development literature there are generally two differing ideas about the nature of the knowledge and processes involved in word learning. The rationalist approach posits that when extending a novel noun, children access knowledge about the referent's ontological kind and its central characteristics. For example, after observing Fido the Labrador being labeled " dog " , children use their knowledge that Fido is an animal and that shape and texture are central characteristics of animals, to reason that other things of Fido-like shape and texture are also " dogs ". According to the rationalist view, the processes children use to learn new words are deliberative and inferential, and the knowledge is conceptual, typically taking the form of logical propositions In contrast, an approach in the empiricist tradition, the associationist account, suggests that children glean statistical regularities among perceptual features, category organization, and category labels. That is, for example, children implicitly learn that things that have eyes typically share names with other things of similar shape and texture. In this account, the processes involved are fast, direct and automatic, and the knowledge is Sometimes this debate has been framed in terms of whether children's early word learning is " smart " or " dumb " , contrasting the reflective conceptual nature posited by the rationalists with the general-purpose automatic processes proposed by the empiricists. It is important to note that these two accounts, although typically presented as opposing, are not mutually exclusive. First, the dichotomy as presented above confounds process with representation – deliberative processes and conceptual representations on the one hand versus automatic processes and perceptual representations on the other – but this needs not be the case. There can be automatic processes that operate on conceptual knowledge Second, it is also possible, as seen throughout cognition, there is a combination of automatic and rational thought operating at the same time, and a continuum of representational forms, from context-specific, perceptually-tied representations to more abstract, general or relational representations (Wallis et al, 2001). There is considerable evidence supporting the idea that associative processes play an important role in children's generalization of novel nouns (e.g. Colunga &
EFEKTIFITAS PROGRAM STRETCHING EXERCISE, KINESTHESIA EXERCISE DAN BALANCE EXERCISE TUNGKAI BAWAH TERHADAP PENURUNAN NYERI DAN PENINGKATAN ROM PASIEN OSTEOARTHRITIS

Osteoarthritis merupakan penyakit degeneratif yang sering dialami oleh lansia. Keberadaannya sering diikuti dengan kelemahan otot, keterbatasan dalam bergerak, nyeri lokal dan pada akhirnya menurunkan kualitas hidup pasien OA. Penelitian ini bertujuan untuk mengetahui efektifitas program stretching exercise, kinesthesia exercise dan balance exercise tungkai bawah dalam menurunkan nyeri dan meningkatkan ROM pasien OA. Penelitian ini menggunakan desain true experiment dengan pre and post test with control group design. Pengambilan sampel didasarkan pada prinsip penelitian eksperimen yaitu replikasi, randomisasi dan control of variance dengan rumus Pocock dimana sampel yang digunakan bersifat kecil yaitu 15 sampel. Sampel dibagi menjadi 3 kelompok yang masing-masing kelompok diberi program latihan yang berbeda. Program latihan dilaksanakan selama 3 kali dalam seminggu selama 3 minggu. Variabel yang diukur adalah intensitas nyeri dengan instrumen WOMAC, dan ROM dengan bantuan goniometer. Hasil dianalisis dengan SPSS 16 menggunakan uji normalitas Shapiro Wilk, uji Paired T-Test dan Oneway Annova. Hasil penelitian menunjukkan bahwa stretching exercise efektif dalam menurunkan nyeri pasien OA sebesar 5,2 ± 3,114 poin dengan nilai p 0,020 dan efektif pula dalam meningkatkan ROM sebesar 7 ± 4,472 dengan nilai p 0,025. Kinesthesia exercise kurang efektif dalam menurunkan nyeri pasien OA karena hanya menurunkan nyeri sebesar 0,8 ± 0,837 poin dengan nilai p 0,099 dan kurang efektif pula dalam meningkatkan ROM karena hanya meningkatkan sebesar 1 ± 2,236 poin dengan nilai p 0,374. Balance exercise cukup efektif dalam menurunkannyeri sebesar 3 ± 2,345 poin dengan nilai p 0,046, juga cukup efektif dalam meningkatkan ROM sebesar 4 ± 2,236 poin dengan nilai p 0,016. Ketiga program latihan tersebut memberikan efektifitas yang berbeda dalam menurunkan nyeri dan meningkatkan ROM dengan nilai p 0,034. Stretching exercise merupakan program yang paling efektif sementara kinesthesia exercise merupakan program yang paling kurang efektif.
Estructura factorial de la escala de satisfacción con la vida y validez convergente con la escala de calidad de vida en preparatorianos mexicanos

El propósito de este estudio fue calcular tanto la validez de constructo como la validez convergente de la escala de Satisfacción con la Vida (SWL), de Diener, Emmons, Larsen y Griffin (1985), en 428 estudiantes de bachillerato. Se usaron análisis factorial exploratorio y confirmatorio. Diener et al. (1985) diseñan una escala que estandariza la medida de la satisfacción con la vida, de manera válida y confiable. Se encuentra que las ? ´s de los ítems tienen un recorrido desde . 58 hasta . 88. El coeficiente de consistencia interna alfa de Cronbach es de . 85, con un intervalo de confianza del 95% (de .826 a .871). El coeficiente de correlación de Pearson entre la SWLS y la escala de Calidad de Vida es de r= . 395; p< . 01; IC95%: . 293, . 486. Hay coincidencia entre los hallazgos arrojados por ambos tipos de análisis factorial. El modelo de medición se corresponde con el creado por Diener et al. (1985): los cinco ítems muestran validez y confiabilidad, al igual que lo reportado por otros estudios en diferentes contextos culturales.
Conceptual Flexibility in the Human Brain: Dynamic Recruitment of Semantic Maps from Visual, Motor, and Motion-related Areas

Traditionally, concepts are assumed to be situational invariant mental knowledge entities (conceptual stability), which are represented in a unitary brain system distinct from sensory and motor areas (amodality). However, accumulating evidence suggests that concepts are embodied in perception and action in that their conceptual features are stored within modality-specific semantic maps in the sensory and motor cortex. Nonetheless, the first traditional assumption of conceptual stability largely remains unquestioned. Here, we tested the notion of flexible concepts using functional magnetic resonance imaging and event-related potentials (ERPs) during the verification of two attribute types (visual, action-related) for words denoting artifactual and natural objects. Functional imaging predominantly revealed crossover interactions between category and attribute type in visual, motor, and motion-related brain areas, indicating that access to conceptual knowledge is strongly modulated by attribute type: Activity in these areas was highest when nondominant conceptual attributes had to be verified. ERPs indicated that these category-attribute interactions emerged as early as 116 msec after stimulus onset, suggesting that they reflect rapid access to conceptual features rather than postconceptual processing. Our results suggest that concepts are situational-dependent mental entities. They are composed of semantic features which are flexibly recruited from distributed, yet localized, semantic maps in modality-specific brain regions depending on contextual constraints.
TimeLine: A High Performance Archive for a Distributed Object Store

This paper describes TimeLine, an efficient archive service for a distributed storage system. TimeLine allows users to take snapshots on demand. The archive is stored online so that it is easily accessible to users. It enables "time travel" in which a user runs a computation on an earlier system state. Archiving is challenging when storage is distributed. In particular, a key issue is how to provide consistent snapshots, yet avoid stopping user access to stored state while a snapshot is being taken. The paper defines the properties that an archive service ought to provide and describes an implementation approach that provides the desired properties yet is also efficient. TimeLine is designed to provide snapshots for a distributed persistent object store. However the properties and the implementation approach apply to file systems and databases as well. TimeLine has been implemented and we present the results of experiments that evaluate its performance. The experiments show that computations in the past run well when the archive store is nearby, e.g., on the same LAN, or connected by a high speed link. The results also show that taking snapshots has negligible impact on the cost of concurrently running computations, regardless of where the archived data is stored.
Expressive Wearable Sonification and Visualisation: Design and Evaluation of a Flexible Display

In this paper we examine a wearable sonification and visualisation display that uses physical analogue visualisation and digital sonification to convey feedback about the wearer's activity and environment. Intended to bridge a gap between art aesthetics, fashionable technologies and informative physical computing, the user experience evaluation reveals the wearers' responses and understanding of a novel medium for wearable expression. The study reveals useful insights for wearable device design in general and future iterations of this sonification and visualisation display.
Can ISPs Take the Heat from Overlay Networks ?

ISPs manage performance of their networks in the presence of failures or congestion by employing common traffic engineering techniques such as link weight settings, load balancing and routing policies. Overlay networks attempt to take control over routing in the hope that they might achieve better performance for such failures or high load episodes. In this paper, we examine some of the interaction dynamics between the two layers of control from an ISP’s view. With the help of simple examples, we illustrate how an uncoordinated effort of the two layers to recover from failures may cause performance degradation for both overlay and non-overlay traffic. We also show how current traffic engineering techniques are inadequate to deal with emerging overlay network services.
Issues in the convergence of control with communication and computing: proliferation, architecture, design, services, and middleware

We anticipate that a possible next phase in the information technology revolution could be the convergence of control, i.e., sensing and actuation, with communication and computing. We address the broad set of issues that we believe to be important to the design, implementation, and proliferation of such systems. In particular, we expound on the topics of the architecture of such systems, methodologies for design, distributed time, services, and middleware. We describe our efforts in the Convergence Lab at the University of Illinois with respect to each of these topics.
The 2dF Galaxy Redshift Survey: Wiener reconstruction of the cosmic web

We reconstruct the underlying density field of the Two-degree Field Galaxy Redshift Survey (2dFGRS) for the redshift range 0.035 <z <0.200 using the Wiener filtering method. The Wiener filter suppresses shot noise and accounts for selection and incompleteness effects. The method relies on prior knowledge of the 2dF power spectrum of fluctuations and the combination of matter density and bias parameters, however the results are only slightly affected by changes to these parameters. We present maps of the density field. We use a variable smoothing technique with two different effective resolutions: 5 and 10 h(-1) Mpc at the median redshift of the survey. We identify all major superclusters and voids in the survey. In particular, we find two large superclusters and two large local voids. The full set of colour maps can be viewed on the World Wide Web at http://www.ast. cam.ac. uk/pirin.
Three-Layers Role-Based Access Control Framework in Large Financial Web Systems

there are lots of sensitive and confidential data in financial field, such as credit card number, stock number, fund number and so on. Therefore, top level security requirement is always required in financial systems, where a good access control framework is necessary. Traditional role-based access control frameworks lack of control in data access granularity and often slow down the system, even though it provides an efficient access control model which can restrict users' operation according to their roles. They can hardly meet the requirements in large financial system. This article proposes and implements a Three- Layer Role-based Access Control framework (TL-RBAC) which can perfectly meet the requirements in large financial system. TL-RBAC implements access control in three layers: web pages, operations and data. Coarse-grained access control in web pages layer is used to filter anonymous attacks such as web scan and DoS attacks. Fine-grained access control in operations and data layers guarantee that the user cannot do operations and access data out of his privilege. Performance testing report of the system shows that TL-RBAC meets the performance requirement in terms of system throughput and time per operation. In order to meet security requirements of the financial system without system performance depreciation, this paper extend traditional RBAC model, designs and implements a Three-Layer Role-based Access Control (TL-RBAC). The first layer is coarse-grained access control to web pages implements by SiteMinder, which is an access control production of CA. The second layer is in web application, it makes access control by associating users and their operations. The third layer is fine-grained access control implements through database store procedure. Coarse-grained access control layer is used to filter illegal operation and hackers' attack in large scale to accelerate frequent access control. Fine-grained access control is used to bind user to the data within his privilege. In this case, user can't do any operations beyond his privilege under TL-RBAC framework and also achieves great performances in terms of throughput and time per operation.
Platform Independent Resource Allocation for Multimedia Applications

Several modern operating systems are providing multimedia applications with guaranteed access to resources such as network, disk and CPU to enable them to meet Quality of Service (QoS) requirements. The key to efficient resource usage is in determination of minimum resource guarantees subject to the constraints of given application quality of service requirements. We present a measurement based resource allocation mechanism that enables application requirements of timeliness to be specified in a machine independent manner.
Deriving Labels

This paper builds on Hornstein’s (2005) proposal that Merge (Chomsky, 1995) can be split up into the more basic operations Concatenate and Label. This opens up the possibility that Concatenate applies without Label to generate flat structures, an option which Hornstein & Nunes (2005) explore for encoding adjuncts. The central claim is that Label is not needed as a syntactic primitive if a long distance dependency formation operation is added, which is shown to be necessary on independent grounds. Concretely, the only means of communication between lexical items is the Unambiguous Paths Strategy (UPS), defined in terms of Unambiguous Paths configurations (Kayne, 1981). Labelling is no axiomatic operation of the system but is triggered by the need to check uninterpretable features. The taxonomy between arguments and adjuncts is thus reduced to the presence or absence of uninterpretable features. Binary branching for arguments follows, while no such requirement holds for
A Parallel Intelligent OPC Technique for Design and Fabrication of VLSI Circuit

We in this paper develop a parallel intelligent optical proximity correction technique for process distortion compensation of layout mask. This approach integrates an improved genetic algorithm, the rule- and model-based methods, and a parallel domain decomposition algorithm to perform the mask correction on a Linux-based PC cluster with message passing interface libraries. Testing on several fundamental patterns and application to VLSI circuits, this approach shows good correction accuracy and efficiency. Benchmark results, such as speedup, and parallel efficiency are achieved and exhibit excellent parallel performance. This is a constructive approach to developing advanced computer aided design tools for design and fabrication of integrated circuits.
The Determinant Method for Nonselfadjoint Singular Sturm — Liouville Problems

Abstract We are concerned with the computation of eigenvalues of singular nonselfadjoint Sturm — Liouville problems by the method of determinants. The representation of a differential operator by an infinite matrix allows the use of Lidskii’s theorem to define its determinant. The finite section is then used to compute eigenvalues in a simple way. This direct method borrows stable methods from numerical linear algebra to compute a large number of eigenvalues with high precision. Numerical examples with nondifferentiable and complex valued coefficients are treated at the end.
Finding long paths and cycles in sparse Hamiltonian graphs

We consider the problem of finding long paths and cycles in Hamiltonian graphs. The focus of our work is on sparse graphs, e.g., cubic graphs, that satisfy some property known to hold for Hamiltonian graphs, e.g., k-cyclability. We first consider the problem of finding long cycles in 3-connected cubic graphs whose edges have weights wi _> 0. We find cycles of weight at least ( ~ w~) ~ for a = log~ 3. Based on this result, we develop an algorithm for finding a cycle of length at least m 0°g3 2)/2 in 5-cyclable graphs with vertices of degree at most 3. We then consider 3-cyelable graphs with vertices of degree at most 3, and show how to find a cycle of length at least 2 ~ . We consider the graph property of 1-toughness that is common to Hamiltonian graphs and 3-connected cubic graphs, and try to determine if 1toughness implies the existence of long cycles. We show that 2-connectivity and 1-toughness, for constant degree graphs, may give cycles that are only of logarithmic length. However, we exhibit a class of 3-connected 1-tough graphs with degrees up to 6 where we can find cycles of length at least ml°ga 2/2 .