Filters








3,975 Hits in 2.9 sec

JANI: Quantitative Model and Tool Interaction [chapter]

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017 Lecture Notes in Computer Science  
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

Maximilian Köhl, Michaela Klauck, Holger Hermanns
2021 Zenodo  
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

Janis Grabis, Charu Chandra
2010 Proceedings of the 2010 Winter Simulation Conference  
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]

Deepakkumar Jani
2020 figshare.com  
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]

Vaclav Janis
1998 arXiv   pre-print
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

Jānis Dāboliņš, Jānis Grundspeņķis
2013 Applied Computer Systems  
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]

Janis Grundspenkis, Janis Jekabsons
2001 Databases and Information Systems  
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]

Vaclav Janis
1998 arXiv   pre-print
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

Marco De Lucia, Janis Jatnieks, Mike Sips
2015 Energy Procedia  
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

Yehia Mechref, Yunli Hu, Janie L. Desantos-Garcia, Ahmed Hussein, Haixu Tang
2013 Molecular & Cellular Proteomics  
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]

Eva Pfanzelter, Sarah Oberbichler, Jani Marjanen, Pierre-Carl Langlais, Stefan Hechl
2020 arXiv   pre-print
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

Jani Jani
2017 Academic Journal of Interdisciplinary Studies  
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

Eva Pfanzelter, Sarah Oberbichler, Jani Marjanen, Pierre-Carl Langlais, Stefan Hechl
2021 Zenodo  
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]

Janis Klaise, Samuel Johnson
2016 arXiv   pre-print
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]

Ricard Durall, Jireh Jam, Dominik Strassel, Moi Hoon Yap, Janis Keuper
2021 arXiv   pre-print
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