Miracle-dz/UniFAR-FTUs huggingface dataset:
Aalborg Universitet Are traditional food service organisations ready for organisational change ? – a case study of implementation of environmental management in a work place canteen facility

Eating at work will increase in importance for companies of the future. This is attributed to canteens’ role in the image that companies project, in the companies’ tremendous responsibility for the health of staff and as an employee incentive. Because of social changes, canteen will be able to gain a new role as competitor to the traditional retailer by organizing the purchase of groceries via the workplace and by supplying ready-made meals to take home. Alongside these developmental tendencies, demands are being made to acquire the ability to pick up on impulses, analyze them and through involving staff convert them into organizational initiatives within the organization and finally, to have them converted into specifically permanent initiatives for the organization. When it comes to outsourced foodservice, this task is manifestly a management affair. When it comes to traditional in-house organized workplace, canteen things are different. In these cases, the foodservice organization is bound by their peripheral status at the edge of the company landscape, and their opportunity to adapt to demands of the future is different from when it comes to the specialized foodservice operator. Here learning is a watchword and in order to investigate this claim, a case study was carried out of a development process in a traditionally organized in-house foodservice organization. The development process was related to implementation of environmental management in the organization. This present case shows that the ability to learn is an important feature for an organization that is going to be capable of reacting to challenges from the outside world in an efficient manner. By efficiently backing up the learning processes that come with the process Blackwell Science, LtdOxford, UKFRIFoodservice Research International1524-8275Copyright 2004 by Food & Nutrition Press, Inc., Trumbull, Connecticut.15289106Original Article ARE TRADITIONAL FOODSERVICE ORGANIZATIONS READY FOR CHANGE? B.E. MIKKELSEN 1 Corresponding author. TEL: + 45 7234 7424; FAX: + 45 72 34 7119; EMAIL: bem@dfvf.dk
CPSC 490 : Project Proposal

In certain environments, the interests of an individual agent conflict with the collective interest. This is known as a social dilemma. Leibo et al. outline three canonical two player social dilemmas in matrix form: Chicken, Stag Hunt, and Prisoner’s Dilemma. [2] In each game agents make simultaneous decisions and then rewards are distributed. Figure 1 shows the payoff matrix for each variation. Observe that mutual cooperation maximizes collective reward. However, agents also have a rational motivation to defect. In Chicken, for instance, agents can increase their reward by defecting.
Energetics in heart disease

Even subtle variations in the efficiency of energy generation or utilization may have a profound impact on cellular energy levels. Different cardiac pathologies can alter cardiac efficiency, both as a result of a decrease efficiency of producing ATP or alterations in the efficiency of using ATP to produce contractile work. Given that the requirement for ATP for all metabolic processes and for cell viability is absolute, a renewed interest in metabolism has led to identification of the molecular links between physiological and metabolic stimuli and the regulation of gene expression in the heart. Metabolism remodels in the failing heart leading to the inability to increase ATP supply. Ultimately, this may lead to a fall in ATP. The likely time line is decreased energy production via the phosphotransferase reactions (creatine kinase and adenylate kinase) leading to increases in ADP and AMP. As heart failure evolves, ATP synthesis from oxidation of metabolic substrates by mitochondria, the major source of ATP in the heart, falls. Remodeling of the failing myocardium is controlled by energy sensors, such as AMP-activated protein kinase (AMPK) that regulates energy substrate metabolism and regulates transcription of metabolic genes. This issue of Heart and Metabolism addresses the important topic of energetics in heart disease. In the Basic Article, Dr. Aasum offers a concise review of myocardial energetic mechanisms, focusing on alterations in processes related to energy production and energy utilization in the failing heart. The Main Clinical Article by Dr. Ashrafian gives a clear and elegant overview of successful metabolic therapies presently available, especially for chronic ischemic heart disease. While considering the likely future directions for metabolic therapy, Dr. Ashrafian also points out the need for greater experience with the existing metabolic therapies, which could benefit most to those patients with concomitant metabolic disease, such as metabolic syndrome or diabetes mellitus. In this context the Refresher Corner article by Drs. Fillmore and Lopaschuk provides a didactic summary of the state of the art, showing notably how metabolic substrates compete at myocardial cell level for energy production and how they may affect cardiac efficiency. Alterations in the balance between fatty acid and glucose use are known to occur in certain heart pathologies such as during ischemia and in the failing heart. This leads to decreased cardiac efficiency through a number of mechanisms that are reviewed and discussed herein, among which are intracellular ionic (H, Na, Ca) disturbances and their deleterious consequences. Measuring metabolic substrate utilization in humans has been difficult. The Metabolic Imaging article by Dr. Camici underlines that although the quantification of glucose utilization rates in patients encounters many difficulties, positron emission tomography with the glucose Ed ito ria l EDITORIAL DANIELLE FEUVRAY
IDENTIFICATION AND LOCATION OF HOT SPOTS IN PROTEINS USING THE SHORT-TIME FOURIER TRANSFORM

