Search results for "ASTA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
190	Muhammad El-Taha, Shaler Stidham Jr.	A filtered ASTA property.	Queueing Syst. Theory Appl.	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.	EURO-DAC	1990	DBLP DOI BibTeX RDF
57	Masakiyo Miyazawa, Yoshitaka Takahashi	Rate conservation principle for discrete-time queues.	Queueing Syst. Theory Appl.	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.	CoRR	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.	ACM Multimedia	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.	Astron. Comput.	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.	ICTD	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.	TG	2011	DBLP DOI BibTeX RDF
33	Isi Mitrani, Philippe Robert	On the ASTA property in a feedback processor-sharing queue.	Perform. Evaluation	2004	DBLP DOI BibTeX RDF
33	Gunhild Halvorsrud	The Åsta Train Crash, its Precursors and Consequences, and its Investigation.	SSS	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.	Oper. Res. Lett.	1991	DBLP DOI BibTeX RDF
33	Takuji Ogihara, H. Toyoshima, Shinichi Murai	ASTA: LSI Design Management System.	DAC	1987	DBLP DOI BibTeX RDF
25	Newton Lee	A word from the editor.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF
25	Xiliang Liu, Kaliappa Nadar Ravindran, Dmitri Loguinov	What signals do packet-pair dispersions carry?	INFOCOM	2005	DBLP DOI BibTeX RDF
25	Thomas Hellström	Optimizing the Sharpe Ratio for a Rank Based Trading System.	EPIA	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.	CoRR	2024	DBLP DOI BibTeX RDF
23	Asta Pundziene, Lukas Geryba	Managing Technological Innovation: Dynamic Capabilities, Collaborative Innovation, and Born-Digital SMEs' Performance.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
23	Diana Kalibatiene, Jolanta Miliauskaite, Asta Slotkiene, Saulius Gudas	On the development of the web service quality modelling space.	Expert Syst. Appl.	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.	Remote. Sens.	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.	NeuroImage	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.	NeuroImage	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.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
23	Alberto Ferrari, Fritz Körmann, Mark Asta, Jörg Neugebauer	Simulating short-range order in compositionally complex materials.	Nat. Comput. Sci.	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.	Database J. Biol. Databases Curation	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.	Nucleic Acids Res.	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.	New Media Soc.	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
23	Asta Halkjær From	Synthetic Completeness.	Arch. Formal Proofs	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.	J. Log. Comput.	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?	COMPLEX NETWORKS (3)	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.	IVUS	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.	EC-TEL	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.	DMSVIVA	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.	CHI	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.	CinC	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.	TABLEAUX	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.	HICSS	2023	DBLP BibTeX RDF
23	Jannis Limperg, Asta Halkjær From	Aesop: White-Box Best-First Proof Search for Lean.	CPP	2023	DBLP DOI BibTeX RDF
23	Heidi Laine, Asta Heikkilä, Laura-Maria Peltonen, Jouni Smed	Digital Information Management for Advanced Practice Nursing: Needs Assessment.	MIE	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.	GEOINFO	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.	HAIS	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.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
23	Sigita Dereskeviciute, Asta Kazlauskiene	Prosodic Phrasing in Lithuanian: Preparatory Study.	Balt. J. Mod. Comput.	2022	DBLP DOI BibTeX RDF
23	Asta Kazlauskiene, Sigita Dereskeviciute	Observations on the Prosodic Marking of Narrow Focus in Lithuanian.	Balt. J. Mod. Comput.	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.	IEEE Trans. Instrum. Meas.	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.	Axioms	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.	NeuroImage	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.	IEEE Robotics Autom. Lett.	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.	IEEE Robotics Autom. Lett.	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.	Comput.	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.	CoRR	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.	CoRR	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.	Sensors	2022	DBLP DOI BibTeX RDF
23	Asta Halkjær From, Frederik Krogsdal Jacobsen	A Sequent Calculus Prover for First-Order Logic with Functions.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
23	Asta Halkjær From	A Naive Prover for First-Order Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
23	Asta Halkjær From, Jørgen Villadsen	Soundness and Completeness of Implicational Logic.	Arch. Formal Proofs	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.	CHIRA	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.	IPSN	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.	Medical Imaging: Image-Guided Procedures	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.	ITP	2022	DBLP DOI BibTeX RDF
23	Jurgita Baryniene, Asta Daunoriene, Daina Gudoniene	Technology-Enriched Challenge-Based Learning for Responsible Education.	ICIST	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.	ICL (1)	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.	Frontiers Res. Metrics Anal.	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.	First Monday	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.	Nucleic Acids Res.	2021	DBLP DOI BibTeX RDF
23	Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen	SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.	LSFA	2021	DBLP DOI BibTeX RDF
23	Luca Dall'Asta	Coordination problems on networks revisited: statics and dynamics.	CoRR	2021	DBLP BibTeX RDF
23	Indaco Biazzo, Alfredo Braunstein, Luca Dall'Asta, Fabio Mazza	Epidemic inference through generative neural networks.	CoRR	2021	DBLP BibTeX RDF
23	Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn	Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.	ThEdu@CADE	2021	DBLP DOI BibTeX RDF
23	Dena Marie Asta	Kernel density estimation on symmetric spaces of non-compact type.	J. Multivar. Anal.	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.	Sensors	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.	Sensors	2021	DBLP DOI BibTeX RDF
23	Asta Halkjær From	Public Announcement Logic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
23	Asta Halkjær From	Soundness and Completeness of an Axiomatic System for First-Order Logic.	Arch. Formal Proofs	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.	Networks	2021	DBLP DOI BibTeX RDF
23	Asta Halkjær From	Formalized Soundness and Completeness of Epistemic Logic.	WoLLIC	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.	ISAmI	2021	DBLP DOI BibTeX RDF
23	Alex Cabral, Asta Roseway, Paul Johns	Design and Implementation of A Mobile Urban Low-Cost Environmental Sensor Network.	IEEE SENSORS	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.	CILC	2021	DBLP BibTeX RDF
23	Asta Halkjær From	A Succinct Formalization of the Completeness of First-Order Logic.	TYPES	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.	CHI	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.	EvoApplications	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.	Conference on Designing Interactive Systems	2021	DBLP DOI BibTeX RDF
23	Asta Halkjær From	Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.	ESSLLI Student Sessions	2021	DBLP DOI BibTeX RDF
23	Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen	A Case Study in Computer-Assisted Meta-reasoning.	DCAI (2)	2021	DBLP DOI BibTeX RDF
23	Daniela Ambrosino, Veronica Asta	An Optimization Model to Help Cruise Companies to Evaluate their Offer in a Basin.	ICORES	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.	ISSEP	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.	AHFE (9)	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.	EDOC	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.	AII@iConference	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.	CICM	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.	IET Image Process.	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.	IEEE Access	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.	Briefings Bioinform.	2020	DBLP DOI BibTeX RDF
23	Katalin Feher, Asta Zelenkauskaite	AI in society and culture: decision making and values.	CoRR	2020	DBLP BibTeX RDF
23	Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn	Isabelle/HOL as a Meta-Language for Teaching Logic.	ThEdu@IJCAR	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.	CoRR	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.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF