Miracle-dz/UniFAR-FTUs huggingface dataset:
An improved Combinatorial Particle Swarm Optimization Algorithm to Database Vertical Partition

Vertical partition is an important technique in database design used to enhance performance in database systems. Vertical fragmentation is a combinatorial optimization problem that is NP-hard in most cases. We propose an application and an adaptation of an improved combinatorial particle swarm optimization (ICPSO) algorithm for the vertical fragmentation problem. The original CPSO algorithm [1] suffers from major drawback—redundant encoding. This paper applies an improved version of CPSO that using the restricted growth (RG) string [2] constraint to manipulate the particles so that redundant particles are excluded during the PSO process. The effectiveness and efficiency of the improved CPSO algorithm are illustrated through several database design problems, ranging from 10 attributes/8 transactions to 50 attributes/50 transactions. In all cases, our design solutions match the global optimum solutions.
Derandomizing the Isolation Lemma and Lower Bounds for Noncommutative Circuit Size

We give a randomized polynomial-time identity test for noncommutative circuits of polynomial degree based on the isolation lemma. Using this result, we show that derandomizing the isolation lemma implies noncommutative circuit size lower bounds. More precisely, we consider two restricted versions of the isolation lemma and show that derandomizing each of them implies nontrivial circuit size lower bounds for noncommutative circuits. These restricted versions of the isolation lemma are natural and would suffice for the standard applications of the isolation lemma.
Determination of the Next Release of a Software Product: an Approach using Integer Linear Programming

Selection of the requirements for the next release of a soft- ware product is a inherently complex task due to the high volume of intricate requirements and to the varied interests of the stake holders involved. In this paper we apply integer linear programming techniques to aid requirements managers of product software companies in release planning. The applied techniques take candidate requirements, estimated revenue per requirement (or combination of requirements), and available resources as input. Planning suppleness is added by way of allowing flex- ibility in team composition, team transfers, extension of deadlines and hiring external resources. Through experiments the application of the proposed approach is demonstrated with real life data. Future additions to the model are identified, as well as improved validation.
Model-Driven Development Processes and Practices: Foundations and Research Perspectives

$MD^2P^2$ is a workshop about the interrelation of model-driven development (MDD) and development processes. The workshop provides a forum for researchers and practitioners to exchange experiences on the questions how processes need to adapt or can be adapted when model-driven techniques are applied. We argue that the interrelation between MDD and development processes can be crucial for the success of MDD. For example, the need to adapt a process when introducing MDD can be a reason to decide against an MDD adoption. Further, we aim to give an introduction to foundations and research perspectives. $MD^2P^2$ is co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems.
Multiuser Fuzzy Keyword Search

Cloud computing is a technology that uses the internet and central remote servers to maintain data and applications. Cloud computing allows consumers and businesses to use applications without installation and access their personal files at any computer with internet access. This technology allows for much more efficient computing by centralizing storage, memory, processing and bandwidth. Perhaps the biggest concerns about cloud computing are security and privacy. There are many searchable encryption technique which were implemented in the cloud, these technique supports only exact keyword search not similarity. This paper reviews efficient Searchable encryption, Wildcard –Based Technique, Gram Technique, Symbol – Based Trie – traverse Search Scheme. analyzing these techniques, has arisen some drawbacks, so we have proposed multiuser fuzzy keyword search over cloud computing approach. This proposed method, concentrates solving the problems of the user who search the d help of fuzzy keyword on cloud and support multiuser environment.
On the Verification of Concurrent, Asynchronous Programs with Waiting Queues

