Search results for "loops"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Laura Kovács, Anton Varonka	What Else is Undecidable About Loops?	RAMiCS	2023	DBLP DOI BibTeX RDF
11	Sumon Biswas, Yining She, Eunsuk Kang	Towards Safe ML-Based Systems in Presence of Feedback Loops.	SE4SafeML@SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Abdulrahman Alaraj, Kevin Bock 0001, Dave Levin, Eric Wustrow	A Global Measurement of Routing Loops on the Internet.	PAM	2023	DBLP DOI BibTeX RDF
11	Hiroyuki Yamada, Kazuo Goda, Masaru Kitsuregawa	Nested Loops Revisited Again.	ICDE	2023	DBLP DOI BibTeX RDF
11	Erik Harpstead	Learning Within Gameplay Loops: Considering Adaptive Educational Technology from a Game Design Lens.	HCI (34)	2023	DBLP DOI BibTeX RDF
11	Juan Salamanca 0001, Alexandro Baldassin	How to Efficiently Parallelize Irregular DOACROSS Loops Using Fine Granularity and OpenMP Tasks: The SPEC mcf Case.	IWOMP	2023	DBLP DOI BibTeX RDF
11	Nicholas Rober, Michael Everett, Songan Zhang, Jonathan P. How	A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops.	ACC	2023	DBLP DOI BibTeX RDF
11	Andrea Sassella, Francesco Abbracciavento, Simone Formentin, Andrea G. Bianchessi, Sergio M. Savaresi	On queue length estimation in urban traffic intersections via inductive loops.	ACC	2023	DBLP DOI BibTeX RDF
11	Hannes Homburger, Stefan Wirtensohn, Johannes Reuter	MPPI Control of a Self-Balancing Vehicle Employing Subordinated Control Loops.	ECC	2023	DBLP BibTeX RDF
11	Juan Julián Merelo, M. Cristina Molinari	Self-loops in Social Networks: Behavior of Eigenvector Centrality.	WIVACE	2023	DBLP DOI BibTeX RDF
11	Emerson A. da Silva, Leonardo A. Mozelli, Michel C. R. Leles, Víctor C. S. Campos, Guilherme Palazzo	A study on Non-parametric Filtering in Linear and Nonlinear Control Loops using the Singular Spectrum Analysis.	SysCon	2023	DBLP DOI BibTeX RDF
11	Nils Christian A. Wilhelmsen, Ole Morten Aamo	Explicit Backstepping Kernel Solutions for Leak Detection in Pipe Flow Networks Containing Loops.	CDC	2023	DBLP DOI BibTeX RDF
11	Nicholas H. Barbara, Ruigang Wang, Ian R. Manchester	Learning Over Contracting and Lipschitz Closed-Loops for Partially-Observed Nonlinear Systems.	CDC	2023	DBLP DOI BibTeX RDF
11	Anselme Ndikumana, Kim Khoa Nguyen, Mohamed Cheriet	Digital Twin Assisted Closed-Loops for Energy-Efficient Open RAN-Based Fixed Wireless Access Provisioning in Rural Areas.	GLOBECOM	2023	DBLP DOI BibTeX RDF
11	Laura Kovács	Algebraic Reasoning for (Un)Solvable Loops (Invited Talk).	MFCS	2023	DBLP DOI BibTeX RDF
11	Rong-Ching Chang, Jonathan May, Kristina Lerman	Feedback Loops and Complex Dynamics of Harmful Speech in Online Discussions.	SBP-BRiMS	2023	DBLP DOI BibTeX RDF
11	Nicolò Pagan, Joachim Baumann 0002, Ezzat Elokda, Giulia De Pasquale, Saverio Bolognani, Anikó Hannák	Closing the Loop: Feedback Loops and Biases in Automated Decision-Making.	EWAF	2023	DBLP BibTeX RDF
11	Sajal Dash, Mohammad Alaul Haque Monil, Junqi Yin, Ramu Anandakrishnan, Feiyi Wang	Distributing Simplex-Shaped Nested for-Loops to Identify Carcinogenic Gene Combinations.	IPDPS	2023	DBLP DOI BibTeX RDF
11	Elena Korshakova, Jessecae K. Marsh, Samantha Kleinberg	Quantifying the Utility of Complexity and Feedback Loops in Causal Models for Decision Making.	CogSci	2023	DBLP BibTeX RDF
11	Colleen M. Lewis, Christine Bassem, Jason M. Grant, Felienne Hermans, Angel Kuo, Art Lopez, Beth Trushkowsky	Microteaching: Ad-Hoc Networks, Binary Heaps, Variables in Hedy, Loops, Lists, and Data Storage.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
11	Anton P. Bagliy, Elena Metelitsa, Boris Ya. Steinberg	Automatic Parallelization of Iterative Loops Nests on Distributed Memory Computing Systems.	PaCT	2023	DBLP DOI BibTeX RDF
11	Ahtisham Fazeel Abbasi, Muhammad Nabeel Asim, Johan Trygg, Andreas Dengel 0001, Sheraz Ahmed	Deep Learning Architectures for the Prediction of YY1-Mediated Chromatin Loops.	ISBRA	2023	DBLP DOI BibTeX RDF
11	Marcel Moosbrugger, Julian Müllner, Laura Kovács	Automated Sensitivity Analysis for Probabilistic Loops.	iFM	2023	DBLP DOI BibTeX RDF
11	Anette Bentz, Bernhard Standl	Novice Programmers Conceptions of Loops in K-12 Education in Consideration of Interest and Ability.	WiPSCE	2023	DBLP DOI BibTeX RDF
11	Michel Schanen, Sri Hari Krishna Narayanan, Sarah Williamson, Valentin Churavy, William S. Moses, Ludger Paehler	Transparent Checkpointing for Automatic Differentiation of Program Loops Through Expression Transformations.	ICCS (3)	2023	DBLP DOI BibTeX RDF
11	Li Ma, Xiaoyu Li, Jing Liao 0001, Pedro V. Sander	3D Video Loops from Asynchronous Input.	CVPR	2023	DBLP DOI BibTeX RDF
11	Ameer Hamza, Grigory Fedyukovich	Lockstep Composition for Unbalanced Loops.	TACAS (2)	2023	DBLP DOI BibTeX RDF
11	Nicolò Pagan, Joachim Baumann 0002, Ezzat Elokda, Giulia De Pasquale, Saverio Bolognani, Anikó Hannák	A Classification of Feedback Loops and Their Relation to Biases in Automated Decision-Making Systems.	EAAMO	2023	DBLP DOI BibTeX RDF
11	Léa Paymal, Sarah Fdili Alaoui	Physicalizing loops.	Creativity & Cognition	2023	DBLP DOI BibTeX RDF
11	Ryuji Komabayashi, Tsutomu Yoshimura	Analysis of the Electromagnetic Coupling of Two Phase-Locked Loops.	ISCAS	2023	DBLP DOI BibTeX RDF
11	Patrick Kurth, Urs Hecht, Frowin Buballa, Sebastian Linnhoff, Helia Ordouei, Friedel Gerfers	A Charge Pump for Sub-Sampling Phase-Locked Loops with Virtual Reference Frequency Doubling.	ISCAS	2023	DBLP DOI BibTeX RDF
11	Andres Ayes, Eby G. Friedman	Dual Sawtooth-Based Delay Locked Loops for Heterogeneous 3-D Clock Networks.	SOCC	2023	DBLP DOI BibTeX RDF
11	Shivangi Rai, R. R. K. Sharma, J. Ram Kumar	Relating Learning-Loops to Selected Organizational Variables.	IEEM	2023	DBLP DOI BibTeX RDF
11	Ali Zaidi, Kelsey Turbeville, Kristijan Ivancic, Jason Moss, Jenny Gutierrez Villalobos, Aravind Sagar, Huiying Li, Charu Mehra, Sixuan Li, Scott Hutchins, Ranjitha Kumar	Learning Custom Experience Ontologies via Embedding-based Feedback Loops.	UIST	2023	DBLP DOI BibTeX RDF
11	Fabio Pisoni, Nicola Matteo Palella, Domenico Di Grazia, Leonardo Colombo, Giovanni Gogliettino	A Loosely Coupled Architecture for INS/GNSS Integration with Tracking Loops Aiding.	MetroAutomotive	2023	DBLP DOI BibTeX RDF
11	Mingyang Chen, Yunhui Qiu, Kaixiang Zhu, Lingli Wang	An Automatic Optimization Method of Combinational Logic Loops in CGRA.	ASICON	2023	DBLP DOI BibTeX RDF
11	Jan Reichl, Stefan Hanenberg, Volker Gruhn	Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers.	ICSE	2023	DBLP DOI BibTeX RDF
11	Fengyi Shen, Zador Pataki, Akhil Gurram, Ziyuan Liu, He Wang 0010, Alois C. Knoll	LoopDA: Constructing Self-loops to Adapt Nighttime Semantic Segmentation.	WACV	2023	DBLP DOI BibTeX RDF
11	Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller	Distributing and Parallelizing Non-canonical Loops.	VMCAI	2023	DBLP DOI BibTeX RDF
11	Finnbar Keating, Michael B. Gale	This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs.	Haskell	2023	DBLP DOI BibTeX RDF
11	Samy Labsir, Gaël Pagès, Lorenzo Ortega, Jordi Vilà-Valls, Éric Chaumette	Theoretical Performance Analysis of GNSS Tracking Loops.	PLANS	2023	DBLP DOI BibTeX RDF
11	Rohan Taori, Tatsunori Hashimoto	Data Feedback Loops: Model-driven Amplification of Dataset Biases.	ICML	2023	DBLP BibTeX RDF
11	Francieli Boito, Jim M. Brandt, Valeria Cardellini, Philip H. Carns, Florina M. Ciorba, Hilary Egan, Ahmed Eleliemy, Ann C. Gentile, Thomas Gruber, Jeff Hanson, Utz-Uwe Haus, Kevin A. Huck, Thomas Ilsche, Thomas Jakobsche, Terry R. Jones, Sven Karlsson, Abdullah Mueen 0001, Michael Ott 0001, Tapasya Patki, Ivy Peng, Krishnan Raghavan, Stephen Simms, Kathleen Shoga, Michael T. Showerman, Devesh Tiwari, Torsten Wilde, Keiji Yamamoto	Autonomy Loops for Monitoring, Operational Data Analytics, Feedback, and Response in HPC Operations.	CLUSTER Workshops	2023	DBLP DOI BibTeX RDF
11	Lin Cheng, Max Ruttenberg, Dai Cheol Jung, Dustin Richmond, Michael B. Taylor, Mark Oskin, Christopher Batten	Beyond Static Parallel Loops: Supporting Dynamic Task Parallelism on Manycore Architectures with Software-Managed Scratchpad Memories.	ASPLOS (3)	2023	DBLP DOI BibTeX RDF
11	Charles K. Assaad, Imad Ez-zejjari, Lei Zan	Root Cause Identification for Collective Anomalies in Time Series given an Acyclic Summary Causal Graph with Loops.	AISTATS	2023	DBLP BibTeX RDF
11	Ruiwen Dong 0001	Termination of linear loops under commutative updates.	ISSAC	2023	DBLP DOI BibTeX RDF
11	George Kenison, Laura Kovács, Anton Varonka	From Polynomial Invariants to Linear Loops.	ISSAC	2023	DBLP DOI BibTeX RDF
11	Rouzbeh Paktinatkeleshteri, João P. L. de Carvalho, Ehsan Amiri, José Nelson Amaral	Efficient Auto-Vectorization for Control-flow Dependent Loops through Data Permutation.	CASCON	2023	DBLP BibTeX RDF
11	Ninon Lizé Masclef	Strange Loops : Augmenting Feelings.	TEI	2023	DBLP DOI BibTeX RDF
11	António Ramires	Automatic characterization and generation of music loops and instrument samples for electronic music production		2023	RDF
11	Eduardo Mapurunga, Michel Gevers, Alexandre S. Bazanella	Necessary and Sufficient Conditions for the Identifiability of Isolated Loops.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
11	Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada	Safety and Stability Guarantees for Control Loops With Deep Learning Perception.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
11	Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell 0001	What's decidable about linear loops?	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács	This is the moment for probabilistic loops.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni 0001	UniRec: a unimodular-like framework for nested recursions and loops.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Arezoo Abdollahi-Kalkhoran, Shahriar Lotfi, Habib Izadkhah	TEA-SEA: Tiling and scheduling of non-uniform two-level perfectly nested loops using an evolutionary approach.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
11	Chunming Tu, Jiayuan Gao, Fan Xiao, Qi Guo, Fei Jiang	Stability Analysis of the Grid-Connected Inverter Considering the Asymmetric Positive-Feedback Loops Introduced by the PLL in Weak Grids.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
11	Zhiyong Dai, Guangqi Li, Mingdi Fan, Jin Huang, Yong Yang, Wei Hang	Global Stability Analysis for Synchronous Reference Frame Phase-Locked Loops.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
11	Jiann-Jong Chen, Yuh-Shyan Hwang, Yitsen Ku, Jian-An Chen, Chien-Hung Lai	A New Improved Second-Order Delta-Sigma-Modulation Buck Converter With Low-Noise and Transient-Acceleration Loops.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
11	Jan Hückelheim, Laurent Hascoët	Source-to-Source Automatic Differentiation of OpenMP Parallel Loops.	ACM Trans. Math. Softw.	2022	DBLP DOI BibTeX RDF
11	Evangelos Katsamakas, Oleg V. Pavlov	Artificial Intelligence Feedback Loops in Mobile Platform Business Models.	Int. J. Wirel. Inf. Networks	2022	DBLP DOI BibTeX RDF
11	Yangdong Xu, Hui Deng, Wei Zhu	Synchronous distributed ADMM for consensus convex optimization problems with self-loops.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
11	Shabnam Mahjoub, Mehdi Golsorkhtabaramiri, Seyed Sadegh Salehi Amiri, Mehdi Hosseinzadeh 0001, Amir Mosavi	A New Combination Method for Improving Parallelism in Two and Three Level Perfect Nested Loops.	IEEE Access	2022	DBLP DOI BibTeX RDF
11	Woorham Bae	Benchmark Figure of Merit Extensions for Low Jitter Phase Locked Loops Inspired by New PLL Architectures.	IEEE Access	2022	DBLP DOI BibTeX RDF
11	Jiann-Jong Chen, Yuh-Shyan Hwang, Wei-Ming Jiang, Chien-Hung Lai, Joshua Ku	A New Improved Ultra-Fast-Response Low-Transient-Voltage Buck Converter With Transient-Acceleration Loops and V-Cubic Techniques.	IEEE Access	2022	DBLP DOI BibTeX RDF
11	Jiawen Wang, Yinshun Wang, Yang Nie, Lecheng Wang, Jianhong Wang	Investigations on a Passive Real-Time Magnetic Flux Density Amplifier Made From Eight-Shaped HTS Loops.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
11	Danmei Chen	The kth Local Exponent of Doubly Symmetric Primitive Digraphs with d Loops.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Polidor Bratu, Cornelia Dobrescu, Nicu Dragan	Hysteresis Response Loops in Stationary Vibrator Regimes for Elastomeric Insulators.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Danmei Chen, Xiangjun Li	The Generalized Competition Indices of Doubly Symmetric Primitive Digraphs with d Loops.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Tsutomu Yoshimura	Self-Coupling and Mutual Pulling in Phase-Locked Loops.	IEEE Trans. Circuits Syst. I Regul. Pap.	2022	DBLP DOI BibTeX RDF
11	Masaru Osada, Zule Xu, Ryoya Shibata, Tetsuya Iizuka	Analysis of Offset Spurs in Phase-Locked-Loops Employing Harmonic-Mixer-Based Feedback With Sample-and-Hold Operation.	IEEE Trans. Circuits Syst. I Regul. Pap.	2022	DBLP DOI BibTeX RDF
11	Nikolay V. Kuznetsov, Dmitry G. Arseniev, Mikhail V. Blagov, Mikhail Y. Lobachev, Zhouchao Wei, Marat V. Yuldashev, Renat V. Yuldashev	The Gardner Problem and Cycle Slipping Bifurcation for Type-2 Phase-Locked Loops.	Int. J. Bifurc. Chaos	2022	DBLP DOI BibTeX RDF
11	Fredrik Göthner, Javier Roldán-Pérez, Raymundo E. Torres-Olguin, Ole-Morten Midtgård	Reduced-Order Model of Distributed Generators With Internal Loops and Virtual Impedance.	IEEE Trans. Smart Grid	2022	DBLP DOI BibTeX RDF
11	Sukanya Mozumder, Aritra Bej, Jayati Sengupta	Ligand-Dependent Modulation of the Dynamics of Intracellular Loops Dictates Functional Selectivity of 5-HT2AR.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
11	Emily Jensen, Bassam Bamieh	An Explicit Parametrization of Closed Loops for Spatially Distributed Controllers With Sparsity Constraints.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
11	Dimitrios Papageorgiou, Christopher Edwards	On the behaviour of under-tuned super-twisting sliding mode control loops.	Autom.	2022	DBLP DOI BibTeX RDF
11	Anandarup Mukherjee, Pallav Kumar Deb, Sudip Misra	Timed Loops for Distributed Storage in Wireless Networks.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
11	Xiaohui Shi, Huajing Teng, Zhongsheng Sun	An updated overview of experimental and computational approaches to identify non-canonical DNA/RNA structures with emphasis on G-quadruplexes and R-loops.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
11	Xingxin Pan, L. Frank Huang	Multi-omics to characterize the functional relationships of R-loops with epigenetic modifications, RNAPII transcription and gene expression.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
11	Sunrose T. Shrestha, Jane Wang	Statistics of Square-Tiled Surfaces: Symmetry and Short Loops.	Exp. Math.	2022	DBLP DOI BibTeX RDF
11	Joan Planas-Iglesias, Filip Opálený, Pavol Ulbrich, Jan Stourac, Zainab K. Sanusi, Gaspar R. P. Pinto, Andrea Schenkmayerova, Jan Byska, Jirí Damborský, Barbora Kozlíková, David Bednar	LoopGrafter: a web tool for transplanting dynamical loops for protein engineering.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
11	Baofen Yuan, Jianfeng Zhu 0001, Xingchen Man, Zijiao Ma, Shouyi Yin, Shaojun Wei, Leibo Liu	Dynamic-II Pipeline: Compiling Loops With Irregular Branches on Static-Scheduling CGRA.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
11	Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos 0001, José Manuel Rodriguez-Fortun	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Ying Xin, Pin Lyu, Junyao Jiang, Fengquan Zhou, Jie Wang 0066, Seth Blackshaw, Jiang Qian	LRLoop: a method to predict feedback loops in cell-cell communication.	Bioinform.	2022	DBLP DOI BibTeX RDF
11	Pengyu Zhang, Yingfu Wu, Haoru Zhou, Bing Zhou, Hongming Zhang 0002, Hao Wu 0062	CLNN-loop: a deep learning model to predict CTCF-mediated chromatin loops in the different cell lines and CTCF-binding sites (CBS) pair types.	Bioinform.	2022	DBLP DOI BibTeX RDF
11	Dongchan Yang, Taesu Chung, Dongsup Kim	DeepLUCIA: predicting tissue-specific chromatin loops using Deep Learning-based Universal Chromatin Interaction Annotator.	Bioinform.	2022	DBLP DOI BibTeX RDF
11	Nathan Franklin Saraiva de Sousa, Md. Tariqul Islam, Raza Ul-Mustafa, Danny Alex Lachos Perez, Christian Esteve Rothenberg, Pedro Henrique Gomes	Machine Learning-Assisted Closed-Control Loops for Beyond 5G Multi-Domain Zero-Touch Networks.	J. Netw. Syst. Manag.	2022	DBLP DOI BibTeX RDF
11	Dmitry A. Kondratyev	Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System.	Autom. Control. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Ting-Kuei Hu, Fernando Gama, Tianlong Chen, Wenqing Zheng, Zhangyang Wang, Alejandro Ribeiro, Brian M. Sadler	Scalable Perception-Action-Communication Loops With Convolutional and Graph Neural Networks.	IEEE Trans. Signal Inf. Process. over Networks	2022	DBLP DOI BibTeX RDF
11	Rohan Taori, Tatsunori B. Hashimoto	Data Feedback Loops: Model-driven Amplification of Dataset Biases.	CoRR	2022	DBLP DOI BibTeX RDF
11	Wang Fang, Mingsheng Ying, Xiaodi Wu 0001	Differentiable Quantum Programming with Unbounded Loops.	CoRR	2022	DBLP DOI BibTeX RDF
11	Ben Kenwright	Fast Efficient Fixed-Size Memory Pool: No Loops and No Overhead.	CoRR	2022	DBLP DOI BibTeX RDF
11	Michael Everett, Rudy Bunel, Shayegan Omidshafiei	DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops.	CoRR	2022	DBLP DOI BibTeX RDF
11	Natasa Djurdjevac Conrad, Jonas Köppl, Ana Djurdjevac	Feedback Loops in Opinion Dynamics of Agent-Based Models with Multiplicative Noise.	CoRR	2022	DBLP DOI BibTeX RDF
11	Alexander Bagnall, Gordon Stewart 0001, Anindya Banerjee 0001	Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning.	CoRR	2022	DBLP DOI BibTeX RDF
11	Karl Krauth, Yixin Wang, Michael I. Jordan	Breaking Feedback Loops in Recommender Systems with Causal Inference.	CoRR	2022	DBLP DOI BibTeX RDF
11	Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura	Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.	CoRR	2022	DBLP DOI BibTeX RDF
11	Keith Burghardt, Kristina Lerman	Emergent Instabilities in Algorithmic Feedback Loops.	CoRR	2022	DBLP BibTeX RDF
11	Nicholas Rober, Michael Everett, Songan Zhang, Jonathan P. How	A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops.	CoRR	2022	DBLP DOI BibTeX RDF
11	Anselme Ndikumana, Kim Khoa Nguyen, Mohamed Cheriet	Two-level Closed Loops for RAN Slice Resources Management Serving Flying and Ground-based Cars.	CoRR	2022	DBLP DOI BibTeX RDF