1.73K subscribers
15.5K photos
10 videos
16 files
8.38K links
ArXiv Papers Related to Computer Science, AI, Deep Learning, Computer Vision, NLP, etc

Admins:
@ffarzaddh
Download Telegram
5 of Latest Published Articles:
Computational Engineering, Finance, and Science
#ComputationalEngineeringFinanceandScience


πŸ—’ Revealing cracks inside conductive bodies by electric surface measurements
πŸ‘₯ Andreas Hauptmann, Masaru Ikehata, Hiromichi Itou, Samuli Siltanen
πŸ“— PDF


πŸ—’ Meshless Methods for Large Deformation Elastodynamics
πŸ‘₯ Matthias RΓΆthlin, Hagen Klippel, Konrad Wegener
πŸ“— PDF


πŸ—’ Computational steering of complex flow simulations
πŸ‘₯ Atanas Atanasov, Hans-Joachim Bungartz, JΓ©rΓ΄me Frisch, Miriam Mehl, Ralf-Peter Mundani, Ernst Rank, Christoph van Treeck
πŸ“— PDF


πŸ—’ Personalized Radiotherapy Planning for Glioma Using Multimodal Bayesian Model Calibration
πŸ‘₯ Jana Lipkova, Panagiotis Angelikopoulos, Stephen Wu, Esther Alberts, Benedikt Wiestler, Christian Diehl, Christine Preibisch, Thomas Pyka, Stephanie Combs, Panagiotis Hadjidoukas, Koen Van Leemput, Petros Koumoutsakos, John S. Lowengrub, Bjoern Menze
πŸ“— PDF


πŸ—’ Interactive data exploration for high-performance fluid flow computations through porous media
πŸ‘₯ Nevena PeroviΔ‡, JΓ©rΓ΄me Frisch, Ralf-Peter Mundani, Ernst Rank
πŸ“— PDF


#ComputationalEngineeringFinanceandScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Computational Geometry
#ComputationalGeometry


πŸ—’ Efficient Parallel Self-Assembly Under Uniform Control Inputs
πŸ‘₯ Arne Schmidt, Sheryl Manzoor, Li Huang, Aaron T. Becker, SΓ‘ndor P. Fekete
πŸ“— PDF


πŸ—’ Distance-Two Colorings of Barnette Graphs
πŸ‘₯ Tomas Feder, Pavol Hell, Carlos Subi
πŸ“— PDF


πŸ—’ Ortho-polygon Visibility Representations of 3-connected 1-plane Graphs
πŸ‘₯ Giuseppe Liotta, Fabrizio Montecchiani, Alessandra Tappini
πŸ“— PDF


πŸ—’ Approximate Convex Intersection Detection with Applications to Width and Minkowski Sums
πŸ‘₯ Sunil Arya, Guilherme D. da Fonseca, David M. Mount
πŸ“— PDF


πŸ—’ cilantro: a lean, versatile, and efficient library for point cloud data processing
πŸ‘₯ Konstantinos Zampogiannis, Cornelia Fermuller, Yiannis Aloimonos
πŸ“— PDF


#ComputationalGeometry
AI Python & arXiv Channel
5 of Latest Published Articles:
Computation and Language
#ComputationandLanguage


πŸ—’ Generating Mandarin and Cantonese F0 Contours with Decision Trees and BLSTMs
πŸ‘₯ Weidong Yuan, Alan W Black
πŸ“— PDF


πŸ—’ BCSAT : A Benchmark Corpus for Sentiment Analysis in Telugu Using Word-level Annotations
πŸ‘₯ Sreekavitha Parupalli, Vijjini Anvesh Rao, Radhika Mamidi
πŸ“— PDF


πŸ—’ Towards Automation of Sense-type Identification of Verbs in OntoSenseNet(Telugu)
πŸ‘₯ Sreekavitha Parupalli, Vijjini Anvesh Rao, Radhika Mamidi
πŸ“— PDF


πŸ—’ Encoding Spatial Relations from Natural Language
πŸ‘₯ Tiago Ramalho, TomΓ‘Ε‘ KociskΓ½, Frederic Besse, S. M. Ali Eslami, GΓ‘bor Melis, Fabio Viola, Phil Blunsom, Karl Moritz Hermann
πŸ“— PDF


