Miracle-dz/UniFAR-FTUs huggingface dataset:
A Combined Pointer and Purity Analysis for Java Programs

We present a new method purity analysis for Java programs. A method is pure if it does not mutate any location that exists in the program state right before method invocation. Our analysis is built on top of a combined pointer and escape analysis for Java programs and is capable of determining that methods are pure even when the methods do heap mutation, provided that the mutation affects only objects created after the beginning of the method. Because our analysis extracts a precise representation of the region of the heap that each method may access, it is able to provide useful information even for methods with externally visible side effects. In particular, it can recognize read-only parameters (a parameter is read-only if the method does not mutate any objects transitively reachable from the parameter) and safe parameters (a parameter is safe if it is read-only and the method does not create any new externally visible paths in the heap to objects transitively reachable from the parameter). The analysis can also generate regular expressions that characterize the externally visible heap locations that the method mutates. We have implemented our analysis and used it to analyze several data structure implementations. Our results show that our analysis effectively recognize a variety of pure methods, including pure methods that allocate and mutate complex auxiliary data structures. Even if the methods are not pure, our analysis can provide information which may enable developers to usefully bound the potential side effects of the method.
In Search of the Horowitz Factor

The article introduces the reader to a large interdisciplinary research project whose goal is to use AI to gain new insight into a complex artistic phenomenon. We study fundamental principles of expressive music performance by measuring performance aspects in large numbers of recordings by highly skilled musicians (concert pianists) and analyzing the data with state-of-the-art methods from areas such as machine learning, data mining, and data visualization. The article first introduces the general research questions that guide the project and then summarizes some of the most important results achieved to date, with an emphasis on the most recent and still rather speculative work. A broad view of the discovery process is given, from data acquisition through data visualization to inductive model building and pattern discovery, and it turns out that AI plays an important role in all stages of such an ambitious enterprise. Our current results show that it is possible for machines to make novel and interesting discoveries even in a domain such as music and that even if we might never find the "Horowitz Factor," AI can give us completely new insights into complex artistic behavior.
Mechanical Discovery of Classes of Problem-Solving Strategies

This research assumes that a problem-solving method has an applicabdtty condmon which specifies the properties of "good" problem-dependent parameters for the method Such a condition Is used as the basis of a computer program that mechamcally generates good parameters for the method to use in solving the problem Such problem-dependent parameters for a method constitute a problem-solving strategy. To show the feastbdity of this approach, it is used on two different methods' the GPS method for solving problems and the Nim-hke method for playing games That as, for each is constructed a program that generates good problem-dependent parameters for the input problem (or game) speclficaUon. These programs and their empirical results on a number of different problems and games are described The programs appear to be reasonably efficient and powerful In pamcular, each discovered some nonobvlous strategies
White Box Cryptography

This paper discusses white box cryptography, which is used to protect the key from white box attack. Previously white box cryptography was applied to symmetric key encryption, which does provide protection mechanism to the key, but affects the performance and is considered difficult to update the key. The scheme proposed by the researcher mentions White Box AES and improves its low performance and key update problem by adopting a composite mode using White Box AES and Standard AES. The end result shows similar performance with AES and provides a dynamic key approach effect. [1]
An adaptive antenna array for single carrier modulation system with cyclic prefix

In a single carrier modulation system with cyclic prefix (SC-CP), equalization is possible for the case where the delayed signals lie within the guard interval (GI). The reception of all the delayed signals within the GI can increase the received signal power, and hence may improve the system performance. However, it also increases the probability that the channel transfer function has a zero (or zeros) on the FFT grid, which results in serious noise enhancement (NE). Therefore, some appropriate reception methods, which can receive multiple delayed signals within the GI while avoiding the NE, are required. In this paper, in order to achieve such a reception, an adaptive antenna array is applied to the SC-CP system, and the optimum weights control method is proposed. Moreover, to verify the performance of the proposed method, some weights control methods, originally proposed for the orthogonal frequency division multiplexing (OFDM) adaptive array, are applied to the SC-CP adaptive antenna array, and their performances are studied and compared with the proposed system via simulations.
A Cryptographic Mutual Authentication Scheme for Web Applications

The majority of current web authentication is built on username/password. Unfortunately, password replacement offers more security, but it is difficult to use and expensive to deploy. In this paper, we propose a new mutual authentication scheme called StrongAuth which preserves most password authentication advantages and simultaneously improves security using cryptographic primitives. Our scheme not only offers webmasters a clear framework which to build secure user authentication, but it also provides almost the same conventional user experience. Security analysis shows that the proposed scheme fulfills the required user authentication security benefits, and can resist various possible attacks.
Fish Intake and Ovarian Cancer Risk: A Meta-Analysis of 15 Case-Control and Cohort Studies

