We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for recent submissions, skipping first 502

[ total of 1321 entries: 1-25 | ... | 428-452 | 453-477 | 478-502 | 503-527 | 528-552 | 553-577 | 578-602 | ... | 1303-1321 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 10 Aug 2022 (continued, showing 25 of 277 entries)

[503]  arXiv:2208.04685 [pdf]
Title: Computable Contracts in the Financial Services Industry
Authors: Vinay K Chaudhri
Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL); General Finance (q-fin.GN)
[504]  arXiv:2208.04683 [pdf, other]
Title: Applying data technologies to combat AMR: current status, challenges, and opportunities on the way forward
Comments: 65 pages, 3 figures
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Applications (stat.AP)
[505]  arXiv:2208.04682 [pdf]
Title: Playing catch-up in building an open research commons
Comments: 3 pages on the AAS template
Subjects: Digital Libraries (cs.DL); General Literature (cs.GL)
[506]  arXiv:2208.04678 [pdf, other]
Title: Two Stage Continuous Domain Regularization for Piecewise Constant Image Restoration
Comments: arXiv admin note: text overlap with arXiv:2012.06827
Subjects: Numerical Analysis (math.NA)
[507]  arXiv:2208.04676 [pdf]
Title: DeepHider: A Multi-module and Invisibility Watermarking Scheme for Language Model
Comments: 11 pages,7 figures
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[508]  arXiv:2208.04675 [pdf, other]
Title: Towards Fast AI-Infused Human-Centered Contouring Workflows for Adaptive Proton Therapy in the Head and Neck
Subjects: Human-Computer Interaction (cs.HC)
[509]  arXiv:2208.04670 [pdf]
Title: Stability of linear multiagent systems with guaranteed steady-state performance
Subjects: Systems and Control (eess.SY)
[510]  arXiv:2208.04668 [pdf, other]
Title: Energy-Efficient Power Allocation for an Underlay Spectrum Sharing RadioWeaves Network
Comments: 6 Pages, 4 figures, ICC 2022
Subjects: Information Theory (cs.IT)
[511]  arXiv:2208.04664 [pdf, other]
Title: Application of federated learning in manufacturing
Comments: 8 pages, 15 figures, Submitted at IEEE conference I4Tech2022
Subjects: Machine Learning (cs.LG)
[512]  arXiv:2208.04657 [pdf]
Title: Choose qualified instructor for university based on rule-based weighted expert system
Authors: Sana Karimian
Comments: 8 pages, 3 figures, 4 tables
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)
[513]  arXiv:2208.04649 [pdf, other]
Title: ENAGRAM: An App to Evaluate Preventative Nudges for Instagram
Comments: Accepted at the 2022 European Symposium on Usable Security (EuroUSEC 2022)
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Social and Information Networks (cs.SI)
[514]  arXiv:2208.04641 [pdf, other]
Title: ASR Error Correction with Constrained Decoding on Operation Prediction
Comments: Accepted in Interspeech 2022
Subjects: Computation and Language (cs.CL); Audio and Speech Processing (eess.AS)
[515]  arXiv:2208.04639 [pdf, other]
Title: Efficient Out-of-Distribution Detection of Melanoma with Wavelet-based Normalizing Flows
Comments: Published at 1st Workshop on Cancer Prevention through early detecTion (MICCAI 2022)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[516]  arXiv:2208.04638 [pdf, ps, other]
Title: A Means-End Account of Explainable Artificial Intelligence
Authors: Oliver Buchholz
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[517]  arXiv:2208.04637 [pdf, ps, other]
Title: Fisher Matrix Based Fault Detection for PMUs Data in Power Grids
Subjects: Systems and Control (eess.SY)
[518]  arXiv:2208.04635 [pdf, ps, other]
Title: Lang-n-Send Extended: Sending Regular Expressions to Monitors
Authors: Matteo Cimini (University of Massachusetts Lowell, USA)
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 69-84
Subjects: Programming Languages (cs.PL)
[519]  arXiv:2208.04634 [pdf, ps, other]
Title: On Composing Communicating Systems
Authors: Franco Barbanera (Dept. of Mathematics and Computer Science, University of Catania (Italy)), Ivan Lanese (Focus Team, University of Bologna/INRIA (Italy)), Emilio Tuosto (Gran Sasso Science Institute (Italy))
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 53-68
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[520]  arXiv:2208.04632 [pdf, other]
Title: Branching Pomsets for Choreographies
Authors: Luc Edixhoven (Open University (Heerlen) and CWI (Amsterdam), Netherlands), Sung-Shik Jongmans (Open University (Heerlen) and CWI (Amsterdam), Netherlands), José Proença (CISTER, ISEP, Polytechnic Institute of Porto, Portugal), Guillermina Cledou (HASLab, INESC TEC and University of Minho, Portugal)
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 37-52
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[521]  arXiv:2208.04631 [pdf, other]
Title: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 17-36
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[522]  arXiv:2208.04630 [pdf, other]
Title: The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Authors: Eduard Kamburjan (University of Oslo, Oslo, Norway), Nathan Wasser (Sharpmind, Frankfurt, Germany)
Comments: In Proceedings ICE 2022, arXiv:2208.04086. arXiv admin note: substantial text overlap with arXiv:2110.01964
Journal-ref: EPTCS 365, 2022, pp. 1-16
Subjects: Programming Languages (cs.PL)
[523]  arXiv:2208.04627 [pdf, other]
Title: Causal Discovery in Probabilistic Networks with an Identifiable Causal Effect
Comments: 27 pages, 9 figures, NeurIPS conference, causal identification, causal discovery, probabilistic models
Subjects: Machine Learning (cs.LG); Methodology (stat.ME)
[524]  arXiv:2208.04624 [pdf, other]
Title: Bottom-up Trust Registry in Self Sovereign Identity
Comments: 10 pages, published in Blockchain Congress Conference 2022
Subjects: Cryptography and Security (cs.CR)
[525]  arXiv:2208.04620 [pdf, other]
Title: Cascade-based Echo Chamber Detection
Comments: Accepted for publication at ACM CIKM 2022
Subjects: Social and Information Networks (cs.SI); Machine Learning (cs.LG); Physics and Society (physics.soc-ph)
[526]  arXiv:2208.04619 [pdf, other]
Title: RDA: Reciprocal Distribution Alignment for Robust SSL
Comments: Accepted by ECCV 2022
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[527]  arXiv:2208.04617 [pdf, ps, other]
Title: UAVs over mmWave/THz Cellular MEC Networks: A Comparative Study for Energy Efficiency
Subjects: Information Theory (cs.IT)
[ total of 1321 entries: 1-25 | ... | 428-452 | 453-477 | 478-502 | 503-527 | 528-552 | 553-577 | 578-602 | ... | 1303-1321 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2208, contact, help  (Access key information)