Search results for "confluence"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu 0001	Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Mauricio Ayala-Rincón, Samuel Mimram	Introduction to the special issue: Confluence.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Tim Elmo Feiten, Kristopher Holland, Anthony Chemero	Scalar symmetries and strange tools: Learning Analytics and Embodied Design as techno-cultural confluence.	Int. J. Child Comput. Interact.	2022	DBLP DOI BibTeX RDF
17	Rimjhim, Sourav Kumar Dandapat	Is gender-based violence a confluence of culture? Empirical evidence from social media.	PeerJ Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Caroline J. Klivans, Patrick Liscio	Confluence in labeled chip-firing.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
17	Yuya Matsumoto, Ryo Natsuaki, Akira Hirose	Full-Learning Rotational Quaternion Convolutional Neural Networks and Confluence of Differently Represented Data for PolSAR Land Classification.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
17	Bo Li, Shuiguang Deng, Xueqiang Yan, Schahram Dustdar	The Confluence of Blockchain and 6G Network: Scenarios Analysis and Performance Assessment.	CoRR	2022	DBLP DOI BibTeX RDF
17	Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth	Algebraic coherent confluence and higher globular Kleene algebras.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Salvador Lucas, Miguel Vítores, Raúl Gutiérrez	Proving and disproving confluence of context-sensitive rewriting.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
17	Zhiheng Yuan, Yuanfei Fang, Xinran Qu, Yanjun Shi	Optimization of On-Ramp Confluence Sequence for Internet of Vehicles with Graph Model.	ChineseCSCW (2)	2022	DBLP DOI BibTeX RDF
17	Kentaro Kikuchi	Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting.	ICTAC	2022	DBLP DOI BibTeX RDF
17	José Miguel Blanco 0002, Bruno Rossi 0001, Tomás Pitner	Tools for the Confluence of Semantic Web and IoT: A Survey.	ENASE	2022	DBLP DOI BibTeX RDF
17	Kiraku Shintani, Nao Hirokawa	Compositional Confluence Criteria.	FSCD	2022	DBLP DOI BibTeX RDF
17	Belinda Felpel, Frank Köhne	BPMN Modeler for Confluence.	BPM (PhD/Demos)	2022	DBLP BibTeX RDF
17	Wesley Koo, Charles Eesley	A Confluence of Tech and Talent: Rural Online Entrepreneurship and Return Migration.	HICSS	2022	DBLP BibTeX RDF
17	Aashish Bhandari, Siddhant Bikram Shah, Prashant Giridhar Shambharkar	The Confluence of AI and Blockchain in Tackling the COVID-19 Pandemic.	ICCCNT	2022	DBLP DOI BibTeX RDF
17	Andreas Görres	Termination and Confluence of an Extended CHASE Algorithm.	ADBIS (Short Papers)	2022	DBLP DOI BibTeX RDF
17	Ronald Souza, Luciano Pezzi, Sebastiaan Swart, Fabrício Oliveira, Marcelo Santini	Air-Sea Interactions over Eddies in the Brazil-Malvinas Confluence.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
17	Meridel Rubenstein, Peer Sathikh	Eden in Iraq: a wastewater design project as bio-art - a confluence of nature and culture, design and ecology, in Southern Iraq marshes.	AI Soc.	2021	DBLP DOI BibTeX RDF
17	Graham Campbell 0001, Detlef Plump	Confluence up to garbage in graph transformation.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Yuki Honda, Koji Nakazawa, Ken-etsu Fujita	Confluence Proofs of Lambda-Mu-Calculi by Z Theorem.	Stud Logica	2021	DBLP DOI BibTeX RDF
17	Aart Middeldorp, Julian Nagele, Kiraku Shintani	CoCo 2019: report on the eighth confluence competition.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
17	Tao Li, Guanze Peng, Quanyan Zhu, Tamer Basar	The Confluence of Networks, Games and Learning.	CoRR	2021	DBLP BibTeX RDF
17	Graham Campbell 0001, Detlef Plump	Confluence up to Garbage in Graph Transformation.	CoRR	2021	DBLP BibTeX RDF
17	Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi	String Diagram Rewrite Theory III: Confluence with and without Frobenius.	CoRR	2021	DBLP BibTeX RDF
17	Rafael Romero 0002, Alejandro Díaz-Caro	A note on confluence in typed probabilistic lambda calculi.	LSFA	2021	DBLP DOI BibTeX RDF
17	Ryu Hasegawa	Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic.	CoRR	2021	DBLP BibTeX RDF
17	María Luisa Alvite Díez, Leticia Barrionuevo	Confluence between library and information science and digital humanities in Spain. Methodologies, standards and collections.	J. Documentation	2021	DBLP DOI BibTeX RDF
17	Giuseppe Riva 0001, Brenda K. Wiederhold	Human-Robot Confluence: Toward a Humane Robotics.	Cyberpsychology Behav. Soc. Netw.	2021	DBLP DOI BibTeX RDF
17	Anupam Das 0002	On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.	FSCD	2021	DBLP DOI BibTeX RDF
17	Karthik Shivashankar, Venkat Bakthavatchaalam	Smart Municipal Governance System Using Confluence of Technologies in a Developing Country Scenario.	ICEGOV	2021	DBLP DOI BibTeX RDF
17	Gaspard Férey, Jean-Pierre Jouannaud	Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories.	PPDP	2021	DBLP DOI BibTeX RDF
17	Arun Venkatachar	Confluence of AI/ML with EDA and Software Engineering.	ISQED	2021	DBLP DOI BibTeX RDF
17	Dieter Schmalstieg	Visualization in the Real World: Confluence of Visualization and Augmented Reality.	VISIGRAPP	2021	DBLP BibTeX RDF
17	Raúl Gutiérrez, Salvador Lucas, Miguel Vítores	Confluence of Conditional Rewriting in Logic Form.	FSTTCS	2021	DBLP DOI BibTeX RDF
17	Ira Fesefeldt, Christoph Matheja, Thomas Noll 0001, Johannes Schulte	Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.	ICGT	2021	DBLP DOI BibTeX RDF
17	Tana Qian, Tsuguki Kinoshita, Minoru Fujii, Yuhai Bao	Analyzing the Uncertainty of Degree Confluence Project for Validating Global Land-Cover Maps Using Reference Data-Based Classification Schemes.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
17	Shuiguang Deng, Hailiang Zhao, Weijia Fang, Jianwei Yin, Schahram Dustdar, Albert Y. Zomaya	Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence.	IEEE Internet Things J.	2020	DBLP DOI BibTeX RDF
17	Johannes Gehrke	Technical Perspective: Checking Invariant Confluence, In Whole or In Parts.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
17	Michael J. Whittaker, Joseph M. Hellerstein	Checking Invariant Confluence, In Whole or In Parts.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
17	E. A. Huerta, Asad Khan, Xiaobo Huang, Minyang Tian, Maksim Levental, Ryan Chard, Wei Wei, Maeve Heflin, Daniel S. Katz, Volodymyr V. Kindratenko, Dawei Mu, Ben Blaiszik, Ian T. Foster	Confluence of Artificial Intelligence and High Performance Computing for Accelerated, Scalable and Reproducible Gravitational Wave Detection.	CoRR	2020	DBLP BibTeX RDF
17	Andrew Shepley, Gregory Falzon, Paul Kwan	Confluence: A Robust Non-IoU Alternative to Non-Maxima Suppression in Object Detection.	CoRR	2020	DBLP BibTeX RDF
17	Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth	Algebraic coherent confluence and higher-dimensional globular Kleene algebras.	CoRR	2020	DBLP BibTeX RDF
17	Jörg Endrullis, Jan Willem Klop, Roy Overbeek	Decreasing Diagrams for Confluence and Commutation.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Lukasz Czajka 0001	A new coinductive confluence proof for infinitary lambda calculus.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Francisco Durán 0001, José Meseguer 0001, Camilo Rocha	Ground confluence of order-sorted conditional specifications modulo axioms.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
17	Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi	Polymorphic computation systems: Theory and practice of confluence with call-by-value.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
17	Reza Shokri Kalan	Decentralization: A Confluence of Data and Digital Personality.	SNAMS	2020	DBLP DOI BibTeX RDF
17	H. Patricia McKenna	Beyond Confluence, Integration and Symbiosis: Creating More Aware Relationships in Smart Cities.	IHSI	2020	DBLP DOI BibTeX RDF
17	Ivan Tsmots, Oleksandr Kuzmin, Vasyl Dubuk, Volodymyr Antoniv	Improvement and Orientation of Method of Data Arrays Sorting by Confluence on Architecture of Graphic Processor Unit.	CSIT	2020	DBLP DOI BibTeX RDF
17	Graham Campbell 0001, Detlef Plump	Confluence up to Garbage.	ICGT	2020	DBLP DOI BibTeX RDF
17	Kentaro Kikuchi, Takahito Aoto 0001	Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables.	LOPSTR	2020	DBLP DOI BibTeX RDF
17	Augusto Casaca, Srinivas Katkoori, Sandip Ray, Leon Strous (eds.)	Internet of Things. A Confluence of Many Disciplines - Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers	IFIPIoT	2020	DBLP DOI BibTeX RDF
17	Nobutaka Kito, Kazuyoshi Takagi, Naofumi Takagi	Conversion of Logic Gates in Netlists for Rapid Single Flux Quantum Circuits Utilizing Confluence of Pulses.	IPSJ Trans. Syst. LSI Des. Methodol.	2019	DBLP DOI BibTeX RDF
17	Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai	Conditions for confluence of innermost terminating term rewriting systems.	Appl. Algebra Eng. Commun. Comput.	2019	DBLP DOI BibTeX RDF
17	Maja H. Kirkeby, Henning Christiansen 0001	Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.	Int. J. Approx. Reason.	2019	DBLP DOI BibTeX RDF
17	Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi	Confluence by Critical Pair Analysis Revisited (Extended Version).	CoRR	2019	DBLP BibTeX RDF
17	Shuiguang Deng, Hailiang Zhao, Jianwei Yin, Schahram Dustdar, Albert Y. Zomaya	Edge Intelligence: the Confluence of Edge Computing and Artificial Intelligence.	CoRR	2019	DBLP BibTeX RDF
17	Christine Bauer 0001	The Potential of the Confluence of Theoretical and Algorithmic Modeling in Music Recommendation.	CoRR	2019	DBLP BibTeX RDF
17	Jörg Endrullis, Jan Willem Klop, Roy Overbeek	Decreasing Diagrams for Confluence and Commutation.	CoRR	2019	DBLP BibTeX RDF
17	Xin Liu 0029, Alina Chertock, Alexander Kurganov, Karlan Wolfkill	One-Dimensional/Two-Dimensional Coupling Approach with Quadrilateral Confluence Region for Modeling River Systems.	J. Sci. Comput.	2019	DBLP DOI BibTeX RDF
17	Ramesh Hariharan	Genome Sequencing for Disease Diagnosis: The Confluence of Biology and Computing.	HiPC	2019	DBLP DOI BibTeX RDF
17	Jörg Endrullis, Jan Willem Klop	Confluence of the Chinese Monoid.	The Art of Modelling Computational Systems	2019	DBLP DOI BibTeX RDF
17	Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda	Finite Response and Confluence of State-based Supervisory Controllers.	CASE	2019	DBLP DOI BibTeX RDF
17	Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi	Confluence by Critical Pair Analysis Revisited.	CADE	2019	DBLP DOI BibTeX RDF
17	Christian Sternagel, Akihisa Yamada 0002	Reachability Analysis for Termination and Confluence of Rewriting.	TACAS (1)	2019	DBLP DOI BibTeX RDF
17	Aart Middeldorp, Julian Nagele, Kiraku Shintani	Confluence Competition 2019.	TACAS (3)	2019	DBLP DOI BibTeX RDF
17	Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp	A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.	CPP	2019	DBLP DOI BibTeX RDF
17	Maria Maximova	Behavior and confluence analysis of M-adhesive transformation systems using M-functors.		2019	RDF
17	William Tärneberg	The confluence of Cloud computing, 5G, and IoT in the Fog. (PDF / PS)		2019	RDF
17	Viktor Mähler	The Thing About the Internet of Things: Scoping the Social Science Discourse in IoT Research.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Roger da Silva Machado, Ricardo Almeida 0002, Rogério Albandes, Ana Marilza Pernas, Adenauer C. Yamin	An IoT Architecture to Provide Hybrid Context Reasoning.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Kemal Akkaya	Curriculum Design Requirements and Challenges for the First Bachelor's Degree on IoT in the US.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Motahareh Pourbehzadi, Taher Niknam, Abdollah Kavousi-Fard, Yasin Yilmaz	IoT in Smart Grid: Energy Management Opportunities and Security Challenges.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Vishalini Laguduva Ramnath, Sathyanarayanan N. Aakur, Srinivas Katkoori	Latent Space Modeling for Cloning Encrypted PUF-Based Authentication.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Kwang-Cheng Chen, Yingze Wang, Zixiang Nie, Qimei Cui	Toward Holistic Integration of Computing and Wireless Networking.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Mauricio Moreira Neto, Emanuel Ferreira Coutinho, Leonardo de Oliveira Moreira, José Neuman de Souza	Toward Blockchain Technology in IoT Applications: An Analysis for E-health Applications.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Laavanya Rachakonda, Akshay Sharma, Saraju P. Mohanty, Elias Kougianos	Good-Eye: A Combined Computer-Vision and Physiological-Sensor Based Device for Full-Proof Prediction and Detection of Fall of Adults.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Matthew Lewandowski, Srinivas Katkoori	Lightweight Countermeasure to Differential-Plaintext Attacks on Permutation Ciphers.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Flávio Oquendo	Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Felipe Rocha, Lucas Cristiano Dantas, Luís Felipe Santos, Samela Ferreira, Bruna Soares, Alan Fernandes, Everton Cavalcante, Thaís Batista	Energy Efficiency in Smart Buildings: An IoT-Based Air Conditioning Control System.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Brooks Olney, Shakil Mahmud, Robert Karam	Evaluating Edge Processing Requirements in Next Generation IoT Network Architectures.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Rogério Albandes, Roger da Silva Machado, João Ladislau Lopes, Jorge L. V. Barbosa, Adenauer C. Yamin	An IoT Proposal for the Irrigation Management Exploring Context Awareness.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Srivalli Boddupalli, Sandip Ray	REDEM: Real-Time Detection and Mitigation of Communication Attacks in Connected Autonomous Vehicle Applications.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Yasaswy Kasarabada, David M. Luria, Ranga Vemuri	Trust in IoT Devices: A Logic Encryption Perspective.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Rogério Albandes, Roger da Silva Machado, Jorge L. V. Barbosa, Adenauer C. Yamin	I2VSM Approach: Self-monitoring of Patients Exploring Situational Awareness in IoT.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Md Fahim Faysal Khan, Nicholas Anton Jao, Changchi Shuai, Keni Qiu, Mehrdad Mahdavi, Vijaykrishnan Narayanan	Mixed Precision Quantization Scheme for Re-configurable ReRAM Crossbars Targeting Different Energy Harvesting Scenarios.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Bryan Pearson, Lan Luo, Cliff C. Zou, Jacob Crain, Yier Jin, Xinwen Fu	Building a Low-Cost and State-of-the-Art IoT Security Hands-On Laboratory.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Ricardo Reis 0001	Challenges in the Design of Integrated Systems for IoT.	IFIPIoT	2019	DBLP DOI BibTeX RDF
17	Feng Liang, Francis C. M. Lau 0001, Heming Cui, Cho-Li Wang	Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.	IEEE Trans. Parallel Distributed Syst.	2018	DBLP DOI BibTeX RDF
17	Sandeep K. Shukla	Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
17	Henning Christiansen 0001, Maja H. Kirkeby	Confluence of CHR revisited: invariants and modulo equivalence.	CoRR	2018	DBLP BibTeX RDF
17	Lukasz Czajka 0001	A new coinductive confluence proof for infinitary lambda-calculus.	CoRR	2018	DBLP BibTeX RDF
17	Anton Salikhmetov	Upward confluence in the interaction calculus.	CoRR	2018	DBLP BibTeX RDF
17	Henning Christiansen 0001, Maja H. Kirkeby	Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs.	CoRR	2018	DBLP BibTeX RDF
17	Pedro R. D'Argenio, Raúl E. Monti	Input/Output Stochastic Automata with Urgency: Confluence and weak determinism.	CoRR	2018	DBLP BibTeX RDF
17	Daniel Gall, Thom W. Frühwirth	Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.	CoRR	2018	DBLP BibTeX RDF
17	Bertram Felgenhauer	Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
17	Ramon Sanchez-Iborra, Jesús Sánchez Gómez, Antonio F. Skarmeta	Evolving IoT networks by the confluence of MEC and LP-WAN paradigms.	Future Gener. Comput. Syst.	2018	DBLP DOI BibTeX RDF
17	Pedro R. D'Argenio, Raúl E. Monti	Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism.	ICTAC	2018	DBLP DOI BibTeX RDF