Recently, new libraries, such as Grand Central Dispatch (GCD), have been proposed to directly harness the power of multicore platforms and to make the development of concurrent software more accessible to software engineers. When using such a library, the programmer writes so-called blocks, which are chunks of code, and dispatches them using synchronous or asynchronous calls to several types of waiting queues. A scheduler is then responsible for dispatching those blocks among the available cores. Blocks can synchronize via a global memory. In this article, we propose Queue-Dispatch Asynchronous Systems as a mathematical model that faithfully formalizes the synchronization mechanisms and behavior of the scheduler in those systems. We study in detail their relationships to classical formalisms such as pushdown systems, Petri nets, Fifo systems, and counter systems. Our main technical contributions are precise worst-case complexity results for the Parikh coverability problem and the termination problem for several subclasses of our model. We also consider an extension of Qdas with a fork-join mechanism. Adding fork-join to any of the subclasses that we have identified leads to undecidability of the coverability problem. This motivates the study of over-approximations. Finally, we consider handmade abstractions as a practical way of verifying programs that cannot be faithfully modeled by decidable subclasses of Qdas.
Are perceptions of disability changed by involving service users and carers in qualifying health and social work training?

Abstract This article reports the findings of two small-scale qualitative studies at an English university which engaged service users and carers (SUACs) as researchers in co-production with an academic researcher. Findings were that SUAC participants reported considerable levels of self-transformation via involvement in training health and social work professionals. Students reported heightened empathy and having had their perceptions about disability challenged. Further research regarding whether any learned values and attitudes regarding disability are carried through to the world of practice is recommended.
A Factorial Survey Study on the Influence of Advertising Place and the Use of Personal Data on User Acceptance of Facebook Ads

Advertisements on social networking sites are typically unrequested messages placed in between the user-generated content. What makes users accept these ads (or not)? A factorial survey was conducted to uncover the impact of different factors related to the use of personal data (e.g., sensitivity of personal data) and advertising place (e.g., ad location) of Facebook ads on user acceptance (i.e., fairness and appropriateness) of the advertisement. Placement of the advertisement was the only factor to significantly affect user acceptance. Moreover, the effect of ad placement largely depended on the degree of involvement with the advertised product. Among low-involved subjects, sidebar ad placement was better accepted. Moreover, the influence of ad placement on user acceptance was fully mediated by perceived intrusiveness of the ad. This indirect effect was not significant in the high-involved subgroup, where message stream placement was better accepted. Implications for targeting advertising on Facebook are discussed.
The Use of Quantitative Magnetic Resonance Perfusion for Assessment of CBF in The Perioperative Management of Carotid Stenosis: Case Illustration

Objective and Importance: Internal Carotid Artery (ICA) stenosis is a common condition with a high preva- lence in the normal population and carries a high risk of stroke. Hemodynamic impairment has been proven to be a power- ful and independent risk factor for stroke. Understanding the hemodynamics beyond a stenosis may play a role in select- ing patients who would benefit from treatment, determining the success of the treatment, and monitoring for disease recur- rence. Our group has developed a unique quantitative approach to MR perfusion. We report on the use of Quantitative Magnetic Resonance Perfusion (MRP) for assessment of Cerebral Blood Flow (CBF) pre- and post- Carotid Angioplasty and Stenting for symptomatic ICA stenosis. Clinical Presentation: A 71-year-old female with significant comorbidities presented with two episodes of left transient ischemic attacks (TIAs) over the course of one month related to high grade left ICA stenosis. Preoperative quantitative MRP showed asymmetry in CBF between the two hemispheres. Carotid angioplasty and stenting was recommended. Intervention: Left ICA angioplasty and stenting was performed and reduced the stenosis to <10%. Quantitative MRP done after the procedure revealed improved CBF to the affected side and normalization in the asymmetry of perfusion between the two hemispheres. Quantitative MRP values showed that affected regions were hypoperfused, but flow was sufficiently maintained so as to avoid infarct. Conclusion: Relative MRP images allowed us to elucidate improvement in perfusion resulting form carotid angioplasty and stenting. This novel quantitative MRP allows quantification of CBF and the potential to provide additional informa- tion on the degree of hemodynamic compromise.
Molecular dissection of the NH2-terminal signal/anchor sequence of rat dipeptidyl peptidase IV

