A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
JANI: Quantitative Model and Tool Interaction
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we propose the Jani model format and tool interaction protocol. ...
The ultimate purpose of Jani is to simplify tool development, encourage research cooperation, and pave the way for a future competition in quantitative model checking. ...
To help with interfacing quantitative verification tools, we propose the jani-interaction protocol. ...
doi:10.1007/978-3-662-54580-5_9
fatcat:upnrt33f6bgb3dx7zoi7c7xmhy
Momba: JANI Meets Python
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A JANI model is a network of interacting automata with variables. ...
tools, exploiting the JANI-model interchange. ...
doi:10.5281/zenodo.5750802
fatcat:nyql3snfgvgtdksttfiao5o7nm
Process simulation environment for case studies
2010
Proceedings of the 2010 Winter Simulation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Process flow simulation is used to obtain quantitative process performance measures. ...
Using case studies helps learning and understanding complex issues in operations and supply chain management studies but preparing models for indepth exploration of case studies is time consuming and requires ...
illustrate relationships between process improvement and quantitative analysis tools available in operations and supply chain management. ...
doi:10.1109/wsc.2010.5679154
dblp:conf/wsc/GrabisC10
fatcat:k6icefnp2vhojmcnq37x6hmhau
Numerical simulation for hydrodynamic characteristics of nozzle used in water jet machining
[article]
2020
figshare.com
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Pressure, velocity and stream line has been obtained by simulating problem in commercial CFD tool ANSYS-Fluent. Results showed that a velocity of 570 m/sec can be reached for pressure up to 160 MPa. ...
Conventional and Non-conventional machining process are available. ...
[3] created a semi-empirical model to capture the process of air entrainment. Based on empirical relations, this model predicts the interaction between air and water phases. ...
doi:10.6084/m9.figshare.13341557.v1
fatcat:u7iywybkbzhttedu7cxpjof75i
Strongly correlated electrons: Dynamical vertex renormalization
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
It is argued that only the electron-hole and interaction two-particle channels in the parquet algebra are relevant. ...
Single-band Hubbard model at criticality of the metal-insulator transition is studied using approximations derived from parquet theory. ...
They contribute via dipole and higher-order multi-pole interactions and are weak in the Hubbard model. ...
arXiv:cond-mat/9810175v1
fatcat:ou7fiabeufe3fga3v5pixo2bs4
The Role of Feedback in Intelligent Tutoring System
2013
Applied Computer Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Improvement of IT technologies, expansion of internet and popularization of web technologies have enabled technology enhanced learning introduction in adaption of general matters and acquaintance of specialized ...
It is necessary to integrate in ITS (Intelligent Tutoring System) analysis mechanisms and reactions to simulate or overcome natural tutoring environment achievements. ...
Identical educational tools and learning methods may not be effective or are less effective for all students. ...
doi:10.2478/acss-2013-0011
fatcat:jbcbvweo6rckpcvaxr7r5srcvy
Model Transformations for Knowledge Base Integration within the Framework of Structural Modelling
[chapter]
2001
Databases and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
and in the multilevel flow modelling approaches. ...
Many different methods and models have been developed and successfully used for diagnosis problem solving. ...
The connection of one object's output to another object's input is the only path by which the components may interact. The interactions between objects are called flows. ...
doi:10.1007/978-94-015-9636-7_21
fatcat:u23ei6n6jrg7vlxblfqy4vgvgm
Generating functional for the full parquet approximation
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We show how the complete parquet equations for the Hubbard-like models can be integrated to a generating functional from which all thermodynamic quantities are derived via (functional) derivatives. ...
An explicit Luttinger-Ward functional Φ[G;Λ, K;U] is constructed containing only the renormalized one-particle, G, irreducible, Λ, and reducible, K, two-particle propagators as independent variational ...
lattice models of interacting electrons with a local (Hubbard) interaction. ...
arXiv:cond-mat/9806118v1
fatcat:glosy7yeune6vgcn3fwg6475ia
GCex: A Visual Analytics Approach for Interactive Exploration of Geochemical Models
2015
Energy Procedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
GCex is a graphical tool implementing a Visual Analytics approach to support interactive exploration of geochemical models. ...
GCex assists in the setup of simulations, model runs, data collection and results exploration, greatily enhancing the user experience in tasks such uncertainty and sensitivity analysis, inverse modeling ...
GCex offers a graphical tool for interactive model set-up, allowing the user to interactively specify the parametrization of the models (parameters ranges) and executing the simulation runs (figure 3 ...
doi:10.1016/j.egypro.2015.07.881
fatcat:n7uuv47tzzbcplah3mlhit5y2i
Quantitative Glycomics Strategies
2013
Molecular & Cellular Proteomics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The different strategies available for reliable and sensitive quantitative glycomics are herein described and discussed. Molecular & Cellular Proteomics ...
The correlations between protein glycosylation and many biological processes and diseases are increasing the demand for quantitative glycomics strategies enabling sensitive monitoring of changes in the ...
The MALDI version of the tool annotates and quantifies glycans in a pre-defined library by matching the theoretical isotopic envelopes to the observed peaks using a linear regression model. ...
doi:10.1074/mcp.r112.026310
pmid:23325767
pmcid:PMC3617334
fatcat:5azffaqxgneophhygbp4uka6fe
Digital interfaces of historical newspapers: opportunities, restrictions and recommendations
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
What tools should be available on interfaces and how can we avoid too much complexity? What tools are helpful and how can we improve usability? ...
More importantly, it provides ideas and recommendations for the improvement of user interfaces and digital tools. ...
All in all, Overview seems to have some advantages over other topic modelling tools: • The platform is very user-friendly and easy to use. • Interactive topic modelling: The tool allows users to iteratively ...
arXiv:2006.02679v1
fatcat:lfjqzuwojzexrgusyfkgq4ehne
The Adjective as Ideology Indicator in Postwar School Grammars of the Greek Ethnic Minority Schools in Albania
2017
Academic Journal of Interdisciplinary Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We are not referring to grammar acknowledgement, but to the part of the education process that has to do with the conformation of children and the character formation of character and consciences. ...
Within the language structures and language options of speakers, various social or ideological messages are included. ...
The quantitative method will give us all those elements and statistical-quantitative indicators that corroborate our hypothesis for the determining role of textbooks in the education and ideological formation ...
doi:10.1515/ajis-2017-0008
fatcat:xbxrli2ldrfvtc7pbkodeqi6uu
Digital interfaces of historical newspapers: opportunities, restrictions and recommendations
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
What tools should be available on interfaces and how can we avoid too much complexity? Which tools are particularly helpful and how can we improve their usability? ...
More importantly, it provides ideas and recommendations for the improvement of user interfaces and digital tools. ...
All in all, Overview seems to have some advantages over other topic modelling tools: • The platform is very user-friendly and easy to use. • Interactive topic modelling: The tool allows users to iteratively ...
doi:10.5281/zenodo.4446818
fatcat:4mcos3teejfmbojbzpfg7b7f3e
The Origin of Motif Families in Food Webs
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The model is able to generate food webs in either of the two families by varying this parameter, and correctly classifies almost all the food webs in our database. ...
stability and robustness. ...
Nevertheless, the TSP is an adequate tool for comparing networks of different sizes and degree distributions. ...
arXiv:1609.04318v1
fatcat:q3cngezzqvghllhl7tjucjnfqe
FacialGAN: Style Transfer and Attribute Manipulation on Synthetic Faces
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
For reproducibility, we provide an interactive open-source tool to perform facial manipulations, and the Pytorch implementation of the model. ...
To address this issue, we propose FacialGAN, a novel framework enabling simultaneous rich style transfers and interactive facial attributes manipulation. ...
(Left) Quantitative comparison on latent-guided synthesis. (Right) Quantitative comparison on reference-guided synthesis. ...
arXiv:2110.09425v1
fatcat:umfk6nria5etzoidmgiombxecm
« Previous
Showing results 1 — 15 out of 3,975 results