Miracle-dz/UniFAR-FTUs huggingface dataset:
K-times Proxy Re-encryption

The traditional proxy re-encryption (PRE) or conditional proxy re-encryption (CPRE) can re-encrypt infinite times on the delegator's cipher text. However many practical applications do not need this property, they prefer the delegator can control on the times the proxy can re-encrypt. In this paper, we introduce a new kind of proxy re-encryption: k-times proxy re-encryption (KPRE). To construct a concrete KPRE scheme, we add public/private key to the proxy. In k-times proxy re-encryption, the proxy can only re-encrypt k times, otherwise the proxy's private key will be exposed. We construct a concrete IND-RCCA secure KPRE scheme by combining the k-times signature and Libert et al's IND-RCCA PRE scheme in PKC'08.
Multiple attribute decision making application of ordered weighted geometric averaging operator in project evaluation

The mixed qualitative and quantitative information increase the difficulty for mangers to evaluate the alternative schemes in project management. And the Approach of Ordered Weighted Geometric Averaging Operator (OWGA) is introduced to solve the problem with the mixed information of the influence factors. Taking the e-business project evaluation of company X for example, the synthetical evaluation values of the alternative five schemes are computed. The results indicate that the scheme (scheme 5) that is of low risk and cost but of acceptable return, market effect and brand effect would be implemented. The results are line with the actual situation and operational reality and the robustness is proved significantly. And the total computation work can be done by simple software and little manpower, so the effectiveness is assured. Therefore, the applicability of OWGA in commercial project management is proved significantly.
Central venous pressure: A useful but not so simple measurement

Objective:To review the clinical use of central venous pressure measurements. Data Sources:The Medline database, biographies of selected articles, and the author's personal database. Data Synthesis:Four basic principles must be considered. Pressure measurements with fluid-filled systems are made relative to an arbitrary reference point. The pressure that is important for preload of the heart is the transmural pressure, whereas the pressure relative to atmosphere still affects other vascular beds outside the thorax. The central venous pressure is dependent upon the interaction of cardiac function and return function. There is a plateau to the cardiac function curve, and once it is reached, further volume loading will not increase cardiac output. Conclusions:If careful attention is paid to proper measure-ment techniques, central venous pressure can be very useful clinically. However, the physiologic or pathophysiological significance of the central venous pressure should be considered only with a corresponding measurement of cardiac output or at least a surrogate measure of cardiac output.
The 'shared manifold' hypothesis: From mirror neurons to empathy.

We are social animals. We share this feature with many other species. A complexity and sophistication that we do not observe among ants, bees or wolves, however, characteristically define the social life of primates. This complexity and sophistication is epitomized at its highest level by the social rules our conduct in everyday life is supposed to comply with. Living in a complex society requires individuals to develop cognitive skills enabling them to cope with other individuals’ actions, by recognizing them, understanding them, and reacting appropriately to them. No one doubts that the extant primate ancestors of ours, monkeys and apes, who indeed also live in complex, hierarchically organized societies, are perfectly able to cope with their own social rules. Nevertheless, it is commonly argued that to achieve that goal non-human primates simply rely on behaviour observation. Animals do not represent rules in their minds, and they do not engage in any inference-based reasoning. Accordingly, what non-human primates are lacking would sharply define what is considered to be uniquely human: truly cognitive states, such as intentions, desires and beliefs. In our daily life we are constantly exposed to the actions of the individuals inhabiting our social world. We are not only able to describe these actions, to understand their content, and predict their consequences, but we can also attribute intentions to the agents of the same actions. We can immediately tell whether a given observed act or behaviour is the result of a purposeful attitude or rather the unpredicted consequence of some accidental event, totally unrelated to the agent’s will. In other words, we are able to understand the behaviour of others in terms of their mental states. I will designate this ability as mind-reading. How do we ‘read’ intentions in the mind of other individuals? A common view maintains that all normal humans develop the capacity to represent mental states in others by means of a conceptual system, commonly designated as ‘Theory of Mind’ (TOM, see Premack and Woodruff, 1978). My initial scope will be limited: starting from a neurobiological standpoint, I will analyse how actions are possibly represented and understood. The main aim of my
FPGA acceleration of TreePM N-body simulations for Modified Newton Dynamics

In the field of high-performance and energy-efficient scientific computing, FPGAs are promising candidates. In this paper, we show a case study of applying FPGA-based system for Modified Newtonian Dynamics (MOND) cosmological simulation. The numerical simulation is based on TreePM algorithm of N-body problem. TreePM algorithm combines the PM (Particle Mesh) method on large scales with a tree method to provide fine resolution. So two kinds of accelerate module are integrated in FPGA. We leverage the customizability of the FPGA on-chip memory to construct a dynamic reconfigurable cache in order to enhance the performance of the interface between accelerate modules and external memory. Our solution achieve 37.3 times performance than CPU implementation.
Lymphocyte Transformation in Chagas Disease

The in vitro response of human peripheral lymphocytes to Trypanosoma (Schizotrypanum) cruzi antigens and to phytohemagglutinin was used to study the role of cellular immunity in Chagas disease (American trypanosomiasis). Solubilized T. cruzi antigens elicited 5 to 30% transformed cells in 5-day cultures of lymphocytes from adults chronically infected with T. cruzi. No major difference was noted between the response of 22 asymptomatic individuals and of 3 patients with chagasic cardiopathy. No correlation was found between degree of lymphocytic transformation and serum antibody titer. Lymphocytes from 15 normal controls yielded no significant transformation. Intradermal tests provoked a local delayed hypersensitivity reaction in infected individuals only, as evaluated clinically and histologically. The response to phytohemagglutinin of lymphocytes from chronically infected individuals was identical with that of normal controls.
Ant colony optimization algorithm with pheromone correction strategy for the minimum connected dominating set problem

In this paper an ant colony optimization (ACO) algorithm for the minimum connected dominating set problem (MCDSP) is presented. The MCDSP become increasingly important in recent years due to its applicability to the mobile ad hoc networks (MANETs) and sensor grids. We have implemented a one-step ACO algorithm based on a known simple greedy algorithm that has a significant drawback of being easily trapped in local optima. We have shown that by adding a pheromone correction strategy and dedicating special attention to the initial condition of the ACO algorithm this negative effect can be avoided. Using this approach it is possible to achieve good results without using the complex two-step ACO algorithm previously developed. We have tested our method on standard benchmark data and shown that it is competitive to the existing algorithms. [Projekat Ministarstva nauke Republike Srbije, br. III-44006]
Reflexive spaces of appearance: rethinking critical reflection in the workplace

Some scholars have concluded that critical reflection may be too difficult to operate in a workplace context. Yet this is in tension with the rise of normative theories calling for its operation in practice, and linking this with critical HRD’s hope for a more reflexive practitioner world. This looks like an impasse, as critical reflection is rejected where it is supposedly needed most. The purpose of this article is to present a theoretical framework that can point beyond this problem. The framework is inspired by Hannah Arendt’s concept of the public space of appearance. Leaning on this idea, critical reflection is provided with important spatial inflections that can supply current theory with the political reflexivity it seems to lack. Critical reflection is theorized as a challenging, but intrinsically reflexive space of honesty, critique and new beginnings. Implications for future thinking about critical reflection in critical HRD are discussed. Conclusions are also drawn for how this framework may help advance this field’s praxical project.
Hemispatial Neglect Shows That “Before” Is “Left”

Recent research has led to the hypothesis that events which unfold in time might be spatially represented in a left-to-right fashion, resembling writing direction. Here we studied fourteen right-hemisphere damaged patients, with or without neglect, a disorder of spatial awareness affecting contralesional (here left) space processing and representation. We reasoned that if the processing of time-ordered events is spatial in nature, it should be impaired in the presence of neglect and spared in its absence. Patients categorized events of a story as occurring before or after a central event, which acted as a temporal reference. An asymmetric distance effect emerged in neglect patients, with slower responses to events that took place before the temporal reference. The event occurring immediately before the reference elicited particularly slow responses, closely mirroring the pattern found in neglect patients performing numerical comparison tasks. Moreover, the first item elicited significantly slower responses than the last one, suggesting a preference for a left-to-right scanning/representation of events in time. Patients without neglect showed a regular and symmetric distance effect. These findings further suggest that the representation of events order is spatial in nature and provide compelling evidence that ordinality is similarly represented within temporal and numerical domains.
Single and Dual Photonic Jets With Tipped Waveguides: An Integral Approach

Single and dual photonic jets generated by weak multimode waveguides can be studied out rigorously by means of an integral equation. The latter can be obtained on the basis of a principle that resembles one of Mautz and Harrington's although the context is different. Comparison with finite difference time domain results showed overall good agreement, and because the method is fast, it can be used for optimization purposes. In particular, it permitted us to obtain dual photonic jets with beam separation as small as a wavelength.
Correlations Between the Myers-Briggs Type Indicator and Measures of Aptitudes

This article reports correlations between the Myers-Briggs Type Indicator (MBTI; Myers & McCaulley, 1985) scales and scales from two aptitude measures: (a) the Differential Aptitude Tests-Adaptive (DAT-A; McBride, 1986; Moe, 1988), using a sample of 122 university and community career assessment clients, and (b) the Ball Aptitude Battery (BAB; Ball Foundation, 1993), using a sample of 99 high school students. The results are similar to those reported by Stricker and Ross (1962). Factors such as sex, age group (adolescent and adult), and the degree to which an aptitude test reflected general cognitive ability appeared to moderate the degree to which the results were in accord with Jungian theory. Implications for career assessment and Jungian personality theory are discussed.
Using Background Knowledge to Support Coreference Resolution

Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the recent years, it becomes evident that one of the most important direction of improvement in natural language processing (NLP) tasks, like word sense disambiguation, coreference resolution, relation extraction, and other tasks related to knowledge extraction, is by exploiting semantics. While in the past, the unavailability of rich and complete semantic descriptions constituted a serious limitation of their applicability, nowadays, the Semantic Web made available a large amount of logically encoded information (e.g. ontologies, RDF(S)-data, linked data, etc.), which constitute a valuable source of semantics. However, web semantics cannot be easily plugged into machine learning systems. Therefore the objective of this paper is to define a reference methodology for combining semantics information available in the web under the form of logical theories, with statistical methods for NLP. The major problems that we have to solve to implement our methodology concern (i) the selection of the correct and minimal knowledge among the large amount available in the web, (ii) the representation of uncertain knowledge, and (iii) the resolution and the encoding of the rules that combine knowledge retrieved from Semantic Web sources with semantics in the text. In order to evaluate the appropriateness of our approach, we present an application of the methodology to the problem of intra-document coreference resolution, and we show by means of some experiments on the ACE 2005 dataset, how the injection of knowledge is correlated to the improvement of the performance of our approach on this tasks.
Adaptação e validação da Escala Filadélfia de Mindfulness para adultos brasileiros

La literatura psicologica ha tenido especial interes en el proceso psicologico de monitoreo continuo de la experiencia individual, o mindfulness. En este estudio, se busco adaptar y presentar evidencias de validez convergente y divergente para una escala de autorrelato que tiene por objeto mensurar mindfulness, la Escala Filadelfia de Mindfulness (EFM). Participaron de la investigacion 703 adultos brasilenos, que respondieron la EFM y otras tres medidas relacionadas a conceptos como autoconsciencia e insight. El analisis factorial indico la presencia de dos dimensiones de la EFM, relativos a dos componentes de mindfulness: Aceptacion y Awareness. Esas dimensiones presentaron indices de consistencia interna de 0,859 y 0,816, respectivamente. Los resultados tambien indicaron convergencia entre el factor Awareness y los datos de autoconsciencia como autofoco, y divergencia entre Aceptacion y facetas mal adaptativas de la autoconsciencia (ansiedad social y ruminacion). En consonancia con la literatura que refiere haber una faceta de mindfulness vuelta a la meditacion, Aceptacion presento tambien correlacion positiva con Insight.
Darwin's triumph: Explaining the uniqueness of the human mind without a deus ex machina

Abstract In our target article, we argued that there is a profound functional discontinuity between the cognitive abilities of modern humans and those of all other extant species. Unsurprisingly, our hypothesis elicited a wide range of responses from commentators. After responding to the commentaries, we conclude that our hypothesis lies closer to Darwin's views on the matter than to those of many of our contemporaries.
Life cycle greenhouse gas emissions of Marcellus shale gas

This study estimates the life cycle greenhouse gas (GHG) emissions from the production of Marcellus shale natural gas and compares its emissions with national average US natural gas emissions produced in the year 2008, prior to any significant Marcellus shale development. We estimate that the development and completion of a typical Marcellus shale well results in roughly 5500 t of carbon dioxide equivalent emissions or about 1.8 g CO2e/MJ of gas produced, assuming conservative estimates of the production lifetime of a typical well. This represents an 11% increase in GHG emissions relative to average domestic gas (excluding combustion) and a 3% increase relative to the life cycle emissions when combustion is included. The life cycle GHG emissions of Marcellus shale natural gas are estimated to be 63–75 g CO2e/MJ of gas produced with an average of 68 g CO2e/MJ of gas produced. Marcellus shale natural gas GHG emissions are comparable to those of imported liquefied natural gas. Natural gas from the Marcellus shale has generally lower life cycle GHG emissions than coal for production of electricity in the absence of any effective carbon capture and storage processes, by 20–50% depending upon plant efficiencies and natural gas emissions variability. There is significant uncertainty in our Marcellus shale GHG emission estimates due to eventual production volumes and variability in flaring, construction and transportation.
Ageing study on enameled magnet wires through statistical analysis of conventional partial discharge magnitudes and repetition rate

