Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Kangli He, Yixiang Chen, Min Zhang 0007, Yuanrui Zhang	PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.	MMB/DFT	2016	DBLP DOI BibTeX RDF
13	Magali Bardet, Vlad Dragoi, Ayoub Otmani, Jean-Pierre Tillich	Algebraic properties of polar codes from a new polynomial formalism.	ISIT	2016	DBLP DOI BibTeX RDF
13	Stanislao Grazioso, Valentin Sonneville, Giuseppe Di Gironimo, Olivier Bauchau, Bruno Siciliano	A nonlinear finite element formalism for modelling flexible and soft manipulators.	SIMPAR	2016	DBLP DOI BibTeX RDF
13	Mariam Bouchakwa, Yassine Ayadi, Ikram Amous	Modeling the semantic content of the socio-tagged images based on the extended conceptual graphs formalism.	MoMM	2016	DBLP BibTeX RDF
13	Irina Basieva, Andrei Yu. Khrennikov	Testing Boundaries of Applicability of Quantum Probabilistic Formalism to Modeling of Cognition: Metaphors of Two and Three Slit Experiments.	QI	2016	DBLP DOI BibTeX RDF
13	Stefano Ferilli	The WoMan Formalism for Expressing Process Models.	ICDM	2016	DBLP DOI BibTeX RDF
13	Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson 0003, David W. Aha	Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.	AAAI Workshop: Planning for Hybrid Systems	2016	DBLP BibTeX RDF
13	Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella	UML state machine as modeling language for DEVS formalism.	CLEI	2016	DBLP DOI BibTeX RDF
13	Xinming Yan, Muriel Primot, Franck Plestan	An unified formalism based on gain switching for second order sliding mode control.	VSS	2016	DBLP DOI BibTeX RDF
13	Gyorgy Max, Béla Lantos	Tracking control of unmanned ground vehicles using state estimation and robotic formalism.	SMC	2016	DBLP DOI BibTeX RDF
13	Yosra Abbes, Sameh Najeh, Hichem Besbes	QoS-aware admission control formalism for OFDMA-based network.	Wireless Days	2016	DBLP DOI BibTeX RDF
13	Roberto F. Leonarduzzi, Hugo Touchette, Herwig Wendt, Patrice Abry, Stéphane Jaffard	Generalized Legendre transform multifractal formalism for nonconcave spectrum estimation.	SSP	2016	DBLP DOI BibTeX RDF
13	Hamra Afzaal, Nazir Ahmad Zafar	Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs.	FIT	2016	DBLP DOI BibTeX RDF
13	Reuven Gallant	Modeling Semantics sans Mathematical Formalism.	SKY	2016	DBLP DOI BibTeX RDF
13	Moath H. A. Jarrah	Modeling and Simulation of Renewable Energy Sources in Smart Grid Using DEVS Formalism.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
13	Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella	A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems.	ECMS	2016	DBLP DOI BibTeX RDF
13	Christopher M. Dellin, Siddhartha S. Srinivasa	A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors.	ICAPS	2016	DBLP BibTeX RDF
13	Roseli Suzi Wedemann, Angel Ricardo Plastino	Asymmetries in Synaptic Connections and the Nonlinear Fokker-Planck Formalism.	ICANN (1)	2016	DBLP DOI BibTeX RDF
13	Diana-Getuta Oancea, Mihai Lica Pura, Luciana Morogan	Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks.	COMM	2016	DBLP DOI BibTeX RDF
13	Kangfeng Ye	Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).		2016	RDF
13	Mingchuan Wang	A covariant 4D formalism to establish constitutive models : from thermodynamics to numerical applications. (Modèles covariants de comportement issus d'un formalisme 4D : de la thermodynamique aux applications numériques).		2016	RDF
13	Alexander H. Levis	Multi-formalism modeling for the enterprise.	Inf. Knowl. Syst. Manag.	2015	DBLP DOI BibTeX RDF
13	Franz Knuth, Christian Carbogno, Viktor Atalla, Volker Blum, Matthias Scheffler	All-electron formalism for total energy strain derivatives and stress tensor components for numeric atom-centered orbitals.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
13	Sangjoon Park, Seong-Moo Yoo	Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
13	Eric Iván Sánchez-Flores, Rodrigo Chávez-Calvillo, Todd A. Keith, Gabriel Cuevas, Tomás Rocha-Rinza, Fernando Cortés-Guzmán	Erratum: Properties of atoms in electronically excited molecules within the formalism of TDDFT [J. Comput Chem. 2014, 35, 820-828].	J. Comput. Chem.	2015	DBLP DOI BibTeX RDF
13	Ayoub Tamim, Hussein M. Yahia, Khalid Daoudi, Khalid Minaoui, Abderrahman Atillah, Driss Aboutajdine, Mohammed Faouzi Smiej	Detection of Moroccan coastal upwelling fronts in SST images using the microcanonical multiscale formalism.	Pattern Recognit. Lett.	2015	DBLP DOI BibTeX RDF
13	Hélène Leroux, David Andreu 0001, Karen Godary-Dejean	Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.	IEEE Trans. Ind. Informatics	2015	DBLP DOI BibTeX RDF
13	Souheyl Mallat, Emna Hkiri, Mohsen Maraoui, Mounir Zrigui	Semantic Network Formalism for Knowledge Representation: Towards Consideration of Contextual Information.	Int. J. Semantic Web Inf. Syst.	2015	DBLP DOI BibTeX RDF
13	Andrei Barvinsky	Heat kernel expansion in the background field formalism.	Scholarpedia	2015	DBLP DOI BibTeX RDF
13	Laïd Kahloul, Allaoua Chaoui, Karim Djouani	Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism.	Int. J. Comput. Commun. Control	2015	DBLP DOI BibTeX RDF
13	Jean Michel D. Sellier, Ivan Dimov 0001	On the simulation of indistinguishable fermions in the many-body Wigner formalism.	J. Comput. Phys.	2015	DBLP DOI BibTeX RDF
13	Richard Jozsa, Akimasa Miyake, Sergii Strelchuk	Jordan-Wigner formalism for arbitrary 2-input 2-output matchgates and their classical simulation.	Quantum Inf. Comput.	2015	DBLP DOI BibTeX RDF
13	Willem A. M. Wybo, Daniele Boccalini, Benjamin Torben-Nielsen, Marc-Oliver Gewaltig	A Sparse Reformulation of the Green's Function Formalism Allows Efficient Simulations of Morphological Neuron Models.	Neural Comput.	2015	DBLP DOI BibTeX RDF
13	Valentin Falkenhahn, Tobias Mahl, Alexander Hildebrandt, Rüdiger Neumann, Oliver Sawodny	Dynamic Modeling of Bellows-Actuated Continuum Robots Using the Euler-Lagrange Formalism.	IEEE Trans. Robotics	2015	DBLP DOI BibTeX RDF
13	Rhys Goldstein, Gabriel A. Wainer	Designing Biological Simulation Models Using Formalism-Based Functional and Spatial Decompositions.	Comput. Sci. Eng.	2015	DBLP DOI BibTeX RDF
13	Amir H. Behzadan, Carol C. Menassa, Anu R. Pradhan	Enabling real time simulation of architecture, engineering, construction, and facility management (AEC/FM) systems: a review of formalism, model architecture, and data representation.	J. Inf. Technol. Constr.	2015	DBLP BibTeX RDF
13	Kentaro Honda	Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism.	QPL	2015	DBLP DOI BibTeX RDF
13	David I. Spivak, Patrick Schultz, Ryan Wisnesky	A Purely Equational Formalism for Functorial Data Migration.	CoRR	2015	DBLP BibTeX RDF
13	Paul C. Jorgensen	A Visual Formalism for Interacting Systems.	MBT	2015	DBLP DOI BibTeX RDF
13	Bertrand Lods, Giovanni Pistone	Information Geometry Formalism for the Spatially Homogeneous Boltzmann Equation.	Entropy	2015	DBLP DOI BibTeX RDF
13	Kai Yan, Zhi Ning, Ming Lü, Chunhua Sun	Study on Droplet Size and Velocity Distributions of a Pressure Swirl Atomizer Based on the Maximum Entropy Formalism.	Entropy	2015	DBLP DOI BibTeX RDF
13	Alan R. Santos, Afonso Sales, Paulo Fernandes 0001	Using SAN formalism to evaluate Follow-The-Sun project scenarios.	J. Syst. Softw.	2015	DBLP DOI BibTeX RDF
13	Víctor M. Sánchez-Cartagena, Juan Antonio Pérez-Ortiz, Felipe Sánchez-Martínez	A generalised alignment template formalism and its application to the inference of shallow-transfer machine translation rules from scarce bilingual corpora.	Comput. Speech Lang.	2015	DBLP DOI BibTeX RDF
13	Gabriel A. Wainer	The cell-DEVS formalism as a method for activity tracking in spatial modelling and simulation.	Int. J. Simul. Process. Model.	2015	DBLP DOI BibTeX RDF
13	Stella Heras, Vicente J. Botti, Vicente Julián	An ontological-based knowledge-representation formalism for case-based argumentation.	Inf. Syst. Frontiers	2015	DBLP DOI BibTeX RDF
13	Krzysztof Cetnarowicz	A Perspective on Agent Systems - Paradigm, Formalism, Examples		2015	DOI RDF
13	Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee 0001	Hierarchical multi-formalism proofs of cyber-physical systems.	MEMOCODE	2015	DBLP DOI BibTeX RDF
13	Joel Stephen Short, Aun Neow Poo, Chow Yin Lai, Pey Yuen Tao, Marcelo H. Ang	A generalized underactuated robot system inversion method using Hamiltonian formalism.	AIM	2015	DBLP DOI BibTeX RDF
13	Fatma Ezzahra Bousnina, Mohamed Anis Bach Tobji, Mouna Chebbah, Ludovic Liétard, Boutheina Ben Yaghlane	A New Formalism for Evidential Databases.	ISMIS	2015	DBLP DOI BibTeX RDF
13	Patricia Conde Céspedes, Jean-François Marcotorchino, Emmanuel Viennet	Comparison of linear modularization criteria using the relational formalism, an approach to easily identify resolution limit.	EGC	2015	DBLP BibTeX RDF
13	Patricia Conde Céspedes, Jean-François Marcotorchino, Emmanuel Viennet	Comparison of Linear Modularization Criteria Using the Relational Formalism, an Approach to Easily Identify Resolution Limit.	EGC (best of volume)	2015	DBLP DOI BibTeX RDF
13	William B. Gardner, Alicia Gumtie, John D. Carter	Supporting Selective Formalism in CSP++ with Process-Specific Storage.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
13	Marzieh Razavi, Mathew Magimai-Doss	An HMM-based formalism for automatic subword unit derivation and pronunciation generation.	ICASSP	2015	DBLP DOI BibTeX RDF
13	Jihane Sophia Tahiri, Samir Bennani, Mohammed Khalidi Idrissi	Using an analytical formalism to diagnostic and evaluate Massive Open Online Courses.	SITA	2015	DBLP DOI BibTeX RDF
13	Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec	A role language to interpret multi-formalism System of systems models.	SysCon	2015	DBLP DOI BibTeX RDF
13	Subhrajit Sinha, Umesh Vaidya	Formalism for information transfer in dynamical network.	CDC	2015	DBLP DOI BibTeX RDF
13	Youssef Bouanan, Mathilde Forestier, Judicaël Ribault, Gregory Zacharewicz, Bruno Vallespir, Néjib Moalla	Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
13	Cristian Cleder Machado, Juliano Araujo Wickboldt, Lisandro Zambenedetti Granville, Alberto E. Schaeffer Filho	An EC-based formalism for policy refinement in software-defined networking.	ISCC	2015	DBLP DOI BibTeX RDF
13	Sorin Lerner, Stephen R. Foster, William G. Griswold	Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors.	CHI	2015	DBLP DOI BibTeX RDF
13	Naim Bajçinca, Elham Almodaresi, Minfeng Ruan	A hybrid Petri net formalism and resource allocation in distributed control systems.	Allerton	2015	DBLP DOI BibTeX RDF
13	Alireza Ensan, Eugenia Ternovska	Towards a Preference Formalism for Modular Systems.	AAAI Spring Symposia	2015	DBLP BibTeX RDF
13	Mokhtar Bouhalouane, Larbi Sekhri, Hafid Haffaf	Combining Bond Graphs and Petri Nets Formalism for Modeling Hybrid Dynamic Systems.	FNC/MobiSPC	2015	DBLP DOI BibTeX RDF
13	Sylvain Kahane, Nicolas Mazziotta	Syntactic Polygraphs. A Formalism Extending Both Constituency and Dependency.	MOL	2015	DBLP DOI BibTeX RDF
13	Panagiotis Gakis, Christos T. Panagiotakopoulos, Kyriakos N. Sgarbas, Christos Tsalidis, Vassilios S. Verykios	Construction of a Modern Greek Grammar Checker Through Mnemosyne Formalism.	SPECOM	2015	DBLP DOI BibTeX RDF
13	Ana-Maria Sutîi	MetaMod: A Modeling Formalism with Modularity at Its Core.	ASE	2015	DBLP DOI BibTeX RDF
13	Alexander H. Levis	Multi-Formalism Modeling Of Human Organizations.	ECMS	2015	DBLP DOI BibTeX RDF
13	Samir Benbelkacem, Nadia Zenati-Henda, Hayet Belghit, Samir Otmane, Abdelkader Bellarbi	Human-human Collaboration Formalism for Groupware Tailorability in Collaborative Augmented Environments.	GRAPP	2015	DBLP DOI BibTeX RDF
13	Xiaobo Li 0003, Weiping Wang 0002, Ning Zhu, Hua He, Yonglin Lei	A State-Centered Multi-formalism Behavioral Modeling Method for Combat System Effectiveness Simulation.	DS-RT	2015	DBLP DOI BibTeX RDF
13	Michael Cook 0001, Gillian Smith 0001	Formalizing Non-Formalism: Breaking the Rules of Automated Game Design.	FDG	2015	DBLP BibTeX RDF
13	Robert A. Jenders	Representation of Clinical Practice Guideline Data Elements Using the Health Level Seven Fast Healthcare Interoperability Resources (FHIR) Standard as a Proposed Data Formalism for the Arden Syntax.	AMIA	2015	DBLP BibTeX RDF
13	Jérôme Kirman	Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues. (A high-level formalism for natural language processing).		2015	RDF
13	Ines Elouedi	Transformée de Radon discrète généralisée multidirectionnelle, formalisme théorique et aplications en reconnaissance de formes. (Generalized multi directional discrete Radon transform, theoretical formalism and applications on pattern recognition).		2015	RDF
13	Kahina Gani	Using timed automata formalism for modeling and analyzing home care plans. (L'utilisation du formalisme des automates temporisés pour la modélisation et l'analyse des plans de soins à domicile).		2015	RDF
13	Siegfried Vanaverbeke, Rony Keppens, Stefaan Poedts	GRADSPMHD: A parallel MHD code based on the SPH formalism.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
13	Wei Liu 0027, Wenjie Xu, Dong Wang, Xujie Zhang, Zongtian Liu	An extending description logic for action formalism in event ontology.	Int. J. Comput. Sci. Eng.	2014	DBLP DOI BibTeX RDF
13	Gustavo Gonzalez Granadillo, Malek Belhaouane, Hervé Debar, Grégoire Jacob	RORI-based countermeasure selection using the OrBAC formalism.	Int. J. Inf. Sec.	2014	DBLP DOI BibTeX RDF
13	Michael J. North	A theoretical formalism for analyzing agent-based models.	Complex Adapt. Syst. Model.	2014	DBLP DOI BibTeX RDF
13	Eric Iván Sánchez-Flores, Rodrigo Chávez-Calvillo, Todd A. Keith, Gabriel Cuevas, Tomás Rocha-Rinza, Fernando Cortés-Guzmán	Properties of atoms in electronically excited molecules within the formalism of TDDFT.	J. Comput. Chem.	2014	DBLP DOI BibTeX RDF
13	Thomas Cederborg, Pierre-Yves Oudeyer	A social learning formalism for learners trying to figure out what a teacher wants them to do.	Paladyn J. Behav. Robotics	2014	DBLP DOI BibTeX RDF
13	Gabriele Manno, Ferdinando Chiacchio, Lucio Compagno, Diego D'Urso, Natalia Trapani	Conception of Repairable Dynamic Fault Trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
13	Jamil Aouidi, Anouar Ben Mabrouk, Mourad Ben Slimane	Addendum: "A wavelet multifractal formalism for simultaneous singularities of functions".	Int. J. Wavelets Multiresolution Inf. Process.	2014	DBLP DOI BibTeX RDF
13	Jamil Aouidi, Anouar Ben Mabrouk	A Wavelet multifractal Formalism for Simultaneous singularities of Functions.	Int. J. Wavelets Multiresolution Inf. Process.	2014	DBLP DOI BibTeX RDF
13	T. S. Jang	An integral equation formalism for solving the nonlinear Klein-Gordon equation.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
13	Salim Maakaroun, Wisama Khalil, Maxime Gautier, Philippe Chevrel	Modeling and Simulating a Narrow Tilting Car Using Robotics Formalism.	IEEE Trans. Intell. Transp. Syst.	2014	DBLP DOI BibTeX RDF
13	Ya'akov Gal, Avi Pfeffer	Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes.	CoRR	2014	DBLP BibTeX RDF
13	Rémi Dubot, Christophe Collet 0002	A hybrid formalism to parse Sign Languages.	CoRR	2014	DBLP BibTeX RDF
13	Laszlo Gyongyosi	Distribution Statistics and Random Matrix Formalism of Multicarrier Continuous-Variable Quantum Key Distribution.	CoRR	2014	DBLP BibTeX RDF
13	Ibrahim Habli, Andrew Rae	Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?	CoRR	2014	DBLP BibTeX RDF
13	Youcef Dahmani, Maâmar El-Amine Hamri	Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.	CoRR	2014	DBLP BibTeX RDF
13	Aleksandar Milenkoski, Alexandru Iosup, Samuel Kounev, Kai Sachs, Piotr Rygielski, Jason Ding, Walfredo Cirne, Florian Rosenberg	Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios.	CoRR	2014	DBLP BibTeX RDF
13	Feng Hu, Haixing Zhao, Xiu-Xiu Zhan, Chuang Liu 0001, Zi-Ke Zhang	Evolution of citation networks with the hypergraph formalism.	CoRR	2014	DBLP BibTeX RDF
13	Yurii V. Averboukh	Nash equilibrium in differential games and the quasi-strategy formalism.	Autom. Remote. Control.	2014	DBLP DOI BibTeX RDF
13	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Performance evaluation of NoSQL big-data applications using multi-formalism models.	Future Gener. Comput. Syst.	2014	DBLP DOI BibTeX RDF
13	Célia Martinie, David Navarre, Philippe A. Palanque	A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.	Int. J. Hum. Comput. Stud.	2014	DBLP DOI BibTeX RDF
13	Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Bruno Robisson, Assia Tria	A Unified Formalism for Physical Attacks.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
13	William Labecca, Osvaldo Guimarães, José Roberto C. Piqueira	Dirac's formalism combined with complex Fourier operational matrices to solve initial and boundary value problems.	Commun. Nonlinear Sci. Numer. Simul.	2014	DBLP DOI BibTeX RDF
13	Saikou Y. Diallo, Jose J. Padilla, Ross Gore, Heber Herencia-Zapana, Andreas Tolk	Toward a formalism of modeling and simulation using model theory.	Complex.	2014	DBLP DOI BibTeX RDF
13	Daniel Faria Bernardes, Mamadou Diaby, Raphaël Fournier, Françoise Fogelman-Soulié, Emmanuel Viennet	A Social Formalism and Survey for Recommender Systems.	SIGKDD Explor.	2014	DBLP DOI BibTeX RDF
13	Qi Su, Wenmin Li 0001	Cryptanalysis of enhancement on "quantum blind signature based on two-state vector formalism".	Quantum Inf. Process.	2014	DBLP DOI BibTeX RDF
13	Vahid Khanagha, Khalid Daoudi, Hussein M. Yahia	Detection of glottal closure instants based on the microcanonical multiscale formalism.	IEEE ACM Trans. Audio Speech Lang. Process.	2014	DBLP DOI BibTeX RDF