|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3406 occurrences of 1738 keywords
|
|
|
Results
Found 5152 publication records. Showing 5152 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
|
|