Dipeptidyl peptidase IV (DPPIV) is a membrane glycoprotein with a type II orientation in the plasma membrane. As shown in a cell-free translation system, the amino-terminal 34 amino acids of rat DPPIV are involved in translocating nascent polypeptide across the membrane of microsomes and in anchoring the translocated polypeptide in the microsomal membrane. The amino-terminal sequence performing this dual function is composed of: a central hydrophobic core of 22 amino acid residues; 6 amino-terminal residues preceding the hydrophobic core (MKTPWK); and 6 residues following the hydrophobic core. The six residues preceding the hydrophobic core are exposed on the outside (cytoplasmic side) of the microsomal membrane. Site-directed mutagenesis studies show that deletion of this cytoplasmic domain, excluding the amino-terminal initiating methionine, does not affect translocation of nascent DPPIV polypeptide, but does affect significantly anchoring of the translocated polypeptide in the microsomal membrane. In contrast, changing the two cytoplasmic Lys to Glu residues or shortening of the hydrophobic core from 22 to 15 residues or converting the last 11e of the shortened hydrophobic core into Ala affects neither translocation across nor anchoring of the DPPIV polypeptide in the microsomal membrane. These and other structural features of the DPPIV amino-terminal signal-anchor sequences are discussed along with other types of sequences for their role in targeting nascent polypeptides to the RER.
Effect of walking exercise on abdominal fat, insulin resistance and serum cytokines in obese women

[Purpose] The purpose of the study was to investigate the effect of 12-week walking exercise on abdominal fat, insulin resistance and serum cytokines in obese women. [Methods] Following baseline measurements, obese women (N = 20) who met obesity criterion of BMI at 25 kg/m2 or greater were randomly assigned to the control (n = 10) or exercise groups (n = 10). Women assigned to the exercise group participated in a walking exercise (with an intensity of 50-60% of predetermined VO2max, a frequency of 3 days per week and duration of 50-70 minutes targeting 400 kcal of energy expenditure per session) for 12 weeks, while women assigned to the control group maintained their sedentary lifestyle. After the 12-week walking intervention, post-test measurements were conducted using the same procedure as the baseline measurement. Analyses of variance with repeated measures were used to evaluate any significant time by group interactions for the measured variables. [Results] With respect to body fat parameters, significant time-by-group interactions were found in the abdominal subcutaneous (p = < 0.001) and visceral adipose tissues (p = 0.011). The exercise group had significant reductions in both subcutaneous and visceral adiposity, and the control group had no significant changes in those parameters. Similarly, there were significant time by group interactions in fasting glucose (p = 0.008), HOMA-IR (p = 0.029), serum TNF-α (p = 0.027), and IL-6 (p = 0.048) such that the exercise group had significant reductions in those parameters, with no such significant changes found in the control group. The exercise group also had a significant increase in serum adiponectin (p = 0.002), whereas the control group had no significant change in the parameter. [Conclusion] In summary, the current findings suggest that walking exercise can provide a safe and effective lifestyle strategy against abdominal obesity and serum insulin resistance markers in obese women.
Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics?

Recently, online visual analytics systems have emerged as popular tools for data analysis and sharing. The database community has an important role to play in shaping the design and implementation of these new types of systems. Little, however, is known about how these systems are used today. In this paper, we address this shortcoming by presenting an analysis of usage patterns of Many Eyes and Tableau Public, two popular Web-based, collaborative visual analytics systems.
Indoor Localization: Challenges and Opportunities

Accurate indoor positioning can transform the retail, travel and transportation, and sports industries. For example, think of getting a mobile coupon for a shirt when you are standing near to it in a clothing store and turn-by-turn indoor navigation to the food booth with the shortest queue in airports and stadiums. While the Indoor Location market includes many new business opportunities (estimated around $4.5B by 2019), this emerging area suffers from shortcomings such as limited accuracy, complex maintenance of indoor sensing platforms and lack of data quality assessment tools. This talk will review existing indoor positioning technologies and will discuss their aforementioned limitations. We will present new directions for mitigating these limitations, and we will focus on novel data smoothing algorithms for cleansing noisy indoor data. These algorithms open market opportunities supporting new indoor use cases such detection of common customer paths, targeted/wanderer customers and queues length. Finally, we will discuss future trends in indoor localization and how these technologies will be able to pin point you to a small grocery product in a large supermarket.
Speech expressiveness: Modeling and implementing the expressive impact of typographic and punctuation marks for textual inputs

