Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Hong Jun Jeon, Smitha Milli, Anca D. Dragan |
Reward-rational (implicit) choice: A unifying formalism for reward learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04833, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Thu Dinh, Bao Wang, Andrea L. Bertozzi, Stanley J. Osher |
Sparsity Meets Robustness: Channel Pruning for the Feynman-Kac Formalism Principled Robust Deep Neural Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.00631, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ilia Kuznetsov, Iryna Gurevych |
A Matter of Framing: The Impact of Linguistic Formalism on Probing Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.14999, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Patrik Christen |
System Metamodel Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.01192, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Qiyao Peng 0002, Fred J. Vermolen, Daphne Weihs |
A Formalism for Modelling Traction forces and Cell Shape Evolution during Cell Migration in Various Biomedical Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.05538, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Md. Shamim Hussain |
An Improved Physics Based Numerical Model of Tunnel FET Using 2D NEGF Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.12568, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Yepeng Ding, Hiroyuki Sato |
Formalism-Driven Development of Decentralized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.04185, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | M. S. Ishwarya, Aswani Kumar Cherukuri |
Decision-making in cognitive paradoxes with contextuality and quantum formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 95, pp. 106521, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Hudson, Xingjie H. Li |
Coarse-Graining of Overdamped Langevin Dynamics via the Mori-Zwanzig Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 18(2), pp. 1113-1135, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rodrigo Cofré, Cesar Maldonado, Bruno Cessac |
Thermodynamic Formalism in Neuronal Dynamics and Spike Train Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(11), pp. 1330, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | András Szegleti, Ferenc Márkus |
Dissipation in Lagrangian Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(9), pp. 930, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Julio Alberto López-Saldívar, Margarita A. Man'ko, Vladimir I. Man'ko |
Differential Parametric Formalism for the Evolution of Gaussian States: Nonunitary Evolution and Invariant States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(5), pp. 586, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Lorenzo Tiacci |
Object-oriented event-graph modeling formalism to simulate manufacturing systems in the Industry 4.0 era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 99, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Narendra Kumar, P. C. Tewari, Anish Sachdeva |
Performance modelling and availability analysis of a milk pasteurising system using Petri nets formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 15(5), pp. 401-409, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Sosnitsky, Anatoly Shevchenko |
Application of the universal meta-formalism to substantiate and research intelligence properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMIS ![In: Proceedings of The Third International Workshop on Computer Modeling and Intelligent Systems (CMIS-2020), Zaporizhzhia, Ukraine, April 27-May 1, 2020., pp. 245-265, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Kiran Saleem, Hafiz Mahfooz Ul Haque |
Modelling Situation-Aware Formalism Using BDI Reasoning Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCASA/ICTCC ![In: Context-Aware Systems and Applications, and Nature of Computation and Communication - 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26-27, 2020, Proceedings, pp. 169-181, 2020, Springer, 978-3-030-67100-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thu Dinh, Bao Wang, Andrea L. Bertozzi, Stanley J. Osher, Jack Xin |
Sparsity Meets Robustness: Channel Pruning for the Feynman-Kac Formalism Principled Robust Deep Neural Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOD (2) ![In: Machine Learning, Optimization, and Data Science - 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II, pp. 362-381, 2020, Springer, 978-3-030-64579-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Benjamin Ultan Cowley |
Generalised Player Modelling: Why Artificial Intelligence in Games Should Incorporate Meaning, with a Formalism for so Doing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (31) ![In: HCI in Games - Second International Conference, HCI-Games 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, pp. 3-22, 2020, Springer, 978-3-030-50163-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Heng Zheng, Davide Grossi, Bart Verheij |
Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XAILA@JURIX ![In: Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), Prague, Czech Republic, December 9th, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Heng Zheng, Davide Grossi, Bart Verheij |
Precedent Comparison in the Precedent Model Formalism: A Technical Note. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020, pp. 259-262, 2020, IOS Press, 978-1-64368-150-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Necmiye Ozay |
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 32:1-32:2, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Dan Ungureanu-Anghel, Raul Robu, Octavian Prostean |
Mathematical Formalism of Sequential Automaton with Parallel Branches used in Industrial Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2020, Timisoara, Romania, May 21-23, 2020, pp. 217-220, 2020, IEEE, 978-1-7281-7377-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nick Lik San Fung, Marten J. van Sinderen, Valerie M. Jones, Hermie J. Hermens |
A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine - 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings, pp. 427-439, 2020, Springer, 978-3-030-59136-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé |
A Formalism for Specifying Model Merging Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM '20: 12th System Analysis and Modelling Conference, Virtual Event, Canada, October 19-20, 2020, pp. 1-10, 2020, ACM, 978-1-4503-8140-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru |
A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Ontologies and Concepts in Mind and Machine - 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, Proceedings, pp. 3-17, 2020, Springer, 978-3-030-57854-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Damien Morard |
A formalism to model higher-order function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 219-220, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yeliz Karaca, Dumitru Baleanu, Majaz Moonis, Yu-Dong Zhang 0001 |
Theory, Analyses and Predictions of Multifractal Formalism and Multifractal Modelling for Stroke Subtypes' Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part II, pp. 410-425, 2020, Springer, 978-3-030-58801-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ilia Kuznetsov, Iryna Gurevych |
A matter of framing: The impact of linguistic formalism on probing results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 171-182, 2020, Association for Computational Linguistics, 978-1-952148-60-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abhishek Padalkar, Matthias Nieuwenhuisen, Sven Schneider 0002, Dirk Schulz 0001 |
Learning to Close the Gap: Combining Task Frame Formalism and Reinforcement Learning for Compliant Vegetable Cutting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO ![In: Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2020, Lieusaint, Paris, France, July 7-9, 2020., pp. 221-231, 2020, ScitePress, 978-989-758-442-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hong Jun Jeon, Smitha Milli, Anca D. Dragan |
Reward-rational (implicit) choice: A unifying formalism for reward learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Dhaou Garai, Rafika El Harabi, Faouzi Bacha |
Hamiltonian Bond Graph formalism for generating energetic redundant relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 17th International Multi-Conference on Systems, Signals & Devices, SSD 2020, Monastir, Tunisia, July 20-23, 2020, pp. 1063-1068, 2020, IEEE, 978-1-7281-1080-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Diarra Djibril |
Ingénierie des Connaissances et Formalisation Sémantique des Relations Symboliques. Des Réseaux Sociaux Médiévaux au Web 3.0. (Knowledge engineering and semantic formalism of symbolic relations. From medieval network to web 3.0). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Jorge Júlvez, Stephen G. Oliver |
Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 29(3), pp. 367-392, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Simona Bernardi 0001, Stefano Marrone 0001, José Merseguer, Roberto Nardone, Valeria Vittorini |
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(3), pp. 2241-2264, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Fabian J. Klüpfel |
A Compact Model Based on Bardeen's Transfer Hamiltonian Formalism for Silicon Single Electron Transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 84053-84065, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohamad Daher, Joelle Al Hage, Maan El Badaoui El Najjar, Ahmad Diab, Mohamad Ali Khalil, François Charpillet |
Toward High Integrity Personal Localization System Based on Informational Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 68(11), pp. 4590-4599, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo 0001, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero |
A computational approach based on the colored Petri net formalism for studying multiple sclerosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20-S(6), pp. 623, December 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Junjun Yin 0001, Konstantinos P. Papathanassiou, Jian Yang 0011 |
Formalism of Compact Polarimetric Descriptors and Extension of the $\Delta\alpha_{\text{B}}/\alpha_{\text{B}}$ Method for General Compact-Pol SAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 57(12), pp. 10322-10335, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mourad Ben Slimane, Moez Ben Abid, Ines Ben Omrane, Borhen Halouani |
Directional Thermodynamic Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(6), pp. 825, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic |
Proving properties of the Chord protocol using the ASM formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 756, pp. 64-93, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rasim Murat Aydinkal, Onur Serçinoglu, Pemra Ozbek |
ProSNEx: a web-based application for exploration and analysis of protein structures using network formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 47(Webserver-Issue), pp. W471-W476, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Myriam Bontonou, Carlos Eduardo Rosar Kós Lassance, Jean-Charles Vialatte, Vincent Gripon |
A Unified Deep Learning Formalism For Processing Graph Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.00496, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Kevin K. Lin, Fei Lu 0016 |
Data-driven model reduction, Wiener projections, and the Mori-Zwanzig formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.07725, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Nian-Ze Lee, Jie-Hong R. Jiang |
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.04112, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha |
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.10493, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Guillaume Guex, Sylvain Courtain, Marco Saerens |
Covariance and Correlation Kernels on a Graph in the Generalized Bag-of-Paths Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.03002, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Paul Diac, Liana Tucar, Radu Mereuta |
Extending the Service Composition Formalism with Relational Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.04393, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Vojtech Kovarík, Viliam Lisý |
Problems with the EFG formalism: a solution attempt using observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.06291, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Changjian Li 0005, Krzysztof Czarnecki 0001 |
Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.10016, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Médésu Sogbohossou, Antoine Vianou |
ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARIMA J. ![In: ARIMA J. 31, pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Taek Soo Jang |
Correction to: A Regular Integral Equation Formalism for Solving the Standard Boussinesq's Equations for Variable Water Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 81(3), pp. 2503, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Roberto F. Leonarduzzi, Patrice Abry, Herwig Wendt, Stéphane Jaffard, Hugo Touchette |
A Generalized Multifractal Formalism for the Estimation of Nonconcave Multifractal Spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 67(1), pp. 110-119, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chengjun Hou, Theodore T. Allen, Nicholas G. Hall, Vanesa S. Comuzzi |
Modeling formalism and notifications in project management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 131, pp. 200-210, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Won K. Ham, Ji Woong Oh, Kang H. Cho, Kiejin Park, Sang C. Park |
New modeling formalism for the energy simulation of conveyor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 128, pp. 180-191, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Samir Tigane, Laïd Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache |
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 183, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pavithra Udayakumar, Preethika Kumar-Eslami |
Kraus operator formalism for quantum multiplexer operations for arbitrary two-qubit mixed states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 18(12), pp. 361, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Huan Yang, Zhi-Yong Ding, Wen-Yang Sun, Fei Ming, Dong Wang 0012, Chang-Jin Zhang, Liu Ye |
Visualizing coherence, Bell-nonlocality and their interrelation for two-qubit X states in quantum steering ellipsoid formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 18(5), pp. 146, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Haven |
The Quantum Formalism in Social Science: A Brief Excursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Structural Changes and their Econometric Modeling ![In: Structural Changes and their Econometric Modeling, pp. 116-123, 2019, Springer, 978-3-030-04262-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lars Johannsmeier, Malkin Gerchow, Sami Haddadin |
A Framework for Robot Manipulation: Skill Formalism, Meta Learning and Adaptive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019, pp. 5844-5850, 2019, IEEE, 978-1-5386-6027-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chandan Sharma, Roopak Sinha |
A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDCAT ![In: Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2019, Auckland, New Zealand, December 2-5, 2019., pp. 71-80, 2019, ACM, 978-1-4503-7016-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani |
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers, pp. 246-266, 2019, Springer, 978-3-030-40222-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy Gibbons |
The School of Squiggol - A History of the Bird-Meertens Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM Workshops (2) ![In: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, pp. 35-53, 2019, Springer, 978-3-030-54996-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for Software Transactional Memory Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 3-10, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tommaso Borzone, Irinel-Constantin Morarescu, Marc Jungers, Michael Boc, Christophe Janneteau |
Hybrid formalism for consensus of a general class of multi-agent systems with biased measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 17th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019, pp. 3016-3021, 2019, IEEE, 978-3-907144-00-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ehsan M. Ahmad, Hessam S. Sarjoughian |
A Behavior Annex For AADL Using The DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: 2019 Spring Simulation Conference, SpringSim 2019, Tucson, AZ, USA, April 29 - May 2, 2019, pp. 1-12, 2019, IEEE, 978-1-5108-8388-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Vijay Gehlot |
From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2019 Winter Simulation Conference, WSC 2019, National Harbor, MD, USA, December 8-11, 2019, pp. 1519-1533, 2019, IEEE, 978-1-7281-3283-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah |
Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19), Kuching, Malaysia, 23-25 September 2019., pp. 725-738, 2019, IOS Press, 978-1-64368-012-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modelling Techniques and Applications - 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings, pp. 85-99, 2019, Springer, 978-3-030-62884-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Donato D'Ambrosio, Paola Arcuri, Mario D'Onghia, Marco Oliverio, Rocco Rongo, William Spataro, Andrea Giordano, Davide Spataro, Alessio De Rango, Giuseppe Mendicino, Salvatore Straface, Alfonso Senatore |
A General Computational Formalism for Networks of Structured Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NUMTA(1) ![In: Numerical Computations: Theory and Algorithms - Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I, pp. 243-255, 2019, Springer, 978-3-030-39080-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Liu Yang, Antoine Rauzy |
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 78-92, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Simone Pernice, Greta Romano, Giulia Russo, Marco Beccuti, Marzio Pennisi, Francesco Pappalardo 0001 |
Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2019 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2019, San Diego, CA, USA, November 18-21, 2019, pp. 2168-2175, 2019, IEEE, 978-1-7281-1867-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aarne Ranta |
Grammatical Framework: an Interlingual Grammar Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Proceedings of the 14th International Conference on Finite-State Methods and Natural Language Processing, FSMNLP 2019, Dresden, Germany, September 23-25, 2019, pp. 1-2, 2019, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Patrick R. Girard, Patrick Clarysse, Romaric Pujol, Robert Goutte, Philippe Delachartre |
Hyperquaternions: An Efficient Mathematical Formalism for Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSI ![In: Geometric Science of Information - 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019, Proceedings, pp. 116-125, 2019, Springer, 978-3-030-26979-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Bao Wang, Zuoqiang Shi, Stanley J. Osher |
ResNets Ensemble via the Feynman-Kac Formalism to Improve Natural and Robust Accuracies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada., pp. 1655-1665, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Emmanuel Haven |
Finance and the Quantum Mechanical Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECONVN ![In: Beyond Traditional Probabilistic Methods in Economics, ECONVN 2019, International Econometric Conference of Vietnam, Ho Chi Minh City, Vietnam, 14-16 January, 2019, pp. 65-75, 2019, Springer, 978-3-030-04199-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Junjun Yin 0001, Jian Yang 0011 |
Novel Formalism and Interpretation Methods for General Compact Polarimetric Sar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019, Yokohama, Japan, July 28 - August 2, 2019, pp. 3257-3260, 2019, IEEE, 978-1-5386-9154-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Babai, Ananda S. Chowdhury, Michael H. F. Wilkinson |
A Graph Formalism for Time and Memory Efficient Morphological Attribute-Space Connected Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings, pp. 281-294, 2019, Springer, 978-3-030-20866-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shozo Mori, Chee-Yee Chong, KC Chang |
Distributed Multiple Hypothesis Tracking in Finite Point Process Formalism: A Simple Two Station Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 22th International Conference on Information Fusion, FUSION 2019, Ottawa, ON, Canada, July 2-5, 2019, pp. 1-8, 2019, IEEE, 978-0-9964527-8-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Paulo González |
Teach data structures by using logical-mathematical object oriented formalism and several programing languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 38th International Conference of the Chilean Computer Science Society, SCCC 2019, Concepcion, Chile, November 4-9, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-5613-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Fabíola Gonçalves C. Ribeiro |
Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Joachim Block |
The HABM Formalism: specifying hybrid OR models by combining agent-based modeling and simulation, discrete event simulation, and system dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Leonie Amstein |
Method development and application in computational systems biology: the concept of Manatee invariants to study the TNFR1 signaling pathway in the Petri net formalism (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Aleksandar Milenkoski, Alexandru Iosup, Samuel Kounev, Kai Sachs, Diane E. Mularz, Jonathan A. Curtiss, Jason Ding, Florian Rosenberg, Piotr Rygielski |
CUP: A Formalism for Expressing Cloud Usage Patterns for Experts and Non-Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Cloud Comput. ![In: IEEE Cloud Comput. 5(3), pp. 65-76, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Danielle Macbeth |
A Non-Structuralist Alternative to Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1381-1398, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Michael Gabbay 0001 |
Formalism and Set Theoretic Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1365-1380, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Jonathan P. Seldin |
Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1301-1306, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Renu Vyas, Sanket Bapat, Purva Goel, Muthukumarasamy Karthikeyan, Sanjeev S. Tambe, Bhaskar D. Kulkarni |
Application of Genetic Programming (GP) Formalism for Building Disease Predictive Models from Protein-Protein Interactions (PPI) Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 15(1), pp. 27-37, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | H. Boukabcha, Mohammed Hachama, Ahmed Diaf |
Ro-vibrational energies of the shifted Deng-Fan oscillator potential with Feynman path integral formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 321, pp. 121-129, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pietro Baroni, Massimiliano Giacomin, Beishui Liao |
A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 257, pp. 158-207, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoqin Zeng, Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang 0001 |
An Edge-based Graph Grammar Formalism and its Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Sentient Syst. ![In: J. Vis. Lang. Sentient Syst. 4, pp. 11-19, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Guodong Shao, Alexander Brodsky 0001, R. Miller |
Modeling and optimization of manufacturing process performance using Modelica graphical representation and process analytics formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 29(6), pp. 1287-1301, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre Muzy, Bernard P. Zeigler, Franck Grammont |
Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 12(3), pp. 2982-2993, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Dae S. Chang, Sang C. Park |
Configuration space-based discrete event system specification formalism for a smart factory with real-time flexibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Eng. Res. Appl. ![In: Concurr. Eng. Res. Appl. 26(3), pp. 265-275, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kim Baraka, Manuela M. Veloso |
Mobile Service Robot State Revealing Through Expressive Lights: Formalism, Design, and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Soc. Robotics ![In: Int. J. Soc. Robotics 10(1), pp. 65-92, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yentl Van Tendeloo, Hans Vangheluwe |
Extending the DEVS Formalism with Initialization Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04527, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Lavindra de Silva |
Addendum to "HTN Acting: A Formalism and an Algorithm". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.02127, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Bao Wang, Binjie Yuan, Zuoqiang Shi, Stanley J. Osher |
EnResNet: ResNet Ensemble via the Feynman-Kac Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.10745, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Lars Johannsmeier, Malkin Gerchow, Sami Haddadin |
A Framework for Robot Manipulation: Skill Formalism, Meta Learning and Adaptive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.08576, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Taek Soo Jang |
A Regular Integral Equation Formalism for Solving the Standard Boussinesq's Equations for Variable Water Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 75(3), pp. 1721-1756, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Taek Soo Jang |
A New Functional Iterative Algorithm for the Regularized Long-Wave Equation Using an Integral Equation Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 74(3), pp. 1504-1532, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|