Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Michael A. Goodrich, Jennifer Leaf, Julie A. Adams, Matthias Scheutz	The Resilience Game: A New Formalization of Resilience for Groups of Goal-Oriented Autonomous Agents.	AAMAS	2023	DBLP BibTeX RDF
13	Fabian Huch, Yiannos Stathopoulos	Formalization Quality in Isabelle.	CICM	2023	DBLP DOI BibTeX RDF
13	Yuxiang Hong, Steven Furnell	Motivating Information Security Policy Compliance: Insights from Perceived Organizational Formalization.	J. Comput. Inf. Syst.	2022	DBLP DOI BibTeX RDF
13	Jean-Michel Muller, Laurence Rideau	Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic".	ACM Trans. Math. Softw.	2022	DBLP DOI BibTeX RDF
13	Francisco Durán 0001	Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
13	Qin Lei, Tao Li, Jia Lee, Wen-Li Xu, Ferdinand Peper	Asynchronous communicating cellular automata: Formalization, robustness and equivalence.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
13	Hiroyuki Okazaki	Formalization of Orthogonal Decomposition for Hilbert Spaces.	Formaliz. Math.	2022	DBLP DOI BibTeX RDF
13	Amelia Joslin	A formalization of one of the main claims of "FTO Obesity Variant Circuitry and Adipocyte Browning in Humans" by Claussnitzer et al. 20151.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Friederike Ehrhart, Chris T. A. Evelo	A formalization of one of the main claims of "Overlap of vitamin A and vitamin D target genes with CAKUT-related processes" by Ozisik et al. 20211.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	George P. Patrinos	A formalization of one of the main claims of "Cost-effectiveness analysis of pharmacogenomics-guided clopidogrel treatment in Spanish patients undergoing percutaneous coronary intervention" by Fragoulakis et al. 20191.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Valentin Grouès, Carlos Vega, Venkata P. Satagopam	A formalization of one of the main claims of "Mutations in STX1B, encoding a presynaptic protein, cause fever-associated epilepsy syndromes" by Schubert et al. 20141.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Victor de Boer	A formalization of one of the main claims of "A linked data model for data scopes" by De Boer et al. 20211.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Margherita Martorana	A formalization of one of the main claims of "Sonic hedgehog signaling in astrocytes" by Hill et al. 20211.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Daniel Mietchen	A formalization of one of the main claims of "Cortex reorganization of Xenopus laevis eggs in strong static magnetic fields" by Mietchen et al. 20051.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Núria Queralt-Rosinach	A formalization of one of the main claims of "Mutations in NGLY1 cause an inherited disorder of the endoplasmic reticulum-associated degradation pathway" by Enns et al. 20141.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Mariya Dimitrova	A formalization of one of the main claims of "OpenBiodiv: A knowledge graph for literature-extracted linked open data in biodiversity science" by Penev et al. 20191.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	B. Nolan Nichols	A formalization of one of the main claims of "ALS-implicated protein TDP-43 sustains levels of STMN2, a mediator of motor neuron growth and repair" by Klim et al. 20191.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Daniel Mietchen, Lyubomir Penev, Mariya Dimitrova	A formalization of one of the main claims of "Creative Commons licenses and the non-commercial condition: Implications for the re-use of biodiversity information" by Hagedorn et al. 20111.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Russell Bainer	A formalization of one of the main claims of "The cancer glycocalyx mechanically primes integrin-mediated growth and survival" by Paszek et al. 20141.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Michel Dumontier	A formalization of one of the main claims of "The FAIR Guiding Principles for scientific data management and stewardship" by Wilkinson et al. 20161.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Ricardo Usbeck	A formalization of one of the main claims of "'Dunbar's number' deconstructed" by Lindenfors et al. 20211.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Cristina-Iulia Bucur, Tobias Kuhn	Special Issue on Semantic Publishing with Formalization Papers1.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Matthew Brauer	A formalization of one of the main claims of "TDP-43 represses cryptic exon inclusion in FTD/ALS gene UNC13A" by Rosa Ma et al. 20211.	Data Sci.	2022	DBLP DOI BibTeX RDF
13	Seth Frey, Qiankun Zhong, Beril Bulat, William D. Weisman, Caitlyn Liu, Stephen Fujimoto, Hannah Wang, Charles M. Schweik	Governing Online Goods: Maturity and Formalization in Minecraft, Reddit, and World of Warcraft Communities.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
13	Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo	Formalization and evaluation of EAP-AKA' protocol for 5G network access security.	Array	2022	DBLP DOI BibTeX RDF
13	Federico Joaquín, Luciano H. Tamargo, Alejandro Javier García	Formalization and implementation of credibility dynamics through prioritized multiple revision.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
13	Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab	Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.	Symmetry	2022	DBLP DOI BibTeX RDF
13	Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just	Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications.	ACM Trans. Comput. Hum. Interact.	2022	DBLP DOI BibTeX RDF
13	Sylvie Boldo, François Clément, Louise Leclerc	A Coq Formalization of the Bochner integral.	CoRR	2022	DBLP BibTeX RDF
13	E. E. Vityaev 0001, A. G. Kolonin, A. V. Kurpatov, A. A. Molchanov	Formalization of the principles of brain Programming (Brain Principles Programming).	CoRR	2022	DBLP DOI BibTeX RDF
13	Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao 0001	Interactive Code Generation via Test-Driven User-Intent Formalization.	CoRR	2022	DBLP DOI BibTeX RDF
13	Seth Frey, Qiankun Zhong, Beril Bulat, William D. Weisman, Caitlyn Liu, Stephen Fujimoto, Hannah M. Wang, Charles M. Schweik	Governing online goods: Maturity and formalization in Minecraft, Reddit, and World of Warcraft communities.	CoRR	2022	DBLP BibTeX RDF
13	Sebastian Stock 0002, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed	IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics.	CoRR	2022	DBLP DOI BibTeX RDF
13	Kexing Ying, Rémy Degenne	A Formalization of Doob's Martingale Convergence Theorems in mathlib.	CoRR	2022	DBLP DOI BibTeX RDF
13	Lukas Westhofen 0001, Christian Neurohr, Martin Butz, Maike Scholtes, Michael Schuldes	Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving.	CoRR	2022	DBLP DOI BibTeX RDF
13	Sebastian Stock 0002, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed	Formalization of Advanced VOs semantics and VO Refinement.	CoRR	2022	DBLP DOI BibTeX RDF
13	Ichiro Hasuo	Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.	CoRR	2022	DBLP DOI BibTeX RDF
13	Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun	Formalization of a Stochastic Approximation Theorem.	CoRR	2022	DBLP BibTeX RDF
13	Sébastien Gouëzel	A formalization of the change of variables formula for integrals in mathlib.	CoRR	2022	DBLP DOI BibTeX RDF
13	Pietro Vertechi, Mattia G. Bergomi	Machines of finite depth: towards a formalization of neural networks.	CoRR	2022	DBLP DOI BibTeX RDF
13	Cristina-Iulia Bucur, Tobias Kuhn, Davide Ceolin, Jacco van Ossenbruggen	Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers.	CoRR	2022	DBLP DOI BibTeX RDF
13	Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar	On the Formalization of the Heat Conduction Problem in HOL.	CoRR	2022	DBLP DOI BibTeX RDF
13	Mai Ha Vu, Philippe A. Robert, Rahmad Akbar, Bartlomiej Swiatczak, Geir Kjetil Sandve, Dag Trygve Truslew Haug, Victor Greiff	ImmunoLingo: Linguistics-based formalization of the antibody language.	CoRR	2022	DBLP DOI BibTeX RDF
13	Ana de Almeida Borges	Towards a Coq formalization of a quantified modal logic.	CoRR	2022	DBLP DOI BibTeX RDF
13	Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
13	Alexandra Mayn, Kees van Deemter	Evaluating Automatic Difficulty Estimation of Logic Formalization Exercises.	CoRR	2022	DBLP DOI BibTeX RDF
13	Frank Dignum	Social Practices: a Complete Formalization.	CoRR	2022	DBLP DOI BibTeX RDF
13	David M. Russinoff	A Formalization of Finite Group Theory.	ACL2	2022	DBLP DOI BibTeX RDF
13	Binghui Peng, Andrej Risteski	Continual learning: a feature extraction formalization, an efficient algorithm, and fundamental obstructions.	CoRR	2022	DBLP DOI BibTeX RDF
13	Claudio Favi, Federico Campi, Michele Germani, Marco Mandolini	Engineering knowledge formalization and proposition for informatics development towards a CAD-integrated DfX system for product design.	Adv. Eng. Informatics	2022	DBLP DOI BibTeX RDF
13	Divyansh Shankar Mishra, Abhinav Agarwal, B. P. Swathi, Akshay K. C.	Natural language query formalization to SPARQL for querying knowledge bases using Rasa.	Prog. Artif. Intell.	2022	DBLP DOI BibTeX RDF
13	Jan Gaebel, Stefanie Mehlhorn, Alexander Oeser, Andreas Dietz, Thomas Neumuth, Matthaeus Stoehr	Clinical decision support models for oropharyngeal cancer treatment: design and evaluation of a multi-stage knowledge abstraction and formalization process.	Int. J. Comput. Assist. Radiol. Surg.	2022	DBLP DOI BibTeX RDF
13	Malika Boudia, Mustapha Bourahla	Formalization of Ontology Conceptualizations Using Model Transformation.	Int. J. Inf. Syst. Model. Des.	2022	DBLP DOI BibTeX RDF
13	Giovanni Formentini, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Claudio Favi	Conceptual Design for Assembly methodology formalization: systems installation analysis and manufacturing information integration in the design and development of aircraft architectures.	J. Ind. Inf. Integr.	2022	DBLP DOI BibTeX RDF
13	Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang	A Comprehensive Formalization of AADL with Behavior Annex.	Sci. Program.	2022	DBLP DOI BibTeX RDF
13	Thibault Dardinier	Formalization of a Framework for the Sound Automation of Magic Wands.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
13	Emin Karayel	Formalization of Randomized Approximation Algorithms for Frequency Moments.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
13	Tobias Klenze, Christoph Sprenger 0001	IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
13	Jose Divasón, René Thiemann	A Formalization of the Smith Normal Form in Higher-Order Logic.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero	A Coq Formalization of Lebesgue Integration of Nonnegative Functions.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Jose Divasón, René Thiemann	Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Wilmer Ricciotti, James Cheney	A Formalization of SQL with Nulls.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio	A Formalization of Dedekind Domains and Class Groups of Global Fields.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón	Formalization of the Computational Theory of a Turing Complete Functional Language Model.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
13	Olena Ilina, Igor Sinitsyn, Olga Slabospitska	Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep Uncertainty.	UkrPROG	2022	DBLP BibTeX RDF
13	Tommaso Di Noia, Francesco Maria Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo	Towards a theoretical formalization of conversational recommendation.	CIKM Workshops	2022	DBLP BibTeX RDF
13	Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff	Formalization of Intersection Traffic Rules in Temporal Logic.	IV	2022	DBLP DOI BibTeX RDF
13	Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele	Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems.	RSSRail	2022	DBLP DOI BibTeX RDF
13	Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott	On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.	ICTAC	2022	DBLP DOI BibTeX RDF
13	John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage	Formalization of the AADL Run-Time Services.	ISoLA (2)	2022	DBLP DOI BibTeX RDF
13	Zhan Shi, Lei Han 0002, Ying Qian	A Formalization and Transformation Method of UML Model.	CNIOT	2022	DBLP DOI BibTeX RDF
13	Maksym Lutskyi, Sergiy Gnatyuk, Oleksii Verkhovets, Artem Polozhentsev	Information Flows Formalization for BSD Family Operating Systems Security Against Unauthorized Investigation.	ITEST	2022	DBLP DOI BibTeX RDF
13	Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao 0021, Wenjie Mao	Formalization of Natural Language into PPTL Specification via Neural Machine Translation.	SOFL+MSVL	2022	DBLP DOI BibTeX RDF
13	Serhii Slobodian, Yuriy Kharytonov, Kateryna Kolesnikova	Formalization of the Information Model of the Shipbuilding Cluster for the Implementation of the Technological Platform Shipbuilding 4.0.	DTESI	2022	DBLP BibTeX RDF
13	Max Zeuner, Anders Mörtberg	A Univalent Formalization of Constructive Affine Schemes.	TYPES	2022	DBLP DOI BibTeX RDF
13	Robin Gröpler, Libin Kutty, Viju Sudhi, Daran Smalley	Automated Requirement Formalization Using Product Design Specifications.	REFSQ Workshops	2022	DBLP BibTeX RDF
13	Dhanaraaj Raghuveer, Dominik Maria Endres	Formalization and Implementation of ViolEx: An Active Inference perspective.	CogSci	2022	DBLP BibTeX RDF
13	Ana de Almeida Borges	Towards a Coq Formalization of a Quantified Modal Logic.	ARQNL@IJCAR	2022	DBLP BibTeX RDF
13	Chris Edward, Jane Labadin, Narayanan Kulathuramaiyer	Mathematical Modelling and Formalization of TRIZ: Trimming for Product Design.	TFC	2022	DBLP DOI BibTeX RDF
13	Maximiliano Duran	Formalization of Transformations of Complex Sentences in Quechua.	NooJ	2022	DBLP DOI BibTeX RDF
13	Mohamed Abdelghany, Sofiène Tahar	Formalization of Functional Block Diagrams Using HOL Theorem Proving.	SBMF	2022	DBLP DOI BibTeX RDF
13	Jinfu Chen 0001, Haodi Xie, Saihua Cai, Ye Geng, Yemin Yin, Zikang Zhang	A formalization-based vulnerability detection method for cross-subject network components.	TrustCom	2022	DBLP DOI BibTeX RDF
13	Serhii Lupenko, Oleksandra Orobchuk, Igor Kateryniuk	Formalization of Chinese Image Medicine Diagnostic Space in Ontooriented Information Systems for Integrative Scientific Medicine.	ITTAP	2022	DBLP BibTeX RDF
13	Lorenzo Capra, Michael Köhler-Bußmeier	A Maude Formalization of Object Nets.	ECSA (Tracks and Workshops)	2022	DBLP DOI BibTeX RDF
13	Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle	Interpretation and Formalization of the Right-of-Way Rules.	FACS	2022	DBLP DOI BibTeX RDF
13	Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun	Formalization of a Stochastic Approximation Theorem.	ITP	2022	DBLP DOI BibTeX RDF
13	Emin Karayel	Formalization of Randomized Approximation Algorithms for Frequency Moments.	ITP	2022	DBLP DOI BibTeX RDF
13	Paolino Di Felice, Gaetanino Paolone, Daniele Di Valerio, Francesco Pilotti, Matteo Sciamanna	Transforming DIGROW into a Multi-attribute Digital Maturity Model. Formalization and Implementation of the Proposal.	ICCSA (Workshops 2)	2022	DBLP DOI BibTeX RDF
13	Binghui Peng, Andrej Risteski	Continual learning: a feature extraction formalization, an efficient algorithm, and fundamental obstructions.	NeurIPS	2022	DBLP BibTeX RDF
13	Théo Abgrall	Formalization of Data Integration Transformations.	ADBIS (Short Papers)	2022	DBLP DOI BibTeX RDF
13	Mariano Caruso, Cecilia Jarne	Recurrent Neural Networks as Electrical Networks, a Formalization.	DCAI (2)	2022	DBLP DOI BibTeX RDF
13	Ayahito Saji, Yoshihide Kato, Shigeki Matsubara	A Model-Theoretic Formalization of Natural Language Inference Using Neural Network and Tableau Method.	PACLIC	2022	DBLP BibTeX RDF
13	Bernhard Ganter	Formalization of Concepts.	ISAIM	2022	DBLP BibTeX RDF
13	Juan Lagos, Ania Cravero	Process Formalization Proposal for Data Ingestion in a Data Lake.	SCCC	2022	DBLP DOI BibTeX RDF
13	Tereza Novotná, Tomer Libal	An Evaluation of Methodologies for Legal Formalization.	EXTRAAMAS@AAMAS	2022	DBLP DOI BibTeX RDF
13	Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen	Formalization and Verification of SIP Using CSP.	PDCAT	2022	DBLP DOI BibTeX RDF
13	Stef Joosten, Ella E. Roubtsova, El Makki Haddouchi	Constraint Formalization for Automated Assessment of Enterprise Models.	ICEIS (2)	2022	DBLP DOI BibTeX RDF
13	Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar	On the Formalization of the Heat Conduction Problem in HOL.	CICM	2022	DBLP DOI BibTeX RDF
13	Sébastien Gouëzel	A Formalization of the Change of Variables Formula for Integrals in mathlib.	CICM	2022	DBLP DOI BibTeX RDF
13	Dara Ly	Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C. (Formalization of a Runtime Assertion Checker for Memory Properties of C Programs).		2022	RDF