Measurement and function of the control dimension in parenting styles: a systematic review

Recent studies have shown different results in identifying which parenting style is the most beneficial for children, which has encouraged certain authors to wonder whether parental control is still needed for optimal parenting. As such investigations have been conducted with different measuring instruments, it is necessary to check whether the use of different instruments leads to different results. In order to figure this out, a systematic review of the recent literature (Web of Science and Scopus, 2000–2017) was carried out. This review found that, using certain instruments, parental control is associated with better outcomes in children, while using certain others, control is associated with worse outcomes. The difference seems to be in the way of measuring parental control

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Yukawa hierarchies at the point of E8E_8 in F-theory

We analyse the structure of Yukawa couplings in local SU(5) F-theory models with $E_8$ enhancement. In this setting the $E_8$ symmetry is broken down to SU(5) by a 7-brane configuration described by T-branes, all the Yukawa couplings are generated in the vicinity of a point and only one family of quarks and leptons is massive at tree-level. The other two families obtain their masses when non-perturbative effects are taken into account, being hierarchically lighter than the third family. However, and contrary to previous results, we find that this hierarchy of fermion masses is not always appropriate to reproduce measured data. We find instead that different T-brane configurations breaking $E_8$ to SU(5) give rise to distinct hierarchical patterns for the holomorphic Yukawa couplings. Only some of these patterns allow to fit the observed fermion masses with reasonable local model parameter values, adding further constraints to the construction of F-theory GUTs. We consider an $E_8$ model where such appropriate hierarchy is realised and compute its physical Yukawas, showing that realistic charged fermions masses can indeed be obtained in this case.Comment: 46 pages + appendices, 5 figures. v2, added references and typos corrected, version accepted on JHEP. v3, typos correcte

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Testing the robustness of controllers for self-adaptive systems

Self-Adaptive systems are software-intensive systems endowed with the ability to respond to a variety of changes that may occur in their environment, goals, or the system itself, by adapting their structure and behavior at run-time in an autonomous way. Controllers are complex components incorporated in self-adaptive systems, which are crucial to their function since they are in charge of adapting the target system by executing actions through effectors, based on information monitored by probes. However, although controllers are becoming critical in many application domains, so far very little has been done to assess their robustness. In this paper, we propose an approach for evaluating the robustness of controllers for self-adaptive software systems, aiming to identify faults in their design. Our proposal considers the stateful nature of the controller, and identifies a set of robustness tests, which includes the provision of mutated inputs to the interfaces between the controller and the target system (i.e., probes). The feasibility of the approach is evaluated on Rainbow, a framework for architecture-based self-adaptation, and in the context of the Znn.com case study

Open string wavefunctions in flux compactifications

We consider compactifications of type I supergravity on manifolds with SU(3) structure, in the presence of RR fluxes and magnetized D9-branes, and analyze the generalized Dirac and Laplace-Beltrami operators associated to the D9-brane worldvolume fields. These compactifications are T-dual to standard type IIB toroidal orientifolds with NSNS and RR 3-form fluxes and D3/D7 branes. By using techniques of representation theory and harmonic analysis, the spectrum of open string wavefunctions can be computed for Lie groups and their quotients, as we illustrate with explicit twisted tori examples. We find a correspondence between irreducible unitary representations of the Kaloper-Myers algebra and families of Kaluza-Klein excitations. We perform the computation of 2- and 3-point couplings for matter fields in the above flux compactifications, and compare our results with those of 4d effective supergravity.Comment: 89 pages, 4 figures. v3: more typos corrected, version published in JHE

Non-perturbative Vacuum Destabilization and D-brane Dynamics

We analyze the process of string vacuum destabilization due to instanton induced superpotential couplings which depend linearly on charged fields. These non-perturbative instabilities result in potentials for the D-brane moduli and lead to processes of D-brane recombination, motion and partial moduli stabilization at the non-perturbative vacuum. By using techniques of D-brane instanton calculus, we explicitly compute this scalar potential in toroidal orbifold compactifications with magnetized D-branes by summing over the possible discrete instanton configurations. We illustrate explicitly the resulting dynamics in globally consistent models. These instabilities can have phenomenological applications to breaking hidden sector gauge groups, open string moduli stabilization and supersymmetry breaking. Our results suggest that breaking supersymmetry by Polonyi-like models in string theory is more difficult than expected.Comment: 61 pages, 6 figures, 5 tables; Minor corrections, version published in JHE

Holomorphic variables in magnetized brane models with continuous Wilson lines

We analyze the action of the target-space modular group in toroidal type IIB orientifold compactifications with magnetized D-branes and continuous Wilson lines. The transformation of matter fields agree with that of twisted fields in heterotic compactifications, constituting a check of type I/heterotic duality. We identify the holomorphic N = 1 variables for these compactifications. Matter fields and closed string moduli are both redefined by open string moduli. The redefinition of matter fields can be read directly from the perturbative Yukawa couplings, whereas closed string moduli redefinitions are obtained from D-brane instanton superpotential couplings. The resulting expressions reproduce and generalize, in the presence of internal magnetic fields, previous results in the literature.Comment: 9 pages, no figures; v2: conventions for Wilson lines changed, major simplifications in expressions, discussions extended, typos corrected, some references adde

Size of the fracture process zone in high-strength concrete at a wide range of loading rates

Abstract. Compared with the extensive research on properties of the fracture process zone (FPZ) under quasi-static loading conditions, much less information is available on its dynamic characterization, especially for high-strength concrete (HSC). This paper presents the very recent results of an experimental program aimed at disclosing the loading rate effect on the size and velocity of the (FPZ) in HSC. Eighteen three-point bending specimens were conducted under a wide range of loading rates from from 10 -4 mm/s to 10 3 mm/s using either a servo-hydraulic machine or a self-designed drop-weight impact device. Four strain gauges mounted along the ligament of the specimen were used to measure the FPZ size. Surprisingly, the FPZ size remains almost constant (around 20 mm) when the loading rate varies seven orders of magnitude