As a result of the use of inverted-fed drives, enameled magnet wires of induction motors are suffering from partial discharge (PD) activity. This is a clear ageing mechanism for the machines which leads to unexpected failures in these systems. Ageing characterization of this insulation system is essential for these applications. In this paper, several statistical PD quantities which account for PD magnitude and repetition rate are studied in ageing processes of twisted pairs of enameled magnet wires. The resulting ageing curves have been adjusted to several mathematical functions in order to check if any clear tendency is detected.
Reducing Data Loading Bottleneck with Coarse Feature Vectors for Large Scale Learning

In large scale learning, disk I/O for data loading is often the runtime bottleneck. We propose a lossy data compression scheme with a fast decompression to reduce disk I/O, allocating fewer than the standard 32 bits for each real value in the data set. We theoretically show that the estimation error induced by the loss in compression decreases exponentially with the number of the bits used per value. Our experiments show the proposed method achieves excellent performance with a small number of bits and substantial speedups during training.
Morphological dissociations in the L2 acquisition of an inflectionally rich language

This study investigates the validity of Pinker’s (1991, 1999) Dual-Mechanism Model in the mental representation of regular and irregular active past perfective verbs in adult non-native Greek. In this model, regular inflection is computed by a symbolic rule, while irregular words are fully stored in the lexicon. A nonce-probe elicitation task showed that both natives and non-natives generalized the regular affix -s, and more so in regular than in irregular perfective verb stems. Moreover, the degree of similarity of the nonce verbs to real ones did not affect the affixation of regulars. Dissimilar irregulars were affixed less often than similar ones by the intermediate learners but neither by the advanced learners, nor by the natives. Our findings support computation for regulars, as proposed by the Dual Mechanism Model, both in native and in non-native language acquisition. Yet, the model’s claim for full storage of all irregular words is not verified.
Molecular Biocomputing Suite: a word processor add-in for the analysis and manipulation of nucleic acid and protein sequence data.

In all fields of molecular biology, researchers are increasingly challenged by experiments planned and evaluated on the basis of nucleic acid and protein sequence data generally retrieved from public databases. Despite the wide spectrum of available Web-based software tools for sequence analysis, the routine use of these tools has disadvantages, particularly because of the elaborate and heterogeneous ways of data input, output, and storage. Here we present a Visual Basic-encoded Microsoft Word Add-In, the Molecular BioComputing Suite (MBCS), available at the BioTechniques Software Library (www.BioTechniques.com). The MBCS software aims to manage and expedite a wide range of sequence analyses and manipulations using an integrated text editor environment including menu-guided commands. Its independence of sequence formats enables MBCS to be used as a pivotal application between other software tools for sequence analysis, manipulation, annotation, and editing.
Assessing the Overall Suffic iency of Safety Arguments

Abstract Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of suffi-ciency of safety arguments. We use the notion of basic probability assignment to provide a measure of sufficiency and insufficiency for each argument node. We use the concept of belief combination to calculate the overall sufficiency and in-sufficiency of a safety argument based on the sufficiency and insufficiency of its nodes. The application of the proposed approach is illustrated by examples. 1 Introduction A safety assurance case presents an argument, supported by a body of evidence, that a system is acceptably safe to be used in the given context (Menon et al. 2009). Recently, the U.S. Food and Drug Administration (FDA) has been high-lighting the upcoming call for certain 510(k) medical device submissions to in-clude safety assurance cases (FDA 2010). Adopting safety cases necessarily re-quires the existence of proper reviewing mechanisms. Safety cases are, by their nature, often subjective (Kelly 2007). The objective of safety case development, therefore, is to facilitate mutual acceptance of this subjective position. The goal of safety case evaluation, therefore, is to assess if there is a mutual acceptance of the subjective position. We define the safety ar-gument assessment as answering a question about the overall sufficiency of the argument, i.e., are the premises of the argument ‘strong enough’ to support the conclusions being drawn. The simplest way to assess a safety argument is to ask an expert reviewer to evaluate the overall sufficiency of the argument. Although this is a commonly accepted practice, most probably the final decision is not accu-rate enough. Research in experimental psychology shows that the human mind does not deal properly with complex inferences based on uncertain sources of
Automatic Algorithm Recognition of Source-Code Using Machine Learning

As codebases for software projects get larger, reaching ranges of millions of lines of code, the need for computeraided program comprehension grows. We define one of the tasks of program comprehension to be algorithm recognition: given a piece of source-code from a file, identify the algorithm this code is implementing, such as brute-force or dynamic programming. Most research in this area is making use of pattern matching, which involves much human effort and is of questionable accuracy when the structure and semantics of programs change. Thus, this paper proposes to let go of defined patterns, and make use of simpler features, such as counts of variables and counts of different constructs to recognize algorithms. We then feed these features to a classification algorithm to predict the class or type of algorithm used in this source code. We show through experimental results that our proposed method achieves a good improvement over baseline.