We present a new way to discover statements in planar geometric figure by using GeoGebra Discovery, an experimental version of GeoGebra, the free dynamic mathematics software package. A command "Discover" (which is also available as tool) requires input point figure---as output several properties are communicated program. That is, reports list observed properties, including equality, equal long...

Background: Reproductive toxicity studies (RTS) represent an important part of pre-clinical safety evaluation of any drug development process for human consumption. It is mandatory requirement that RTS must be completed before any drug can be administered to women of childbearing age. Therefore, at first segment of toxicity check the toxic effect of the drug on fertility must be tested on non-c...

The ClinicalTrials.gov registry is a public resource that contains valuable information about clinical research, yet most of the data lacks structure or easy accessibility. We aim to create an interface that allows researchers, trial sponsors, and patients and their physicians to easily understand the state of clinical research on particular conditions or at a specific institution. Ideally this...

We consider structure discovery of undirected graphical models from observational data. Inferring likely structures from few examples is a complex task often requiring the formulation of priors and sophisticated inference procedures. In the setting of Gaussian Graphical Models (GGMs) a popular estimator is a maximum likelihood objective with a penalization on the precision matrix. Adapting this...

In this paper, we present our approach of facilitator that allows automatic service composition in distributed systems. We propose a facilitator based on ontologies and knowledge representation that allows clients to discover a service and to get the result of the service execution without direct interactions with their providers. We extend the functionality of the facilitator to be a compositi...