Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailGoal-Directed Decision Procedures for Input/Output Logics
Steen, Alexander UL

in Marra, Alessandra; Liu, Fenrong; Portner, Paul (Eds.) et al Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/2021 (in press)

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been ... [more ▼]

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed. [less ▲]

Detailed reference viewed: 51 (2 UL)
Full Text
Peer Reviewed
See detailModulation of startle and heart rate responses by fear of physical activity in patients with heart failure and in healthy adults
Hoffmann, Jeremia Mark; Finke, Johannes B.; Schächinger, Hartmut et al

in Physiology and Behavior (in press)

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological ... [more ▼]

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological indicators of FoPA by assessing startle modulation and heart rate responses after affective priming with lexical stimuli of positive, neutral, and negative valence, as well as words related to physical activity as potentially phobic cues. After screening for FoPA in patients with heart failure and healthy adults, twenty participants each were assigned to one of three subsamples: a healthy control group and two cardiac patient groups scoring either low or high on FoPA. The high-FoPA group showed more pronounced startle potentiation and heart rate acceleration (i.e., mobilization of defensive behavior) in the phobic prime condition compared to controls. Differences in FoPA accounted for 30% of the startle potentiation by phobic priming, whereas general anxiety, depression, and disease severity were no significant predictors in patients with heart failure. These findings suggest that heart failure-associated FoPA elicits avoidance behavior at a largely automatic level, and might thereby contribute to low adherence to exercise regimen. Thus, FoPA should be addressed in the design of psychological interventions for cardiac patients to foster physical activity. [less ▲]

Detailed reference viewed: 70 (0 UL)
Peer Reviewed
See detailEngagement féministe en sons et en images dans l’œuvre cinématographique d’Assia Djebar
Barthelmebs-Raguin, Hélène UL

in Guaaybess, Tourya; Di Cesare, Nurit; Levy, Jessica (Eds.) et al Femmes engagées au cœur de l’action. Mise en récit(s), mise en image(s) (in press)

Detailed reference viewed: 14 (1 UL)
Full Text
Peer Reviewed
See detailRisk disclosure and firm operational efficiency
Derouiche, Imen UL; Manita, riadh; Muessig, Anke UL

in Annals of Operations Research (in press)

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period ... [more ▼]

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period 2007–2015. In a first step, we use a data envelopment analysis output-oriented variable returns to scale model to determine firm operational efficiency scores based on one output (i.e., sales revenue) and three inputs (i.e., net property, plant, and equipment; cost of goods sold; and selling, general, and administrative costs). These scores are used in a second step to estimate the effect of risk disclosure on operational efficiency after controlling for a set of other factors. The empirical results show a statistically significant positive relation between risk disclosure and operational efficiency, suggesting that firms tend to be relatively more efficient when they disclose more about their risk exposure. Overall, we provide evidence that firms with greater risk disclosure are seen by stakeholders as more credible and trustworthy, leading them to conduct better transactions and, consequently, to improve their operational efficiency. This result is consistent with the notion that stakeholders perceive transparent firms positively, particularly those revealing bad news. [less ▲]

Detailed reference viewed: 46 (5 UL)
Full Text
Peer Reviewed
See detailAutomated Fault Tolerance Augmentation in Model-Driven Engineering for CPS
Hu, Tingting UL; Cibrario Bertolotti, Ivan; Navet, Nicolas UL et al

in Computer Standards & Interfaces (in press)

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised ... [more ▼]

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non- functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. [less ▲]

Detailed reference viewed: 60 (9 UL)
Full Text
Peer Reviewed
See detailNon-localised contact between beams with circular and elliptical cross-sections
Magliulo, Marco UL; Lengiewicz, Jakub UL; Zilian, Andreas UL et al

in Computational Mechanics (in press)

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections ... [more ▼]

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections. The technique consists of parametrizing the surfaces of the two beams in contact, fixing a point on the centroid line of one of the beams and searching for a constrained minimum distance between the surfaces (two variants are investigated). The resulting unilateral (frictionless) contact condition is then enforced with the Penalty method, which introduces compliance to the, otherwise rigid, beams' cross-sections. Two contact integration schemes are considered: the conventional slave-master approach (which is biased as the contact virtual work is only integrated over the slave surface) and the so-called two-half-pass approach (which is unbiased as the contact virtual work is integrated over the two contacting surfaces). Details of the finite element formulation which is suitably implemented using Automatic Di fferentiation techniques are presented. A set of numerical experiments shows the overall performance of the framework and allows a quantitative comparison of the investigated variants. [less ▲]

Detailed reference viewed: 87 (35 UL)
Full Text
Peer Reviewed
See detailBuilding FinTech Ecosystems: Regulatory Sandboxes, Innovation Hubs and Beyond
Buckley, Ross; Arner, Douglas; Veidt, Robin UL et al

in Washington University Journal of Law and Policy (in press), 61

Around the world, regulators and policymakers are working to support the development of financial technology (FinTech) ecosystems. As one example, over 50 jurisdictions have now established or announced ... [more ▼]

Around the world, regulators and policymakers are working to support the development of financial technology (FinTech) ecosystems. As one example, over 50 jurisdictions have now established or announced “financial regulatory sandboxes”. Others have announced or established “innovation hubs”, sometimes incorporating a regulatory sandbox as one element. This article argues that innovation hubs provide all the benefits that the policy discussion associates with regulatory sandboxes, while avoiding most downsides of regulatory sandboxes, and that many benefits typically attributed to sandboxes are the result of inconsistent terminology, and actually accrue from the work of innovation hubs. The paper presents, as the first contribution of its kind, data on regulatory sandboxes and innovation hubs and argues that the data so far available on sandboxes does not justify the statement that regulatory sandboxes are the most effective approach to building FinTech ecosystems. Given that regulatory sandboxes require significant financial contributions, sometimes new legislation, and intense regulatory risk management, and that sandboxes do not work as well on a stand-alone basis (i.e. without an innovation hub), while innovation hubs alone can provide more significant benefits in supporting the development of a FinTech ecosystem, regulators should focus their resources on developing effective innovation hubs, including in appropriate cases a sandbox as one possible element. [less ▲]

Detailed reference viewed: 106 (5 UL)
Full Text
Peer Reviewed
See detailImmersive Telepresence Framework for Remote Educational Scenarios
Botev, Jean UL; Rodríguez Lera, Francisco J.

in Proceedings of the 22nd International Conference on Human-Computer Interaction (HCI International) (in press)

Detailed reference viewed: 17 (3 UL)
Full Text
Peer Reviewed
See detailGaussian Random Measures Generated by Berry's Nodal Sets
Peccati, Giovanni UL; Vidotto, Anna

in Journal of Statistical Physics (in press)

Detailed reference viewed: 20 (3 UL)
Full Text
Peer Reviewed
See detailSelecting Fault Revealing Mutants
Titcheu Chekam, Thierry UL; Papadakis, Mike UL; Bissyande, Tegawendé François D Assise UL et al

in Empirical Software Engineering (in press)

Detailed reference viewed: 51 (5 UL)
Full Text
Peer Reviewed
See detailWhich Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography
Rossi, Arianna UL; Lenzini, Gabriele UL

in Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST) (in press)

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this ... [more ▼]

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this paper, we firstly critically review some of those proposals. We then examine the properties that icons and icon sets should arguably fulfill according to Art.12's transparency provisions. Lastly, we discuss metrics and evaluation procedures to measure compliance with the Article. [less ▲]

Detailed reference viewed: 87 (9 UL)
Peer Reviewed
See detailCognitive processes underlying impaired decision-making in gambling disorder.
Brevers, Damien UL; Vögele, Claus UL; Billieux, Joël