πŸ—’ Sequence-to-Sequence Data Augmentation for Dialogue Language Understanding
πŸ‘₯ Yutai Hou, Yijia Liu, Wanxiang Che, Ting Liu
πŸ“— PDF


#ComputationandLanguage
AI Python & arXiv Channel
5 of Latest Published Articles:
Cryptography and Security
#CryptographyandSecurity


πŸ—’ Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
πŸ‘₯ Borja Balle, Gilles Barthe, Marco Gaboardi
πŸ“— PDF


πŸ—’ On the Incomparability of Cache Algorithms in Terms of Timing Leakage
πŸ‘₯ Pablo CaΓ±ones, Boris KΓΆpf, Jan Reineke
πŸ“— PDF


πŸ—’ Design of a New Stream Cipher: PARS
πŸ‘₯ Mohammadreza Ashouri
πŸ“— PDF


πŸ—’ Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples
πŸ‘₯ Kai Mindermann, Stefan Wagner
πŸ“— PDF


πŸ—’ RUMA: On the Analysis of Defenses based on Misaligned Accesses
πŸ‘₯ Daehee Jang, Jongwhan Kim, Minjoon Park, Yunjong Jung, Minsu Kim, Hojoon Lee, Brent Byunghoon Kang
πŸ“— PDF


#CryptographyandSecurity
AI Python & arXiv Channel
5 of Latest Published Articles:
Computer Vision and Pattern Recognition
#ComputerVisionandPatternRecognition


πŸ—’ Benchmarking Neural Network Robustness to Common Corruptions and Surface Variations
πŸ‘₯ Dan Hendrycks, Thomas G. Dietterich
πŸ“— PDF


πŸ—’ Localization Recall Precision (LRP): A New Performance Metric for Object Detection
πŸ‘₯ Kemal Oksuz, Baris Can Cam, Emre Akbas, Sinan Kalkan
πŸ“— PDF


πŸ—’ Deep Learning Based Damage Detection on Post-Hurricane Satellite Imagery
πŸ‘₯ Quoc Dung Cao, Youngjun Choe
πŸ“— PDF


πŸ—’ Encoding Spatial Relations from Natural Language
πŸ‘₯ Tiago Ramalho, TomΓ‘Ε‘ KociskΓ½, Frederic Besse, S. M. Ali Eslami, GΓ‘bor Melis, Fabio Viola, Phil Blunsom, Karl Moritz Hermann
πŸ“— PDF


πŸ—’ AND: Autoregressive Novelty Detectors
πŸ‘₯ Davide Abati, Angelo Porrello, Simone Calderara, Rita Cucchiara
πŸ“— PDF


#ComputerVisionandPatternRecognition
AI Python & arXiv Channel
5 of Latest Published Articles:
Computers and Society
#ComputersandSociety


πŸ—’ Context Data Categories and Privacy Model for Mobile Data Collection Apps
πŸ‘₯ Felix Beierle, Vinh Thuy Tran, Mathias Allemand, Patrick Neff, Winfried Schlee, Thomas Probst, RΓΌdiger Pryss, Johannes Zimmermann
πŸ“— PDF


πŸ—’ Qos-Based Web Service Discovery And Selection Using Machine Learning
πŸ‘₯ Sarathkumar Rangarajan
πŸ“— PDF


πŸ—’ The Methodical Aspects of the Algebra and the Mathematical Analysis Study Using the Sagemath Cloud
πŸ‘₯ Maiia Popel
πŸ“— PDF


πŸ—’ The Learning Technique of the SageMathCloud Use for Students Collaboration Support
πŸ‘₯ Maiia Popel, Svitlana Shokalyuk, Mariya Shyshkina
πŸ“— PDF


πŸ—’ The Design and Evaluation of the Cloud-based Learning Components with the Use of the Systems of Computer Mathematics
πŸ‘₯ Mariya Shyshkina, Uliana Kohut, Maiia Popel
πŸ“— PDF


#ComputersandSociety
AI Python & arXiv Channel
5 of Latest Published Articles:
Databases
#Databases


πŸ—’ Industrial Big Data Analytics: Challenges, Methodologies, and Applications
πŸ‘₯ JunPing Wang, WenSheng Zhang, YouKang Shi, ShiHui Duan, Jin Liu
πŸ“— PDF


