Miracle-dz/UniFAR-FTUs huggingface dataset:
EPISTEMOLOGI SAINS ISLAM PERSPEKTIF AGUS PURWANTO

Tulisan ini mengkaji pemikiran Agus Purwanto tentang epistemologi Sains Islam sebagaimana yang dituangkannya dalam buku Ayat-Ayat Semesta dan Nalar Ayat-Ayat Semesta . Hubungan Islam dan sains memiliki 3 (tiga) macam model, yaitu: Islamisasi Sains, Saintifikasi Islam dan Sains Islam. Dari tiga macam model tersebut, Agus Purwanto memilih model yang ketiga, yaitu Sains Islam. Sains Islam adalah konstruksi sains yang berbasis wahyu (al-Qur’an dan as-Sunah). Karena itu, Agus Purwanto menawarkan 800 ayat-ayat kauniyah dalam al-Qur’an untuk dapat dilakukan analisis teks, yang kemudian dilanjutkan dengan observasi dan eksperimentasi fenomena alam secara langsung dengan menggunakan metode ilmiah. Langkah ini dilakukan sebagai upaya dalam menemukan temuan-temuan baru ilmu pengatahuan yang berbasis wahyu. This paper examines the thoughts of Agus Purwanto on the epistemology of Islamic Science as he poured in the book by the title Ayat-Ayat Semesta dan Nalar Ayat-Ayat Semesta. The relationship between Islam and science have three (3) kinds of models, are: the Islamization of Science, Saintification of Islam and Islamic Science. From the models, Agus Purwanto chooses a third model, the Islamic Science. Islamic science is science-based construction revelation (al-Qur'an and as-Sunna). Therefore, Agus Purwanto offers kauniyah 800 verses in the Qur'an to analyse of the text, which is then followed by observation and experimen - tation natural phenomena directly by using the scientific method. This step is done as an effort to find new findings for the science-based revelation .
Constraint graph analysis of multithreaded programs

We present a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions for sequentially consistent systems, and extend these definitions for use in analyzing other memory consistency models. Using this framework, we present two constraint graph analysis case studies using several commercial and scientific workloads running on a full system simulator. The first case study illustrates how a constraint graph can be used to determine the necessary conditions for implementing a memory consistency model, rather than conservative sufficient conditions. Using this method, we classify coherence misses as either required or unnecessary. We determine that on average one half of all load instructions, which suffer cache misses due to coherence activity, are unnecessarily stalled because the original copy of the cache line could have been used without violating the memory consistency model. The second case study demonstrates the effects of memory consistency constraints on the fundamental limits of instruction level parallelism, compared to previous estimates, which did not include multiprocessor constraints. Using this method we determine the fundamental performance differences of various memory consistency models for processors, which do not perform consistency-related speculation.
Weighted knowledge-aided space time adaptive processing in heterogeneous environments

Since training samples are not always identically distributed with the clutter in the cell under test (CUT) in heterogeneous clutter environments, which lead to an inaccurate estimate of clutter covariance matrix (CCM), the performance of space time adaptive processing (STAP) degrade significantly. In order to improve the performance of STAP, we propose a robust weighted knowledge-aided (KA) STAP algorithm. Unlike the same weights used for sample covariance matrix estimation, the presented algorithm uses different weights on training samples for CCM, where the weights are developed based on the similarities between the a priori covariance matrix of the CUT and that of the training data. The algorithm is capable of measuring the effect of heterogeneous samples on CCM more properly, and then we obtain a covariance matrix which reflects the clutter property of CUT more accurately. As a result, the performance of weighted KASTAP is better than conventional STAP in clutter suppression. Experimental results using the real data verify the effectiveness of the proposed method.
The Impact of Service Cohesion on the Analyzability of Service-Oriented Software

Service-Oriented Computing (SOC) is intended to improve software maintainability as businesses become more agile and underlying processes and rules change more frequently. However, to date, the impact of service cohesion on the analyzability subcharacteristic of maintainability has not been rigorously studied. Consequently, this paper extends existing notions of cohesion in the Procedural and OO paradigms in order to account for the unique characteristics of SOC, thereby supporting the derivation of design-level software metrics for objectively quantifying the degree of service cohesion. The metrics are theoretically validated, and an initial empirical evaluation using a small-scale controlled study suggests that the proposed metrics could help predict analyzability early in the Software Development Life Cycle. If future industrial studies confirm these findings, the practical applicability of such metrics is to support the development of service-oriented systems that can be analyzed, and thus maintained, more easily. In addition, such metrics could help identify design problems in existing systems.
A Feasibility Study Examining Use of the FitBit Zip™ vs. the Accusplit Eagle AC 120 XL Pedometer to Increase Physical Activity for Persons with Mild Cognitive Disorder

ABSTRACT A feasibility study examined the use of the FitBit Zip™ (Figure 1) vs. the Accusplit Eagle AE 120 XL (Figure 2) on daily physical activity for older adults with mild cognitive impairment (MCI). The study used descriptive and inferential statistics in addition to post-test interviews. Ten participants with multiple chronic health conditions, ages ranging from 57 to 84, participated in the 2-week intervention. The descriptive data reported the range of daily steps to be 2,632 to 8,323. No significant correlations were found between the number of steps on age, device, education, gender, and location. Correlations between age and device (r = .732, n = 10, p = .016) and education and device (r = .860, n = 10, p = .001) were noted, suggesting the older and less educated participants used the pedometer rather than the FitBit™. The post-test interview data revealed four major themes: (a) motivation, (b) strategies, (c) constraints, and (d) benefits. Overall, older adults with MCI felt the wearable monitoring tools were useful in increasing physical activity.
Effects of Exogenous NGF on Cell Infiltration and Level of Heat Shock Protein-27 in the Central Nervous System

Nerve growth factor (NGF) is the first characterized member of the neurotrophin family. It is known for its crucial role in survival, differentiation and maintenance of neurons both in peripheral and central nervous system. In addition to its neurotrophic role, NGF has been also proposed to influence the immune system. Recent studies indicate that in multiple sclerosis and in its animal model (EAE) there is an increased level of NGF in acute phase of the disease (relapses) and conversely decreased level during the remission phase. Increased level of NGF has been also reported in other autoimmune diseases such as lupus erythmatosus. Concomitantly, proinflammatory cytokines are upregulated in the acute phase of autoimmune diseases, known to be as potent inducers of heat shock protein expression. These observations suggest that over production of NGF in CNS may functionally be related to the state of activation of the immune system in autoimmune diseases. In this study, we have investigated whether increased level of NGF in CNS triggers the immune system. NGF was therefore injected intracerebroventricularly at doses 5 and 20 μg/mice for four days. Our histological and immunohistochemical results show that there are no signs of immune cell infiltration and no changes in the level of heat shock protein expression in different areas of the brain. We therefore suggest that either NGF alone is unable to trigger the immune system or the NGF regimen used in this study was insufficient to do so.
Enhanced channel decoding via EM source-channel estimation

We investigate the joint source-channel estimation and decoding problem. We consider a non-uniform binary source transmitted over a binary-input output-symmetric channel, namely the BEC, BSC and AWGN channels. The source sequence is encoded via systematic and non-systematic low-density parity-check codes. The proposed joint sourcechannel iterative estimation technique relies on the Expectation Maximization (EM) algorithm that will be associated to the message passing LDPC decoding for both systematic and non systematic codes. Simulation results confirm the strong improvement in performance over the case in which source a priori information is not considered. Furthermore, within this proposed joint source-channel iterative estimation via Expectation Maximization no loss in error-rate performance is observed with respect to the perfect knowledge case.
Towards Micro and Nano Manipulation Systems: Behaviour of a Laminated Polypyrrole (PPy) Actuator Driving a Rigid Link

Conducting polymer actuators, such as Polypyrrole (PPy), incorporated into the structure of a manipulation system may be able to achieve micro and nanoscale precision, by avoiding effects such as backlash or friction. As a step towards this goal, laminated PPy actuators were varied in size and their behaviour investigated while constantly loaded by a rigid link. This behaviour has been evaluated in terms of the bending angle and force outputs of the actuator. It was found that the bending angles varied with length, but displayed unexpected trends due to the loading effects on the PPy. Force output of the actuators was also measured, with unloaded PPy producing greater force across all lengths than the near constant output of loaded PPy, attributable to the polymer and load interface.
Adding Rotation to Translation: Percepts and Illusions

This study investigated how the perception of a translating object is affected by rotation. Observers were asked to judge the motion and trajectory of objects that rotated around their centroid while linearly translating. The expected percept, consistent with the actual dynamics used to generate the movie sequences, is that of a translating and rotating object, akin to a tumbling rugby ball. Observers, however, do not always report this and, under certain circumstances, perceive the object to translate on an illusory curved trajectory, similar to a car driving on a curved road. The prevalence of veridical versus nonveridical percepts depends on a number of factors. First, if the object's orientation remains within a limited range relative to the axis of translation, the illusory, curved percept dominates. If the orientation, at any point of the movie sequence, differs sufficiently from the axis of translation, the percept switches to linear translation with rotation. The angle at which the switch occurs is dependent upon a number of factors that relate to an object's elongation and, with it, the prominence of its orientation. For an ellipse with an aspect ratio of 3, the switch occurs at approximately 45°. Higher aspect ratios increase the range; lower ratios decrease it. This applies similarly to rectangular shapes. A line is more likely to be perceived on a curved trajectory than an elongated rectangle, which, in turn, is more likely seen on a curved path than a square. This is largely independent of rotational and translational speeds. Measuring perceived directions of motion at different instants in time allows the shape of the perceived illusory curved path to be extrapolated. This results in a trajectory that is independent of object size and corresponds closely to the actual object orientation at different points during the movie sequence. The results provide evidence for a perceptual transition from an illusory curved trajectory to a veridical linear trajectory (with rotation) for the same object. Both are consistent with special real-world cases such as objects rotating around a centre outside of the object so that their orientation remains tangent to the trajectory (cheetahs running along a curve, sailboats) or objects tumbling along simple trajectories (a monkey spinning in air, spinning cars on ice). In certain cases, the former is an illusion.
Measuring the pricing error of the arbitrage pricing theory

This paper provides an exact Bayesian framework for analyzing the arbitrage pricing theory (APT). Based on the Gibbs sampler, we show how to obtain the exact posterior distributions for functions of interest in the factor model. In particular, we propose a measure of the APT pricing deviations and obtain its exact posterior distribution. Using monthly portfolio returns grouped by industry and market capitalization, we find that there is little improvement in reducing the pricing errors by including more factors beyond the first one.
On the Hoare theory of monadic recursion schemes

The equational theory of monadic recursion schemes is known to be decidable by the result of Sénizergues on the decidability of the problem of DPDA equivalence. In order to capture some properties of the domain of computation, we augment equations with certain hypotheses. This preserves the decidability of the theory, which we call simple implicational theory. The asymptotically fastest algorithm known for deciding the equational theory, and also for deciding the simple implicational theory, has running time that is non-elementary. We therefore consider a restriction of the properties about schemes to check: instead of arbitrary equations f ≡ g between schemes, we focus on propositional Hoare assertions {p}f{q}, where f is a scheme and p, q are tests. Such Hoare assertions have a straightforward encoding as equations. We investigate the Hoare theory of monadic recursion schemes, that is, the set of valid implications whose conclusions are Hoare assertions and whose premises are of a certain simple form. We present a sound and complete Hoare-style calculus for this theory. We also show that the Hoare theory can be decided in exponential time, and that it is complete for this class.
A Design Methodology for Power Efficiency Optimization of High-Speed Equalized-Electrical I/O Architectures

Both power efficiency and per-channel data rates of high-speed input/output (I/O) links must be improved in order to support future inter-chip bandwidth demand. In order to scale data rates over band-limited channels, various types of equalization circuitry are used to compensate for frequency-dependent loss. However, this additional complexity introduces power and area costs, requiring selection of an appropriate I/O equalization architecture in order to comply with system power budgets. This paper presents a design flow for power optimization of high-speed electrical links at a given data rate, channel type, and process technology node, which couples statistical link analysis techniques with circuit power estimates based on normalized transistor parameters extracted with a constant current density methodology. The design framework selects the optimum equalization architecture, circuit logic style (CMOS versus current-mode logic), and transmit output swing for minimum I/O power. Analysis shows that low loss channel characteristics and minimal circuit complexity, together with scaling of transmitter output swing allows excellent power efficiency at high data rates.
Tennessee Promise: A Response to Organizational Change

ABSTRACT Community colleges in Tennessee, either directly or indirectly, experienced unprecedented change as a result of Tennessee Promise. The present study explored how student support service administrators at three community colleges responded to organizational change as a result of the Tennessee Promise legislation. Investigators selected community colleges for the multi-site case study because the legislative impact would be actualized by the preparations made to serve incoming Promise recipients. The delivery of orientation services framed organizational change because the service staff facilitate connections and provide information to incoming students. Challenges like a shifting population, ill-equipped infrastructure, inadequate remediation support, heightened interest for social engagement opportunities, misinformation, and unmet fiscal needs left administrators seeking coherence through the change process. Investigators found community college administrators react to change similarly. Administrators acknowledged change as continuous, created a culture of innovation among stakeholders, and were not afraid to fail as responses to the organizational change phenomenon.
EVALUATING LAYOUT USABILITY FOR WEBTV ACCESS

WebTV is a device which enables access to the Internet using a TV set rather than a conventional computer. User interaction is typically supported by a remote control. This results in a discrete approach to intra-page navigation, which yields specific requirements on page layout. We analyze the factors of page layout that may hurdle discrete navigation of web pages, and we propose a metric supporting a quantitative evaluation of their usability in a context based on a WebTV device. This can serve to evaluate the accessibility through WebTV of sites that have been developed according to the good practice of design for conventional access based on a PC. It can also serve to support competitive evaluation of different layouts and to evaluate the impact of possible alternative choices of design in the construction of a web page.
Enhancing Interactive Visual Data Analysis by Statistical Functionality

Both information visualization and statistics analyse high dimensional data, but these sciences apply different systems to explore datasets. While techniques of the former field makes use of the user’s pattern recognition skills, statistical algorithms apply the capabilities of computers. Based on this observation an interactive combination of techniques of both sciences can help to overcome their drawbacks. For this purpose a library was compiled that contains statistical routines, which are of high importance for information visualization techniques and allow a fast modification of their results, to integrate possible adaptations in the interactive visual data mining process.
Route optimization for bus dispatching based on improved ant colony algorithm

A mathematic model for multi-objective bus route optimization based on the date of a bus corporation and limited conditions in the route network is developed on account of route optimization of bus dispatching. MAX-MIN Ant System is used to improve the global searching ability of ant colony algorithm and the improved algorithm is applied to solve the problem and its global optimization is obtained. Through comparison of the example results, the algorithm is proved to be feasible and practical for route optimization of bus dispatching.
SMS based FAQ Retrieval for Hindi, English and Malayalam

This paper presents our approach for the SMS-based FAQ Retrieval monolingual task in FIRE 2012 and FIRE 2013. Current approach predicts the matching of an SMS and FAQs more accurately as compared to our previous solution for this task which was submitted in FIRE 2011. We provide solution for SMS and FAQs matching in Malayalam language (an Indian language) in addition to Hindi and English this time. In order to perform a matching between SMS queries and FAQ database, we introduce enhanced similarity score, proximity score, enhanced length score and an answer matching system. We introduce the stemming of terms and consider the effects of joining adjacent terms in SMS query and FAQ to improve the similarity score. We propose a novel method to normalize FAQ and SMS tokens to improve the accuracy for Hindi language. Moreover, we suggest a few character substitutions to handle error in the SMS query. We demonstrate the effectiveness of our approach by considering many real-life FAQ-datasets provided by FIRE from a number of different domains such as Health, Telecom, Insurance and Railway booking. Experimental results confirm that our solution for the SMS-based FAQ Retrieval monolingual task is very encouraging and among the top submissions which performed very well for English, Hindi and Malayalam. The Mean Reciprocal Rank (MRR) scores for our approach are 0.971, 0.973 and 0.761 respectively for English, Hindi and Malayalam SMS-based FAQ Retrieval monolingual task in FIRE 2012. Furthermore, our solution topped the task for Hindi language with MRR score equal to 0.971 in FIRE 2013. Our approach performs very well for English language as well in FIRE 2013 despite transcripts of the speech queries are included in test dataset along with the normal SMS queries.
Practical network coding in wireless networks

Network coding is seen as a promising technique to improve network throughput. In this paper, we study two important problems in localized network coding in wireless networks, which only requires each node to know about and coordinate with one-hop neighbors. In particular, we first establish a condition that is both necessary and sufficient for useful coding to be possible. We show this condition is much weaker than expected, and hence allows a variety of coding schemes to suit different network conditions and application preferences. Based on the understanding we establish, we are able to design a robust coding technique called loop coding that can improve network throughput and TCP throughput simultaneously.
Enabling crowdsourced live event coverage with adaptive collaborative upload strategies

User-generated content, such as short video snippets or tweets, is increasingly used in event coverage even by professional media outlets. Especially in unforeseen events, or when dealing with large crowds, these snippets provide unique perspectives on the scene. While uploading a tweet does not impose much load on the communication system, uploading live video at today's camera resolutions consumes a significant amount of resources. At the same time, only a fraction of the uploaded streams is suitable for event coverage (e.g., shakiness of the video, focus on the scene, obstructions). By identifying the set of relevant streams early, and postponing the upload of other content, the available network resources can be dedicated to the upload of the most relevant streams. In this paper, we propose a set of strategies to collaboratively upload the most relevant streams at high quality by utilizing freed resources. We argue that these strategies can be exchanged during runtime to adapt to user dynamics and network heterogeneity, and present initial findings on the performance of our system.
Mixture modelling of gene expression data from microarray experiments

MOTIVATION Hierarchical clustering is one of the major analytical tools for gene expression data from microarray experiments. A major problem in the interpretation of the output from these procedures is assessing the reliability of the clustering results. We address this issue by developing a mixture model-based approach for the analysis of microarray data. Within this framework, we present novel algorithms for clustering genes and samples. One of the byproducts of our method is a probabilistic measure for the number of true clusters in the data. RESULTS The proposed methods are illustrated by application to microarray datasets from two cancer studies; one in which malignant melanoma is profiled (Bittner et al., Nature, 406, 536-540, 2000), and the other in which prostate cancer is profiled (Dhanasekaran et al., 2001, submitted).