201 – 300 of 1716
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Message from the Chairs
2020) 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Supercritical space-width trade-offs for resolution
(
- Contribution to journal › Article
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perfect edge-transmitting recombination of permutations
2020) In arXiv(
- Other contribution › Miscellaneous
-
Mark
The PL-Detective Revisited
2020) 2020 ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications, Software for Humanity, SPLASH-E 2020(
In SPLASH-E 2020 p.12-22- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Operator splitting performance estimation : Tight contraction factors and optimal parameter selection
(
- Contribution to journal › Article
-
Mark
An overview of cryptographic primitives for possible use in 5G and beyond
(
- Contribution to journal › Scientific review
-
Mark
Hedwig : A named entity linker
2020) 12th International Conference on Language Resources and Evaluation, LREC 2020 In LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings p.4501-4508(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Investigating an Agent Based Modelling approach for SDI planning: A case study of Tanzania NSDI development
(
- Contribution to journal › Article
-
Mark
Hybrid model to improve the river streamflow forecasting utilizing multi-layer perceptron-based intelligent water drop optimization algorithm
(
- Contribution to journal › Article
-
Mark
A simple approach to nondecreasing paths
(
- Contribution to journal › Article
-
Mark
Do preparatory programming lab sessions contribute to even work distribution in student teams?
2020) 42nd ACM/IEEE International Conference on Software Engineering, ICSE-Companion 2020 In Proceedings - International Conference on Software Engineering p.254-255(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EUTelescope : A modular reconstruction framework for beam telescope data
(
- Contribution to journal › Article
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
2020) 25th European Symposium on Research in Computer Security, ESORICS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12308 LNCS. p.677-697(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
2020) Eurographics Eurovis, EGEV 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Single Tweakey Cryptanalysis of Reduced-Round SKINNY-64
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Performance Based Specification of Wood - Project CLICKdesign
2020) 15th International Conference on Durability of Building Materials and Components, DBMC 2020 p.457-464(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-aware machine learning for multimodal workload monitoring during manual labor on edge wearable sensors
(
- Contribution to journal › Article
-
Mark
Trade-offs between size and degree in polynomial calculus
2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Openness and security thinking characteristics for iot ecosystems
(
- Contribution to journal › Article
-
Mark
Experiments on Belief Formation in Networks
(
- Contribution to journal › Article
-
Mark
A Domain-Specific Language for Filtering in Application-Level Gateways
2020) 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 p.111-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sound over-approximation of probabilities
(
- Contribution to journal › Article
-
Mark
CLI-DOS : Collaborative Counteraction against Denial of Service in the Internet of Things
2020) 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
2020) 12th International Conference on Security and Cryptography for Networks, SCN 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12238 LNCS. p.298-318(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FLIP: A Difference Evaluator for Alternating Images
(
- Contribution to journal › Article
-
Mark
Solving LPN Using Covering Codes
(
- Contribution to journal › Article
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The brain attics : the strategic role of memory in single and multi-agent inquiry
(
- Contribution to journal › Article
-
Mark
Titta : A toolbox for creating PsychToolbox and Psychopy experiments with Tobii eye trackers
2020) In Behavior Research Methods(
- Contribution to journal › Article
-
Mark
Transparency in artificial intelligence
(
- Contribution to journal › Article
- 2019
-
Mark
Shape-aware label fusion for multi-atlas frameworks
(
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
(
- Contribution to journal › Article
-
Mark
Variational auto-encoders with Student’s t-prior
2019) 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
(2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science 11651.
- Book/Report › Book
-
Mark
ComPOS : Composing Oblivious Services
2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Socio-Legal Relevance of Artificial Intelligence (report)
2019)(
- Book/Report › Report
-
Mark
Identifying Decaying Sinusoidal Modes Using Signed Measurements
2019) 8th IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2019 In 2019 IEEE 8th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2019 - Proceedings p.76-80(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Many-Light Sampling for Real-Time Ray Tracing
2019) High-Performance Graphics, 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Minimizing Side-Channel Attack Vulnerability Via Schedule Randomization
2019) p.2928-2933(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Demorgan circuits of bounded negation width
2019) 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 In Leibniz International Proceedings in Informatics, LIPIcs 126.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Hardware Implementations of Grain-128AEAD
2019) 20th International Conference on Cryptology in India, INDOCRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11898 LNCS. p.495-513(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MonteCarloMeasurements.jl : Propagation of distributions by Monte-Carlo sampling: Real number types with uncertainty represented by particle clouds.
2019)(
- Non-textual form › Software
-
Mark
Efficient Motion Planning for Autonomous Vehicle Maneuvers Using Duality-Based Decomposition
2019) 9th IFAC Symposium on Advances in Automotive Control, AAC 2019 In IFAC-PapersOnLine 52(5). p.78-84(
- Contribution to journal › Article
-
Mark
A Real-Time Gesture Recognition System with FPGA Accelerated ZynqNet Classification
2019) 5th IEEE Nordic Circuits and Systems Conference, NORCAS 2019: NORCHIP and International Symposium of System-on-Chip, SoC 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS - a development environment for composing internet-of-things services
(
- Thesis › Licentiate thesis
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
2019) 30th International Symposium on Algorithms and Computation (ISAAC 2019) In LIPIcs – Leibniz International Proceedings in Informatics 149. p.1-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Socio-Legal Relevance of Artificial Intelligence
(
- Contribution to journal › Article
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651. p.322-334(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parametrization of Behavior Trees for Industrial Assembly Skills through Reinforcement Learning
2019) SAIS 2019, 31st Workshop of the Swedish AI Society(
- Contribution to conference › Paper, not in proceeding
-
Mark
Contributions to Preventive Measures in Cyber Security
2019) In Series of licentiate and doctoral theses(
- Thesis › Doctoral thesis (compilation)
-
Mark
DOTA 2 bot competition
(
- Contribution to journal › Article
-
Mark
Some Cryptanalytic and Coding-Theoretic Applications of a Soft Stern Algorithm
(
- Contribution to journal › Article
-
Mark
Decryption Failure Attacks on IND-CCA Secure Lattice-Based Schemes
2019) 22nd edition of the International Conference on Practice and Theory of Public Key Cryptography (PKC), 2019 In Lecture Notes in Computer Science 11443. p.565-598(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On a Fire Fighter’s Problem
(
- Contribution to journal › Article
-
Mark
Constraint programming in embedded systems design : Considered helpful
(
- Contribution to journal › Article
-
Mark
Spatially coupled turbo-like codes : A new trade-off between waterfall and error floor
(
- Contribution to journal › Article
-
Mark
Ontology-Based Knowledge Representation for Increased Skill Reusability in Industrial Robots
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sustainable AI : An inventory of the state of knowledge of ethical, social, and legal challenges related to artificial intelligence
2019)(
- Book/Report › Report
-
Mark
AI-teknologin måste gå att lita på
2019) In Entreprenör(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
2019) 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). In LIPIcs 115. p.1-13(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortcuts for the circle
(
- Contribution to journal › Article
-
Mark
Det råder inget motsatsförhållande mellan teknik och etik. De avhandlas bäst tillsammans
2019) In Sydsvenskan(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Importance Sampling of Many Lights on the GPU
2019) p.255-255(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Pushing the Online Matrix-Vector Conjecture Off-Line and Identifying Its Easy Cases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL: Analysing Datalog in Datalog
2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluating and Improving Risk Analysis Methods for Critical Systems
2019)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
(
- Contribution to journal › Article
-
Mark
Preface
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651 LNCS.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
Mark
Nullstellensatz size-degree trade-offs from reversible pebbling
2019) 34th Computational Complexity Conference, CCC 2019 In Leibniz International Proceedings in Informatics, LIPIcs 137.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Texture Level of Detail Strategies for Real-Time Ray Tracing
2019) p.321-345(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Temporally Dense Ray Tracing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
New Distinguisher on Reduced-Round Keccak Sponge Function
2019) In IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E102-A(1). p.242-250(
- Contribution to journal › Article
-
Mark
Reconstructing an S-box from its Difference Distribution Table
(
- Contribution to journal › Article
-
Mark
Application of Bioactivity Profile-Based Fingerprints for Building Machine Learning Models
(
- Contribution to journal › Article
-
Mark
Butterfly attack : Adversarial manipulation of temporal properties of cyber-physical systems
2019) 40th IEEE Real-Time Systems Symposium, RTSS 2019 In Proceedings - Real-Time Systems Symposium 2019-December. p.93-106(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multi-Modal Acute Stress Recognition Using Off-the-Shelf Wearable Devices
2019) 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019 In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS p.2196-2201(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Security-aware routing and scheduling for control applications on ethernet TSN networks
(
- Contribution to journal › Article
-
Mark
Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical design space exploration
2019) 27th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2019 In Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS 2019-October. p.347-358(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On division versus saturation in pseudo-boolean solving
2019) 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 In IJCAI International Joint Conference on Artificial Intelligence 2019-August. p.1711-1718(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What is a Ray?
2019) p.15-19(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Precision Improvements for Ray/Sphere Intersection
2019) p.87-94(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Simple Environment Map Filtering Using Ray Cones and Ray Differentials
2019) p.347-351(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Ray Tracing Gems : High-Quality and Real-Time Rendering with DXR and other APIs
Haines, Eric and Akenine-Möller, Tomas LU (2019)
- Book/Report › Anthology (editor)
- 2018
-
Mark
Generating FMUs for the Feature-Based Language Bloqqi
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Safe Regression Test Selection Technique for Modelica
2018) American Modelica Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Continuous Model Validation using Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Bit-Encoding Based New Data Structure for Time and Memory Efficient Handling of Spike Times in an Electrophysiological Setup
(
- Contribution to journal › Article
-
Mark
Linking, Searching, and Visualizing Entities in Wikipedia
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reports of the AAAI 2017 fall symposium series
(
- Contribution to journal › Article
-
Mark
Extreme Witnesses and Their Applications
(
- Contribution to journal › Article
-
Mark
Group affiliation detection in a challenging environment
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding