Miracle-dz/UniFAR-FTUs huggingface dataset:
Projectivity of analytic Hilbert and Kaehler quotients

We investigate algebraicity properties of quotients of complex spaces by complex reductive Lie groups G. We obtain a projectivity result for compact momentum map quotients of algebraic G-varieties. Furthermore, we prove equivariant versions of Kodaira's Embedding Theorem and Chow's Theorem relative to an analytic Hilbert quotient. Combining these results we derive an equivariant algebraisation theorem for complex spaces with projective quotient.
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design

This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects are used as abstractions to capture social patterns as concerns that crosscut software agents in multi-agent systems, whose separation and modularization are not taken into account in current agent-oriented software engineering. Social patterns are described using a template and UML-based diagrams to represent the pattern’s structure and behaviour in an aspect-oriented context.
A two-tiered mechanism by which Cdc42 controls the localization and activation of an Arp2/3-activating motor complex in yeast

The establishment of cell polarity in budding yeast involves assembly of actin filaments at specified cortical domains. Elucidation of the underlying mechanism requires an understanding of the machinery that controls actin polymerization and how this machinery is in turn controlled by signaling proteins that respond to polarity cues. We showed previously that the yeast orthologue of the Wiskott-Aldrich Syndrome protein, Bee1/Las17p, and the type I myosins are key regulators of cortical actin polymerization. Here, we demonstrate further that these proteins together with Vrp1p form a multivalent Arp2/3-activating complex. During cell polarization, a bifurcated signaling pathway downstream of the Rho-type GTPase Cdc42p recruits and activates this complex, leading to local assembly of actin filaments. One branch, which requires formin homologues, mediates the recruitment of the Bee1p complex to the cortical site where the activated Cdc42p resides. The other is mediated by the p21-activated kinases, which activate the motor activity of myosin-I through phosphorylation. Together, these findings provide insights into the essential processes leading to polarization of the actin cytoskeleton.
Skeletal Muscle Deoxygenation Following the Onset of Moderate Exercise Suggests Slowed Microvascular Blood Flow Kinetics in Type 2 Diabetes

Objective: People with type 2 diabetes (T2DM) have impaired exercise responses even in the absence of cardiovascular complications. One key factor associated with the exercise intolerance is abnormally slowed oxygen uptake ( O2) kinetics during submaximal exercise. The mechanisms of this delayed adaptation during exercise are unclear but likely relate to impairments in skeletal muscle blood flow. The study was conducted to compare skeletal muscle deoxygenation ([HHb]) responses and estimated microvascular blood flow (Qm) kinetics in T2DM and healthy subjects following the onset of moderate exercise. Research design and Methods: Pulmonary O2 kinetics and [HHb] (using near infrared spectroscopy) were measured in 11 T2DM and 11 healthy subjects during exercise transitions from unloaded to moderate cycling exercise. Qm responses were calculated using O2 kinetics and [HHb] responses via rearrangement of the Fick principle. Results: O2 kinetics were slowed in T2DM compared with controls (43.8±9.6s vs. 34.2±8.2s, P<0.05), and the initial [HHb] response following the onset of exercise exceeded the steady state level of oxygen extraction in T2DM compared with controls. Mean response time of estimated Qm increase was prolonged in T2DM compared with healthy subjects (47.7±14.3s vs. 35.8±10.7s, P<0.05). Conclusions: T2DM skeletal muscle demonstrates a transient imbalance of muscle O2 delivery relative to O2 uptake following exercise onset, suggesting a slowed Qm increase in T2DM muscle. Impaired vasodilatation secondary to vascular dysfunction in T2DM during exercise may contribute to this observation. Further study of mechanisms leading to impaired muscle oxygen delivery may help explain the abnormal exercise responses in T2DM.
Degradedness and stochastic orders of fast fading Gaussian broadcast channels with statistical channel state information at the transmitter