Background Previous epidemiological studies have shown that fish consumption may modify the risk of ovarian cancer. However, these studies yielded controversial results. The present meta-analysis was undertaken to evaluate the relationship between fish intake and ovarian cancer risk. Methods A literature search was carried out using Pubmed, Embase, and Cochrane Library Central database for all relevant studies up to August 2013. We pooled the relative risks (RR) from individual studies using fixed-effect or random-effect model, and carried out heterogeneity and publication bias analyses. Results A total of 15 (ten case–control, and five cohort) studies were included in the present meta-analysis, representing data for 889,033 female subjects and 6,087 ovarian cancer cases. We found that total fish intake was not significantly associated with the risk of ovarian cancer among cohort studies (RR = 1.04 95% CI [0.89, 1.22]) as well as case–control studies (RR = 0.90, 95% CI [0.73,1.12]). There was no evidence of publication bias as suggested by Begg's test (P = 0.55) and Egger's test(P = 0.29). Conclusions The present meta-analysis showed that total fish consumption was not significantly associated with the risk of ovarian cancer. Further analysis on different fish species and food preparation methods should be conducted in future studies.
Consideration to the response of FLC using changing the size of variable of consequence membership function

Most of FLC received input data from error e and change-of-error e' with no relation with system complexity. Basic scheme follows typical PD and PI or PID controller and that has been developed through fixed MF. In this paper, We studied the relationship between MF and system response and system response through changing Fuzzy variable of consequence MF and propose the simple FLC using this relationship. The response of FLC is changed according to the width of fuzzy variable of consequence MF. As changing the fuzzy variable of consequence MF shows various nonlinear characteristic, we studied the relation between response and MF using analytical method. We designed the effective FLC using three-variable MF and nine rules and took simulation for verification.
Energy aware multiple clock domain scheduling for a bit-serial, self-timed architecture

In this paper, we present an approach for low--power driven synthesis based on local frequency/voltage scaling. During the scheduling phase of the High--Level Synthesis (HLS) the design is partitioned into different frequency/voltage islands. Operators within these islands, are encapsulated by wrappers to ensure correct dataflow between the islands. A wrapper consists of a clock generator and input- and output ports. The local clocks are calculated by dividing the global clock signal. With the developed wrappers we are able to automatically integrate local frequency/voltage scaling for our target architecture by our HLS tool. As an example we implement the inverse discrete cosine transformation (IDCT).
An evaluation of the outcomes of a leadership development program

The Center for Creative Leadership is an international, nonprofit educational institution founded in 1970 to advance the understanding, practice, and development of leadership for the benefit of society worldwide. As a part of this mission, it publishes books and reports that aim to contribute to a general process of inquiry and understanding in which ideas related to leadership are raised, exchanged, and evaluated. The ideas presented in its publications are those of the author or authors. The Center thanks you for supporting its work through the purchase of this volume. If you have comments, suggestions, or questions about any CCL Press publication, please contact the Director of Publications at the address given below.An evaluation of the outcomes of a leadership development program / Cynthia D. McCauley, Martha W. Hughes-James. p. cm. Includes bibliographical references (p.) and index. This report presents the findings of a study on how a program designed for school superintendents in Florida affected thirty-eight individuals who participated. The Chief Executive Officer Leadership Development Program (CEOLDP) was developed by the Center for Creative Leadership (CCL). Lasting one year, it begins with a six-day classroom experience designed to raise the participants' awareness of their strengths and weaknesses as leaders and to encourage the setting of self-development goals and action plans. For the remainder of the year, subjects work toward their goals as well as implement projects aimed at improvements in their school systems. To facilitate this work, each is matched with an executive facilitator, another superintendent who is available as a guide, advisor, and supporter; the participant also keeps a journal. A more detailed description of the program can be found on pages 1-6. The study focused on three research questions: (1) What outcomes did the program generate for participants? (2) How did various parts of the program contribute to these outcomes? and (3) How and why did individual participants vary in terms of program outcomes? Data to address these questions were collected quantitatively through the administration of psychological instruments, qualitatively through interviews, and idiographically through the examination of case studies. Findings Using the three research questions as guides, the following sections summarize our findings: Program outcomes. Looking at the program as a whole, the participants experienced three types of outcomes as a result of their program experience: (1) They developed strategies and competencies for continuous learning, including self-awareness, reflective thinking, and developmental relationships; (2) they experienced personal changes …
Hedging issues for CDOs