A new approach for the identification and location of hot spots in proteins based on the short-time Fourier transform is proposed. In the new approach the short-time Fourier transform of the protein numerical sequence is first computed and its columns are then multiplied by the discrete Fourier transform coefficients. By performing this step, the hot spot locations can be clearly identified as distinct peaks, thus overcoming the ambiguities involved in the conventional Fourier transform approach.
POLARIZATION APERTURE SYNTHESIS MICROWAVE RADIOMETER

L\X-band Full Polarization Aperture Synthesis Microwave Radiometer (FPASMR) is a 2-D aperture synthesis radiometer working at L and X-band with full polarization measurement for obtaining high precise measurement of sea salinity and soil moisture. FPASMR consists of dual Yshaped arrays containing 23 L-band antennas per arm plus one in the center in L-band array and the same numbers of X-band antennas in X-band array. Some early demonstration results of antenna, optical module and calibration are also present.
Title Pacific Influences on Tropical Atlantic Teleconnections to the Southern Hemisphere High Latitudes Permalink

Several recent studies have connected Antarctic climate variability to tropical Atlantic sea surface temperatures (SST), proposing a Rossby wave response from the Atlantic as the primary dynamical mechanism. In this investigation, reanalysis data and atmospheric general circulation model experiments are used to further diagnose these dynamical links. Focus is placed on the possible mediating role of Pacific processes, motivated by the similar spatial characteristics of SouthernHemisphere (SH) teleconnections associated with tropical Atlantic and Pacific SST variability. During austral winter (JJA), both reanalyses and model simulations reveal that Atlantic teleconnections represent a two-mechanism process, whereby increased tropical Atlantic SST promotes two conditions: 1) an intensification of the local Atlantic Hadley circulation (HC), driven by enhanced interaction between SST anomalies and the ITCZ, that increases convergence at the descending branch, establishing anomalous vorticity forcing from which a Rossby wave emanates, expressed as a pattern of alternating positive and negative geopotential height anomalies across the SH extratropics (the so-called HC-driven components); and 2) perturbations to the zonal Walker circulation (WC), driven primarily by an SST-induced amplification, that creates a pattern of anomalous upper-level convergence across the central/western Pacific, from which an ENSO-like Rossby wave train can be triggered (the so-calledWCdriven components). While the former are found to dominate, the WC-driven components play a subsidiary yet important role. Indeed, it is the superposition of these two separate but interrelatedmechanisms that gives the overall observed response. By demonstrating an additional Pacific-related component to Atlantic teleconnections, this study highlights the need to consider Atlantic–Pacific interactions when diagnosing tropicalrelated climate variability in the SH extratropics.
Proposal Title : “ Cognitive Developmental Robotics : An Intrinsec Motivation System to Support Social Interactions ”

Creating robots showing human-like intelligence is still a very big challenge for the scientific community. Despite of the efforts devoted in the past decades, only partial, limited success has been achieved. The question that arises naturally at this point is: what did we miss in our strategy that prevented us in reaching the desired goal? The traditional paradigm in robotics (which can be found on a large scale nowadays) is represented by manual development. Within this framework, the human designer is the one in charge to specify the task that must be performed by the robot, how it must be performed, its corresponding internal representation and the data structures associated to it. Being restricted from the very beginning by its creator, lacking the ability to ‘know’ or ‘understand’ what or why it is doing, the robot has no possibilities to ‘be’ something more than the purpose it was originally created for.
Catheterization Performed in the Early Postoperative Period After Congenital Heart Surgery in Children

