Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link
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