The paper presents some validation results concerning the treatment of typographical and/or punctuation information in the perspective of an expressive speech synthesis for text inputs. In the first part, we outline the expressiveness model and the conceptual categories our work leans on and receives some legitimacy. This model incorporates a point of view of typographic and punctuation information and predicts their impact both in local and global expressive effects. In the second part, we give some issues concerning the developmental framework in which we work, specifically the TTS system of France Telecom. Our aim is to improve its expressive performances for text inputs. In the third part, we pinpoint the approach we adopt and put some light on the formal aspects we deal with in our treatments. In the fourth part, we sketch the user interface we developed for such an objective. We also try to give an idea concerning the obtained expressive improvements. In the final part (V and VI), we discuss validation issues and some perspectives concerning the most general expressive forms of the model and illustrate some of our first attempts to track them in our developmental framework.
Power exploration of multimedia applications realized on embedded cores

Low power realization of video applications on embedded cores is described. Code transformations are applied to reduce the data memory power consumption. The transformed code indicates a power efficient data memory architecture while transformations move the main part of memory accesses from larger memories (possibly off-chip) to smaller ones (on-chip). The effect of transformations on performance, which is usually the overriding issue in such systems, is evaluated. It is shown that performance is closely related to program memory power consumption that is in some case orders of magnitude larger than data memory power consumption. The aim of the proposed research is the development of a methodology for the application of data storage and transfer optimizing transformations that achieve a close to optimal balance between power and performance in realizations of multimedia applications on embedded cores.
Low-Complexity Hybrid Linear/Tomlinson-Harashima Precoding for Downlink Large-Scale MU-MIMO Systems

In this paper, we propose a novel low-complexity hybrid linear/Tomlinson-Harashima precoder (HL-THP) for downlink large-scale multiuser multiple-input multiple-output (MU-MIMO) systems. The proposed precoder comprises an inner linear precoder which is designed based on only the second order statistics of the channel state information (CSI) and outer THPs which exploit the instantaneous overall CSI of the cascade of the actual channel and the inner precoder. Thereby, the user terminals (UTs) are divided into groups, where for each group a THP successively mitigates the intra-group interference, whereas the inter-group interference is canceled by the inner linear precoder. Our analytical and simulation results show that the proposed HL-THP achieves a substantially higher average rate per UT and a considerably lower bit error rate (BER) than the linear regularized zero-forcing (RZF) precoder. Moreover, both the average achievable rate per UT and the BER of the proposed HL-THP are close to those of the conventional THP. In addition, we analyze the computational complexity of the proposed HL-THP in terms of the required number of floating-point operations. These results reveal that the proposed HL-THP has a much lower computational complexity than the conventional THP and RZF precoders, respectively. This and its high performance make the HL-THP an excellent candidate for practical systems.
Öğretmenlerin Mobbing, Örgütsel Adalet ve Örgütsel Sessizlik Algıları ve Aralarındaki İlişki

12.00 Bu calismanin amaci, ogretmenlerin mobbing, orgutsel adalet ve orgutsel sessizlik algilari arasindaki iliskileri inceleyerek soz konusu degiskenlerin birbirlerini yordama guclerinin belirlenmesidir. A rastirmada kisisel bilgiler formu disinda Ehi (2011) mobbing olcegi, Gurpinar (2006) orgutsel adalet olcegi ve Erdogan (2011)’in orgutsel sessizlik olcegi kullanilmistir. Arastirmaya, 2016–2017 egitim-ogretim yilinda 842 ogretmen gonullu olarak katilmistir. Arastirma ogretmenlerin mobbing davranisinin tum boyutlarinda dusuk duzeyde algiya sahip olduklari; bu boyutlarda yuksek orgutsel adalet algisina sahip olduklari; savunma amacli seslilik ve sessizlikle kabul edilen sessizlik duzeylerinin dusuk; orgut yararina seslilik ve sessizlik duzeylerinin ise yuksek, kabul edilen seslilik ve genel orgutsel sessizlik duzeylerinin orta duzeyde oldugu saptanmistir. Arastirmada mobbingin adalet ve orgutsel sessizlik uzerinde, orgutsel adaletin de orgutsel sessizlik uzerinde anlamli etkilerinin oldugu gorulmustur. Diger yandan ogretmenlerin mobbing algi duzeylerinin yukselmesinin orgutsel adalet algilarini dusurdugu, orgutsel sessizlik duzeylerini artirdigi, orgutsel adalet algilarinin dusuk duzeyde olmasinin ise orgutsel sessizlik duzeylerini artirdigi sonucuna ulasilmistir. Ogretmenlerin mevcut mobbing, orgutsel adalet ve orgutsel sessizlik duzeylerine iliskin ulasilan olumlu sonuclarin korunarak gelistirilmesine yonelik oneriler getirilmistir.
Adaptive Autonomous Agent Models for Open Distributed Systems

