747 research outputs found
Matching structure and bargaining outcomes in buyer–seller networks
We examine the relationship between the matching structure of a bipartite (buyer-seller) network and the (expected) shares of the unit surplus that each connected pair in this network can create. We show that in different bargaining environments, these shares are closely related to the Gallai-Edmonds Structure Theorem. This theorem characterizes the structure of maximum matchings in an undirected graph. We show that the relationship between the (expected) shares and the tructure Theorem is not an artefact of a particular bargaining mechanism or trade centralization. However, this relationship does not necessarily generalize to non-bipartite networks or to networks with heterogeneous link values
Experimental study of digital image processing techniques for LANDSAT data
The author has identified the following significant results. Results are reported for: (1) subscene registration, (2) full scene rectification and registration, (3) resampling techniques, (4) and ground control point (GCP) extraction. Subscenes (354 pixels x 234 lines) were registered to approximately 1/4 pixel accuracy and evaluated by change detection imagery for three cases: (1) bulk data registration, (2) precision correction of a reference subscene using GCP data, and (3) independently precision processed subscenes. Full scene rectification and registration results were evaluated by using a correlation technique to measure registration errors of 0.3 pixel rms thoughout the full scene. Resampling evaluations of nearest neighbor and TRW cubic convolution processed data included change detection imagery and feature classification. Resampled data were also evaluated for an MSS scene containing specular solar reflections
Dynamic multilateral markets
We study dynamic multilateral markets, in which players' payoffs result from intra-coalitional bargaining. The latter is modeled as the ultimatum game with exogenous (time-invariant) recognition probabilities and unanimity acceptance rule. Players in agreeing coalitions leave the market and are replaced by their replicas, which keeps the pool of market participants constant over time. In this infinite game, we establish payoff uniqueness of stationary equilibria and the emergence of endogenous cooperation structures when traders experience some degree of (heterogeneous) bargaining frictions. When we focus on market games with different player types, we derive, under mild conditions, an explicit formula for each type's equilibrium payoff as the market frictions vanish
Morphological Integration of the Modern Human Mandible during Ontogeny
Craniofacial integration is prevalent in anatomical modernity research. Little investigation has been done on mandibular integration. Integration patterns were quantified in a longitudinal modern human sample of mandibles. This integration pattern is one of modularization between the alveolar and muscle attachment regions, but with age-specific differences. The ascending ramus and nonalveolar portions of the corpus remain integrated throughout ontogeny. The alveolar region is dynamic, becoming modularized according to the needs of the mandible at a particular developmental stage. Early in ontogeny, this modularity reflects the need for space for the developing dentition; later, modularity is more reflective of mastication. The overall pattern of modern human mandibular integration follows the integration pattern seen in other mammals, including chimpanzees. Given the differences in craniofacial integration patterns between humans and chimpanzees, but the similarities in mandibular integration, it is likely that the mandible has played the more passive role in hominin skull evolution
Rapid and reversible impairment of episodic memory by a high-fat diet in mice.
The datasets generated during and/or analysed during the current study are available from the corresponding author on reasonable request. This work was supported by an EASTBIO BBSRC PhD studentship to F.H.M., L.M.W., C.G., A.C.M., G.W.H. and F.M.C. are supported by Scottish Government’s Rural and Environment Science and Analytical Services Division (RESAS).Peer reviewedPublisher PD
Modelling Virtual Sensors for Indoor Environments with Machine Learning
Virtual Sensors model the sensing operation of physical sensors deployed in an area of interest by generating sensory data with accuracy and precision close to those collected by physical sensors. Their use in applications such as augmenting the infrastructure of IoT facilities and test beds, monitoring and calibrating the operation of physical sensors, and developing Digital Twins of physical systems have led virtual sensors to attract research attention. Machine learning provides methods for modelling patterns in complex and big data generated by IoT sensing devices, allowing to model the behaviour of these devices. In this work, we investigate ML methods as means of implementation for virtual sensors. In particular, we evaluate the performance of six ML methods in terms of their effectiveness, accuracy and precision in generating sensory data based on data from physical sensors. In our study, we use a multi-modal dataset comprising IoT sensory data for temperature, humidity and illumination collected over a period of two years in an office space at University of Geneva. Our results show that the best performing model at predicting an output of a missing sensor is the Random Forest method, achieving MAPE error below 3%, 5% and 18% respectively for temperature, humidity and illuminance. The worst performing models were the linear radial basis function neural network and linear regression. In future research, we plan to deploy the best performing models natively on IoT devices, making use of tinyML and extreme edge computing methods
Mastl is required for timely activation of APC/C in meiosis I and Cdk1 reactivation in meiosis II
In mitosis, the Greatwall kinase (called microtubule-associated serine/threonine kinase like [Mastl] in mammals) is essential for prometaphase entry or progression by suppressing protein phosphatase 2A (PP2A) activity. PP2A suppression in turn leads to high levels of Cdk1 substrate phosphorylation. We have used a mouse model with an oocyte-specific deletion of Mastl to show that Mastl-null oocytes resume meiosis I and reach metaphase I normally but that the onset and completion of anaphase I are delayed. Moreover, after the completion of meiosis I, Mastl-null oocytes failed to enter meiosis II (MII) because they reassembled a nuclear structure containing decondensed chromatin. Our results show that Mastl is required for the timely activation of anaphase-promoting complex/cyclosome to allow meiosis I exit and for the rapid rise of Cdk1 activity that is needed for the entry into MII in mouse oocytes
Review on computational methods for Lyapunov functions
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function
A single-cell comparison of adult and fetal humen epicardium defines the age-associated changes in epicardial activity
Re-activating quiescent adult epicardium represents a potential therapeutic approach for human cardiac regeneration. However, the exact molecular differences between inactive adult and active fetal epicardium are not known. In this study, we combined fetal and adult human hearts using single-cell and single-nuclei RNA sequencing and compared epicardial cells from both stages. We found that a migratory fibroblast-like epicardial population only in the fetal heart and fetal epicardium expressed angiogenic gene programs, whereas the adult epicardium was solely mesothelial and immune responsive. Furthermore, we predicted that adult hearts may still receive fetal epicardial paracrine communication, including WNT signaling with endocardium, reinforcing the validity of regenerative strategies that administer or reactivate epicardial cells in situ. Finally, we explained graft efficacy of our human embryonic stem-cell-derived epicardium model by noting its similarity to human fetal epicardium. Overall, our study defines epicardial programs of regenerative angiogenesis absent in adult hearts, contextualizes animal studies and defines epicardial states required for effective human heart regeneration
- …