in Zaleskiewicz, Thomas (Ed.) Psychological Perspectives on Financial Decision Making. (in press)

Detailed reference viewed: 19 (1 UL)
Full Text
Peer Reviewed
See detailTransparency by Design in Data-Informed Research: a Collection of Information Design Patterns
Rossi, Arianna UL; Lenzini, Gabriele UL

in Computer Law and Security Report (in press)

Oftentimes information disclosures describing personal data-gathering research activities are so poorly designed that participants fail to be informed and blindly agree to the terms, without grasping the ... [more ▼]

Oftentimes information disclosures describing personal data-gathering research activities are so poorly designed that participants fail to be informed and blindly agree to the terms, without grasping the rights they can exercise and the risks derived from their cooperation. To respond to the challenge, this article presents a series of operational strategies for transparent communication in line with legal-ethical requirements. These "transparency-enhancing design patterns" can be implemented by data controllers/researchers to maximize the clarity, navigability, and noticeability of the information provided and ultimately empower data subjects/research subjects to appreciate and determine the permissible use of their data. [less ▲]

Detailed reference viewed: 84 (4 UL)
Full Text
Peer Reviewed
See detailEthnography: A Much-Advocated but Under-Used Qualitative Methodology in Published Accounts of Family Business Research
Fletcher, Denise Elaine UL; Adiguna, Rocky UL

in de Massis, Alfredo; kammerlander, Nadine (Eds.) Handbook of Qualitative Research Methods for Family Business (in press)

In parallel with the growing interest in qualitative research methods in family business, many family business scholars advocate greater use of ethnographic methods to advance the field further. This ... [more ▼]

In parallel with the growing interest in qualitative research methods in family business, many family business scholars advocate greater use of ethnographic methods to advance the field further. This endorsement rests at least on two arguments. On the one hand, there is a need to widen, extend, or deepen our perspectives to better understand the ‘boundary crossing’ nature of families in business. On the other hand, the majority of the proposals to extend ethnographic research aim to tap into important but still under-explored complex tacit processes of family firms. However, we found that ethnographic research in family business settings remain scarcely published. This chapter reviews a set of family business studies that have used ethnographic methods, and which have been published in business and management journals in order to examine their orientations, main findings, techniques adopted, and epistemological/ontological stances. Looking forward, we end this chapter with a brief discussion on how the practice of ethnography is changing with reference to visual and virtual applications of ethnographic principles. [less ▲]

Detailed reference viewed: 40 (0 UL)
Full Text
Peer Reviewed
See detailMM-Based Solution for Partially Connected Hybrid Transceivers with Large Scale Antenna Arrays
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 2019 IEEE Global Communications Conference (GLOBECOM) (in press)

In a mmWave multiple-input multiple-output (MIMO) communication system employing a large-scale antenna array (LSAA), the hybrid transceivers are used to reduce the power consumption and the hardware cost ... [more ▼]

In a mmWave multiple-input multiple-output (MIMO) communication system employing a large-scale antenna array (LSAA), the hybrid transceivers are used to reduce the power consumption and the hardware cost. In a hybrid analog-digital (A/D) transceiver, the pre/post-processing operation splits into a lower-dimensional baseband (BB) pre/postcoder, followed by a network of analog phase shifters. Primarily two kinds of hybrid architectures are proposed in the literature to implement hybrid transceivers namely, the fully-connected and the partially-connected. Implementation of fully-connected architecture has higher hardware complexity, cost and power consumption in comparison with partially-connected. In this paper, we focus on partially-connected hybrid architecture and develop a low-complexity algorithm for transceiver design for a single user point-to-point mmWave MIMO system. The proposed algorithm utilizes the variable elimination (projection) and the minorization-maximization (MM) frameworks and has convergence guarantees to a stationary point. Simulation results demonstrate that the proposed algorithm is easily scalable for LSAA systems and achieves significantly improved performance in terms of the spectral efficiency (SE) of the system compared to the state-of-the-art solution. [less ▲]