The capacity regions of Gaussian broadcast channels depends on the knowledge of channel state information (CSI). When there is only statistical CSI at the transmitter and full CSI at the receiver, the ergodic capacity region is unknown in general. In this paper we investigate the relation between the degradedness and stochastic orders among channels from the transmitter to different receivers. We derive criteria to identify the degradedness for single and multiple-antenna cases when the channels belong to the usual stochastic order or the increasing convex order. Examples illustrate the usage of the derived criteria. We also show a case in which the channel enhancement technique can be applied even when there is only statistical CSIT.
3D ConvNets with Optical Flow Based Regularization

Video classiﬁcation using 3D convolutional neural networks still lags behind models with simple classiﬁers on top of rich, hand-engineered, spatio-temporal features for a number of prominent action recognition datasets. Many of these hand-designed features are built on top of estimates of optical ﬂow. Thus we propose an extension to the 3D convolutional neural network model that incorporates the underlying assumptions of optical ﬂow as a form of regularization and analyze the effects of this extension on early-stage training of a 5-layer architecture on the UCF-101 Human Action Recognition dataset.
Sentiment Classification and Medical Health Record Analysis using Convolutional Neural Networks

This thesis tackles two problems in the area of natural language processing (NLP) using convolutional neural networks (CNNs). The first one is the prediction of the polarity for English language Twitter messages. Our approach is based on the shallow CNN framework in [31], extended to two convolutional layers. A corpus of 90M tweets is employed to generate unsupervised word-embeddings. The neural network is pre-trained on a set of 60M tweets, annotated automatically based on the emoticons they contain. Subsequently, the system is finetuned on hand labelled samples, obtained from the SemEval competition [28]. The impact of various hyper-parameters is analyzed and discussed. Our solution is part of the winning ensemble for task 4a of the 2016 SemEval contest [24]. The second part of this work deals with predicting ICD-9 codes from the text of electronic health records. Here we developed two kinds of labels: (i) the most represented top-level parent categories of the codes (8-class problem) and (ii) a one-vs-all approach for a specific code (binary problem). The documents are scanned for specific sections, which serve as input. Slightly different neural network configurations are evaluated, while a support vector machine classifier based on a bag-ofwords model is used as baseline. The performance is discussed with respect to the input sections, the classifiers and the labels. In order to verify that the network actually looks for meaningful patterns and does not base its predictions on spurious correlations, a qualitative evaluation of the sentences predicted with high certainty was performed by a clinician.
Towards adaptive false alarm reduction using Cloud as a Service

False alarms are a challenging issue for an intrusion detection system (IDS), which can significantly decrease the effectiveness of detection and heavily increase the burden on analyzing true alarms. With the advent of cloud computing, it is a big chance to mitigate this problem in such a promising environment. In our previous work, we proposed to construct an intelligent false alarm filter by selecting an appropriate algorithm in an adaptive way, whereas the additional workload may be an issue for implementation. In this paper, we begin by presenting a Generic Cloud-based Intrusion Detection Architecture (GCIDA) and we then propose a cloud-based solution to improve the false alarm reduction and reduce the workload using Cloud as a Service (CaaS). In addition, we also describe the procedures and the interactions between the Cloud nodes and the Cloud providers. Experimental results indicate that CaaS can provide sufficient computing power and greatly reduce the workload of adaptive false alarm reduction.
Reactive Safety

The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model checking, and synthesis problems. In this paper, we revisit the notion of safety for reactive systems, i.e., for systems whose behavior is characterized by the interplay of uncontrolled environment inputs and controlled system outputs. We show that reactive safety is a strictly larger class of properties than standard safety. We provide algorithms for checking if a property, given as a temporal formula or as a word or tree automaton, is a reactive safety property and for translating such properties into safety automata. Based on this construction, the standard verification and synthesis algorithms for safety properties immediately extend to the larger class of reactive safety.
Incentives for Truthful Information Elicitation of Continuous Signals