This paper is a primer on the hedging and the risk management of CDO tranches. It intends to provide a global perspective on the current issues and refers to research papers for modelling and mathematical details. Though the basics of the risk management within the Gaussian copula model are not discussed, we review some issues which may eventually lead to the decline of the current market approach. We consider the computation of spread sensitivities in arbitrage-free dynamic models based on affine intensities and on Markov chains. We show that the one dimensional Markov chain for the aggregate loss process may viewed as the analogue for credit markets of the local volatility model in equity derivatives markets. In such a framework, CDO tranches can be fully replicated with the credit default swap index and a risk-free asset and the corresponding deltas correspond to a “sticky implied tree model”. Hedging issues related to tranchelets on standard indices or to CDO tranches on bespoke portfolios are dealt with. We also investigate some paths for the future, including the use of credit default swaps of different maturities to cope simultaneously with default and credit spread risks, local and asymptotic hedging approaches.
Temporal Variations of the Rotation Rate in the Solar Interior

The temporal variations of the rotation rate in the solar interior are studied using frequency splittings from Global Oscillations Network Group (GONG) data obtained during the period 1995-1999. We find alternating latitudinal bands of faster and slower rotation that appear to move toward the equator with time—similar to the torsional oscillations seen at the solar surface. This flow pattern appears to persist to a depth of about 0.1 R☉, and in this region its magnitude is well correlated with solar activity indices. We do not find any periodic or systematic changes in the rotation rate near the base of the convection zone.
Interval observer with near optimal adaptation dynamics. Application to the estimation of lipid quota in microalgae

In this paper, the design of an interval observer with an adaptive dynamical gain is presented. The observer is formulated in the framework of robust state estimation of uncertain dynamical systems, where an interval that encloses the unknown state variables is provided. For a specific type of interval observer design, an optimal gain could provide the narrowest interval. Because this gain depends on the (unknown) state, it can however not be determined, and only intervals for this optimal gain can be estimated. Here, we propose a strategy to track, with a high gain observer, the optimal gain together with the computation of its derivative. The observer performance is first illustrated with the simple case of an uncertain bioreactor model. Then, we propose the real case of the estimation of microalgal oil in the framework of biofuel production. The proposed observer design, when applied to experimental data of Isochrysis affinis galbana, appears to be a suitable robust estimation technique. Copyright © 2012 John Wiley & Sons, Ltd.
A Semantic Retrieval Approach by Color and Spatial Location of Image Regions

The traditional content-based image retrieval system can not meet the users’ needs due to the ‘semantic gap’ between low-level features and the richness of human semantics. In an attempt to narrow the ‘semantic gap’, an approach which combines region-based image retrieval (RBIR) and relevance feedback (RF) with semantic color and spatial location features is presented in this paper. This method segments images into homogeneous regions and gives name for each region. In addition, the importance of each region is also taken into account. The Earth Mover’s Distance (EMD) is employed to measure the image similarity. To further improve the efficiency and accuracy of retrieval system, relevance feedback techniques are introduced in this paper. Experimental results on 1000 images database demonstrate the effectiveness and the efficiency of our approach is encouraging.
Invariant representations of visual patterns in a temporal population code

Mammalian visual systems are characterized by their ability to recognize stimuli invariant to various transformations. Here, we investigate the hypothesis that this ability is achieved by the temporal encoding of visual stimuli. By using a model of a cortical network, we show that this encoding is invariant to several transformations and robust with respect to stimulus variability. Furthermore, we show that the proposed model provides a rapid encoding, in accordance with recent physiological results. Taking into account properties of primary visual cortex, the application of the encoding scheme to an enhanced network demonstrates favorable scaling and high performance in a task humans excel at.
A Consumption-Based Explanation of the Cross Section of Expected Stock Returns

When utility is non-separable in nondurable and durable consumption, optimal portfolio allocation implies a two-factor model in nondurable and durable consumption growth. The model nests the Consumption CAPM as a special case, where the risk price for durable consumption is restricted to zero. I test the model on 25 Fama-French portfolios sorted by size and book-to-market equity. I find that small stocks and value stocks have higher durable consumption betas than large stocks and growth stocks, explaining their high average returns. The consumption-based model model explains the variation in average returns across the 25 portfolios better than the Fama-French three-factor model. JEL classification: E21, G12. First draft: March 7, 2003. ∗Department of Economics, Harvard University. E-mail: yogo@fas.harvard. edu. I thank John Campbell, Borja Larrain, and participants of the Harvard econometrics lunch for helpful comments.
Intergenerational communication – an interdisciplinary mapping review of research between 1996 and 2017