Currently, there is a lack of tools to build autonomous software systems in a pervasive and distributed context. In this paper, we present a model and a development tool called Agentphi for building flexible agent architectures from fine-grained components. Reusable components implement non-functional mechanisms such as communication, mobility or adaptation skills. Each agent can dynamically and autonomously change its components to suit its runtime context, improving safety and performances of applications, particularly in open, pervasive or large-scale distributed applications. We also show how to use our agents to build applications from autonomous and adaptable systems.
Cutting Edge: IPSE/alpha-1, a Glycoprotein from Schistosoma mansoni Eggs, Induces IgE-Dependent, Antigen-Independent IL-4 Production by Murine Basophils In Vivo1

During infection with the helminth parasite Schistosoma mansoni, the deposition of eggs coincides with the onset of IL-4 production and Th2 development. Although IL-4 is known as a potent inducer of Th2 differentiation, the mechanism by which schistosome eggs induce IL-4 production is not clear. In this study, we demonstrate that the S. mansoni egg Ag (SmEA) induces IgE-dependent IL-4 production by basophils derived from Heligmosomoides polygyrus-infected or OVA/alum-immunized mice in the absence of pathogen-specific IgE. The effect is mediated by the secretory glycoprotein IPSE/alpha-1, because IPSE/alpha-1-depleted SmEA no longer induces cytokine production. Conversely, recombinant IPSE/alpha-1 is sufficient to induce IL-4 production. Importantly, the injection of SmEA or recombinant IPSE/alpha-1 into H. polygyrus-infected 4get/KN2 IL-4 reporter mice rapidly induces the dose-dependent IL-4 production by basophils in the liver, a major site of egg deposition. Thus, IPSE/alpha-1 induces basophils to produce IL-4 even in the absence of Ag-specific IgE.
A mechanism for large image/videos’ automatic annotation considering semantic tolerance relation

In this paper, a mechanism for large scale image/video retrieval on the distributed environment is proposed, and an approach of image/videopsilas automatic annotation considering semanticspsila tolerance relation between pre-defined classes is described. The image/videospsila semantics is represented by a vector of associative values with the pre-defined classes which is generated by the distributed nodes providing the contents of image/video. On the other hand, by using bidirectional associative memories, the method how to generating associative values with pre-defined classes regarding different dimensions is also depicted. Image/videospsila retrieval results based on the pre-defined classes shows the effectiveness of the proposed methods.
Development of a Digital Micropump with Controlled Flow Rate for Microfluidic Platforms

This paper presents a novel device for pumping a column of liquid in a microchannel integrated on a digital microfluidic (DMF) platform. The electrowetting on dielectric (EWOD) method is used to frequently actuate a droplet (referred to as the piston droplet) on an array of electrodes. A column of liquid (referred to as the pumped droplet) is pumped in a microfluidic channel by the pressure coming from actuation of the piston droplet. A signal modulation technique is developed and used in order to control the flow rate of the liquid column in the microchannel. Different flow rates of the pumped liquid are achieved by controlling the actuation time of the signal used for moving the piston droplet. Copyright © 2014 IFSA Publishing, S. L.