The aim of this study was to describe pediatric patients who underwent early postoperative cardiac catheterization after congenital heart surgery, their clinical indications, findings, interventions, and complications in a cardiovascular center. A descriptive retrospective study was performed. All catheterizations performed within 6 weeks after congenital heart surgery between January 2004 and December 2014 were reviewed. We analyzed 101 early postoperative catheterizations. They were performed on median postoperative day five (IQR: 0–39); the median age was 64 days (IQR: 22–240). The most common diagnoses were single ventricle (53%), left heart obstruction (12%), and tetralogy of fallot or pulmonary atresia with ventricular septal defect (11%). Most common indications were persistent cyanosis (53%), low cardiac output (24%), and residual defect on echocardiogram (20%). Most frequent findings during the catheterization were pulmonary artery stenosis (29%), surgical conduit obstruction (12%), and coarctation or hypoplasia of the aorta (11%). Forty-six (45%) procedures involved intervention. Most frequent interventions were pulmonary artery, aorta, and Blalock–Taussig fistula angioplasty with or without stent implantation. There were adverse effects in 11 cases (11%), and 30-day mortality was 28% (28 patients) with the majority unrelated to the catheterization directly. Although early postoperative catheterizations are high-risk procedures, they are currently a very good option to solve acute problems in critically ill patients. This study provides relevant information for a better understanding and approach to this complex group of patients.
RELATIONSHIP BETWEEN SECTORAL EXPORTS AND ECONOMIC GROWTH-A TIME SERIES ECONOMETRIC ANALYSIS FOR VIETNAMESE FISHERY SECTOR 1997 – 2008

Numerous literatures have documented the relationship between exports and economic growth but not so many on sectoral exports and economic growth. This paper examines the relationship with evidence from fisheries exports of Vietnam during 1997 to 2008. The contribution of fishery sector in Vietnamese Gross Domestic Products (GDP) may be mathematically calculated with statistical figures. However, the effects of fishery exports on the economic growth are yet to be thoroughly studied in an econometric approach. Descriptive and time series analyses in this study present positive effect of fishery exports on the Vietnamese economic growth in long run. The modern econometric approach with stationary and cointegration tests and vector error correction models used in this study also allows forecasting a persistence of the effects of fishery exports on Vietnamese GDP despite of different seasonal phase business. For the long run estimation, a double increase in its fishery exports value would raise the GDP by 7%. This has a great economic meaning in developing process of the economy. In reverse side, Vietnamese fishery exports would increase by 5.2% with 10% increase in its GDP. Confirming the role of fishery exports in economic growth, it is necessary for the sector to improve its competitive capacity.
CRACKING THE SPEECH CODE : EARLY PHONETIC PERCEPTION SHOWS HOW INFANTS LEARN LANGUAGE

The acquisition of language and speech looks deceptively simple. Young children learn to speak rapidly and effortlessly, from babbling at 6 months of age to full sentences by the age of 3, and follow the same developmental path regardless of culture (Fig. 1). Linguists, psychologists, and neuroscientists have struggled to explain how children do this, and why it is so regular across cultures. This puzzle, coupled with the failure of artificial intelligence approaches to build a computer that learns language, has produced the idea that speech is a deeply encrypted ‘code. ’ Cracking the speech code is child’s play for human infants but an unsolved problem for adult theorists and our machines. Why? The last decade has witnessed an explosion of information about how infants tackle language learning. The new data help us to understand why computers have not cracked the ‘code’ and shed light on a long-standing debate on the origins of language in the child. Infants’ strategies are surprising and are also unpredicted by the major historical theorists. Children approach language with a set of initial perceptual abilities that are necessary for language acquisition, though not unique to humans. Infants then rapidly learn from exposure to language, in ways that are unique to humans, combining pattern detection and computational abilities (often called statistical learning), with special social skills. Recent neuropsychological and brain imaging work suggest that language acquisition involves a neural commitment of the brain’s circuits. Early in development, the brain’s neural networks code the properties of the native language, and these networks eventually make it difficult to learn a new language. The concept of neural commitment is linked to the long-standing issue of a ‘‘critical’’ or ‘‘sensitive’’ period for language acquisition. The idea is that initial coding of native-language patterns eventually interferes with the learning of new patterns (such as those of a foreign language).
A comparing case study on the formal verification process between implementations in imperative and functional programming languages Masterarbeit

In safety-critical areas the need for formal verification of software systems is rising despite being a costly task. Likewise, the popularity of concepts of functional programming languages has increased. Since the functional programming paradigm is very closely related to mathematics, the question is raised if functional programming can be beneficial to the use of formal methods. This thesis will investigate this question by performing a case study. In the case study an existing algorithm with an imperative implementation and a formal verification is reimplemented in a pure functional language. After that, the new implementation is formally verified. From there, a comparison between both implementations and their verification processes is drawn to explore if a functional programming language may accelerate the verification process while still being applicable in production environments. Eidesstattliche Erklaerung Ich versichere, die Masterarbeit selbstständig und lediglich unter Benutzung der angegebenen Quellen und Hilfsmittel verfasst zu haben. Ich erkläre weiterhin, dass die vorliegende Arbeit noch nicht im Rahmen eines anderen Prüfungsverfahrens eingereicht wurde. Bremen, 17.09. 2018 (Tobias Brandt)
Title Recurrence of pulmonary alveolar proteinosis after bilateral lungtransplantation in a patient with a nonsense mutation in CSF 2 RB

