Search results for "Formal"
showing 10 items of 1654 documents
Dinosaur Metabolism and the Allometry of Maximum Growth Rate
2016
In his 2016 paper, Myhrvold criticized ours from 2014 on maximum growth rates (Gmax, maximum gain in body mass observed within a time unit throughout an individual’s ontogeny) and thermoregulation strategies (ectothermy, endothermy) of 17 dinosaurs. In our paper, we showed that Gmax values of similar-sized extant ectothermic and endothermic vertebrates overlap. This strongly questions a correct assignment of a thermoregulation strategy to a dinosaur only based on its Gmax and (adult) body mass (M). Contrary, Gmax separated similar-sized extant reptiles and birds (Sauropsida) and Gmax values of our studied dinosaurs were similar to those seen in extant similar-sized (if necessary scaled-up) …
EUNIS Habitat Classification: Expert system, characteristic species combinations and distribution maps of European habitats
2020
Aim The EUNIS Habitat Classification is a widely used reference framework for European habitat types (habitats), but it lacks formal definitions of individual habitats that would enable their unequivocal identification. Our goal was to develop a tool for assigning vegetation-plot records to the habitats of the EUNIS system, use it to classify a European vegetation-plot database, and compile statistically-derived characteristic species combinations and distribution maps for these habitats. Location Europe. Methods We developed the classification expert system EUNIS-ESy, which contains definitions of individual EUNIS habitats based on their species composition and geographic location. Each ha…
European Formalism and Empiriocriticism : Formalism within the International Empiriocritical Movement
2020
Abstract This paper argues that Russian Formalism is to be considered a constitutive part of the international empiriocritical movement—Ernst Mach (1838—1916) and Richard Avenarius’s (1843—1896). The conceptual parallelism between Empiriocriticism and Formalism is striking indeed. Thus, the cornerstones of the empiriocritical approach—the concept of series [Reihe] and the concept of elements [Elemente], understood as sensations [Empfindungen]—are plainly recognizable within formalist theories: the notion of ‘series’ (for example, the notion of ‘literary series’ or ‘poetic series’, leading to the famous concept of ‘literariness’, literaturnost’) and the very formalist idea of a necessarily p…
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…
Formal ontology and CAD integration with macro parametric approach
2017
ABSTRACTThis paper discusses an ontological integration framework in the context of mereotopological formal ontology and CAD systems. Based on a comprehensive literature review of current design knowledge management and formal ontology research works, the authors propose the integration framework that can incorporate design knowledge with CAD systems. The primary role of mereotopology in this research work is the formal representation of design knowledge for the 3D solid assembly models. Most of the existing research works about design ontology present an abstract form and often require significant additional efforts to be integrated into CAD systems. Thus, this work introduces a formal ont…
Evaluation Framework for Analyzing the Applicability of Criteria Lists for the Selection of Requirements Management Tools Supporting Distributed Coll…
2016
Effective requirements management and enabling tools are critical for successfully developing and maintaining services and products. The identification and selection of an appropriate requirements management tool can be a costly, time-consuming, and error-prone undertaking especially in the context of software product line requirements management, requiring the tools to support both product and platform development activities that often involve geographically distributed, collaborating, and competing stakeholders. Criteria lists have been developed to facilitate the selection. This research (1) creates an evaluation framework to review the applicability of the lists for the selection of req…
Infrared microspectroscopic determination of collagen cross-links in articular cartilage
2017
Collagen forms an organized network in articular cartilage to give tensile stiffness to the tissue. Due to its long half-life, collagen is susceptible to cross-links caused by advanced glycation end-products. The current standard method for determination of cross-link concentrations in tissues is the destructive high-performance liquid chromatography (HPLC). The aim of this study was to analyze the cross-link concentrations nondestructively from standard unstained histological articular cartilage sections by using Fourier transform infrared (FTIR) microspectroscopy. Half of the bovine articular cartilage samples ( n = 27 ) were treated with threose to increase the collagen cross-linking whi…
Single-cell trajectories reconstruction, exploration and mapping of omics data with STREAM
2019
Single-cell transcriptomic assays have enabled the de novo reconstruction of lineage differentiation trajectories, along with the characterization of cellular heterogeneity and state transitions. Several methods have been developed for reconstructing developmental trajectories from single-cell transcriptomic data, but efforts on analyzing single-cell epigenomic data and on trajectory visualization remain limited. Here we present STREAM, an interactive pipeline capable of disentangling and visualizing complex branching trajectories from both single-cell transcriptomic and epigenomic data. We have tested STREAM on several synthetic and real datasets generated with different single-cell techno…
Alignment-free sequence comparison using absent words
2018
Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realised by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free techniques, which are based on measures referring to the composition of sequences in terms of their constituent patterns. These measures, such as $q$-gram distance, are usually computed in time linear with respect to the length of the sequences. In this paper, we focus on the complementary idea: how two sequences can be efficiently compared based on information that does not occur in the sequences. A word is an {\em absent word} of some sequence if it does not oc…
Could formaldehyde induce mutagenic and cytotoxic effects in buccal epithelial cells during anatomy classes?
2017
Background Due to increased formaldehyde exposure, carcinogenic to humans, several researches have been studying the potential toxicity and the safe levels for human beings. The aim of this study was to investigate mutagenicity and cytotoxicity in buccal epithelial exfoliated cells (BEC) of students subjected to formaldehyde (FA) during anatomy classes. Material and Methods BEC were collected periodically from 17 volunteers of undergraduate programs, who had participated in practical anatomy classes, before and after FA exposure. Cells were stained according to Feulgen method and then micronucleus test was applied. A total of 1,500 cells were assessed per individual in this study for the mi…