Miracle-dz/UniFAR-FTUs huggingface dataset:
Modeling, Simulation and Control of a Power Assist Robot for Manipulating Objects Based on Operator’s Weight Perception

1.1 Power assist robot and its current applications Power assist robot is a human-robot cooperation that extends human’s abilities and skills in performing works (Kazerooni, 1993). Breakthrough in power assist robots was conceived in early 1960s with “Man-amplifier” and “Hardiman” (Kazerooni, 1993), but the progress of research on this significant field is not satisfactory yet. It is found through literature that power assist systems are currently being developed mainly for sick, physically disabled and old people as healthcare and rehabilitation supports (Kong et al., 2009; Seki, Ishihara and Tadakuma, 2009). Few power assist systems have also been developed for other applications such as for lifting baby carriage (Kawashima, 2009), physical support for workers performing agricultural jobs (Tanaka et al., 2008), hydraulic assist for automobiles (Liu et al., 2009), skill-assist for manufacturing (Lee, Hara and Yamada, 2008), assisted slide doors for automobiles (Osamura et al., 2008), assist-control for bicycle (Kosuge, Yabushita and Hirata,2004), assist for sports training (Ding, Ueda and Ogasawara, 2008), etc.
Explorer Free-Energy Minimization and the DarkRoom Problem

General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact openaccess@ed.ac. uk providing details, and we will remove access to the work immediately and investigate your claim.
High-precision attitude control for satellite with repeat ground track orbit

Repeating ground track orbit is useful for satellite to detect the changes of the interested area with identical viewing conditions repetitively. The attitude control system for this kind of mission is a repetitively-operated dynamic system. An anticipatory iterative learning control (ILC) scheme is proposed to improve the attitude control accuracy for the above attitude control mission. Simulation results show that the attitude control accuracy can be greatly improved by using the anticipatory ILC scheme.
An Interpretation of the Squared Amplitude of a Solution of the Schrodinger Wave Equation

It is found that that from a mathematical standpoint the probability density given by a solution of the Schrodinger wave equation is determined by an underlying random variable which has a Chi-Square distribution with one degree of freedom, and that the resulting mean probability density agrees with its deterministic value in quantum mechanics. As a result quantum probability and interference patterns in particular, would obey the normal laws of probability.
A spectral analysis of crimes in San Francisco

In this work, we attempt an exploratory analysis of spatio-temporal patterns of crime in San Francisco. We apply spectral analysis to the temporal evolution of all categories of crime, finding that many have a weekly or monthly periodicity, along with other components. We show that spatial distribution has weekly patterns as well. These results can improve our understanding of the dynamics of crime and be exploited to design predictive models for policing.
A New Approach for Hiding Data in Images using Image Domain Methods

Steganography is the approach for hiding any secret message in a variety of multimedia carriers like images, audio or video files. Whenever we are hiding a data, it is very important to make it invisible, so that it could be protected. A number of steganographic algorithms have been proposed based on this property of a steganographic system. This paper introduces a new approach which is based upon spatial domain embedding techniques. And also the cover image we have used is JPEG image. The secret data embedded in images were images, text and audio signals so far. The proposed scheme has also come with the executable file as secret data. Also, the experimentation results show that, the important properties of a steganographic system such as imperceptibility, capacity of the carrier image and also resistance against the various steganalytic tools have also been achieved with this stego-system.
Coping and Adjustment in Informal Male Carers: A Systematic Review of Qualitative Studies

Informal caregivers represent a significant proportion of the population. This can be a challenging role associated with adverse psychological outcomes. Gender can have important influences on choice of coping strategies; however, male caregivers have been a relatively understudied group in this regard. A systematic review of qualitative studies was conducted to synthesize research on male carer self-initiated coping strategies. A total of 16 studies met inclusion criteria for the current review. Caregiving in the context of neurological conditions was a key focus of studies, as was a focus on older male carers. Data on coping strategies were extracted and summarized under 4 metathematic categories: Finding meaning and purpose; creating new behaviors, roles, and identities; maintain status quo and utilize existing resources; promoting masculinities and taking charge. The findings of the current review suggest that men employ various coping strategies, many of which can be conceptualized as adopting either a traditional or flexible approach to gender role socialization. The implications for the review are discussed, along with directions for future research.
Jekyll on iOS: When Benign Apps Become Evil

Apple adopts the mandatory app review and code signing mechanisms to ensure that only approved apps can run on iOS devices. In this paper, we present a novel attack method that fundamentally defeats both mechanisms. Our method allows attackers to reliably hide malicious behavior that would otherwise get their app rejected by the Apple review process. Once the app passes the review and is installed on an end user's device, it can be instructed to carry out the intended attacks. The key idea is to make the apps remotely exploitable and subsequently introduce malicious control flows by rearranging signed code. Since the new control flows do not exist during the app review process, such apps, namely Jekyll apps, can stay undetected when reviewed and easily obtain Apple's approval. We implemented a proof-of-concept Jekyll app and successfully published it in App Store. We remotely launched the attacks on a controlled group of devices that installed the app. The result shows that, despite running inside the iOS sandbox, Jekyll app can successfully perform many malicious tasks, such as stealthily posting tweets, taking photos, stealing device identity information, sending email and SMS, attacking other apps, and even exploiting kernel vulnerabilities.
Annotated type and effect systems

Program analysis offers static techniques for predicting safe and computable approximations to the set of values or behaviours arising dynamically during computation; this may be used to validate program transformations or to generate more efficient code. The flow based approach includes the traditional data flow analysis techniques for mainly imperative languages, but also the control flow analysis techniques developed for functional and object oriented languages. The model based approach includes the parameterised denotational semantics techniques developed for functional and imperative languages, but also more generally the use of mathematical modelling in the abstract interpretation of imperative, functional, concurrent and logic languages. The inference based approach includes general logical techniques touching upon program verification techniques, but also annotated type and effect systems developed for functional, imperative and concurrent languages; it is this latter and rather recent approach that we now consider.
An Aspect Based Document Representation for Event Clustering : SA-OT accounts for pronoun resolution in child language

We have studied several techniques for creating and comparing content representations of textual documents in the field of event detection. We define a document as a collection of aspects, i.e. disjoint components that reveal (latent) topics and/or extracted information such as named entities. As underlying models we consider the vector space model and probabilistic topic models based on Latent Dirichlet Allocation. We also investigate the value of dependencies between the aspects, which are reflected by importance factors. We apply and evaluate our techniques on event detection in Wikinews, where we cluster news stories that discuss the same event. We found that the split representations yield the best event detection results compared to the ground-truth event clusters. Our methods for aspect detection, for learning the importance factors of the aspects, and for event clustering are completely unsupervised.
The appliaction of recommendation systems

This paper focuses on the application of recommendation systems through the perspective of best matching between users and items. After reviewing the traditional recommendation systems and their application areas, this paper then extends recommendation systems to some other areas which may need recommendation systems to solve some key problems. Not only the application areas are extended, but also we try to sublimate recommendation systems from a simple method to a universal methodology.
Global optimization for estimating a BRDF with multiple specular lobes

This paper presents a global minimization framework for estimating analytical BRDF model parameters using the techniques of convex programming and branch and bound. Traditional local minimization suffers from local minima and requires a large number of initial conditions and supervision for successful results especially when a model is highly complex and nonlinear. We consider the Cook-Torrance model, a parametric model with the Gaussian-like Beckmann distributions for specular reflectances. Instead of optimizing the multiple parameters simultaneously, we search over all possible surface roughness values based on a branch-and-bound algorithm, and reduce the estimation problem to convex minimization with known fixed surface roughness. Our algorithm guarantees globally optimal solutions. Experiments have been carried out for isotropic surfaces to validate the method using the extensive high-precision measurements from the MERL BRDF database.
Portfolio optimization and the random magnet problem

Diversification of an investment into independently fluctuating assets reduces its risk. In reality, movement of assets are are mutually correlated and therefore knowledge of cross--correlations among asset price movements are of great importance. Our results support the possibility that the problem of finding an investment in stocks which exposes invested funds to a minimum level of risk is analogous to the problem of finding the magnetization of a random magnet. The interactions for this ``random magnet problem'' are given by the cross-correlation matrix {\bf \sf C} of stock returns. We find that random matrix theory allows us to make an estimate for {\bf \sf C} which outperforms the standard estimate in terms of constructing an investment which carries a minimum level of risk.
Learning macro-actions genetically from plans