πŸ—’ Analytics for the Internet of Things: A Survey
πŸ‘₯ Eugene Siow, Thanassis Tiropanis, Wendy Hall
πŸ“— PDF


πŸ—’ Distributed Statistical Estimation of Matrix Products with Applications
πŸ‘₯ David P. Woodruff, Qin Zhang
πŸ“— PDF


πŸ—’ Mining Bad Credit Card Accounts from OLAP and OLTP
πŸ‘₯ Sheikh Rabiul Islam, William Eberle, Sheikh Khaled Ghafoor
πŸ“— PDF


πŸ—’ Probabilistic Databases with an Infinite Open-World Assumption
πŸ‘₯ Martin Grohe, Peter Lindner
πŸ“— PDF


#Databases
AI Python & arXiv Channel
5 of Latest Published Articles:
Distributed, Parallel, and Cluster Computing
#DistributedParallelandClusterComputing


πŸ—’ Analyzing Big Datasets of Genomic Sequences: Fast and Scalable Collection of k-mer Statistics
πŸ‘₯ Umberto Ferraro Petrillo, Mara Sorella, Giuseppe Cattaneo, Raffaele Giancarlo, Simona Rombo
πŸ“— PDF


πŸ—’ Qos-Based Web Service Discovery And Selection Using Machine Learning
πŸ‘₯ Sarathkumar Rangarajan
πŸ“— PDF


πŸ—’ TripleID-Q: RDF Query Processing Framework using GPU
πŸ‘₯ Chantana Chantrapornchai, Chidchanok Choksuchat
πŸ“— PDF


πŸ—’ SWIFT: Maintaining weak-scalability with a dynamic range of $10^4$ in time-step size to harness extreme adaptivity
πŸ‘₯ Josh Borrow, Richard G. Bower, Peter W. Draper, Pedro Gonnet, Matthieu Schaller
πŸ“— PDF


πŸ—’ Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
πŸ‘₯ Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
πŸ“— PDF


#DistributedParallelandClusterComputing
AI Python & arXiv Channel
5 of Latest Published Articles:
Digital Libraries
#DigitalLibraries


πŸ—’ Case for the double-blind peer review
πŸ‘₯ Lucie Tvrznikova
πŸ“— PDF


πŸ—’ The USA is an indisputable world leader in medical and biotechnological research
πŸ‘₯ Ricardo Brito, Alonso RodrΓ­guez-Navarro
πŸ“— PDF


πŸ—’ An approach based on the geometric mean of basic quantitative and qualitative bibliometric indicators to evaluate and analyse the research performance of countries and institutions
πŸ‘₯ Domingo Docampo, Jean-Jacques Bessoule
πŸ“— PDF


πŸ—’ Automation of the Export Data from Open Journal Systems to the Russian Science Citation Index
πŸ‘₯ Serhiy O. Semerikov, Vladyslav S. Pototskyi, Kateryna I. Slovak, Svitlana M. Hryshchenko
πŸ“— PDF


πŸ—’ The Historical Significance of Textual Distances
πŸ‘₯ Ted Underwood
πŸ“— PDF


#DigitalLibraries
AI Python & arXiv Channel
5 of Latest Published Articles:
Discrete Mathematics
#DiscreteMathematics


πŸ—’ Centrality-Friendship Paradoxes: When Our Friends Are More Important Than Us
πŸ‘₯ Desmond J. Higham
πŸ“— PDF


πŸ—’ Distance-Two Colorings of Barnette Graphs
πŸ‘₯ Tomas Feder, Pavol Hell, Carlos Subi
πŸ“— PDF


πŸ—’ Elusive extremal graphs
πŸ‘₯ Andrzej Grzesik, Daniel KrΓ‘l', LΓ‘szlΓ³ MiklΓ³s LovΓ‘sz
πŸ“— PDF


πŸ—’ The power of thinning in balanced allocation
πŸ‘₯ Ohad N. Feldheim, Ori Gurel-Gurevich
πŸ“— PDF


πŸ—’ Popular Matchings in Complete Graphs
πŸ‘₯ Ágnes Cseh, Telikepalli Kavitha
πŸ“— PDF


