Results 21 to 30 of about 6,889,955 (273)
Ontology-based model abstraction [PDF]
In recent years, there has been a growth in the use of reference conceptual models to capture information about complex and critical domains. However, as the complexity of domain increases, so does the size and complexity of the models that represent ...
Figueiredo, Guylerme +3 more
core +1 more source
Transformasi Skema Basis Data Relasional Menjadi Model Data Berorientasi Dokumen pada MongoDB
MongoDB is a database that uses document-oriented data storage models. In fact, to migrate from a relational database to NoSQL databases such as MongoDB is not an easy matter especially if the data are extremely complex.
I Gede Winaya, Ahmad Ashari
doaj +1 more source
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report [PDF]
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations.
Ghilardi, Silvio, Pagani, Elena
core +2 more sources
The N-K Problem in Power Grids: New Models, Formulations and Numerical Experiments (extended version) [PDF]
Given a power grid modeled by a network together with equations describing the power flows, power generation and consumption, and the laws of physics, the so-called N-k problem asks whether there exists a set of k or fewer arcs whose removal will cause ...
Bienstock, Daniel, Verma, Abhinav
core +3 more sources
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability [PDF]
Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems.
Antkiewicz, Michal +5 more
core +2 more sources
Predicting rental listing popularity : 2 Sigma connect Renthop [PDF]
Renting a perfect apartment can be a hassle. There are plenty of features people care about when it comes to finding the apartment, such as price, hardwood floor, dog park, laundry room, etc.
Cai, Shiyao
core +1 more source
Modeling asynchronous event sequences with RNNs
Sequences of events have often been modeled with computational techniques, but typical preprocessing steps and problem settings do not explicitly address the ramifications of timestamped events.
Stephen T Wu +6 more
semanticscholar +1 more source
Metamodeling in EIA/CDIF - Meta-Metamodel and Metamodels [PDF]
This article introduces the EIA/CDIF set of standards for the modeling of information systems and its exchange among computer-aided software tools of different vendors.
Flatscher, Rony G.
core +1 more source
Analytics of Heterogeneous Breast Cancer Data Using Neuroevolution
Breast cancer prognostic modeling is difficult since it is governed by many diverse factors. Given the low median survival and large scale breast cancer data, which comes from high throughput technology, the accurate and reliable prognosis of breast ...
Beibit Abdikenov +4 more
doaj +1 more source
Data-driven Modeling and Coordination of Large Process Structures [PDF]
In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges for process management systems is to support the modeling, monitoring and maintenance
Herbst, Joachim +2 more
core +3 more sources