We consider settings where a collective intelligence is formed by aggregating information contributed from many independent agents, such as product reviews, community sensing, or opinion polls. We propose a novel mechanism that elicits both private signals and beliefs. The mechanism extends the previous versions of the Bayesian Truth Serum (the original BTS, the RBTS, and the multi-valued BTS), by allowing small populations and non-binary private signals, while not requiring additional assumptions on the belief updating process. For priors that are sufficiently smooth, such as Gaussians, the mechanism allows signals to be continuous.
Diagram understanding utilizing natural language text

Diagram understanding and its cooperative use with other media are important subjects in both pattern understanding and communication. However, it is quite difficult to understand diagrams without supplementary explanation by other media. For this purpose, the authors propose a new framework for semantic understanding of a diagram by utilizing textual information. In this framework, the elements in a diagram are tightly linked to words or other structure in a natural language text, and the semantic structure of a diagram is interpreted clearly by using natural language information. The obtained result contributes to the construction of hypertext and multimedia. <<ETX>>
Limitations of the Pub/Sub pattern for cloud based IoT and their implications

The current approach to roll out large scale IoT systems is to outsource the crucial parts of the system to cloud based services, such as message brokerage, devices management, or sensor data storage and processing. One core protocol for messaging in those settings is the widely adopted publish/subscribe protocol MQTT. Pub/sub protocols, however, were not designed for this particular scenario and have decoupling properties that make some common task in IoT settings more challenging to achieve. It is, for instance, not straightforward to discover potential publishers of sensor data or to give guarantees that all, a certain number or at least one subscriber of a certain set of possible subscribers will received a message. Because they are missing in the standard, different approaches and implementations tackling those challenges will lead to incompatibilities between users of different systems. In this work, we therefore give an overview of the challenges with discovery and guaranteed delivery to a certain number of subscribers over pub/sub networks in IoT settings and present different possible solutions. We give advice on which implementation is useful under which circumstances and provide a proof-of-concept that can be used with little adaption for enabling discovery and reliability in MQTT.
Path planning approach to visual servoing with feature visibility constraints: A convex optimization based solution

This paper explores the possibility of using convex optimization to address a class of problems in visual servoing. This work is motivated by the recent success of convex optimization methods in solving geometric inference problems in computer vision. We formulate the visual servoing problem with feature visibility constraints as a convex optimization of a function of the camera position i.e. the translation of the camera. First, the path is planned using potential field method that produces unconstrained but straight line path from the initial to the desired camera position. The problem is then converted to a constrained convex optimization problem by introducing the visibility constraints to the minimization problem. The objective of the minimization process is to find for each camera position the closest alternate position from which all features are visible. This algorithm ensures that the solution is optimal. This formulation allows the introduction of more constraints, like joint limits of the arm, into the visual servoing process. The results have been illustrated in a simulation framework.
Finding Information through Integrated Ad-Hoc Socializing in the Virtual and Physical World

Despite the services of sophisticated search engines, there are interesting information sources which are useful but largely inaccessible to current web users. These sources are often ad-hoc, location-specific and only useful for users over short periods of time, or relate to tacit knowledge of users or crowds. The solution presented in this paper introduces an integrated concept of "location" and "presence" across the physical and virtual worlds enabling ad-hoc socializing of users looking for similar information. While the definition of presence in the physical world is straightforward their definitions in the virtual world are neither obvious nor trivial. We provide an integrated spatial model spanning both worlds which enables us to define presence of users in a unified way. This integrated model allows us to enable ad-hoc socializing of users browsing the Web with users in the physical world specific to their joint information needs and allows us to unlock the untapped information sources mentioned above. We describe our proof-of-concept implementation and provide an empirical analysis based on real-world experiments.
Is there a beneficial effect difference between age, gender, and different cardiac pathology groups of exercise training at ventilatory threshold in cardiac patients?

BACKGROUND Research on cardiac rehabilitation has raised interesting methods and effects without however establishing the share of the profits according to age, sex and cardiac pathology. Yet today, this disease with various pathologies strikes people of all ages and both sexes, and the recommended rehabilitation exercise intensity is often the ventilatory threshold. The aim of this study was to compare benefits of a training program at ventilatory threshold according to age, gender and cardiac pathology. METHODS One hundred and eighty eight cardiac patients, of whom 62 had coronary artery bypass surgery, 22 artery angioplasty, 54 myocardial infarction and 50 valve replacements, aged 31-82 years, performed spirometric and cardiopulmonary exercise tests before and after a training program. This program consisted of exercise on a cycloergometer for three sessions of 45 min per week for eight weeks at heart rates attenuated at ventilatory threshold (V(Th)) obtained during a cardiopulmonary exercise test conducted before the training period. RESULTS Peak heart rate, peak aerobic power, and peak oxygen uptake determined at V(Th) increased during the training period in all groups of subjects. Men and adult groups had higher absolute values compared to women and elderly groups. No difference was observed in cardiac pathology groups. Similar improvements of aerobic capacities were observed in age, gender and cardiac pathology groups. CONCLUSIONS A training program conducted at personalised V(Th) significantly improves the aerobic physical capacities of all cardiac patients, and inducessimilar benefits whatever the age, gender or cardiac pathology.
A framework for design space exploration of parameterized VLSI systems

The paper presents two new approaches to multi-objective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determine the Pareto-optimal set as compared with an exhaustive approach. The first uses sensitivity analysis while the second uses evolutionary computing techniques. Application to a highly parametric system-on-a-chip for digital camera applications shows the validity of the methodologies presented in terms of both accuracy of results and efficiency, measured as the number of simulations needed to determine the power/execution-time trade-off front.
Promoting Engagement with Peer-Reviewed Journal Articles in Adult ESL Programs

Engagement with current research is essential for the implementation of evidence-informed instructional practices in adult English as a second language classrooms. We explored Canadian administrators’ and instructors’ engagement with peer-reviewed research articles, perceptions of their impact, and ways in which stakeholders could enhance engagement. Online surveys were conducted with 41 administrators and 268 instructors, and 4 administrators participated in a focus group interview. Results revealed that administrators were not actively fostering instructors’ engagement with peer-reviewed research and that neither administrators nor instructors were engaging extensively with research. Those who were reading research, however, reported a positive impact on their work, and 86% of instructors indicated interest in enhancing their engagement. We provide recommendations for professional organizations, program funders, program administrators, and instructors to promote TESL practitioner engagement with research. La participation a la recherche actuelle est essentielle pour la mise en œuvre, dans les cours d’anglais langue seconde pour adultes, de pratiques pedagogiques eclairees par des donnees probantes. Nous avons examine l’implication d’administrateurs et d’enseignements canadiens face aux articles de recherche revus par les pairs, les perceptions de l’impact de ceux-ci et des facons dont les parties prenantes pourraient augmenter l’engagement. Des sondages en ligne ont ete completes par 41 administrateurs et 268 enseignants, et un entretien/groupe de discussion a eu lieu avec 4 administrateurs. Les resultats indiquent que les administrateurs n’encourageaient pas activement la participation des enseignants relative a la recherche examinee par les pairs et que ni les administrateurs ni les enseignants ne prenaient part activement a la recherche. Par contre, ceux qui lisaient la recherche ont note qu’elle avait un impact positif sur leur travail et 86% des enseignants ont indique qu’ils voulaient augmenter leur implication. Nous offrons, aux organisations professionnelles, bailleurs de fonds, administrateurs de programmes et enseignants, des recommandations qui visent la promotion de l’implication des enseignants en ALS dans la recherche.
Exploring the motivation for science learning of 3 rd year high school students who chose different college majors from their track