#DiscreteMathematics
AI Python & arXiv Channel
5 of Latest Published Articles:
Data Structures and Algorithms
#DataStructuresandAlgorithms


πŸ—’ Tight bounds for popping algorithms
πŸ‘₯ Heng Guo, Kun He
πŸ“— PDF


πŸ—’ Near-Optimal Distance Emulator for Planar Graphs
πŸ‘₯ Hsien-Chih Chang, PaweΕ‚ Gawrychowski, Shay Mozes, Oren Weimann
πŸ“— PDF


πŸ—’ SWIFT: Maintaining weak-scalability with a dynamic range of $10^4$ in time-step size to harness extreme adaptivity
πŸ‘₯ Josh Borrow, Richard G. Bower, Peter W. Draper, Pedro Gonnet, Matthieu Schaller
πŸ“— PDF


πŸ—’ A Novel Algorithm for the All-Best-Swap-Edge Problem on Tree Spanners
πŸ‘₯ Davide BilΓ², Kleitos Papadopoulos
πŸ“— PDF


πŸ—’ Ortho-polygon Visibility Representations of 3-connected 1-plane Graphs
πŸ‘₯ Giuseppe Liotta, Fabrizio Montecchiani, Alessandra Tappini
πŸ“— PDF


#DataStructuresandAlgorithms
AI Python & arXiv Channel
5 of Latest Published Articles:
Emerging Technologies
#EmergingTechnologies


πŸ—’ Spatial Modulation for Molecular Communication
πŸ‘₯ Yu Huang, Miaowen Wen, Lie-liang Yang, Chan-Byoung Chae, Fei Ji
πŸ“— PDF


πŸ—’ Crosstalk based Fine-Grained Reconfiguration Techniques for Polymorphic Circuits
πŸ‘₯ Naveen Kumar Macha, Sandeep Geedipally, Bhavana Repalle, Md Arif Iqbal, Wafi Danesh, Mostafizur Rahman
πŸ“— PDF


πŸ—’ Efficient ConvNets for Analog Arrays
πŸ‘₯ Malte J. Rasch, Tayfun Gokmen, Mattia Rigotti, Wilfried Haensch
πŸ“— PDF


πŸ—’ Xcel-RAM: Accelerating Binary Neural Networks in High-Throughput SRAM Compute Arrays
πŸ‘₯ Amogh Agrawal, Akhilesh Jaiswal, Bing Han, Gopalakrishnan Srinivasan, Kaushik Roy
πŸ“— PDF


πŸ—’ Neuro-memristive Circuits for Edge Computing: A review
πŸ‘₯ Olga Krestinskaya, Alex Pappachen James, Leon O. Chua
πŸ“— PDF


#EmergingTechnologies
AI Python & arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory


πŸ—’ Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
πŸ‘₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
πŸ“— PDF


πŸ—’ Controlling a population
πŸ‘₯ Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
πŸ“— PDF


πŸ—’ New tools for state complexity
πŸ‘₯ Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou
πŸ“— PDF


πŸ—’ Lamplighter groups, bireversible automata and rational series
πŸ‘₯ Rachel Skipper, Benjamin Steinberg
πŸ“— PDF


πŸ—’ Formal Specification and Verification of Autonomous Robotic Systems: A Survey
πŸ‘₯ Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
πŸ“— PDF


#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
General Literature
#GeneralLiterature


πŸ—’ GOTO Rankings Considered Helpful
πŸ‘₯ Emery Berger, Stephen M. Blackburn, Carla Brodley, H. V. Jagadish, Kathryn S. McKinley, Mario A. Nascimento, Minjeong Shin, Lexing Xie
πŸ“— PDF


πŸ—’ Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
πŸ‘₯ Lawrence C Paulson
πŸ“— PDF


πŸ—’ How to Read a Research Compendium
πŸ‘₯ Daniel NΓΌst, Carl Boettiger, Ben Marwick
πŸ“— PDF


πŸ—’ Technology, Propaganda, and the Limits of Human Intellect
πŸ‘₯ Panagiotis Metaxas
πŸ“— PDF


πŸ—’ A Review of Situation Awareness Assessment Approaches in Aviation Environments
πŸ‘₯ Thanh Nguyen, Chee Peng Lim, Ngoc Duy Nguyen, Lee Gordon-Brown, Saeid Nahavandi
πŸ“— PDF


