|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 131 occurrences of 99 keywords
|
|
|
Results
Found 608 publication records. Showing 527 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
159 | Rakesh Agrawal 0001, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu |
An SPath-based preference language for P3P. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
APPEL, XPref, hippocratic databases, privacy-aware data management, XPath, preference, P3P |
63 | O. S. Paramonova, A. W. Niukkanen |
Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
Logic-Based Detection of Conflicts in AppelPolicies. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Max Hailperin |
Comparing conservative coalescing criteria. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Copy propagation, graph coloring, register allocation, register coalescing |
49 | Guoliang Xue |
A Cost Optimal Parallel Algorithm for Computing Force Field in N-Body Simulations. |
COCOON |
1998 |
DBLP DOI BibTeX RDF |
Paralle algorithms, spatial tree data structures, force field evaluation, cost optimal algorithms, PRAM, N-body simulations |
46 | Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung 0001, Raymond K. Wong 0001, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng |
End-to-end privacy control in service outsourcing of human intensive processes: A multi-layered Web service integration approach. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Web service integration, Need-to-know principle, APPEL, SLA, Privacy policies, P3P, Layered architecture |
38 | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
Oracle Semantics for Concurrent Separation Logic. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Andrew W. Appel |
Intensional Equality ;=) for Continuations. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
GCH: Hints for Triggering Garbage Collections. |
Trans. High Perform. Embed. Archit. Compil. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Gemma A. Campbell, Kenneth J. Turner |
Ontologies to Support Call Control Policies. |
AICT |
2007 |
DBLP DOI BibTeX RDF |
Call Control, Ontology, Policy, OWL, Internet Telephony |
33 | Amal J. Ahmed 0001 |
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
Garbage Collection Hints. |
HiPEAC |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Monnier, Bratin Saha, Zhong Shao |
Principled Scavenging. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Henry G. Baker |
CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. |
ACM SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
C |
31 | Christoph Grimm 0001, Frank Wawrzik, Alexander Louis-Ferdinand Jung, Konstantin Lübeck, Sebastian Post, Johannes Koch, Oliver Bringmann 0001 |
APPEL - AGILA ProPErty and Dependency Description Language. |
MBMV |
2021 |
DBLP BibTeX RDF |
|
31 | Maico Leberle |
Dissecting call-by-need by customizing multi type systems. (Une dissection de l'appel-par-nécessité par la personnalisation des systèmes de multi types). |
|
2021 |
RDF |
|
31 | Gabriel T. P. Coimbra, Cláudio Gustavo S. Capanema, Fabrício A. Silva, Thais R. M. Braga Silva |
APPEL: Uma extensão do Kepler para enriquecimento de dados geoespaciais. |
GEOINFO |
2019 |
DBLP BibTeX RDF |
|
31 | Jules Chouquet |
Une géométrie du calcul : Réseaux de preuve, Appel-Par-Pousse-Valeuret Topologie du consensus. (A geometry of calculus). |
|
2019 |
RDF |
|
31 | |
Appel propositions darticles sur le thme. Thorie des jeux en informatique. |
Tech. Sci. Informatiques |
2011 |
DBLP BibTeX RDF |
|
31 | Luca Saiu |
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. |
Stud. Inform. Univ. |
2009 |
DBLP BibTeX RDF |
|
31 | Luca Saiu |
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. |
JFLA |
2009 |
DBLP BibTeX RDF |
|
31 | Emin Islam Tatli |
Extending P3P/Appel for Friend Finder. |
MDM |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Laurence Devillers, Laurence Vidrascu |
Représentation et détection des émotions dans des dialogues enregistrés dans un centre d'appel. Des émotions complexes dans des données réelles. |
Rev. d'Intelligence Artif. |
2006 |
DBLP DOI BibTeX RDF |
|
31 | José Manuel Velasco, Katzalin Olcoz, Francisco Tirado |
Adaptive Tuning of Reserved Space in an Appel Collector. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
31 | M. S. Hingst, Andrew T. Phillips |
A Performance Analysis of Appel's Algorithm for Performing Pairwise Calculations in a Many Particle System. |
Comput. Optim. Appl. |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Klaas Esseling |
The Order of Appel's Algorithm. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Christine Morin |
Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre. (Remote Multiprocedure Call Protocol in the Gothic System: Definition and Implementation). |
|
1990 |
RDF |
|
31 | Takahiro Masuda, Akemi Futakawa, Suguru Arimoto, Fumio Miyazaki |
Closed-loop dynamics analysis by Appel's method. |
Adv. Robotics |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Patrice Boizumault |
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. |
SPLT |
1983 |
DBLP BibTeX RDF |
|
31 | André Arnold |
Sémantique algébrique de l'appel par valeur. |
RAIRO Theor. Informatics Appl. |
1978 |
DBLP DOI BibTeX RDF |
|
31 | Irène Guessarian |
A propos de la sémantique de l'appel par valeur selon A. Arnold. |
RAIRO Theor. Informatics Appl. |
1978 |
DBLP DOI BibTeX RDF |
|
31 | Jacky Estublier |
Processus cyclique et appel procédural. |
|
1978 |
RDF |
|
29 | Stephen E. Levy, Carl Gutwin |
Improving understanding of website privacy policies with fine-grained policy anchors. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
APPEL, conformance conflicts, e-commerce, privacy policies, P3P, user agents, privacy preferences |
29 | Keith Irwin, Ting Yu 0001 |
Determining user privacy preferences by asking the right questions: an automated approach. |
WPES |
2005 |
DBLP DOI BibTeX RDF |
APPEL, privacy, preferences, P3P |
22 | Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao |
VST-A: A Foundationally Sound Annotation Verifier. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Kevin C. Zhou, Mark Harfouche, Maxwell Zheng, Joakim Jönsson, Kyung Chul Lee, Kanghyun Kim, Ron Appel, Paul Reamey, Thomas Doman, Veton Saliu, Gregor Horstmeyer, Seung Ah Lee, Roarke Horstmeyer |
Computational 3D topographic microscopy from terabytes of data per sample. |
J. Big Data |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Brian Pondi, Marius Appel, Edzer J. Pebesma |
OpenEOcubes: an open-source and lightweight R-based RESTful web service for analyzing earth observation data cubes. |
Earth Sci. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Andrew W. Appel, Ariel Kellison |
VCFloat2: Floating-Point Error Analysis in Coq. |
CPP |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Jan Appel, Andreas Weiler |
XCrowd: A Realistic Crowd Simulation Tool for Efficient Movement Management. |
EDBT/ICDT Workshops |
2024 |
DBLP BibTeX RDF |
|
22 | Samantha Lewis-Fung, Danielle Tchao, Hannah Gabrielle Gray, Emma Nguyen, Susanna Pardini, Laurence R. Harris, Dale Calabia, Lora Appel |
Designing virtual reality exposure scenarios to treat anxiety in people with epilepsy: Phase 2 of the AnxEpiVR clinical trial. |
Frontiers Virtual Real. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kamran Pentland, Massimiliano Tamborrino, Timothy John Sullivan, James Buchanan, Lynton C. Appel |
GParareal: a time-parallel ODE solver using Gaussian process emulation. |
Stat. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Natalia Sevcenko, Tobias Appel, Manuel Ninaus, Korbinian Moeller, Peter Gerjets |
Theory-based approach for assessing cognitive load during time-critical resource-managing human-computer interactions: an eye-tracking study. |
J. Multimodal User Interfaces |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kamran Pentland, Massimiliano Tamborrino, Debasmita Samaddar, Lynton C. Appel |
Stochastic Parareal: An Application of Probabilistic Methods to Time-Parallelization. |
SIAM J. Sci. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Rianne Appel-Meulenbroek, Vitalija Danivska |
Steps and theories towards more effective business case processes within existing organisations: an inter-disciplinary systematic literature review. |
Bus. Process. Manag. J. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Giulio Weikmann, Daniele Marinelli, Claudia Paris, Silke Migdall, Eva Gleisberg, Florian Appel, Heike Bach, Jim Dowling, Lorenzo Bruzzone |
Multiyear Mapping of Water Demand at Crop Level: An End-to-End Workflow Based on High-Resolution Crop Type Maps and Meteorological Data. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan S. Koning, Ashwin Subramanian, Mazen Alotaibi, Cara L. Appel, Christopher M. Sullivan, Thon Chao, Lisa Truong, Robyn L. Tanguay, Pankaj Jaiswal, Taal Levi, Damon B. Lesmeister |
Njobvu-AI: An open-source tool for collaborative image labeling and implementation of computer vision models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kevin C. Zhou, Mark Harfouche, Maxwell Zheng, Joakim Jönsson, Kyung Chul Lee, Ron Appel, Paul Reamey, Thomas Doman, Veton Saliu, Gregor Horstmeyer, Roarke Horstmeyer |
Computational 3D topographic microscopy from terabytes of data per sample. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Appel, Peter Gerjets, Stefan Hoffmann, Korbinian Moeller, Manuel Ninaus, Christian Scharinger, Natalia Sevcenko, Franz Wortha, Enkelejda Kasneci |
Cross-Task and Cross-Participant Classification of Cognitive Load in an Emergency Simulation Game. |
IEEE Trans. Affect. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Xiaoqin Gao, Paul Appel, Nicolai Friis, Martin Ringbauer, Marcus Huber |
On the role of entanglement in qudit-based circuit compression. |
Quantum |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Pascal Mossier, Daniel Appel, Andrea D. Beck, Claus-Dieter Munz |
An Efficient hp-Adaptive Strategy for a Level-Set Ghost-Fluid Method. |
J. Sci. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Andrew W. Appel, Xavier Leroy |
Efficient Extensional Binary Tries. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Qinshi Wang, Andrew W. Appel |
A Solver for Arrays with Concatenation. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Grundke, Jan-Philipp Stein, Markus Appel |
Improving evaluations of advanced robots by depicting them in harmful situations. |
Comput. Hum. Behav. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Markus Appel, Fabian Hutmacher, Theresa Politt, Jan-Philipp Stein |
Swipe right? Using beauty filters in male Tinder profiles reduces women's evaluations of trustworthiness but increases physical attractiveness and dating intention. |
Comput. Hum. Behav. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Henrike Böck, Patricia B. Appel, Sary Elmelegy, Franziska Hegner, Andreas Riener |
Do you Feel Safe? How Weather Conditions and Time of Day Affect the Feeling of Safety in Passenger Drones. |
AutomotiveUI (Adjunct Proceedings) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Patricia B. Appel, Henrike Böck, Franziska Hegner, Claus Pfeilschifter, Andreas Riener |
Annoyed of Traffic Jams? Fly with FeliFly! |
AutomotiveUI (Adjunct Proceedings) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel |
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Lora Appel, Raheleh Saryazdi, Samantha Lewis-Fung, Di Qi, Essete M. Tesfaye, Isabella Garito, Jennifer L. Campos |
VRx@Home Pilot: Can Virtual Reality Therapy Improve Quality of Life for People with Dementia Living at Home? |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel |
Foundational Verification of Stateful P4 Packet Processing. |
ITP |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Philipp Stark, Tobias Appel, Milo J. Olbrich, Enkelejda Kasneci |
Pupil Diameter during Counting Tasks as Potential Baseline for Virtual Reality Experiments. |
ETRA |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Appel, Kevin Kärcher, Hans-Dieter Körner |
Investigating Cognitive Load for Tasks with Mathematics and Chemistry Context through Eye Tracking. |
ETRA |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Florian Appel, Heike Bach, Silke Migdall, Manolis Koubarakis, George Stamoulis, Dimitris Bilidas, Despina-Athanasia Pantazi, Lorenzo Bruzzone, Claudia Paris, Giulio Weikmann |
ExtremeEarth: Managing Water Availability for Crops Using Earth Observation and Machine Learning. |
EDBT |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin |
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Amalie Søgaard Nielsen, Lisa Hanna, Birgit Furstrand Larsen, Charlotte W. Appel, Richard H. Osborne, Lars Kayser |
Readiness, acceptance and use of digital patient reported outcome in an outpatient clinic. |
Health Informatics J. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Møller Jørgensen, Maria Appel Nissen |
Making sense of decision support systems: Rationales, translations and potentials for critical reflections on the reality of child protection. |
Big Data Soc. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jan-Philipp Stein, Paula Cimander, Markus Appel |
Power-Posing Robots: The Influence of a Humanoid Robot's Posture and Size on its Perceived Dominance, Competence, Eeriness, and Threat. |
Int. J. Soc. Robotics |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Marius Appel |
Efficient data-driven gap filling of satellite image time series using deep neural networks with partial convolutions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Kamran Pentland, Massimiliano Tamborrino, Timothy John Sullivan, James Buchanan, Lynton C. Appel |
GParareal: A time-parallel ODE solver using Gaussian process emulation. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
22 | Ana Paula Appel, Anderson Luis de Paula Silva, Adriana Reigota Silva, Caique Dutra Santos, Thiago Logo da Silva, Rafael Poggi de Araujo, Luiz Carlos Faray de Aquino |
Item Matching using Text Description and Similarity Search. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Paul Appel, Alexander J. Heilman, Ezekiel W. Wertz, David W. Lyons, Marcus Huber, Matej Pivoluska, Giuseppe Vitagliano |
Finite-Function-Encoding Quantum States. |
Quantum |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Markus Appel, Fabian Prietzel |
The detection of political deepfakes. |
J. Comput. Mediat. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Joshua M. Cohen, Qinshi Wang, Andrew W. Appel |
Verified Erasure Correction in Coq with MathComp and VST. |
CAV (2) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Ariel E. Kellison, Andrew W. Appel |
Verified Numerical Methods for Ordinary Differential Equations. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Malte Appel, Emile Aben, Romain Fontugne |
Metis: Better Atlas Vantage Point Selection for Everyone. |
TMA |
2022 |
DBLP BibTeX RDF |
|
22 | Matt Traverso, Craig Appel, Marco Mazzini, Cristiana Muzio, Stanley Lo, Don Adams, Mark Webster |
Integrated Silicon Photonics Transmitters. |
OECC/PSC |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Andrew W. Appel |
Coq's vibrant ecosystem for verification engineering (invited talk). |
CPP |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Appel, Lisa Bardach, Enkelejda Kasneci |
Predicting Decision-Making during an Intelligence Test via Semantic Scanpath Comparisons. |
ETRA |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Zoe Paraskevopoulou, John M. Li, Andrew W. Appel |
Compositional optimizations for CertiCoq. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | John M. Li, Andrew W. Appel |
Deriving efficient program transformations from rewrite rules. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Dong Goo Lee, Adrian Lindsay, Adam Yu, Samantha Neilson, Kristen Sundvick, Ella Golz, Liam Foulger, Maryam Mirian, Silke Appel-Cresswell |
Data-Driven Prediction of Fatigue in Parkinson's Disease Patients. |
Frontiers Artif. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Lennart Beringer, Andrew W. Appel |
Abstraction and subsumption in modular verification of C programs. |
Formal Methods Syst. Des. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Desta Haileselassie Hagos, Theofilos Kakantousis, Vladimir Vlassov, Sina Sheikholeslami, Tianze Wang, Jim Dowling, Claudia Paris, Daniele Marinelli, Giulio Weikmann, Lorenzo Bruzzone, Salman Khaleghian, Thomas Krämer, Torbjørn Eltoft, Andrea Marinoni, Despina-Athanasia Pantazi, George Stamoulis, Dimitris Bilidas, George Papadakis 0001, Georgios M. Mandilaras, Manolis Koubarakis, Antonis Troumpoukis, Stasinos Konstantopoulos, Markus Muerth, Florian Appel, Andrew Fleming, Andreas Cziferszky |
ExtremeEarth Meets Satellite Data From Space. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Kamran Pentland, Massimiliano Tamborrino, D. Samaddar, Lynton C. Appel |
Stochastic parareal: an application of probabilistic methods to time-parallelisation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Andrew W. Appel, Xavier Leroy |
Efficient Extensional Binary Tries. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Ahmed Hassoon, Yasmin Baig, Daniel Q. Naiman, David D. Celentano, Dina Lansey, Vered Stearns, Josef Coresh, Jennifer A. Schrack, Seth S. Martin, Hsin-Chieh Yeh, Hadas Zeilberger, Lawrence J. Appel |
Randomized trial of two artificial intelligence coaching interventions to increase physical activity in cancer survivors. |
npj Digit. Medicine |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Mary Beth Oliver, Arthur A. Raney, Anne Bartsch, Sophie H. Janicke-Bowles, Markus Appel, Katherine R. Dale |
Model of Inspiring Media. |
J. Media Psychol. Theor. Methods Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Markus Appel, Birgit Lugrin, Mayla Kühle, Corinna Heindl |
The emotional robotic storyteller: On the influence of affect congruency on narrative transportation, robot perception, and persuasion. |
Comput. Hum. Behav. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Claudio Santos Pinhanez, Heloisa Candello, Paulo Rodrigo Cavalin, Mauro Carlos Pichiliani, Ana Paula Appel, Victor Henrique Alves Ribeiro, Julio Nogima, Maíra Gatti de Bayser, Melina Alberio Guerra, Henrique Ferreira, Gabriel Louzada Malfatti |
Integrating Machine Learning Data with Symbolic Knowledge from Collaboration Practices of Curators to Improve Conversational Systems. |
CHI |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Mirko Palmer, Malte Appel, Kevin Spiteri, Balakrishnan Chandrasekaran 0002, Anja Feldmann, Ramesh K. Sitaraman |
VOXEL: cross-layer optimization for video streaming with imperfect transmission. |
CoNEXT |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li 0004, Vikram Narayanan, Gerd Zellweger |
Isolation in Rust: What is Missing? |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Matt Traverso, Marco Mazzini, Kumar Lakshmikumar, Sanjay Sunder, Alexander Kurylak, Craig Appel, Cristiana Muzio, Ravi Tummidi, Alberto Cervasio, Mary Nadeau, Weizhuo Li, Jarrett Neiman, Mark Webster |
Integrated Silicon Photonics Transceiver Module for 100Gbit/s 20km Transmission. |
OFC |
2021 |
DBLP BibTeX RDF |
|
22 | James P. Roney, Troy Appel, Prateek Pinisetti, James Mickens |
Identifying Valuable Pointers in Heap Data. |
SP (Workshops) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Claudio S. Pinhanez, Paulo Rodrigo Cavalin, Victor Henrique Alves Ribeiro, Ana Paula Appel, Heloisa Candello, Julio Nogima, Mauro Pichiliani, Melina Alberio Guerra, Maíra de Bayser, Gabriel Louzada Malfatti, Henrique Ferreira |
Using Meta-Knowledge Mined from Identifiers to Improve Intent Recognition in Conversational Systems. |
ACL/IJCNLP (1) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Appel |
Cross-participant and cross-task classification of cognitive load based on eye tracking |
|
2021 |
RDF |
|
22 | Yaniv Shani, Gil Appel, Shai Danziger, Ron Shachar |
When and Why Consumers "Accidentally" Endanger Their Products. |
Manag. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Vanessa Kosoy, Alexander Appel |
Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
22 | Hartwig Anzt, Felix Bach, Stephan Druskat, Frank Löffler 0001, Axel Loewe, Bernhard Y. Renard, Gunnar Seemann, Alexander Struck, Elke Achhammer, Piush Aggarwal, Franziska Appel, Michael Bader, Lutz Brusch, Christian Busse, Gerasimos Chourdakis, Piotr Wojciech Dabrowski, Peter Ebert, Bernd Flemisch, Sven Friedl, Bernadette Fritzsch, Maximilian D. Funk, Volker Gast, Florian Goth, Jean-Noël Grad, Sibylle Hermann, Florian Hohmann, Stephan Janosch, Dominik Kutra, Jan Linxweiler, Thilo Muth, Wolfgang Peters-Kottig, Fabian Rack, Fabian H. C. Raters, Stephan Rave, Guido Reina, Malte Reißig, Timo Ropinski, Jörg Schaarschmidt, Heidi Seibold, Jan P. Thiele, Benjamin Uekermann, Stefan Unger, Rudolf Weeber |
An environment for sustainable research software in Germany and beyond: current state, open challenges, and call for action. |
F1000Research |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Tino Kreutzer, Patrick Vinck, Phuong N. Pham, Aijun An, Lora Appel, Eric DeLuca, Grace Tang, Muath Alzghool, Kusum Hachhethu, Bobi Morris, Sandie L. Walton-Ellery, John Crowley, James Orbinski |
Improving humanitarian needs assessments through natural language processing. |
IBM J. Res. Dev. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Eugenia V. Afinoguenova, Stephen Appel, Andrea Ballard, Mackenzi McGowan |
Letters from Spain in a Space-time Box: Historical GIS with Timestamped Itineraries for Understanding the Chronotopes of Nineteenth-century Travel Writing. |
Int. J. Humanit. Arts Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Andrew W. Appel, Yves Bertot |
C floating-point proofs layered with VST and Flocq. |
J. Formaliz. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 527 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|