The Effect of Mood on Task Completion Time

Studies on mood and task completion tend to focus on task outcomes and task performance. It is typically found that positive mood states result in better test scores and better task outcomes (Martinez & Bartosek, 2015). This study examines the effect mood states have on task completion time through an anonymous online survey involving a mood manipulation and a timed visual search task. I hypothesized that that participants who were exposed to a positive stimulus will complete a visual search task quicker on average than participants who were exposed to a neutral stimulus. A total of 34 participants completed the survey. Participants were randomly assigned to either a positive stimulus group or a neutral stimulus group where they were asked to view a short video of either positive content (Boscoandhisbigstick, 2020) or neutral content (Weratedogs 2022). A manipulation check was provided to determine if the mood manipulation was effective. Participants then completed a timed visual search activity. An independent samples t-test was calculated to compare the mean task completion time between the positive video group and the neutral video group and found there was no significant difference between the groups. In addition, it was found that the mood manipulation had little effect on participants’ overall mood states

A brief tour of formally secure compilation

Modern programming languages provide helpful high-level abstractions and mechanisms (e.g. types, module, automatic memory management) that enforce good programming practices and are crucial when writing correct and secure code. However, the security guarantees provided by such abstractions are not preserved when a compiler translates a source program into object code. Formally secure compilation is an emerging research field concerned with the design and the implementation of compilers that preserve source-level security properties at the object level. This paper presents a short guided tour of the relevant literature on secure compilation. Our goal is to help newcomers to grasp the basic concepts of this field and, for this reason, we rephrase and present the most relevant results in the literature in a common setting

Control-flow flattening preserves the constant-time policy

Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is their robustness against reverse engineering and the performance of the produced code. Little work has been done in studying whether the security properties of a program are preserved under obfuscation. In this paper we start addressing this problem: we consider control-flow flattening, a popular obfuscation technique used in industrial compilers, and a specific security policy, namely constant-time. We prove that this obfuscation preserves the policy, i.e., that every program satisfying the policy still does after the transformation

Cochlear Implant Outcomes and Genetic Mutations in Children with Ear and Brain Anomalies

Background. Specific clinical conditions could compromise cochlear implantation outcomes and drastically reduce the chance of an acceptable development of perceptual and linguistic capabilities. These conditions should certainly include the presence of inner ear malformations or brain abnormalities. The aims of this work were to study the diagnostic value of high resolution computed tomography (HRCT) and magnetic resonance imaging (MRI) in children with sensorineural hearing loss who were candidates for cochlear implants and to analyse the anatomic abnormalities of the ear and brain in patients who underwent cochlear implantation. We also analysed the effects of ear malformations and brain anomalies on the CI outcomes, speculating on their potential role in the management of language developmental disorders. Methods. The present study is a retrospective observational review of cochlear implant outcomes among hearing-impaired children who presented ear and/or brain anomalies at neuroimaging investigations with MRI and HRCT. Furthermore, genetic results from molecular genetic investigations (GJB2/GJB6 and, additionally, in selected cases, SLC26A4 or mitochondrial-DNA mutations) on this study group were herein described. Longitudinal and cross-sectional analysis was conducted using statistical tests. Results. Between January 1, 1996 and April 1, 2012, at the ENT-Audiology Department of the University Hospital of Ferrara, 620 cochlear implantations were performed. There were 426 implanted children at the time of the present study (who were <18 years). Among these, 143 patients (64 females and 79 males) presented ear and/or brain anomalies/lesions/malformations at neuroimaging investigations with MRI and HRCT. The age of the main study group (143 implanted children) ranged from 9 months and 16 years (average = 4.4; median = 3.0). Conclusions. Good outcomes with cochlear implants are possible in patients who present with inner ear or brain abnormalities, even if central nervous system anomalies represent a negative prognostic factor that is made worse by the concomitant presence of cochlear malformations. Common cavity and stenosis of the internal auditory canal (less than 2 mm) are negative prognostic factors even if brain lesions are absent

Nanomaterials as Novel Cardiovascular Theranostics

Cardiovascular diseases (CVDs) are a group of conditions associated with heart and blood vessels and are considered the leading cause of death globally. Coronary heart disease, atherosclerosis, myocardial infarction represents the CVDs. Since CVDs are associated with a series of pathophysiological conditions with an alarming mortality and morbidity rate, early diagnosis and appropriate therapeutic approaches are critical for saving patients’ lives. Conventionally, diagnostic tools are employed to detect disease conditions, whereas therapeutic drug candidates are administered to mitigate diseases. However, the advent of nanotechnological platforms has revolutionized the current understanding of pathophysiology and therapeutic measures. The concept of combinatorial therapy using both diagnosis and therapeutics through a single platform is known as theranostics. Nano-based theranostics are widely used in cancer detection and treatment, as evident from pre-clinical and clinical studies. Nanotheranostics have gained considerable attention for the efficient management of CVDs. The differential physicochemical properties of engineered nanoparticles have been exploited for early diagnosis and therapy of atherosclerosis, myocardial infarction and aneurysms. Herein, we provided the information on the evolution of nano-based theranostics to detect and treat CVDs such as atherosclerosis, myocardial infarction, and angiogenesis. The review also aims to provide novel avenues on how nanotherapeutics’ trending concept could transform our conventional diagnostic and therapeutic tools in the near future

A Calculus for Orchestration of Web Services

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages

Dependencies and Simultaneity in Membrane Systems

Membrane system computations proceed in a synchronous fashion: at each step all the applicable rules are actually applied. Hence each step depends on the previous one. This coarse view can be refined by looking at the dependencies among rule occurrences, by recording, for an object, which was the a rule that produced it and subsequently (in a later step), which was the a rule that consumed it. In this paper we propose a way to look also at the other main ingredient in membrane system computations, namely the simultaneity in the rule applications. This is achieved using zero-safe nets that allows to synchronize transitions, i.e., rule occurrences. Zero-safe nets can be unfolded into occurrence nets in a classical way, and to this unfolding an event structure can be associated. The capability of capturing simultaneity of zero-safe nets is transferred on the level of event structure by adding a way to express which events occur simultaneously

Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Nanoparticle-Mediated Drug Delivery for the Treatment of Cardiovascular Diseases

Cardiovascular diseases (CVDs) are one of the foremost causes of high morbidity and mortality globally. Preventive, diagnostic, and treatment measures available for CVDs are not very useful, which demands promising alternative methods. Nanoscience and nanotechnology open a new window in the area of CVDs with an opportunity to achieve effective treatment, better prognosis, and less adverse effects on non-target tissues. The application of nanoparticles and nanocarriers in the area of cardiology has gathered much attention due to the properties such as passive and active targeting to the cardiac tissues, improved target specificity, and sensitivity. It has reported that more than 50% of CVDs can be treated effectively through the use of nanotechnology. The main goal of this review is to explore the recent advancements in nanoparticle-based cardiovascular drug carriers. This review also summarizes the difficulties associated with the conventional treatment modalities in comparison to the nanomedicine for CVDs