#GeneralLiterature
AI Python & arXiv Channel
5 of Latest Published Articles:
Graphics
#Graphics


πŸ—’ Learning Fuzzy Set Representations of Partial Shapes on Dual Embedding Spaces
πŸ‘₯ Minhyuk Sung, Anastasia Dubrovina, Vladimir G. Kim, Leonidas Guibas
πŸ“— PDF


πŸ—’ Solid Geometry Processing on Deconstructed Domains
πŸ‘₯ Silvia SellΓ‘n, Herng Yi Cheng, Yuming Ma, Mitchell Dembowski, Alec Jacobson
πŸ“— PDF


πŸ—’ Simplifying Urban Data Fusion with BigSUR
πŸ‘₯ Tom Kelly, Niloy J. Mitra
πŸ“— PDF


πŸ—’ $P_N$-Method for Multiple Scattering in Participating Media
πŸ‘₯ David Koerner, Jamie Portsmouth, Wenzel Jakob
πŸ“— PDF


πŸ—’ cilantro: a lean, versatile, and efficient library for point cloud data processing
πŸ‘₯ Konstantinos Zampogiannis, Cornelia Fermuller, Yiannis Aloimonos
πŸ“— PDF


#Graphics
AI Python & arXiv Channel
5 of Latest Published Articles:
Computer Science and Game Theory
#ComputerScienceandGameTheory


πŸ—’ Efficient Rational Proofs with Strong Utility-Gap Guarantees
πŸ‘₯ Jing Chen, Samuel McCauley, Shikha Singh
πŸ“— PDF


πŸ—’ Distributed resource allocation through utility design - Part II: applications to submodular, supermodular and set covering problems
πŸ‘₯ Dario Paccagnan, Jason R. Marden
πŸ“— PDF


πŸ—’ Distributed resource allocation through utility design - Part I: optimizing the performance certificates via the price of anarchy
πŸ‘₯ Dario Paccagnan, Rahul Chandan, Jason R. Marden
πŸ“— PDF


πŸ—’ Multi-Source Multi-Sink Nash Flows Over Time
πŸ‘₯ Leon Sering, Martin Skutella
πŸ“— PDF


πŸ—’ Zero-determinant strategies in repeated incomplete-information games: Consistency of payoff relations
πŸ‘₯ Masahiko Ueda, Toshiyuki Tanaka
πŸ“— PDF


#ComputerScienceandGameTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Human-Computer Interaction
#HumanComputerInteraction


πŸ—’ The role of robot design in decoding error-related information from EEG signals of a human observer
πŸ‘₯ Joos Behncke, Robin Tibor Schirrmeister, Wolfram Burgard, Tonio Ball
πŸ“— PDF


πŸ—’ Context Data Categories and Privacy Model for Mobile Data Collection Apps
πŸ‘₯ Felix Beierle, Vinh Thuy Tran, Mathias Allemand, Patrick Neff, Winfried Schlee, Thomas Probst, RΓΌdiger Pryss, Johannes Zimmermann
πŸ“— PDF


πŸ—’ Providing Explanations for Recommendations in Reciprocal Environments
πŸ‘₯ Akiva Kleinerman, Ariel Rosenfeld, Sarit Kraus
πŸ“— PDF


πŸ—’ Evaluating the Effects of Material Sonification in Tactile Devices
πŸ‘₯ Rodrigo MartΓ­n, Michael Weinmann, Matthias B. Hullin
πŸ“— PDF


πŸ—’ Does Removing Stereotype Priming Remove Bias? A Pilot Human-Robot Interaction Study
πŸ‘₯ Tobi Ogunyale, De'Aira Bryant, Ayanna Howard
πŸ“— PDF


#HumanComputerInteraction
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Retrieval
#InformationRetrieval


πŸ—’ Visual Pattern-Driven Exploration of Big Data
πŸ‘₯ Michael Behrisch, Robert Krueger, Fritz Lekschas, Tobias Schreck, Nils Gehlenborg, Hanspeter Pfister
πŸ“— PDF


πŸ—’ Providing Explanations for Recommendations in Reciprocal Environments
πŸ‘₯ Akiva Kleinerman, Ariel Rosenfeld, Sarit Kraus
πŸ“— PDF


