Search results for "closures"

Hits ?▲	Authors	Title	Venue	Year	Link
18	William Snyder, Changhong Mou, Honghu Liu, Omer San, Raffaella De Vita, Traian Iliescu	Reduced Order Model Closures: A Brief Tutorial.	CoRR	2022	DBLP BibTeX RDF
18	Steffen Schotthöfer, Tianbai Xiao, Martin Frank, Cory D. Hauck	Neural network-based, structure-preserving entropy closures for the Boltzmann moment system.	CoRR	2022	DBLP BibTeX RDF
18	Seungjoon Lee, Yorgos M. Psarellis, Constantinos I. Siettos, Ioannis G. Kevrekidis	Learning black- and gray-box chemotactic PDEs/closures from agent based Monte Carlo simulation data.	CoRR	2022	DBLP DOI BibTeX RDF
18	Weiying Wang, Anne Kemmeren, Daniel Son, Javier Alonso-Mora, Stephanie Gil	Wi-Closure: Reliable and Efficient Search of Inter-robot Loop Closures Using Wireless Sensing.	CoRR	2022	DBLP DOI BibTeX RDF
18	Ellis R. Crabtree, Juan M. Bello-Rivas, Andrew L. Ferguson, Ioannis G. Kevrekidis	GANs and Closures: Micro-Macro Consistency in Multiscale Modeling.	CoRR	2022	DBLP DOI BibTeX RDF
18	Kanji Tanaka 0003, Kousuke Yamaguchi, Takuma Sugimoto	Simultaneous Detection of Loop-Closures and Changed Objects.	J. Adv. Comput. Intell. Intell. Informatics	2022	DBLP DOI BibTeX RDF
18	Philipp Haller	Enhancing closures in scala 3 with spores3.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
18	Florian Seiffarth, Tamás Horváth 0001, Stefan Wrobel	A Fast Heuristic for Computing Geodesic Closures in Large Networks.	DS	2022	DBLP DOI BibTeX RDF
18	Shin-ya Nishizaki, Yuta Takayanagi	Extracting Environments from Function Closures.	ICSCA	2022	DBLP DOI BibTeX RDF
18	Stefan Monnier	Open Closures - Disclosing lambda's inner monomaniac object!	ELS	2022	DBLP BibTeX RDF
18	Daniel Bahrdt, Stefan Funke, Sokol Makolli, Claudius Proissl	Distance Closures: Unifying Search- and Lookup-based Shortest Path Speedup Techniques.	ALENEX	2022	DBLP DOI BibTeX RDF
18	Prasad Chaugule, Nutan Limaye	On the Closures of Monotone Algebraic Classes and Variants of the Determinant.	LATIN	2022	DBLP DOI BibTeX RDF
18	Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller 0001, Alexander J. Summers	Modular specification and verification of closures in Rust.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
18	Steven Kutsch, Christoph Beierle	Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations.	Int. J. Approx. Reason.	2021	DBLP DOI BibTeX RDF
18	Yu Zhang, Richard P. Dwight, Martin Schmelzer, Javier F. Gómez, Zhong-hua Han, Stefan Hickel	Customized data-driven RANS closures for bi-fidelity LES-RANS optimization.	J. Comput. Phys.	2021	DBLP DOI BibTeX RDF
18	William A. Porteous, M. Paul Laiu, Cory D. Hauck	Data-driven, structure-preserving approximations to entropy-based moment closures for kinetic equations.	CoRR	2021	DBLP BibTeX RDF
18	Juntao Huang, Yingda Cheng, Andrew J. Christlieb, Luke F. Roberts, Wen-An Yong	Machine learning moment closure models for the radiative transfer equation II: enforcing global hyperbolicity in gradient based closures.	CoRR	2021	DBLP BibTeX RDF
18	Sanjeeb Dash, Oktay Günlük, Dabeen Lee	Generalized Chvátal-Gomory closures for integer programs with bounds on variables.	Math. Program.	2021	DBLP DOI BibTeX RDF
18	Saveliy V. Skresanov	On 2-closures of rank 3 groups.	Ars Math. Contemp.	2021	DBLP DOI BibTeX RDF
18	Lemnaouar Zedam, Bernard De Baets	Transitive Closures of Ternary Fuzzy Relations.	Int. J. Comput. Intell. Syst.	2021	DBLP DOI BibTeX RDF
18	Ryan A. Rossi, Anup B. Rao, Sungchul Kim, Eunyee Koh, Nesreen K. Ahmed, Gang Wu 0013	From Closing Triangles to Higher-Order Motif Closures for Better Unsupervised Online Link Prediction.	CIKM	2021	DBLP DOI BibTeX RDF
18	Zachary J. Sullivan, Paul Downen, Zena M. Ariola	Strictly capturing non-strict closures.	PEPM@POPL	2021	DBLP DOI BibTeX RDF
18	Tal Shoshani, Peter Pal Zubcsek, Shachar Reichman	Predicting Store Closures Using Urban Mobility Data and Network Analysis.	ICIS	2021	DBLP BibTeX RDF
18	Tomoki Sanada, Aya Ishigaki, Hideki Yaginuma	Modeling of Inventory Routing Problem Considering Road Closures.	IWCIA	2021	DBLP DOI BibTeX RDF
18	Clay Carper, Aaron McClellan, Craig C. Douglas	I-80 Closures: An Autonomous Machine Learning Approach.	ICCS (5)	2021	DBLP DOI BibTeX RDF
18	Anika Saxena, Komal Prasad	Tools for Distance Education in Hong Kong Kindergartens During Unexpected School Closures.	ICCSE	2021	DBLP DOI BibTeX RDF
18	Oliver Rippel, Peter Haumering, Johannes Brauers, Dorit Merhof	Anomaly Detection for the Automated Visual Inspection of PET Preform Closures.	ETFA	2021	DBLP DOI BibTeX RDF
18	Riccardo Balin	In Situ Data-Driven Analysis and Learning of Turbulence Closures at Scale.	ISAV@SC	2021	DBLP DOI BibTeX RDF
18	Satyajit Tourani, Dhagash Desai, Udit Singh Parihar, Sourav Garg, Ravi Kiran Sarvadevabhatla, Michael Milford, K. Madhava Krishna	Early Bird: Loop Closures from Opposing Viewpoints for Perceptually-aliased Indoor Environments.	VISIGRAPP (5: VISAPP)	2021	DBLP DOI BibTeX RDF
18	Ming Yang, Huarong Qin, Ke Zhang, Xin Ding, Ziyue Mi	A Data-Driven Approach for Estimating the Effects of Station Closures in Metro Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
18	Shuo Wang, Xudong Lv, Xiaomin Liu, Dong Ye 0003	Compressed Holistic ConvNet Representations for Detecting Loop Closures in Dynamic Environments.	IEEE Access	2020	DBLP DOI BibTeX RDF
18	Luis M. T. Jesus, Maria Conceição Costa	The aerodynamics of voiced stop closures.	EURASIP J. Audio Speech Music. Process.	2020	DBLP DOI BibTeX RDF
18	Yangjun Chen, Bin Guo, Xingyue Huang	δ-Transitive closures and triangle consistency checking: a new way to evaluate graph pattern queries in large graph databases.	J. Supercomput.	2020	DBLP DOI BibTeX RDF
18	Ilia Ponomarenko, Andrey Vasil'ev	Two-closures of supersolvable permutation groups in polynomial time.	Comput. Complex.	2020	DBLP DOI BibTeX RDF
18	Pritpal Matharu, Bartosz Protas	Optimal Closures in a Simple Model for Turbulent Flows.	SIAM J. Sci. Comput.	2020	DBLP DOI BibTeX RDF
18	Auliya A. Suwantika, Neily Zakiyah, Ajeng Diantini, Rizky Abdulah, Maarten J. Postma	The Role of Administrative and Secondary Data in Estimating the Costs and Effects of School and Workplace Closures due to the COVID-19 Pandemic.	Data	2020	DBLP DOI BibTeX RDF
18	David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys	Cost Automata, Safe Schemes, and Downward Closures.	CoRR	2020	DBLP BibTeX RDF
18	Jean-François Coulombel, Tomas Lundquist	On some stable boundary closures of finite difference schemes for the transport equation.	CoRR	2020	DBLP BibTeX RDF
18	Kamil Zywanowski, Adam Banaszczyk, Michal R. Nowicki	Comparison of camera-based and 3D LiDAR-based loop closures across weather conditions.	CoRR	2020	DBLP BibTeX RDF
18	Michael J. Maher	A lemma on closures and its application to modularity in logic programming semantics.	CoRR	2020	DBLP BibTeX RDF
18	Svetlana Puzynina, Markus A. Whiteland	Abelian Closures of Infinite Binary Words.	CoRR	2020	DBLP BibTeX RDF
18	Satyajit Tourani, Dhagash Desai, Udit Singh Parihar, Sourav Garg, Ravi Kiran Sarvadevabhatla, K. Madhava Krishna	Early Bird: Loop Closures from Opposing Viewpoints for Perceptually-Aliased Indoor Environments.	CoRR	2020	DBLP BibTeX RDF
18	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Sparse Tiling through Overlap Closures for Termination of String Rewriting.	CoRR	2020	DBLP BibTeX RDF
18	Alexander Kleff, Frank Schulz 0001, Jakob Wagenblatt, Tim Zeitz	Efficient Route Planning with Temporary Driving Bans, Road Closures, and Rated Parking Areas.	CoRR	2020	DBLP BibTeX RDF
18	Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland	On Abelian Closures of Infinite Non-binary Words.	CoRR	2020	DBLP BibTeX RDF
18	Han Bao 0004, Jinyong Feng, Nam Dinh, Hongbin Zhang	Deep Learning Interfacial Momentum Closures in Coarse-Mesh CFD Two-Phase Flow Simulation Using Validation Data.	CoRR	2020	DBLP BibTeX RDF
18	Lemnaouar Zedam, Nourelhouda Bakri, Bernard De Baets	Closures and openings of ternary relations.	Int. J. Gen. Syst.	2020	DBLP DOI BibTeX RDF
18	Sanjeeb Dash, Oktay Günlük, Diego A. Morán R.	Lattice closures of polyhedra.	Math. Program.	2020	DBLP DOI BibTeX RDF
18	Luis M. Sesé	Real Space Triplets in Quantum Condensed Matter: Numerical Experiments Using Path Integrals, Closures, and Hard Spheres.	Entropy	2020	DBLP DOI BibTeX RDF
18	Eunjeong Lee, Mikiya Masuda	Generic torus orbit closures in Schubert varieties.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
18	Yachen Zhu, Yanyang Ma, Long Chen 0005, Cong Liu, Maosheng Ye, Lingxi Li	GOSMatch: Graph-of-Semantics Matching for Detecting Loop Closures in 3D LiDAR data.	IROS	2020	DBLP DOI BibTeX RDF
18	Beizhang Chen, Panwei Li, Huiyun Li	Fast Loop Closures Detection Method for Geomagnetic Signal and Lidar Fusion.	VTC Spring	2020	DBLP DOI BibTeX RDF
18	Alexander Kleff, Frank Schulz 0001, Jakob Wagenblatt, Tim Zeitz	Efficient Route Planning with Temporary Driving Bans, Road Closures, and Rated Parking Areas.	SEA	2020	DBLP DOI BibTeX RDF
18	David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys	Cost Automata, Safe Schemes, and Downward Closures.	ICALP	2020	DBLP DOI BibTeX RDF
18	Hani Mohammed, Venkat Himavanth Reddy, Subu Kandaswamy	A Decentralized Strategy for Cooperative Driving among Autonomous Cars at Lane Closures.	ICTAI	2020	DBLP DOI BibTeX RDF
18	Christian Ikenmeyer, Umangathan Kandasamy	Implementing geometric complexity theory: on the separation of orbit closures via symmetries.	STOC	2020	DBLP DOI BibTeX RDF
18	Darryl D. Holm	Stochastic Closures for Wave-Current Interaction Dynamics.	J. Nonlinear Sci.	2019	DBLP DOI BibTeX RDF
18	Akshay Subramaniam, Man Long Wong, Sanjiva K. Lele	A high-order weighted compact high resolution scheme with boundary closures for compressible turbulent flows with shocks.	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
18	Christian Ikenmeyer, Umangathan Kandasamy	Implementing geometric complexity theory: On the separation of orbit closures via symmetries.	CoRR	2019	DBLP BibTeX RDF
18	Pedro Miraldo, Surojit Saha, Srikumar Ramalingam	Minimal Solvers for Mini-Loop Closures in 3D Multi-Scan Alignment.	CoRR	2019	DBLP BibTeX RDF
18	Hendrik Maarand, Tarmo Uustalu	Reordering Derivatives of Trace Closures of Regular Languages (Full Version).	CoRR	2019	DBLP BibTeX RDF
18	Pascal Koiran	Orthogonal tensor decomposition and orbit closures from a linear algebraic perspective.	CoRR	2019	DBLP BibTeX RDF
18	Kanji Tanaka 0003, Yamaguchi Kousuke, Takuma Sugimoto	Simultaneous Detection of Loop-Closures and Changed Objects.	CoRR	2019	DBLP BibTeX RDF
18	Jorge Almeida 0001, José Carlos Costa, Marc Zeitoun	Recognizing pro-R closures of regular languages.	CoRR	2019	DBLP BibTeX RDF
18	Maciej Bendkowski, Pierre Lescanne	On the enumeration of closures and environments with an application to random generation.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
18	Arezoo Memarian, Jay M. Rosenberger, Stephen P. Mattingly, James C. Williams 0001, Hossein Hashemi 0002	An optimization-based traffic diversion model during construction closures.	Comput. Aided Civ. Infrastructure Eng.	2019	DBLP DOI BibTeX RDF
18	Patrick Geneva, Kevin Eckenhoff, Guoquan Huang 0001	A Linear-Complexity EKF for Visual-Inertial Navigation with Loop Closures.	ICRA	2019	DBLP DOI BibTeX RDF
18	Steven Kutsch, Christoph Beierle	Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases.	ECSQARU	2019	DBLP DOI BibTeX RDF
18	Lillian Tsai, Roberta De Viti, Matthew Lentz, Stefan Saroiu, Bobby Bhattacharjee, Peter Druschel	enClosure: Group Communication via Encounter Closures.	MobiSys	2019	DBLP DOI BibTeX RDF
18	Lillian Tsai, Roberta De Viti, Matthew Lentz, Stefan Saroiu, Bobby Bhattacharjee, Peter Druschel	enClosure: Group Communication via Encounter Closures.	MobiSys	2019	DBLP DOI BibTeX RDF
18	Jaume Baixeries	A Formal Context for Closures of Acyclic Hypergraphs.	ICFCA	2019	DBLP DOI BibTeX RDF
18	Pedro Miraldo, Surojit Saha, Srikumar Ramalingam	Minimal Solvers for Mini-Loop Closures in 3D Multi-Scan Alignment.	CVPR	2019	DBLP BibTeX RDF
18	Hendrik Maarand, Tarmo Uustalu	Reordering Derivatives of Trace Closures of Regular Languages.	CONCUR	2019	DBLP DOI BibTeX RDF
18	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Sparse Tiling Through Overlap Closures for Termination of String Rewriting.	FSCD	2019	DBLP DOI BibTeX RDF
18	Cristina Pesántez, Freddy Tapia, Jorge Edison Lascano	Business Model as a Cloud Services-based Movility Strategy That Allows to Diminish the Number of PYMES Closures in Ecuador.	ICEIS (2)	2019	DBLP DOI BibTeX RDF
18	Sándor Vágvölgyi	Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems.	Inf. Process. Lett.	2018	DBLP DOI BibTeX RDF
18	Xiaogang Deng, Yaming Chen	A novel strategy for deriving high-order stable boundary closures based on global conservation, I: Basic formulas.	J. Comput. Phys.	2018	DBLP DOI BibTeX RDF
18	Catherine Brennan, Daniele Venturi 0002	Data-driven closures for stochastic dynamical systems.	J. Comput. Phys.	2018	DBLP DOI BibTeX RDF
18	Karell Bertet, Christophe Demko, Jean-François Viaud, Clément Guérin	Lattices, closures systems and implication bases: A survey of structural aspects and algorithms.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Maciej Bendkowski, Pierre Lescanne	Counting Environments and Closures.	CoRR	2018	DBLP BibTeX RDF
18	Georg Zetzsche	PTL-separability and closures for WQOs on words.	CoRR	2018	DBLP BibTeX RDF
18	Chunho Yeom, William J. Rasdorf, Nagui M. Rouphail, Bastian Schroeder	Simulation of Work Zones with Lane Closures in Proximity of Freeway Interchanges.	IEEE Intell. Transp. Syst. Mag.	2018	DBLP DOI BibTeX RDF
18	Ali Umut Guler	Inferring the Economics of Store Density from Closures: The Starbucks Case.	Mark. Sci.	2018	DBLP DOI BibTeX RDF
18	Dmitri Kuzmin	Planar and Orthotropic Closures for Orientation Tensors in Fiber Suspension Flow Models.	SIAM J. Appl. Math.	2018	DBLP DOI BibTeX RDF
18	Hayden Stainsby	Triangular bases of integral closures.	J. Symb. Comput.	2018	DBLP DOI BibTeX RDF
18	Romit Maulik, Omer San	Explicit and implicit LES closures for Burgers turbulence.	J. Comput. Appl. Math.	2018	DBLP DOI BibTeX RDF
18	Omer San, Romit Maulik	Neural network closures for nonlinear model order reduction.	Adv. Comput. Math.	2018	DBLP DOI BibTeX RDF
18	Zachary Hamaker, Eric Marberg, Brendan Pawlowski	Involution words: Counting problems and connections to Schubert calculus for symmetric orbit closures.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
18	Lachlan Toohey, Oscar Pizarro, Stefan B. Williams	Bounding Drift in Cooperative Localisation Through the Sharing of Local Loop Closures.	ICRA	2018	DBLP DOI BibTeX RDF
18	Georg Zetzsche	Separability by piecewise testable languages and downward closures beyond subwords.	LICS	2018	DBLP DOI BibTeX RDF
18	Elias Castegren, Dave Clarke 0001, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang	Attached and detached closures in actors.	AGERE!@SPLASH	2018	DBLP DOI BibTeX RDF
18	Maciej Bendkowski, Pierre Lescanne	Counting Environments and Closures.	FSCD	2018	DBLP DOI BibTeX RDF
18	Sanjeeb Dash, Oktay Günlük, Diego A. Morán R.	On the Polyhedrality of Closures of Multibranch Split Sets and Other Polyhedra with Bounded Max-Facet-Width.	SIAM J. Optim.	2017	DBLP DOI BibTeX RDF
18	Roman Pascal Schaerer, Pratyuksh Bansal, Manuel Torrilhon	Efficient algorithms and implementations of entropy-based moment closures for rarefied gases.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
18	Christoph Brehm	On consistent boundary closures for compact finite-difference WENO schemes.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
18	Mohamed Faouzi Atig, Roland Meyer 0001, Sebastian Muskalla, Prakash Saivasan	On the Upward/Downward Closures of Petri Nets.	CoRR	2017	DBLP BibTeX RDF
18	Suvam Patra, Himanshu Aggarwal, Himani Arora, Chetan Arora 0001, Subhashis Banerjee	Computing Egomotion with Local Loop Closures for Egocentric Videos.	CoRR	2017	DBLP BibTeX RDF
18	Irina Georgescu	Compatible extensions and consistent closures: a fuzzy approach.	CoRR	2017	DBLP BibTeX RDF
18	Chengcheng Xu, Jinshu Su, Shuhui Chen, Biao Han	Offset-FA: Detach the Closures and Countings for Efficient Regular Expression Matching.	SC²	2017	DBLP DOI BibTeX RDF
18	Mohamed Faouzi Atig, Roland Meyer 0001, Sebastian Muskalla, Prakash Saivasan	On the Upward/Downward Closures of Petri Nets.	MFCS	2017	DBLP DOI BibTeX RDF