Search results for "UniFi"
showing 10 items of 302 documents
Resistive communications based on neuristors
2017
Memristors are passive elements that allow us to store information using a single element per bit. However, this is not the only utility of the memristor. Considering the physical chemical structure of the element used, the memristor can function at the same time as memory and as a communication unit. This paper presents a new approach to the use of the memristor and develops the concept of resistive communication.
The UKC3 regional coupled environmental prediction system
2019
Abstract. This paper describes an updated configuration of the regional coupled research system, termed UKC3, developed and evaluated under the UK Environmental Prediction collaboration. This represents a further step towards a vision of simulating the numerous interactions and feedbacks between different physical and biogeochemical components of the environment across sky, sea and land using more integrated regional coupled prediction systems at km-scale resolution. The UKC3 coupled system incorporates models of the atmosphere (Met Office Unified Model), land surface with river routing (JULES), shelf-sea ocean (NEMO) and ocean surface waves (WAVEWATCH III), coupled together using OASIS3-MC…
How partnerships end in guillemots Uria aalge : chance events, adaptive change, or forced divorce?
2007
Divorce in socially monogamous species can result from different mechanisms, for example, chance events, active desertion of the partner, or the intrusion of a third individual ousting the partner. We compared the predictions associated with such mechanisms with data from common guillemots (Uria aalge) breeding on the Isle of May, Scotland. The data cover the years 1982--2005 and show a yearly divorce rate of 10.2%. In most divorces (86%), one of the original partners moved to another breeding site, whereas the other bird stayed and bred with a new partner. On average, movers had a significantly lower breeding success after divorce, stayers were largely unaffected, whereas the incoming bird…
Dynamic Design Intents Capture with Formal Ontology and Perdurants Object Concept for Collaborative Product Design
2016
Loss of design intents and related information throughout the lifecycle of products are common. Capturing design intents of an assembly, which include a temporal (dynamic) stages, is even harder. This research work aims to enhance the spatiotemporal mereotopology (STM) based ontology in tune with the contemporary efforts in this research domain. The main idea with such STM ontology is to capture dynamic design intents and develop an integrated data translation framework from Computer Aided Design (CAD) system to a visualization system. This integration framework is intended to enhance design sharing in a collaborative environment. In this paper, the framework is demonstrated with a simple m…
The MAM-CAP table: A new tool for monitoring panel performances
2014
Abstract Assessor performances in sensory analysis are usually represented by three indicators: repeatability, discrimination and agreement. However, assessors can also differ on the range of their scores, the so-called “scaling effect”. Brockhoff, Schlich, and Skovgaard (2013) proposed the mixed assessor model (MAM) which, as the original assessor model ( Brockhoff & Skovgaard, 1994 ), takes this effect into account, but also allows for the product effect to be tested against a new interaction free of the scaling effect. The present paper proposes a unified system for monitoring assessor and panel performances based on the MAM. In addition to the product effect (tested at panel and individ…
MOF-VM: Instantiation Revisited
2016
The Model-Driven Architecture (MDA) is based on an understanding of a hierarchy of levels that are placed on top of each other and that are connected with instantiation. For practical MDA use, it is important to be clear about the kinds of objects that reside on the different levels and the relations between them as well as relations to objects outside of the MDA domain. This article aims at enhancing the understanding of these objects and relations by relating them to a virtual MOF machine.
Ready for eHealth? Health Professionals' Acceptance and Adoption of eHealth Interventions in Inpatient Routine Care.
2017
eHealth interventions can be effective in treating health problems. However, adoption in inpatient routine care seems limited. The present study therefore aimed to investigate barriers and facilitators to acceptance of eHealth interventions and of online aftercare in particular in health professionals of inpatient treatment. A total of 152 out of 287 health professionals of various professional groups in four inpatient rehabilitation facilities filled out a self-administered web-based questionnaire (response rate: 53%); 128 individuals were eligible for further data analysis. Acceptance and possible predictors were investigated with a complex research model based on the Unified Theory of Ac…
Unification in superintuitionistic predicate logics and its applications
2018
AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…
Unification in first-order transitive modal logic
2019
We introduce unification in first-order transitive modal logics, i.e. logics extending Q–K4, and apply it to solve some problems such as admissibility of rules. Unifiable formulas in some extensions of Q–K4 are characterized and an explicit basis for the passive rules (those with non-unifiable premises) is provided. Both unifiability and passive rules depend on the number of logical constants in the logic; we focus on extensions of Q–K4 with at most four constants ⊤,⊥,□⊥,◊⊤. Projective formulas, defined in a way similar to propositional logic, are used to solve some questions concerning the disjunction and existence properties. A partial characterization of first-order modal logics with pr…
Equivalence Problem of Composite Class Diagrams
2001
Multiplicity constraints in a UML composite class diagram may be inconsistent. An algorithm is given for eliminating all such inconsistencies. Using this algorithm an algorithm is constructed which for two given composite class diagrams solves the equivalence problem. These algorithms can be embedded in CASE tools for automated detection of multiplicity inconsistencies.