Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Erwin Haasnoot, Luuk J. Spreeuwers, Raymond N. J. Veldhuis |
Presentation attack detection and biometric recognition in a challenge-response formalism. |
EURASIP J. Inf. Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bama Srinivasan, Ranjani Parthasarathi |
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings. |
Logica Universalis |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Smahane El-Halouy, Silvia Noschese, Lothar Reichel |
A tensor formalism for multilayer network centrality measures using the Einstein product. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Abhi Gupta, Ted Moskovitz, David Alvarez-Melis, Aldo Pacchiano |
Transfer RL via the Undo Maps Formalism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Johan Arcile, Étienne André |
Timed automata as a formalism for expressing security: A survey on theory and practice. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jiahui Wang, Alfred K. C. Cheung, Aleksandra Spyra, Ian A. D. Williamson, Jian Guan, Martin F. Schubert |
Massively parallel pixel-by-pixel nanophotonic optimization using a Green's function formalism. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Sheng-Chun Kao, Hyoukjun Kwon, Michael Pellauer, Angshuman Parashar, Tushar Krishna |
A Formalism of DNN Accelerator Flexibility. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Damien Pellier, Humbert Fiorino, Maxence Grand, Alexandre Albore, Rafael Bailon-Ruiz |
HDDL 2.1: Towards Defining an HTN Formalism with Time. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Isabella María Sierra-Ponce, Angela Mireya León-Mecías, Damian Valdés-Santiago |
Wavelet leader based formalism to compute multifractal features for classifying lung nodules in X-ray images. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aoyu Wu, Wai Tong, Haotian Li 0001, Dominik Moritz, Yong Wang 0021, Huamin Qu |
ComputableViz: Mathematical Operators as a Formalism for Visualization Processing and Analysis. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer 0001 |
The Role of Formalism in System Requirements. |
ACM Comput. Surv. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Makia Nazir, Hafiz Mahfooz Ul Haque, Kiran Saleem |
A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. |
Mob. Networks Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Yu. Khrennikov |
On Applicability of Quantum Formalism to Model Decision Making: Can Cognitive Signaling Be Compatible with Quantum Theory? |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
13 | François Hublet |
IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages. |
J. Log. Lang. Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Leonie Amstein, Jörg Ackermann 0001, Jennifer Hannig, Ivan Dikic, Simone Fulda, Ina Koch |
Mathematical modeling of the molecular switch of TNFR1-mediated signaling pathways applying Petri net formalism and in silico knockout analysis. |
PLoS Comput. Biol. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Saeede Rashidi, S. Reza Hejazi, Fatemeh Mohammadizadeh |
Group formalism of Lie transformations, conservation laws, exact and numerical solutions of non-linear time-fractional Black-Scholes equation. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tahir I. Yusufaly |
Extending the relative seriality formalism for interpretable deep learning of normal tissue complication probability models. |
Mach. Learn. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Per Fahlander, Mathias Ekstedt, Preetam Mukherjee 0001, Ashish Kumar Dwivedi |
Containment Strategy Formalism in a Probabilistic Threat Modelling Framework. |
ICISSP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Chircop, Gordon J. Pace, Gerardo Schneider |
An Automata-Based Formalism for Normative Documents with Real-Time. |
JURIX |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ismail A. Mageed, Qichun Zhang |
Inductive Inferences of Z-Entropy Formalism (ZEF) Stable M/G/1 Queue with Heavy Tails. |
ICAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sheng-Chun Kao, Hyoukjun Kwon, Michael Pellauer, Angshuman Parashar, Tushar Krishna |
A Formalism of DNN Accelerator Flexibility. |
SIGMETRICS (Abstracts) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Haobin Li, Xinhu Cao, Ek Peng Chew, Kok Choon Tan, Kaustav Kundu, Hongdan Chen |
Hybrid Simulation Modeling Formalism via O2DES Framework for Mega Container Terminals. |
WSC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Neal DeBuhr, Hessam S. Sarjoughian |
Cross-Formalism Decomposition of Devs Coupled Models. |
WSC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Navigli, Rexhina Blloshmi, Abelardo Carlos Martinez Lorenzo |
BabelNet Meaning Representation: A Fully Semantic Formalism to Overcome Language Barriers. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aoyu Wu, Wai Tong, Haotian Li 0001, Dominik Moritz, Yong Wang 0021, Huamin Qu |
ComputableViz: Mathematical Operators as a Formalism for Visualisation Processing and Analysis. |
CHI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Viviana Osorio, Sonia Laviosa, Gustavo Giménez Lugo, Cynthia Villalba |
Data Modeling with Ontological Formalism for Semantic Interoperability between Health Information Systems, applied to Primary Health Care in Paraguay. |
CLEI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Patrik Christen, Olivier Del Fabbro |
Philosophy-Guided Mathematical Formalism for Complex Systems Modelling. |
SMC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Amal Beldi, Salma Sassi, Richard Chbeir, Abderrazak Jemai |
Schema Formalism for Semantic Summary Based on Labeled Graph from Heterogeneous Data. |
ACIIDS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Noureddaher Zaidi, Adel Khedher |
A Novel Electronic throttle control strategy based on Grafcet formalism under real vehicle engine operating conditions. |
CoDIT |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad-Sajad Kasaei, Mohammadreza Sharbaf, Bahman Zamani |
Towards a Formalism for Specifying N-way Model Merging Rules. |
CSICC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Victoria Döller, Dimitris Karagiannis |
Dynamic Models - The MetaMorph Formalism and Model-Operations. |
PoEM |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo |
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. |
KR |
2022 |
DBLP BibTeX RDF |
|
13 | Ilia Maslov |
Towards Empirically Validated Process Modelling Education Using a BPMN Formalism. |
RCIS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Archit Sharma, Kelvin Xu, Nikhil Sardana, Abhishek Gupta 0004, Karol Hausman, Sergey Levine, Chelsea Finn |
Autonomous Reinforcement Learning: Formalism and Benchmarking. |
ICLR |
2022 |
DBLP BibTeX RDF |
|
13 | Ben Hicks, Kirsty Kitto, Leonie Payne, Simon Buckingham Shum |
Thinking with causal models: A visual formalism for collaboratively crafting assumptions. |
LAK |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yepeng Ding, Hiroyuki Sato |
Formalism- Driven Development of Decentralized Systems. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhiting Hu |
Towards Training AI Agents with All Types of Experiences: A Standardized ML Formalism. |
|
2022 |
DOI RDF |
|
13 | Adam Faci |
Représentation, simulation et exploitation de connaissances dans le formalisme des graphes conceptuels. (Representation, simulation and exploitation of knowledge in conceptual graphs formalism). |
|
2022 |
RDF |
|
13 | Mengxue Hou |
Mori-Zwanzig formalism based reduced-order modeling for decision-making in marine autonomy. |
|
2022 |
RDF |
|
13 | Elías F. Combarro, Alejandro Piñera-Nicolás, José Ranilla, Ignacio F. Rúa |
An explanation of the Bernstein-Vazirani and Deustch-Josza algorithms with the quantum stabilizer formalism. |
Comput. Math. Methods |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ramin Sabry |
Improving SAR-Based Coherent Change Detection Products by Using an Alternate Coherency Formalism. |
IEEE Geosci. Remote. Sens. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ramtin Aryan, Anis Yazidi, Øivind Kure, Paal Einar Engelstad |
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism. |
Concurr. Comput. Pract. Exp. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi |
Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Pedro M. N. Sequeira, António Pedro Aguiar, João Pedro Hespanha |
Commutative Monoid Formalism for Weighted Coupled Cell Networks and Invariant Synchrony Patterns. |
SIAM J. Appl. Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yen Ting Lin, Yifeng Tian, Daniel Livescu, Marian Anghel |
Data-Driven Learning for the Mori-Zwanzig Formalism: A Generalization of the Koopman Learning Framework. |
SIAM J. Appl. Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Guillaume Guex, Sylvain Courtain, Marco Saerens |
Covariance and correlation measures on a graph in a generalized bag-of-paths formalism. |
J. Complex Networks |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Loïc Desgeorges, Pierre-Yves Piriou, Thibault Lemattre, Hassane Chraibi |
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. |
Reliab. Eng. Syst. Saf. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Christophe Humbert, Thomas Noblet |
A Unified Mathematical Formalism for First to Third Order Dielectric Response of Matter: Application to Surface-Specific Two-Colour Vibrational Optical Spectroscopy. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Maedeh Mollai, Seyed Majid Saberi Fathi |
An Application of the Madelung Formalism for Dissipating and Decaying Systems. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Qun-Ying Xie, Qi-Ming Fu, Tao-Tao Sui, Li Zhao, Yi Zhong |
First-Order Formalism and Thick Branes in Mimetic Gravity. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Markus Lazar |
Displacements and Stress Functions of Straight Dislocations and Line Forces in Anisotropic Elasticity: A New Derivation and Its Relation to the Integral Formalism. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Marcel Mellmann, Markus Scholle |
Symmetries and Related Physical Balances for Discontinuous Flow Phenomena within the Framework of Lagrange Formalism. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kevin K. Lin, Fei Lu 0016 |
Data-driven model reduction, Wiener projections, and the Koopman-Mori-Zwanzig formalism. |
J. Comput. Phys. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhen Zhang 0029, Yeonjong Shin, George Em Karniadakis |
GFINNs: GENERIC Formalism Informed Neural Networks for Deterministic and Stochastic Dynamical Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Andrey Boris Khesin, Kevin Ren |
Extending the Graph Formalism to Higher-Order Gates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Daniel Foguelman, Esteban Lanzarotti, Emanuel Ferreyra, Rodrigo D. Castro |
Simulation of emergence in artificial societies: a practical model-based approach with the EB-DEVS formalism. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Nikolaos Kekatos |
Encoding sinusoidal functions in hybrid automata formalism. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Archit Sharma, Kelvin Xu, Nikhil Sardana, Abhishek Gupta 0004, Karol Hausman, Sergey Levine, Chelsea Finn |
Autonomous Reinforcement Learning: Formalism and Benchmarking. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Johannes Treutlein, Michael Dennis 0001, Caspar Oesterheld, Jakob N. Foerster |
A New Formalism, Method and Open Issues for Zero-Shot Coordination. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Pedro M. N. Sequeira, António Pedro Aguiar, João P. Hespanha 0001 |
Commutative Monoid Formalism for Weighted Coupled Cell Networks and Invariant Synchrony Patterns. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Tahir I. Yusufaly |
Extending the Relative Seriality Formalism for Interpretable Deep Learning of Normal Tissue Complication Probability Models. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | X. San Liang |
An overview of the quantitative causality analysis and causal graph reconstruction based on a rigorous formalism of information flow. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Artur O. Lopes, Rafael O. Ruggiero |
Nonequilibrium in Thermodynamic Formalism: the Second Law, gases and Information Geometry. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Sabah Al-Fedaghi |
Diagrammatic Formalism for Complex Systems: More than One Way to Eventize a Railcar System. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Zhiting Hu, Eric P. Xing |
Panoramic Learning with A Standardized Machine Learning Formalism. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Jakob Prange, Nathan Schneider 0001, Lingpeng Kong |
Oracle Linguistic Graphs Complement a Pretrained Transformer Language Model: A Cross-formalism Comparison. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Leo Egghe, Ronald Rousseau 0001 |
The h-index formalism. |
Scientometrics |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Z. Khani, S. Vahit Mousavi, Salvador Miret-Artés |
Momentum-Space Decoherence of Distinguishable and Identical Particles in the Caldeira-Leggett Formalism. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Liangrong Peng, Liu Hong |
Recent Advances in Conservation-Dissipation Formalism for Irreversible Processes. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yufeng Liu, Fan Yang |
EGG+: A graph grammar formalism with uncertain structure processing mechanism. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Michael Detlefsen |
Formalism and Hilbert's understanding of consistency problems. |
Arch. Math. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jung Hyun Im, Ha-Ryoung Oh, Yeong Rak Seong |
Simulation of a Mobile IoT System Using the DEVS Formalism. |
J. Inf. Process. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | David J. Pearce 0001 |
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. |
ACM Trans. Program. Lang. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Alqmase, Husni Al-Muhtaseb, Habib Rabaan |
Sports-fanaticism formalism for sentiment analysis in Arabic text. |
Soc. Netw. Anal. Min. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Shahid Khan 0002, Matthias Volk 0001, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou |
Model Checking the Multi-Formalism Language FIGARO. |
DSN |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anders Lager, Alessandro V. Papadopoulos, Giacomo Spampinato, Thomas Nolte |
A Task Modelling Formalism for Industrial Mobile Robot Applications. |
ICAR |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Michael Haustermann, David Mosteller, Daniel Moldt |
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice |
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. |
EPEW |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jian-Jia Chen, Wen-Hung Huang 0001, Georg von der Brüggen, Kuan-Hsun Chen, Niklas Ueter |
On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems. |
A Journey of Embedded and Cyber-Physical Systems |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jon Bratseth, Håvard Pettersen, Lester Solbakken |
A Tensor Formalism for Computer Science. |
ISEEIE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rudi Stouffs |
A Multi-formalism Shape Grammar Interpreter. |
CAAD Futures |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nian-Ze Lee, Jie-Hong R. Jiang |
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty. |
AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Fernando Asteasuain, Luciana Rodriguez Caldeira |
A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems. |
CACIC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Block |
Introducing a Hybrid Simulation Modeling Formalism to Specify Complex Adaptive Systems on the Conceptual Level. |
SMC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Géry de Saxcé |
A Variational Principle of Minimum for Navier-Stokes Equation Based on the Symplectic Formalism. |
GSI (2) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Treutlein, Michael Dennis 0001, Caspar Oesterheld, Jakob N. Foerster |
A New Formalism, Method and Open Issues for Zero-Shot Coordination. |
ICML |
2021 |
DBLP BibTeX RDF |
|
13 | Roula El Nahas |
On the Use of a Spacetime Formalism for Thermomechanical Applications. (Un formalisme espace-temps pour les applications thermomécaniques). |
|
2021 |
RDF |
|
13 | Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré |
A DEVS-based pivotal modeling formalism and its verification and validation framework. |
Simul. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Donghua Shi, Dmitry V. Zenkov, Anthony M. Bloch |
Hamel's Formalism for Classical Field Theories. |
J. Nonlinear Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi |
Multi-formalism Models for Performance Engineering. |
Future Internet |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sam Sanders |
Reverse formalism 16. |
Synth. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Piotr Kosinski, Pawel Maslanka |
Relativistic Symmetries and Hamiltonian Formalism. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Leonard Mitu, Eliza Chircan, Maria Luminita Scutaru, Sorin Vlase |
Kane's Formalism Used to the Vibration Analysis of a Wind Water Pump. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Martin Land |
A 4+1 Formalism for the Evolving Stueckelberg-Horwitz-Piron Metric. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
13 | I. V. Fialkovsky, Mikhail Zubkov |
Elastic Deformations and Wigner-Weyl Formalism in Graphene. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bao Wang, Binjie Yuan, Zuoqiang Shi, Stanley J. Osher |
EnResNet: ResNets Ensemble via the Feynman-Kac Formalism for Adversarial Defense and Beyond. |
SIAM J. Math. Data Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qian Wang 0021, Nicolò Ripamonti, Jan S. Hesthaven |
Recurrent neural network closure of parametric POD-Galerkin reduced-order models based on the Mori-Zwanzig formalism. |
J. Comput. Phys. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Romain Fiévet, Hugues Deniau, Estelle Piot |
Strong compact formalism for characteristic boundary conditions with discontinuous spectral methods. |
J. Comput. Phys. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Kushal Ajaybhai Anjaria |
Computational implementation and formalism of FAIR data stewardship principles. |
Data Technol. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|