ABSTRACT Concerns have been raised regarding the limited opportunities for intergenerational communication both outside and within the family. This “mapping review” draws together empirical literature in the topic published since 1996. Three hundred and twenty-four published studies met inclusion criteria, based on abstract review. The contents of each study were subjected to thematic analysis and nine broad themes emerged. These were (1) Dynamics of relationships, (2) Health & Well-being, (3) Learning & Literacy, (4) Attitudes, (5) Culture, (6) Digital, (7) Space, (8) Professional Development, and (9) Gender & Sexual Orientation. Studies commonly intersected disciplinary research areas. There was a marked rise across three key academic journals since 2007. An emergent finding was that a third of the studies relate to programs addressing intergenerational interventions, but many of these were primarily descriptive and failed to specify a primary outcome. Review implications and future research directions are discussed.
An exploration of group member satisfaction

This paper reports results from an empirical, field-based exploration of the components of group member satisfaction. Items included in the instrument were identified via literature review. Additionally, a group brainstorming session with supervisory and middle management level employees of a large high technology firm was used to supplement items identified from the literature. The resulting instrument, with a focus on both within-meeting as well as pre- and post-meeting aspects of group work, was administered to a convenience sample of 166 respondents from the high technology firm. Results of factor and reliability analyses are reported. This project is part of a program of research examining group member satisfaction from the psychological perspective of closure.
Identifying Top-k Consistent News-Casters on Twitter

News-casters are Twitter users who periodically pick up interesting news from online news media and spread it to their followers' network. Existing works on Twitter user analysis have only analysed a pre-defined set of users for user modeling, influence analysis and news recommendation. The problem of identifying prominent, trustworthy and consistent news-casters is unaddressed so far. In this paper, we present a framework, NCFinder, to discover top-k consistent news-casters directly from Twitter. NCFinder uses news headlines published in online news sources to periodically collect authentic news-tweets and processes them to discover news-casters, news sources and news concepts. Next, NCFinder builds a tripartite graph among news-casters, news source and news concepts and employs HITS algorithm on it to score the news-casters on daily basis. The daily score profiles of the news-casters collected over a time-period are then used to infer top-$k$ consistent news-casters. We run NCFinder from 11th Nov. to 24th Nov., 2014 and discover top-100 consistent news-casters and their profile information.
Registration and fusion of contrast-enhanced MRI myocardial substrate maps and X-ray angiograms

The aim of this work is to provide the necessary methods to register and fuse the endo-epicardial signal intensity (SI) maps extracted from contrast-enhanced magnetic resonance imaging (ceMRl) with X-ray coronary angiograms using an intrinsic registration-based algorithm to help pre-planning and guidance of catheterization procedures. Fusion of angiograms with SI maps was treated as a 2D-3D pose estimation, where each image point is projected to a Plucker line, and the screw representation for rigid motions is minimized using a gradient descent method The resultant transformation is applied to the SI map that is then projected and fused on each angiogram. The proposed method was tested in clinical datasets from 6 patients with prior myocardial infarction. The registration procedure is optionally combined with an iterative closest point algorithm (ICP) that aligns the ventricular contours segmented from two ventriculograms.
International Journal of Parallel, Emergent and Distributed Systems Cosmos: towards an Integrated and Scalable Service for Analysing Social Media on Demand Cosmos: towards an Integrated and Scalable Service for Analysing Social Media on Demand

Taylor & Francis makes every effort to ensure the accuracy of all the information (the " Content ") contained in the publications on our platform. Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Versions of published Taylor & Francis and Routledge Open articles and Taylor & Francis and Routledge Open Select articles posted to institutional or subject repositories or any other third-party website are without warranty from Taylor & Francis of any kind, either expressed or implied, including, but not limited to, warranties of merchantability, fitness for a particular purpose, or non-infringement. Any opinions and views expressed in this article are the opinions and views of the authors, and are not the views of or endorsed by Taylor & Francis. The accuracy of the Content should not be relied upon and should be independently verified with primary sources of information. Taylor & Francis shall not be liable for any losses, actions, claims, proceedings, demands, costs, expenses, damages, and other liabilities whatsoever or howsoever caused arising directly or indirectly in connection with, in relation to or arising out of the use of the Content. systematic supply, or distribution in any form to anyone is expressly forbidden. Terms & Conditions of access and use can be found at