Despite recent progress in planning, many complex domains and even larger problems in simple domains remain hard and challenging. One way to achieve further improvement is to utilise knowledge acquired for the planner from the domain. Macro-actions are a promising means by which to convey such knowledge. A macro-action, or macro in short, is a group of actions selected for application as a single choice. Most existing works on macros utilise knowledge explicitly specific to the planners and the domains. But presumably any particular properties are not likely to be common with different planners or wider range of domains. Therefore, a macro learning system that does not exploit any structural knowledge about planners and domains explicitly is of immense interest. This paper presents an offline system capable of learning macros genetically from plans. Given a planner, a domain, and necessary problems, our system generates macros, lifting from plans of some problems, under guidance from a genetic algorithm. It represents macros like regular actions, evaluates them individually by solving other problems, and suggests the best macro to be added to the domain permanently. Genetic algorithms are automatic learning methods that can learn properties of a system using no explicit knowledge about it. Our system thus does not strive to discover or utilise any structural properties specific to a planner or a domain.
Problem Solving Skills of People Doing Sporty Recreation Activities in Karaman Province.

The aim of the study is to examine the problem solving skills of people who are doing sporty recreation activities in Karaman Province. A total of 143 people participated in this study (51 females and 92 males) Their age mean was 1.2168±0.41350. Problem Solving Inventory, developed by Heppner and Peterson, was used to measure the problem solving skill level of an individual. The Turkish version of the problem Solving Inventory was realized by Şahin et al. For processing data, conventional statistical measures and methods were employed: Analysis of variance (ANOVA) test, tukey test, t-test, mean frequency distribution and standard deviation. SPSS was used for analyzing of data. Results showed that the people who participated in the study had problem solving skill total score of 101.9930 mean. When values which could be taken from the total score of the inventory (32 min - max 192) were considered, it could be said that the teachers had moderate problem-solving skills. Statistically meaningful difference was found for the gender variable in considering and planned approaches; for age variable in avoidant approach; for marital status variable in impetuous and evaluator approached and for place where people live variable in impetuous approach (p<.05). Key words: Problem solving, recreation, sports.
Ergodic capacity based Transmit Antenna Selection for Cognitive Radio network under Nakagami-m fading

In Cognitive radio networks the performance of secondary users depends on the co-channel interference generated by both primary and secondary users. A transmit antenna selection (TAS) technique which increases the capacity of secondary user with less hardware has been dealt in literature for CRN. The subset of antenna was selected with the assumption that the secondary transmitter works under the tight constraints laid by primary receivers. However the aggregate interference at secondary receiver due to multiple secondary transmitters has not been considered in literature while selecting the antenna subset. In this paper, a single TAS technique is proposed based on the ergodic capacity of cognitive radio network under the impact of aggregate interference generated due to multiple secondary interference sources. The interference sources are assumed to be distributed as homogeneous spatial Poisson point process. To estimate the received signal to interference noise ratio, the characterization of aggregate interference is presented. Further the ergodic capacity of the secondary network is derived. The subset of antenna is selected which maximizes the ergodic capacity. The results show that the performance of the secondary improves due to proposed TAS system even operating at very small powers below the interference temperature of primary receiver under the aggregate interference scenario. The analysis is carried out under Nakagami-m fading distribution.
Anterior Cingulate Cortex and Conflict Control

Anterior cingulate cortex is closely associated with performance monitoring, including error detection and conflict resolution. This paper reviewed the ACC activation studies, the theories of ACC involved in conflict control, and the dissociation of ACC in function and anatomy. This helps to understand the role of ACC in cognitive control and attentional modulation.
SP ] 2 N ov 2 01 6 SELF-ADJOINT INDEFINITE LAPLACIANS

Let Ω − and Ω + be two bounded smooth domains in R n , n ≥ 2, separated by a hypersurface Σ. For µ > 0, consider the function h µ = 1 Ω− − µ1 Ω+. We discuss self-adjoint realizations of the operator L µ = −∇ · h µ ∇ in L 2 (Ω − ∪ Ω +) with the Dirichlet condition at the exterior boundary. We show that L µ is always essentially self-adjoint on the natural domain (corresponding to transmission-type boundary conditions at the interface Σ) and study some properties of its unique self-adjoint extension L µ := L µ. If µ = 1, then L µ simply coincides with L µ and has compact resolvent. If n = 2, then L 1 has a non-empty essential spectrum, σ ess (L 1) = {0}. If n ≥ 3, the spectral properties of L 1 depend on the geometry of Σ. In particular, it has compact resolvent if Σ is the union of disjoint strictly convex hypersurfaces, but can have a non-empty essential spectrum if a part of Σ is flat. Our construction features the method of boundary triplets, and the problem is reduced to finding the self-adjoint extensions of a pseudodifferential operator on Σ. We discuss some links between the resulting self-adjoint operator L µ and some effects observed in negative-index materials.
Detection and location of people in video images using adaptive fusion of color and edge information

A new method of finding people in video images is presented. The detection is based on a novel background modeling and subtraction approach which uses both color and edge information. We introduce confidence maps gray-scale images whose intensity is a function of confidence that a pixel has changed - to fuse intermediate results and represent the results of background subtraction. The latter is used to delineate a person's body by guiding contour collection to segment the person from the background. The method is tolerant to scene clutter, slow illumination changes, and camera noise, and runs in near real time on a standard platform.
Reflection and Transmission of Waves at the Interface of Perfect Electromagnetic Conductor (PEMC)

Perfect electromagnetic conductor (PEMC) has been introduced as a generalization of both the perfect electric conductor (PEC) and the perfect magnetic conductor (PMC). In the present paper, the basic problem of reflection and transmission of an obliquely incident plane wave at the interface of a PEMC half space or slab is considered. It is found that the field outside the PEMC medium can be uniquely determined but the interior field requires some assumptions to be unique. In particular, definition of the PEMC-medium condition as a limit of a Tellegen-medium condition and extraction of certain virtual fields (metafields) are shown to make the field inside the PEMC medium unique.
Dynamic virtual arc consistency

Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Constraint Networks) that exploits a simple but powerful connection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is capable of directly solving networks of submodular functions. The algorithm enforcing VAC is an iterative algorithm that solves a sequence of classical Constraint Networks. In this work, we show that Dynamic Arc Consistency algorithms can be suitably injected in the virtual arc consistency iterative algorithm, providing noticeable speedups.
Improving students’ predisposition towards physical education by optimizing their motivational processes in an acrosport unit

Grounded in self-determination theory and achievement goal theory, this quasi-experimental study evaluated the effectiveness of a teaching intervention programme to improve predisposition towards physical education based on developing a task-oriented motivational climate and supporting basic psychological needs. The final sample consisted of 35 secondary education students, aged 15–17 (M age = 15.35, SD = 0.49), divided into two groups: control (n = 15) and experimental (n = 20). The intervention programme was applied in the experimental group to 12 acrosport unit lessons based on motivational strategies by means of TARGET areas (i.e. Task, authority, recognition, grouping, evaluation and time). Firstly, the experimental group obtained significantly higher values in perceived support of the basic psychological needs and in the perceived task-oriented motivational climate in the acrosport unit. Secondly, this intervention was effective in generating a significant increase in predisposition towards physical education in the experimental group. Noteworthy is the need to generate interventions in different content areas that may improve students’ predisposition towards physical education, which could contribute to them adopting a more active lifestyle.
A LDP Fast Protection Switching Scheme for Concurrent Multiple Failures in MPLS Network

In this paper, we provide a non route-calculating MPLS LDP fast protection switching scheme called LDPNRC-FPS scheme which is efficient in transient multi-failures in MPLS networks. This scheme makes full use of various working modes and configurable loop detection of LDP protocol. When network failures happen, the scheme need not to compute routing again. The scheme uses Path Vector TLV and Hop Count TLV in LDP mapping message to avoid loop intransient multi-failure scenario. Furthermore, OAM mechanism has been introduced into LDP NRC-FPS scheme for accelerating fault recovery process. Compared with traditional fast rerouting strategies in IP and MPLS layer, it reduces the failure recovery time of rerouting and has the advantage of more efficient network resource utilization. Performance analysis shows that LDP NRC-FPS scheme outperforms than traditional IP fast reroute scheme and MPLS protection switching scheme at loop ratio , path unreachable ratio and control message overhead aspects.
Clinical guidelines as decision support for referrals from primary care

This work describes the use of clinical guidelines in public health care for decision support in a primary care record system. The clinical guidelines were used for decision support in primary care in order to improve the quality of electronic referrals to a hospital. Guidelines were developed by the specialists at the hospital, but the design and the development of the system was done in collaboration with general practitioners working in primary care. This paper sums up the findings from a study six months after the introduction of the decision support system, and is based on interviews with users in primary care. The work processes differed between the practices; General practitioners who wrote the referrals after the patient had left the office did not find the system as useful as the ones who wrote them when the patient was present. The general practitioners were reluctant to use guidelines that resulted in an additional workload in terms of providing the hospital with more information than before, but found the system useful as a support for assuring that they made the right clinical decisions. The guidelines were also seen as useful as a support for refusing to refer the patient to specialized care.