Hereditary pulmonary alveolar proteinosis (PAP) caused by mutations in CSF2RA or CSF2RB, which encode GM-CSF receptor a and b respectively, is a rare disease. Although some experimental therapeutic strategies have been proposed, no clinical evidence has yet been reported. We herein describe the clinical course and recurrence of hereditary PAP after lung transplantation. A 36-year-old woman developed PAP of unknown etiology. She underwent bilateral lung transplantation from living donors at the age of 42 years because of severe respiratory failure complicated by pulmonary fibrosis. However, PAP recurred after 9 months, and we found that donor-origin alveolar macrophages had been almost completely replaced with recipient-origin macrophages. We performed a genetic analysis and identified a point deletion in the CSF2RB gene that caused a GM-CSF receptor-mediated signaling defect. PAP progressed with fibrosis in both transplanted lungs, and the patient died of respiratory failure 5 years after the lung transplantation. Distinct from recent reports on pulmonary macrophage transplantation in mice, this case suggests that human alveolar macrophages might not maintain their population only by selfrenewal but may depend on a supply of precursor cells from the circulation. Bone marrow transplantation should be considered for treatment of severe PAP with GM-CSF receptor gene deficiency. © 2016 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
The context calculus c Extended

The calculus c serves as a general framework for representing contexts. Essential features are control over variable capturing and the freedom to manipulate contexts before or after hole lling, by a mechanism of delayed substitution. The context calculus c is given in the form of an extension of the lambda calculus. Many notions of context can be represented within the framework; a particular variation can be obtained by the choice of a so-called pretyping. By way of an example we treat the contexts of Hashimoto & Ohori.
Belief 1 : ESG factors impact security prices Belief 2 : A deep understanding

In the coming years, Responsible Investing will just be how we all invest. Understanding how Environment, Social and Governance factors impact security prices and portfolio structure will be integrated into the entire industry. As we move toward this inevitable reality, Russell Investments is developing best practices for our process, our portfolios and our clients. Russell Investments’ responsible practice draws directly from our responsible investing policy and beliefs. These incorporate decisions from asset and manager selection, from direct investing to reporting formats, from asset allocations to dynamic tilts, from our internal policies and practices to industry collaboration. In this note, we review the many ways we are developing this practice as they are drawn specifically from our responsible investing beliefs, just as our responsible investing policy was developed.
Supplementary Information

Kobayashi-Nature movie S1a. Pre-exercise activity of a C57BL/10 wild-type mouse Kobayashi-Nature movie S1b. Pre-exercise activity of an mdx mouse Kobayashi-Nature movie S1c. Pre-exercise activity of a C57BL/6 wild-type mouse Kobayashi-Nature movie S1d. Pre-exercise activity of an Sgca-null mouse Kobayashi-Nature movie S2a. Post-exercise activity of a C57BL/10 wild-type mouse. Kobayashi-Nature movie S2b. Post-exercise activity of an mdx mouse Kobayashi-Nature movie S2c. Post-exercise activity of a C57BL/6 mouse wild-type mouse Kobayashi-Nature movie S2d. Post-exercise activity of an Sgca-null mouse
(spherical-prismatic-spherical, spherical) manipulator that consists of spherical joints and prismatic actuation in conjunction with the biological joint to achieve spherical motion. The shoulder exoskeleton BONES [8] uses a RRPS

The purpose of this work is to optimize the stiffness of a novel parallel-actuated robotic exoskeleton designed to offer a large workspace. This is done in an effort to help provide a solution to the issue wearable parallel actuated robots face regarding a tradeoff between stiffness and workspace. Presented in the form of a shoulder exoskeleton, the device demonstrates a new parallel architecture that can be used for wearable hip, ankle and wrist robots as well. The stiffness of the architecture is dependent on the placement of its actuated substructures. Therefore, it is desirable to place these substructures effectively so as to maximize dynamic performance for any application. In this work, an analytical stiffness model of the device is created and validated experimentally. The model is then used, along with a method of bounded nonlinear multi-objective optimization to configure the parallel actuators so as to maximize stiffness for the entire workspace. Furthermore, it is shown how to use the same technique to optimize the device for a particular task, such as lifting in the sagittal plane.