Detailed reference viewed: 62 (15 UL)
Full Text
Peer Reviewed
See detailHybrid Transceivers Design for Large-Scale Antenna Arrays Using Majorization-Minimization Algorithms
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in IEEE Transactions on Signal Processing (in press)

Detailed reference viewed: 194 (61 UL)
Full Text
Peer Reviewed
See detailHybrid Analog-Digital Precoding Design for Satellite Systems
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 37th International Communications Satellite Systems Conference (ICSSC'19) (in press)

The work investigates the feasibility of massive MIMO in SatCom. Towards this, the necessary channel models, system parameters and scenarios are identified and a basic simulator developed. The work then ... [more ▼]

The work investigates the feasibility of massive MIMO in SatCom. Towards this, the necessary channel models, system parameters and scenarios are identified and a basic simulator developed. The work then considers an efficient implementation of the massive MIMO transmission through the use of hybrid analog/digital precoder. Efficient algorithmic solutions are proposed for the partially connected precoder architecture which enables efficiency in power/ hardware complexity and its performance evaluated. [less ▲]

Detailed reference viewed: 65 (17 UL)
Full Text
Peer Reviewed
See detailMajorization-Minimization Algorithms for Analog Beamforming with Large-Scale Antenna Arrays
Arora, Aakash UL; Tsinos, Christos UL; Shankar, Bhavani UL et al

in Proc. 7th IEEE Global Conference on Signal and Information Processing (GlobalSIP) 2019 (in press)

Beamforming with large-scale antenna arrays (LSAA) is one of the predominant operations in designing wireless communication systems. However, the implementation of a fully digital system significantly ... [more ▼]

Beamforming with large-scale antenna arrays (LSAA) is one of the predominant operations in designing wireless communication systems. However, the implementation of a fully digital system significantly increases the number of required radio-frequency (RF) chains, which may be prohibitive. Thus, analog beamforming based on a phase-shifting network driven by a variable gain amplifier (VGA) is a potential alternative technology. In this paper, we cast the beamforming vector design problem as a beampattern matching problem, with an unknown power gain. This is formulated as a unit-modulus least-squares (ULS) problem where the optimal gain of the VGA is also designed in addition to the beamforming vector. We also consider a scenario where the receivers have the additional processing capability to adjust the phases of the incoming signals to mitigate specular multipath components. We propose efficient majorization-minimization (MM) based algorithms with convergence guarantees to a stationary point for solving both variants of the proposed ULS problem. Numerical results verify the effectiveness of the proposed solution in comparison with the existing state-of-the-art techniques. [less ▲]

Detailed reference viewed: 122 (25 UL)
Full Text
Peer Reviewed
See detailSpecification Patterns for Robotic Missions
Menghi, Claudio UL; Tsigkanos, Christos; Pelliccione, Pelliccione et al

in IEEE Transactions on Software Engineering (in press)

Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors ... [more ▼]

Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing this need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation or guiding implementation. For instance, the logical language LTL is commonly used by experts to specify missions as an input for planners, which synthesize the behavior a robot should have. Unfortunately, domain-specific languages are usually tied to specific robot models, while logical languages such as LTL are difficult to use by non-experts. We present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications. The patterns provide solutions for recurrent specification problems, each of which detailing the usage intent, known uses, relationships to other patterns, and-most importantly-a template mission specification in temporal logic. Our tooling produces specifications expressed in the temporal logics LTL and CTL to be used by planners, simulators or model checkers. The patterns originate from 245 realistic textual mission requirements extracted from the robotics literature, and they are evaluated upon a total of 441 real-world mission requirements and 1251 mission specifications. Five of these reflect scenarios we defined with two well-known industrial partners developing human-size robots. We validated our patterns' correctness with simulators and two different types of real robots. [less ▲]

Detailed reference viewed: 38 (10 UL)