Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Hong Jun Jeon, Smitha Milli, Anca D. Dragan	Reward-rational (implicit) choice: A unifying formalism for reward learning.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
13	Ilia Kuznetsov, Iryna Gurevych	A Matter of Framing: The Impact of Linguistic Formalism on Probing Results.	CoRR	2020	DBLP BibTeX RDF
13	Patrik Christen	System Metamodel Formalism.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
13	Md. Shamim Hussain	An Improved Physics Based Numerical Model of Tunnel FET Using 2D NEGF Formalism.	CoRR	2020	DBLP BibTeX RDF
13	Yepeng Ding, Hiroyuki Sato	Formalism-Driven Development of Decentralized Systems.	CoRR	2020	DBLP BibTeX RDF
13	M. S. Ishwarya, Aswani Kumar Cherukuri	Decision-making in cognitive paradoxes with contextuality and quantum formalism.	Appl. Soft Comput.	2020	DBLP DOI BibTeX RDF
13	Thomas Hudson, Xingjie H. Li	Coarse-Graining of Overdamped Langevin Dynamics via the Mori-Zwanzig Formalism.	Multiscale Model. Simul.	2020	DBLP DOI BibTeX RDF
13	Rodrigo Cofré, Cesar Maldonado, Bruno Cessac	Thermodynamic Formalism in Neuronal Dynamics and Spike Train Statistics.	Entropy	2020	DBLP DOI BibTeX RDF
13	András Szegleti, Ferenc Márkus	Dissipation in Lagrangian Formalism.	Entropy	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.	Entropy	2020	DBLP DOI BibTeX RDF
13	Lorenzo Tiacci	Object-oriented event-graph modeling formalism to simulate manufacturing systems in the Industry 4.0 era.	Simul. Model. Pract. Theory	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.	Int. J. Simul. Process. Model.	2020	DBLP DOI BibTeX RDF
13	Alexander Sosnitsky, Anatoly Shevchenko	Application of the universal meta-formalism to substantiate and research intelligence properties.	CMIS	2020	DBLP BibTeX RDF
13	Kiran Saleem, Hafiz Mahfooz Ul Haque	Modelling Situation-Aware Formalism Using BDI Reasoning Agents.	ICCASA/ICTCC	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.	LOD (2)	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.	HCI (31)	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.	XAILA@JURIX	2020	DBLP BibTeX RDF
13	Heng Zheng, Davide Grossi, Bart Verheij	Precedent Comparison in the Precedent Model Formalism: A Technical Note.	JURIX	2020	DBLP DOI BibTeX RDF
13	Necmiye Ozay	Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety.	HSCC	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.	SACI	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.	AIME	2020	DBLP DOI BibTeX RDF
13	Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé	A Formalism for Specifying Model Merging Conflicts.	SAM	2020	DBLP DOI BibTeX RDF
13	Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru	A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules.	ICCS	2020	DBLP DOI BibTeX RDF
13	Damien Morard	A formalism to model higher-order function.	Programming	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.	ICCSA (2)	2020	DBLP DOI BibTeX RDF
13	Ilia Kuznetsov, Iryna Gurevych	A matter of framing: The impact of linguistic formalism on probing results.	EMNLP (1)	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.	ICINCO	2020	DBLP DOI BibTeX RDF
13	Hong Jun Jeon, Smitha Milli, Anca D. Dragan	Reward-rational (implicit) choice: A unifying formalism for reward learning.	NeurIPS	2020	DBLP BibTeX RDF
13	Dhaou Garai, Rafika El Harabi, Faouzi Bacha	Hamiltonian Bond Graph formalism for generating energetic redundant relations.	SSD	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).		2020	RDF
13	Jorge Júlvez, Stephen G. Oliver	Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters.	Discret. Event Dyn. Syst.	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.	Softw. Syst. Model.	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.	IEEE Access	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.	IEEE Trans. Instrum. Meas.	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.	BMC Bioinform.	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.	IEEE Trans. Geosci. Remote. Sens.	2019	DBLP DOI BibTeX RDF
13	Mourad Ben Slimane, Moez Ben Abid, Ines Ben Omrane, Borhen Halouani	Directional Thermodynamic Formalism.	Symmetry	2019	DBLP DOI BibTeX RDF
13	Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic	Proving properties of the Chord protocol using the ASM formalism.	Theor. Comput. Sci.	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.	Nucleic Acids Res.	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.	CoRR	2019	DBLP BibTeX RDF
13	Kevin K. Lin, Fei Lu 0016	Data-driven model reduction, Wiener projections, and the Mori-Zwanzig formalism.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2019	DBLP BibTeX RDF
13	Paul Diac, Liana Tucar, Radu Mereuta	Extending the Service Composition Formalism with Relational Parameters.	CoRR	2019	DBLP BibTeX RDF
13	Vojtech Kovarík, Viliam Lisý	Problems with the EFG formalism: a solution attempt using observations.	CoRR	2019	DBLP BibTeX RDF
13	Changjian Li 0005, Krzysztof Czarnecki 0001	Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective.	CoRR	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.	ARIMA J.	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.	J. Sci. Comput.	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.	IEEE Trans. Signal Process.	2019	DBLP DOI BibTeX RDF
13	Chengjun Hou, Theodore T. Allen, Nicholas G. Hall, Vanesa S. Comuzzi	Modeling formalism and notifications in project management.	Comput. Ind. Eng.	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.	Comput. Ind. Eng.	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.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
13	Pavithra Udayakumar, Preethika Kumar-Eslami	Kraus operator formalism for quantum multiplexer operations for arbitrary two-qubit mixed states.	Quantum Inf. Process.	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.	Quantum Inf. Process.	2019	DBLP DOI BibTeX RDF
13	Emmanuel Haven	The Quantum Formalism in Social Science: A Brief Excursion.	Structural Changes and their Econometric Modeling	2019	DBLP DOI BibTeX RDF
13	Lars Johannsmeier, Malkin Gerchow, Sami Haddadin	A Framework for Robot Manipulation: Skill Formalism, Meta Learning and Adaptive Control.	ICRA	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.	BDCAT	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.	ENASE (Selected Papers)	2019	DBLP DOI BibTeX RDF
13	Jeremy Gibbons	The School of Squiggol - A History of the Bird-Meertens Formalism.	FM Workshops (2)	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.	SBLP	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.	ECC	2019	DBLP DOI BibTeX RDF
13	Ehsan M. Ahmad, Hessam S. Sarjoughian	A Behavior Annex For AADL Using The DEVS Formalism.	SpringSim	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.	WSC	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.	SoMeT	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.	ASMTA	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.	NUMTA(1)	2019	DBLP DOI BibTeX RDF
13	Liu Yang, Antoine Rauzy	FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses.	IMBSA	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.	BIBM	2019	DBLP DOI BibTeX RDF
13	Aarne Ranta	Grammatical Framework: an Interlingual Grammar Formalism.	FSMNLP	2019	DBLP BibTeX RDF
13	Patrick R. Girard, Patrick Clarysse, Romaric Pujol, Robert Goutte, Philippe Delachartre	Hyperquaternions: An Efficient Mathematical Formalism for Geometry.	GSI	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.	NeurIPS	2019	DBLP BibTeX RDF
13	Emmanuel Haven	Finance and the Quantum Mechanical Formalism.	ECONVN	2019	DBLP DOI BibTeX RDF
13	Junjun Yin 0001, Jian Yang 0011	Novel Formalism and Interpretation Methods for General Compact Polarimetric Sar.	IGARSS	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.	ISMM	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.	FUSION	2019	DBLP BibTeX RDF
13	Paulo González	Teach data structures by using logical-mathematical object oriented formalism and several programing languages.	SCCC	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.		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.		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)		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.	IEEE Cloud Comput.	2018	DBLP DOI BibTeX RDF
13	Danielle Macbeth	A Non-Structuralist Alternative to Formalism.	FLAP	2018	DBLP BibTeX RDF
13	Michael Gabbay 0001	Formalism and Set Theoretic Truth.	FLAP	2018	DBLP BibTeX RDF
13	Jonathan P. Seldin	Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry.	FLAP	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.	IEEE ACM Trans. Comput. Biol. Bioinform.	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.	Appl. Math. Comput.	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.	Artif. Intell.	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.	J. Vis. Lang. Sentient Syst.	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.	J. Intell. Manuf.	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.	IEEE Syst. J.	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.	Concurr. Eng. Res. Appl.	2018	DBLP DOI BibTeX RDF
13	Kim Baraka, Manuela M. Veloso	Mobile Service Robot State Revealing Through Expressive Lights: Formalism, Design, and Evaluation.	Int. J. Soc. Robotics	2018	DBLP DOI BibTeX RDF
13	Yentl Van Tendeloo, Hans Vangheluwe	Extending the DEVS Formalism with Initialization Information.	CoRR	2018	DBLP BibTeX RDF
13	Lavindra de Silva	Addendum to "HTN Acting: A Formalism and an Algorithm".	CoRR	2018	DBLP BibTeX RDF
13	Bao Wang, Binjie Yuan, Zuoqiang Shi, Stanley J. Osher	EnResNet: ResNet Ensemble via the Feynman-Kac Formalism.	CoRR	2018	DBLP BibTeX RDF
13	Lars Johannsmeier, Malkin Gerchow, Sami Haddadin	A Framework for Robot Manipulation: Skill Formalism, Meta Learning and Adaptive Control.	CoRR	2018	DBLP BibTeX RDF
13	Taek Soo Jang	A Regular Integral Equation Formalism for Solving the Standard Boussinesq's Equations for Variable Water Depth.	J. Sci. Comput.	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.	J. Sci. Comput.	2018	DBLP DOI BibTeX RDF