πŸ—’ Styling with Attention to Details
πŸ‘₯ Ayushi Dalmia, Sachindra Joshi, Raghavendra Singh, Vikas Raykar
πŸ“— PDF


πŸ—’ ColdRoute: Effective Routing of Cold Questions in Stack Exchange Sites
πŸ‘₯ Jiankai Sun, Abhinav Vishnu, Aniket Chakrabarti, Charles Siegel, Srinivasan Parthasarathy
πŸ“— PDF


πŸ—’ Product-based Neural Networks for User Response Prediction over Multi-field Categorical Data
πŸ‘₯ Yanru Qu, Bohui Fang, Weinan Zhang, Ruiming Tang, Minzhe Niu, Huifeng Guo, Yong Yu, Xiuqiang He
πŸ“— PDF


#InformationRetrieval
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Theory
#InformationTheory


πŸ—’ Secure Routing in OFDM based Multi-Hop Underwater Acoustic Sensor Networks
πŸ‘₯ Waqas Aman, Muhammad Mahboob Ur Rahman, Junaid Qadir
πŸ“— PDF


πŸ—’ Wideband Time-Domain Digital Backpropagation via Subband Processing and Deep Learning
πŸ‘₯ Christian HΓ€ger, Henry D. Pfister
πŸ“— PDF


πŸ—’ Radar Communication for Combating Mutual Interference of FMCW Radars
πŸ‘₯ Canan Aydogdu, Nil Garcia, Henk Wymeersch
πŸ“— PDF


πŸ—’ A 5.16Gbps decoder ASIC for Polar Code in 16nm FinFET
πŸ‘₯ Xiaocheng Liu, Qifan Zhang, Pengcheng Qiu, Jiajie Tong, Huazi Zhang, Changyong Zhao, Jun Wang
πŸ“— PDF


πŸ—’ Treating Content Delivery in Multi-Antenna Coded Caching as General Message Sets Transmission: A DoF Region Perspective
πŸ‘₯ Youlong Cao, Meixia Tao
πŸ“— PDF


#InformationTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Learning
#Learning


πŸ—’ Benchmarking Neural Network Robustness to Common Corruptions and Surface Variations
πŸ‘₯ Dan Hendrycks, Thomas G. Dietterich
πŸ“— PDF


πŸ—’ SPIDER: Near-Optimal Non-Convex Optimization via Stochastic Path Integrated Differential Estimator
πŸ‘₯ Cong Fang, Chris Junchi Li, Zhouchen Lin, Tong Zhang
πŸ“— PDF


πŸ—’ Sample-Efficient Reinforcement Learning with Stochastic Ensemble Value Expansion
πŸ‘₯ Jacob Buckman, Danijar Hafner, George Tucker, Eugene Brevdo, Honglak Lee
πŸ“— PDF


πŸ—’ Ranked Reward: Enabling Self-Play Reinforcement Learning for Combinatorial Optimization
πŸ‘₯ Alexandre Laterre, Yunguan Fu, Mohamed Khalil Jabri, Alain-Sam Cohen, David Kas, Karl Hajjar, Torbjorn S. Dahl, Amine Kerkeni, Karim Beguir
πŸ“— PDF


πŸ—’ Encoding Spatial Relations from Natural Language
πŸ‘₯ Tiago Ramalho, TomΓ‘Ε‘ KociskΓ½, Frederic Besse, S. M. Ali Eslami, GΓ‘bor Melis, Fabio Viola, Phil Blunsom, Karl Moritz Hermann
πŸ“— PDF


#Learning
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience


πŸ—’ Logical rules as fractions and logics as sketches
πŸ‘₯ Dominique Duval
πŸ“— PDF


πŸ—’ A complete system of deduction for Sigma formulas
πŸ‘₯ Andre Kornell
πŸ“— PDF


πŸ—’ Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
πŸ‘₯ FrΓ©dΓ©ric Blanqui, Giselle Reis
πŸ“— PDF


πŸ—’ Markov Logic Networks with Statistical Quantifiers
πŸ‘₯ VΓ­ctor GutiΓ©rrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
πŸ“— PDF


πŸ—’ On Runtime Enforcement via Suppressions
πŸ‘₯ Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
πŸ“— PDF


#LogicinComputerScience
AI Python & arXiv Channel