지난 10년간 우리 과학교육계는 이공계 위기, 이공계 기피, 이과의 몰락 등의 용어에 익숙해져서 지내왔다 . 1997년 외환위기를 기점으로 가속화된 이공계 위기는 학생들의 고교계열 선택을 그 시작점으로 대학 이공계 학과의 미달로 인한 과학기술인의 처우 문제 등 많은 사회 이슈들에 대한 담론을 양산해 내었다 . 실제로 1995년부터 7년간에 걸쳐 대학수학능력시험 자연계열 응시자의 수는 42.6%에서 지속적으로 감소하여 결국 2001년에는 1995년의 절반 수준인 26.9%에까지 이르면서 2000년대에 들어 제2차 이공계 위기라는 절망적인 제목의 신문기사들을 수시로 접할 수 있게 되었다 (Lee, Kim, & Heo, 2001). 그러나 최근 들어 산업구조 변화와 취업문제 등으로 인하여 인문계 고등학교에서 이과계열
Serial LDPC decoding on a SIMD DSP using horizontal scheduling

In this paper we propose an efficient vectorized low density parity check (LDPC) decoding scheme based on the min-sum algorithm and the horizontal scheduling method. Also, the well known forward-backward algorithm, used in the check-node messages update, is improved. Results are presented for 32 and 16 bits logarithm likelihood ratio messages representation on a high performance and modern fixed point DSP. The single instruction multiple data (SIMD) feature was explored in the 16 bits case. Both regular and irregular codes are considered.
Prospective study of healthcare utilisation and respiratory morbidity due to RSV infection in prematurely born infants

Background: A study was undertaken to determine the impact of respiratory syncytial virus (RSV) infection, both in hospital and the community, on healthcare utilisation and respiratory morbidity in prematurely born infants and to identify risk factors for symptomatic RSV infection. Methods: A hospital and community follow up study was undertaken of 126 infants born before 32 weeks of gestational age. Healthcare utilisation (hospital admissions and general practitioner attendances) in the first year, respiratory morbidity at follow up (wheeze and cough documented by parent completed diary cards), and RSV positive lower respiratory tract infections (LRTIs) were documented. Nasopharyngeal aspirates were obtained for immunofluorescence and culture for RSV whenever the infants had an LRTI, either in the community or in hospital. Results: Forty two infants had an RSV positive LRTI (RSV group), 50 had an RSV negative LRTI (RSV negative LRTI group), and 32 infants had no LRTI (no LRTI group). Compared with the RSV negative LRTI and the no LRTI groups, the RSV group required more admissions (p = 0.392, p<0.001) and days in hospital (p = 0.049, p = 0.006) and had more cough (p = 0.05, p = 0.038) and wheeze (p = 0.003, p = 0.003) at follow up. Significant risk factors for symptomatic RSV LRTI were number of siblings (p = 0.035) and maternal smoking in pregnancy (p = 0.005), for cough were number of siblings (p = 0.002) and RSV LRTI (p = 0.02), and for wheeze was RSV LRTI (p = 0.019). Conclusion: RSV infection, even if hospital admission is not required, is associated with increased subsequent respiratory morbidity in prematurely born infants.
Department of Economics Working Paper University of Massachusetts Amherst Real Wages and Labor-saving Technical Change: Evidence from a Panel of Manufacturing Industries in Mature and Labor-surplus Economies Real Wages and Labor-saving Technical Change: Evidence from a Panel of Manufacturing Industr

This paper uses panel cointegration and error correction models to unveil the direction of long-run causality between the real product wage and labor productivity at the industry level. I use two datasets of manufacturing industries: the EU-Klems dataset covering 11 industries in 19 developed economies, and the Unido Industrial Statistics Database covering 22 industries in 30 developed and developing economies. In both datasets, I find evidence of cointegration between the two variables, as well as evidence of two-way, long-run Granger causality. These findings are consistent with theories of directed technical change, which claim that a rise in labor costs sparks the adoption of labor-saving innovations. They are also consistent with distributive theories whereby real wages keep apace of labor productivity growth, giving rise to long-run stability in functional distribution.