|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 26 keywords
|
|
|
Results
Found 732 publication records. Showing 667 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
190 | Muhammad El-Taha, Shaler Stidham Jr. |
A filtered ASTA property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 11(3), pp. 211-222, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
ASTA, queueing systems, point processes, martingales, PASTA |
107 | Steve Hodgson, Len Theobald, W. B. Hughes, Richard Illman |
ASTA: an integrated system for bist analysis & automatic test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 7-12, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
57 | Masakiyo Miyazawa, Yoshitaka Takahashi |
Rate conservation principle for discrete-time queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 12(3-4), pp. 215-229, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Stationary point process, Palm distribution, rate conservation principle, ASTA, Little's formula, Brumelle's formula, discrete-time queues |
33 | Lingbo Li, Tianle Li, Xinyi He, Mengyu Zhou, Shi Han, Dongmei Zhang 0001 |
ASTA: Learning Analytical Semantics over Tables for Intelligent Data Analysis and Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.01043, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Xierong Zhu, Jiawei Liu 0001, Haoze Wu 0003, Meng Wang 0001, Zheng-Jun Zha |
ASTA-Net: Adaptive Spatio-Temporal Attention Network for Person Re-Identification in Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: MM '20: The 28th ACM International Conference on Multimedia, Virtual Event / Seattle, WA, USA, October 12-16, 2020, pp. 1706-1715, 2020, ACM, 978-1-4503-7988-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Dimitrios Tzimeas, Dimitrios Stathopoulos, Emmanouel Danezis, Evaggelia Lyratzi, Antonios Antoniou |
Some important notes on ASTA software: A new method of analysis of simple and complex emission and absorption spectral lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Astron. Comput. ![In: Astron. Comput. 26, pp. 14-34, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Brian DeRenzi, Jeremy Wacksman, Nicola Dell, Scott Lee, Neal Lesh, Gaetano Borriello, Andrew Ellner |
Closing the Feedback Loop: A 12-month Evaluation of ASTA, a Self-Tracking Application for ASHAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTD ![In: Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, ICTD 2016, Ann Arbor, MI, USA, June 03 - 06, 2016, pp. 22, 2016, ACM, 978-1-4503-4306-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Jayeeta Ghosh, Suresh Marru, Nikhil Singh 0008, Kenno Vanomesslaeghe, Ye Fan, Sudhakar Pamidighantam |
Molecular parameter optimization gateway (ParamChem): workflow management through TeraGrid ASTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TG ![In: Proceedings of the 2011 TeraGrid Conference - Extreme Digital Discovery, TG '11, Salt Lake City, Utah, USA, July 18-21, 2011, pp. 35:1-35:8, 2011, ACM, 978-1-4503-0888-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Isi Mitrani, Philippe Robert |
On the ASTA property in a feedback processor-sharing queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 58(1), pp. 81-85, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Gunhild Halvorsrud |
The Åsta Train Crash, its Precursors and Consequences, and its Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 16-30, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Zvi Rosberg, H. Richard Gail |
ASTA implies an M/G/1-like load decomposition for a server with vacations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 10(2), pp. 95-97, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Takuji Ogihara, H. Toyoshima, Shinichi Murai |
ASTA: LSI Design Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28 - July 1, 1987., pp. 530-536, 1987, IEEE Computer Society Press / ACM. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Newton Lee |
A word from the editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 6(2), pp. 14:1-14:3, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Xiliang Liu, Kaliappa Nadar Ravindran, Dmitri Loguinov |
What signals do packet-pair dispersions carry? ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 281-292, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Hellström |
Optimizing the Sharpe Ratio for a Rank Based Trading System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 130-141, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Mohammad N. S. Jahromi, Satya M. Muddamsetty, Asta Sofie Stage Jarlner, Anna Murphy Høgenhaug, Thomas Gammeltoft-Hansen, Thomas B. Moeslund |
SIDU-TXT: An XAI Algorithm for NLP with a Holistic Assessment Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03043, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Asta Pundziene, Lukas Geryba |
Managing Technological Innovation: Dynamic Capabilities, Collaborative Innovation, and Born-Digital SMEs' Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 6968-6981, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Diana Kalibatiene, Jolanta Miliauskaite, Asta Slotkiene, Saulius Gudas |
On the development of the web service quality modelling space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 211, pp. 118584, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel R. Bragion, Ana Paula Dal'Asta, Silvana Amaral |
Bringing to Light the Potential of Angular Nighttime Composites for Monitoring Human Activities in the Brazilian Legal Amazon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(14), pp. 3515, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Lars M. Rimol, Henning Hoel Rise, Kari Anne Indredavik Evensen, Anastasia Yendiki, Gro C. Christensen Løhaugen, Marit S. Indredavik, Ann-Mari Brubakk, Knut Jørgen Bjuland, Live Eikenes, Siri Weider, Asta K. Håberg, Jon Skranes |
Atypical brain structure mediates reduced IQ in young adults born preterm with very low birth weight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 266, pp. 119816, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Scott J. S. Isherwood, Pierre-Louis Bazin, Steven Miletic, Niek R. Stevenson, Anne C. Trutti, Desmond H. Y. Tse, A. Heathcote, D. Matzke, Reilly J. Innes, Sarah Habli, D. R. Sokolowski, Anneke Alkemade, Asta K. Håberg, Birte U. Forstmann |
Investigating Intra-Individual Networks of Response Inhibition and Interference Resolution using 7T MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 271, pp. 119988, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Matteo Oldoni, Giuseppe Macchiarella, Gian Guido Gentili, Cristina D'Asta |
Analytical Derivation of Scattering and Admittance Rational Functions From Coupling Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(7), pp. 2320-2324, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Ferrari, Fritz Körmann, Mark Asta, Jörg Neugebauer |
Simulating short-range order in compositionally complex materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. Sci. ![In: Nat. Comput. Sci. 3(3), pp. 221-229, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Darius Linge, Marius Gedgaudas, Andrius Merkys, Vytautas Petrauskas, Antanas Vaitkus, Algirdas Grybauskas, Vaida Paketuryte, Asta Zubriene, Audrius Zaksauskas, Aurelija Mickeviciute, Joana Smirnoviene, Lina Baranauskiene, Edita Capkauskaite, Virginija Dudutiene, Ernestas Urniezius, Aleksandras Konovalovas, Egidijus Kazlauskas, Kirill Shubin, Helgi B. Schiöth, Wen-Yih Chen, John E. Ladbury, Saulius Grazulis, Daumantas Matulis |
PLBD: protein-ligand binding database of thermodynamic and kinetic intrinsic parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database J. Biol. Databases Curation ![In: Database J. Biol. Databases Curation 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Sunghwan Kim 0002, Jie Chen 0039, Tiejun Cheng, Asta Gindulyte, Jia He 0008, Siqian He, Qingliang Li, Benjamin A. Shoemaker, Paul A. Thiessen, Bo Yu 0016, Leonid Zaslavsky, Jian Zhang 0038, Evan E. Bolton |
PubChem 2023 update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 51(D1), pp. 1373-1380, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Asta Zelenkauskaite, Greg Loring-Albright |
Facebook Live is not "liked": Construction of liveness and the reception of video livestreaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 25(9), pp. 2437-2454, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Eamonn Kennedy, Shashank Vadlamani, Hannah M. Lindsey, Kelly S. Peterson, Kristen Dams OConnor, Kenton Murray, Ronak Agarwal, Houshang H. Amiri, Raeda K. Andersen, Talin Babikian, David A Baron, Erin D. Bigler, Karen Caeyenberghs, Lisa Delano-Wood, Seth G. Disner, Ekaterina Dobryakova, Blessen C. Eapen, Rachel M. Edelstein, Carrie Esopenko, Helen M. Genova, Elbert Geuze, Naomi J. Goodrich-Hunsaker, Jordan Grafman, Asta K. Håberg, Cooper B. Hodges, Kristen R. Hoskinson, Elizabeth S. Hovenden, Andrei Irimia, Neda Jahanshad, Ruchira M. Jha, Finian Keleher, Kimbra Kenney, Inga Koerte, Spencer W. Liebel, Abigail Livny, Marianne Lovstad, Sarah L. Martindale, Jeffrey E. Max, Andrew R. Mayer, Timothy B. Meier, Deleene S. Menefee, Abdalla Z. Mohamed, Stefania Mondello, Martin M. Monti, Rajendra A. Morey, Virginia Newcombe, et al. |
Linking Symptom Inventories using Semantic Textual Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.04607, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Anna Paola Muntoni, Fabio Mazza, Alfredo Braunstein, Giovanni Catania, Luca Dall'Asta |
Effectiveness of probabilistic contact tracing in epidemic containment: the role of super-spreaders and transmission paths reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.00910, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From |
Synthetic Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen |
A sequent calculus for first-order logic formalized in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 33(4), pp. 818-836, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Otilija Jurakovaite, Asta Gaigaliene |
Multiplex Financial Network Regionalization Scenarios as a Result of Re-globalization: Does Geographical Proximity Still Matter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPLEX NETWORKS (3) ![In: Complex Networks & Their Applications XII - Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023, Menton, France, 28-30 November, 2023, Volume 3, pp. 283-295, 2023, Springer, 978-3-031-53471-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Asta Kvedaraite, Neda Buineviciute, Agne Paulauskaite-Taraseviciene |
Computer Vision-Based Multi-Class Classification of Garments Using a Three-Level Hierarchical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVUS ![In: Proceedings of the 28th International Conference on Information Society and University Studies (IVUS 2023), Kaunas, Lithuania, May 12, 2023., pp. 75-82, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Asta Daunoriene, Dorothea Ellinger |
Facilitating and Hindering Aspects of Technology-Enriched Challenge-Based Learning in ECIU University, a European University International Network Initiative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Responsive and Sustainable Educational Futures - 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings, pp. 542-547, 2023, Springer, 978-3-031-42681-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Alessia Fantini, Antonino Asta, Alfredo Cuzzocrea, Giovanni Pilato |
Building and Assessing an Italian Textual Dataset for Emotion Recognition in Human-Robot Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMSVIVA ![In: The 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023, KSIR Virtual Conference Center, USA, June 29 - July 3, 2023., pp. 65-73, 2023, KSI Research Inc., 1-891706-57-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Madeleine I. G. Daepp, Alex Cabral, Tiffany M. Werner, Raed Mansour, Charlie Catlett, Asta Roseway, Chuck Needham, Nneka Udeagbala, Scott Counts |
The "Three-Legged Stool": Designing for Equitable City, Community, and Research Partnerships in Urban Environmental Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 526:1-526:19, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Andrius Rapalis, Daivaras Sokas, Vilma Plusciauskaite, Sofija Jurgionyte, Zivile Stankeviciute, Jesús Lázaro 0002, Asta Savaneviciene, Raquel Bailón, Eugenijus Kaniusas, Vaidotas Marozas |
Photoplethysmogram Morphology in Stress: from Mental to Pain to Physical Activity-Induced Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2023, Atlanta, GA, USA, October 1-4, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-8252-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Jørgen Villadsen |
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 468-480, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Munif Ishad Mujib, Asta Zelenkauskaite, Jake Ryland Williams |
Which Tweets 'Deserve' to be Included in News Stories? Chronemics of Tweet Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 5983-5993, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Jannis Limperg, Asta Halkjær From |
Aesop: White-Box Best-First Proof Search for Lean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023, pp. 253-266, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Heidi Laine, Asta Heikkilä, Laura-Maria Peltonen, Jouni Smed |
Digital Information Management for Advanced Practice Nursing: Needs Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22 - 25 May 2023., pp. 617-618, 2023, IOS Press, 978-1-64368-388-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Adeline M. Maciel, Marcos Lima Rodrigues, Yuri Nunes, Luana B. Luz, Ana Paula Dal'Asta, Gilberto Ribeiro de Queiroz, Karine Reis Ferreira, Sidnei J. S. Sant'Anna, Maria Isabel Sobral Escada, Ana Claudia R. Vitor, Christovam Barcellos, Cláudia T. Codeço, Diego Ricardo Xavier, Vanderlei P. Matos, Raphael de Freitas Saldanha, Abner Ernâni dos Anjos, Fabiana Zioti, Gabriel Sansigolo, Raphael W. Costa, Rennan F. B. Marujo, Lúbia Vinhas, Rachel Lowe, Antônio Miguel Vieira Monteiro |
The Harmonize Project And The EODCtHRS Architecture: An Earth Observation Data Cube Tuned For Health Response Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEOINFO ![In: XXIV Brazilian Symposium on Geoinformatics - GEOINFO 2023, São José dos Campos, SP, Brazil, December 4-6, 2023., pp. 122-133, 2023, MCTI/INPE. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Antonino Asta, Alfredo Cuzzocrea, Alessia Fantini, Giovanni Pilato, Pablo García Bringas |
Supporting Emotion Recognition in Human-Robot Interactions: An Experimental Italian Textual Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligent Systems - 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings, pp. 483-494, 2023, Springer, 978-3-031-40724-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Longlong Wang, Marija Bervida, Samo Stanic, Klemen Bergant, Asta Gregoric, Luka Drinovec, Grisa Mocnik, Zhenping Yin, Yang Yi, Detlef Müller, Xuan Wang |
Investigation of Aerosol Types and Vertical Distributions Using Polarization Raman Lidar over Vipava Valley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(14), pp. 3482, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Sigita Dereskeviciute, Asta Kazlauskiene |
Prosodic Phrasing in Lithuanian: Preparatory Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balt. J. Mod. Comput. ![In: Balt. J. Mod. Comput. 10(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Asta Kazlauskiene, Sigita Dereskeviciute |
Observations on the Prosodic Marking of Narrow Focus in Lithuanian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balt. J. Mod. Comput. ![In: Balt. J. Mod. Comput. 10(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Lina Draudviliene, Asta Meskuotiene |
The Methodology for the Reliability Evaluation of the Signal Processing Methods Used for the Dispersion Estimation of Lamb Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 71, pp. 1-7, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Hossein Jabbari Khamnei, Ieva Meidute-Kavaliauskiene, Masood Fathi, Asta Valackiene, Shahryar Ghorbani |
Parameter Estimation of the Exponentiated Pareto Distribution Using Ranked Set Sampling and Simple Random Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(6), pp. 293, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jasmine Pani, Chiara Marzi, Dorthe Stensvold, Ulrik Wisløff, Asta Kristine Håberg, Stefano Diciotti |
Longitudinal study of the effect of a 5-year exercise intervention on structural brain complexity in older adults. A Generation 100 substudy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 256, pp. 119226, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Adyasha Mohanty, Asta Wu, Sriramya Bhamidipati, Grace Xingxin Gao |
Precise Relative Positioning via Tight-Coupling of GPS Carrier Phase and Multiple UWBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(2), pp. 5757-5762, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | David Stier, Asta Wu, Adyasha Mohanty, Grace Xingxin Gao |
A Test Platform for UWB-Based Localization of Dynamic Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(2), pp. 3773-3778, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Asta Meskuotiene, Paulius Kaskonas, Benas Gabrielis Urbonavicius, Gintautas Balciunas, Justina Dobiliene |
Analysis of Liquid Quantity Measurement in Loading/Unloading Processes in Cylindrical Tanks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(7), pp. 122, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Alfredo Braunstein, Giovanni Catania, Luca Dall'Asta, Matteo Mariani, Anna Paola Muntoni |
Inference in conditioned dynamics through causality restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10179, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Munif Ishad Mujib, Asta Zelenkauskaite, Jake Ryland Williams |
Which tweets 'deserve' to be included in news stories? Chronemics of tweet embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.09185, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Lina Draudviliene, Asta Meskuotiene, Renaldas Raisutis, Olgirdas Tumsys, Lina Surgaute |
Accuracy Assessment of the 2D-FFT Method Based on Peak Detection of the Spectrum Magnitude at the Particular Frequencies Using the Lamb Wave Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(18), pp. 6750, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Frederik Krogsdal Jacobsen |
A Sequent Calculus Prover for First-Order Logic with Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From |
A Naive Prover for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From, Jørgen Villadsen |
Soundness and Completeness of Implicational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Asta Romikaityte, Stelian Adrian Stanci, Javier de Andrés, Daniel Fernández Lanvin, Martín González-Rodríguez |
A Comparison of Date Selection Elements on Mobile Touch Devices in eCommerce Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHIRA ![In: Proceedings of the 6th International Conference on Computer-Human Interaction Research and Applications, CHIRA 2022, Valletta, Malta, October 27-28, 2022., pp. 217-224, 2022, SCITEPRESS, 978-989-758-609-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Madeleine I. G. Daepp, Alex Cabral, Vaishnavi Nattar Ranganathan, Vikram Iyer, Scott Counts, Paul Johns, Asta Roseway, Charlie Catlett, Gavin Jancke, Darren Gehring, Chuck Needham, Curtis von Veh, Tracy Tran, Lex Story, Gabriele D'Amone, Bichlien H. Nguyen |
Eclipse: An End-to-End Platform for Low-Cost, Hyperlocal Environmental Sensing in Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022, Milano, Italy, May 4-6, 2022, pp. 28-40, 2022, IEEE, 978-1-6654-9624-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Asta Olafsdottir, David Butt, Addie Majed, Mark Falworth, Matthew J. Clarkson, Stephen A. Thompson |
SciKit-SurgeryGlenoid, an open source toolkit for glenoid version measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2022: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, CA, USA, February 20-24, 2022 / Online, March 21-27, 2022, 2022, SPIE, 9781510649439. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Frederik Krogsdal Jacobsen |
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel., pp. 13:1-13:22, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-252-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jurgita Baryniene, Asta Daunoriene, Daina Gudoniene |
Technology-Enriched Challenge-Based Learning for Responsible Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022, Proceedings, pp. 273-283, 2022, Springer, 978-3-031-16301-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Eduard Shevtshenko, Rene Maas, Tatjana Karaulova, Anna Truver, Anna Nikolajeva, Ritvars Revals, Janek Popell, Iveta Dembovska, Mindaugas Samuolaitis, Asta Raupeliene |
Application of Component Organized Learning Method for DIGSCM 4.0 Hybrid Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICL (1) ![In: Learning in the Age of Digital and Green Transition - Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL 2022), Volume 1, Vienna, Austria, 27-30 September 2022., pp. 157-170, 2022, Springer, 978-3-031-26875-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Leonid Zaslavsky, Tiejun Cheng, Asta Gindulyte, Siqian He, Sunghwan Kim 0002, Qingliang Li, Paul A. Thiessen, Bo Yu 0016, Evan Bolton |
Discovering and Summarizing Relationships Between Chemicals, Genes, Proteins, and Diseases in PubChem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Res. Metrics Anal. ![In: Frontiers Res. Metrics Anal. 6, pp. 689059, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Zelenkauskaite, Pihla Toivanen, Jukka Huhtamäki, Katja Valaskivi |
Shades of hatred online: 4chan duplicate circulation surge during hybrid media events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 26(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Sunghwan Kim 0002, Jie Chen 0039, Tiejun Cheng, Asta Gindulyte, Jia He 0008, Siqian He, Qingliang Li, Benjamin A. Shoemaker, Paul A. Thiessen, Bo Yu 0016, Leonid Zaslavsky, Jian Zhang 0038, Evan Bolton |
PubChem in 2021: new data content and improved web interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 49(Database-Issue), pp. D1388-D1395, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen |
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021., pp. 38-55, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Luca Dall'Asta |
Coordination problems on networks revisited: statics and dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.02548, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Indaco Biazzo, Alfredo Braunstein, Luca Dall'Asta, Fabio Mazza |
Epidemic inference through generative neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03383, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn |
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 71-85, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Dena Marie Asta |
Kernel density estimation on symmetric spaces of non-compact type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multivar. Anal. ![In: J. Multivar. Anal. 181, pp. 104676, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Costanzo 0003, Sergio Falcone, Antonino D'Alessandro, Giovanni Vitale, Sonia Giovinazzi, Michele Morici, Andrea Dall'Asta, Maria Fabrizia Buongiorno |
A Technological System for Post-Earthquake Damage Scenarios Based on the Monitoring by Means of an Urban Seismic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(23), pp. 7887, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Anton Popov, Ruta Aukstakojyte, Justina Gaidukevic, Viktorija Lisyte, Asta Kausaite-Minkstimiene, Jurgis Barkauskas, Almira Ramanaviciene |
Reduced Graphene Oxide and Polyaniline Nanofibers Nanocomposite for the Development of an Amperometric Glucose Biosensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(3), pp. 948, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From |
Public Announcement Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From |
Soundness and Completeness of an Axiomatic System for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Daniela Ambrosino, Veronica Asta |
An innovative operation-time-space network for solving different logistic problems with capacity and time constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 78(3), pp. 350-367, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From |
Formalized Soundness and Completeness of Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings, pp. 1-15, 2021, Springer, 978-3-030-88852-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Luca Dall'Asta, Georg Egger |
Human Action Detection, Classification and Monitoring Based on Micro-Doppler Processing for Avoidance of Work Accidents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAmI ![In: Ambient Intelligence - Software and Applications - 12th International Symposium on Ambient Intelligence, ISAmI 2021, Salamanca, Spain, 6-8 October, 2021., pp. 81-91, 2021, Springer, 978-3-031-06893-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Alex Cabral, Asta Roseway, Paul Johns |
Design and Implementation of A Mobile Urban Low-Cost Environmental Sensor Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SENSORS ![In: 2021 IEEE Sensors, Sydney, Australia, October 31 - Nov. 3, 2021, pp. 1-4, 2021, IEEE, 978-1-7281-9501-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen |
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 107-121, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From |
A Succinct Formalization of the Completeness of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)., pp. 8:1-8:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-254-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges 0001, Thomas Ball, Asta Roseway |
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama, Japan, May 8-13, 2021, pp. 45:1-45:15, 2021, ACM, 978-1-4503-8096-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Alejandro Lopez Rincon, Daphne S. Roozendaal, Hilde M. Spierenburg, Asta L. Holm, Renee Metcalf, Paula Perez-Pardo, Aletta D. Kraneveld, Alberto Tonda |
Modelling Asthma Patients' Responsiveness to Treatment Using Feature Selection and Evolutionary Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoApplications ![In: Applications of Evolutionary Computation - 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings, pp. 359-372, 2021, Springer, 978-3-030-72698-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Mikayla Buford, Vaishnavi Nattar Ranganathan, Asta Roseway, Teddy Seyed |
Crisis Couture: A Study on Motivations and Practices of Mask Makers During A Crisis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: DIS '21: Designing Interactive Systems Conference 2021, Virtual Event, USA, 28 June, July 2, 2021., pp. 31-47, 2021, ACM, 978-1-4503-8476-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From |
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI Student Sessions ![In: Selected Reflections in Language, Logic, and Information - ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers, pp. 80-92, 2021, Springer, 978-3-031-50627-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen |
A Case Study in Computer-Assisted Meta-reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI (2) ![In: Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference, DCAI 2021, Salamanca, Spain, 6-8 October 2021., pp. 53-63, 2021, Springer, 978-3-030-86886-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Daniela Ambrosino, Veronica Asta |
An Optimization Model to Help Cruise Companies to Evaluate their Offer in a Basin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICORES ![In: Proceedings of the 10th International Conference on Operations Research and Enterprise Systems, ICORES 2021, Online Streaming, February 4-6, 2021., pp. 375-383, 2021, SCITEPRESS, 978-989-758-485-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Gabriele Stupuriene, Anita Juskeviciene, Tatjana Jevsikova, Valentina Dagiene, Asta Meskauskiene |
Girls' Summer School for Physical Computing: Methodology and Acceptance Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics in Schools. Rethinking Computing Education - 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings, pp. 95-108, 2021, Springer, 978-3-030-90227-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Savaneviciene, Lina Girdauskiene |
How Much Immersive is Virtual Reality? Evidence from VR-Based Managerial Competency Assessment Tool Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (9) ![In: Advances in Human Factors, Business Management and Leadership - Proceedings of the AHFE 2021 Virtual Conferences on Human Factors, Business Management and Society, and Human Factors in Management and Leadership, July 25-29, 2021, USA, pp. 281-288, 2021, Springer, 978-3-030-80875-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Mattias Grenfeldt, Asta Olofsson, Viktor Engström, Robert Lagerström |
Attacking Websites Using HTTP Request Smuggling: Empirical Testing of Servers and Proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 25th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2021, Gold Coast, Australia, October 25-29, 2021, pp. 173-181, 2021, IEEE, 978-1-6654-3579-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Asta Bäck, Arash Hajikhani, Arho Suominen |
Text Mining on Job Advertisement Data: Systematic Process for Detecting Artificial Intelligence Related Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AII@iConference ![In: Proceedings of the 1st Workshop on AI + Informetrics (AII2021) co-located with the iConference 2021, Virtual Event, March 17th, 2021., pp. 111-124, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen |
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings, pp. 32-46, 2021, Springer, 978-3-030-81096-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Pramaditya Wicaksono, Muhammad Afif Fauzan, Septian Galih Widhi Asta |
Assessment of Sentinel-2A multispectral image for benthic habitat composition mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Image Process. ![In: IET Image Process. 14(2), pp. 279-288, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Lina Draudviliene, Asta Meskuotiene, Olgirdas Tumsys, Liudas Mazeika, Vykintas Samaitis |
Metrological Performance of Hybrid Measurement Technique Applied for the Lamb Waves Phase Velocity Dispersion Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 45985-45995, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Arfa Mehmood, Asta Laiho, Mikko S. Venäläinen, Aidan J. McGlinchey, Ning Wang, Laura L. Elo |
Systematic evaluation of differential splicing tools for RNA-seq studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 21(6), pp. 2052-2065, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Katalin Feher, Asta Zelenkauskaite |
AI in society and culture: decision making and values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.02777, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn |
Isabelle/HOL as a Meta-Language for Teaching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@IJCAR ![In: Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020., pp. 18-34, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Antoine Baker, Indaco Biazzo, Alfredo Braunstein, Giovanni Catania, Luca Dall'Asta, Alessandro Ingrosso, Florent Krzakala, Fabio Mazza, Marc Mézard, Anna Paola Muntoni, Maria Refinetti, Stefano Sarao Mannelli, Lenka Zdeborová |
Epidemic mitigation by statistical inference from contact tracing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.09422, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Alex Mariakakis, Sifang Chen, Bichlien Nguyen, Kirsten Bray, Molly Blank, Jonathan Lester, Lauren Ryan, Paul Johns, Gonzalo A. Ramos, Asta Roseway |
Project Calico: Wearable Chemical Sensors for Environmental Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.15292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Munif Ishad Mujib, Hunter Scott Heidenreich, Colin J. Murphy, Giovanni C. Santia, Asta Zelenkauskaite, Jake Ryland Williams |
NewsTweet: A Dataset of Social Media Embedding in Online Journalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02870, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 667 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|