Search results for "SPIRIT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Hugo Liu	Articulation, the letter, and the spirit in the aesthetics of narrative.	SRMC	2004	DBLP DOI BibTeX RDF	myth, spirit, creativity, aesthetics, articulation, narrative theory
81	Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-μKernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
68	Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati (eds.)	Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Aniello Murano, Mimmo Parente, Silvia Stranieri	A Multi-Agent Game for Sentiment Analysis (short paper).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina	Goal Recognition with Deep Learning and Embedded Representation of State Traces.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Mikhail Soutchanski, Ryan Young	Planning as Theorem Proving with Heuristics.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Marco Favorito	Forward LTLf Synthesis: DPLL At Work.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa	Investigating Domain-oriented Approaches to Optimization in Timeline-Based Planning.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci	Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies (short paper) .	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Daniela Cialfi	The Economic Agent's Meta-Brain: a Biological-Economic Complex Agent-Based model (short paper).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Alberto Castellini, Davide Bragantini, Davide Rossignolo, Federico Segala, Alessandro Farinelli	Tabular Model Learning in Monte Carlo Tree Search.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo	Characterizing Nexus of Similarity between Entities.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Shaun Mathew, Mikhail Soutchanski	Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Giovanna Varricchio	On Approximate Strategyproof Mechanisms for Hedonic Games and the Group Activity Selection Problem (short paper).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Angelo Ferrando 0001	Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Davide Catta, Jean Leneutre, Vadim Malvone	Reasoning About Dynamic Game Models Using Obstruction Logic (short paper).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Enrico Giunchiglia, Marco Maratea, Marco Mochi	A Simple Proof-Theoretic Characterization of Stable Models.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis	Experimenting an Approach to Neuro-Symbolic RL.	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Vincenzo Auletta, Antonio Coppola, Diodato Ferraioli	On the Impact of Social Media Recommendations on Consensus of Discrete Opinions (Short Version).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
68	Alessandro Aloisio, Michele Flammini, Bojana Kodric, Cosimo Vinci	Distance Polymatrix Coordination Games (short paper).	IPS-RCRA-SPIRIT@AI*IA	2023	DBLP BibTeX RDF
66	Noriyuki Kamibayashi, Kazuo Seo	Spirit-III: an advanced relational database machine introducing a novel data-staging architecture with Tuple Stream Filters to preprocess relational algebra.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
62	Emil Gizdarski, Hideo Fujiwara	Spirit: satisfiability problem implementation for redundancy identification and test generation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	Boolean satisfiability method, SPIRIT, ATPG system, logic testing, computability, automatic test pattern generation, combinational circuits, combinational circuits, test pattern generation, test sets
51	Dave M. Spirit, Andrew D. Ellis, Pete E. Barnsley	Optical time division multiplexing: systems and networks.	IEEE Commun. Mag.	1994	DBLP DOI BibTeX RDF
48	Riccardo De Benedictis, Nicola Gatti 0001, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati (eds.)	Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy.	IPS/RiCeRcA/SPIRIT@AI*IA	2023	DBLP BibTeX RDF
48	Angelo Ferrando 0001, Vadim Malvone	Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Aymeric Barbin, Federico Cerutti 0001, Alfonso Emilio Gerevini	Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam	Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Dario Guidotti	Verification of Neural Networks for Safety and Security-critical Domains.	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Lorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina	A Preliminary Study on BERT applied to Automated Planning.	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina	AI and Videogames: a "Drosophila" for Declarative Methods.	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Munyque Mittelmann	Logics for Reasoning about Auctions (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini	Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda	Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa	Branching and Pruning for Timeline-based Planning.	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Alessandro Burigana, Francesco Fabiano	The Epistemic Planning Domain Definition Language (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Antonio Di Stasio 0001	Explicit and Symbolic Approaches for Parity Games (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci	On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Davide Catta, Jean Leneutre, Vadim Malvone	Towards a Formal Verification of Attack Graphs.	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
48	Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi	Building the Semantic Portal of Italian Divagrafie (Short Paper).	IPS/RiCeRcA/SPIRIT@AI*IA	2022	DBLP BibTeX RDF
47	Ashwin Lall, Anca Sailer, Mark Brodie	SPIRIT: Service for providing infrastructure recommendations for IT.	NOMS	2008	DBLP DOI BibTeX RDF
47	Ou Yiyong	How Team Spirit Improve Product Innovation: The Role of Shared Vision and Knowledge Acquisition.	CSSE (5)	2008	DBLP DOI BibTeX RDF
47	Christopher K. Lennard, Victor Berman, Saverio Fazzari, Mark A. Indovina, Cary Ussery, Marino Strik, John Wilson, Olivier Florent, François Rémond, Pierre Bricaud	Industrially proving the SPIRIT consortium specifications for design chain integration.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
40	Chentao Cao, Zhuo-Xu Cui, Jing Cheng, Sen Jia, Hairong Zheng, Dong Liang 0001, Yanjie Zhu	SPIRiT-Diffusion: SPIRiT-driven Score-Based Generative Modeling for Vessel Wall imaging.	CoRR	2022	DBLP DOI BibTeX RDF
38	Emil Gizdarski, Hideo Fujiwara	SPIRIT: a highly robust combinational test generation algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
38	Emil Gizdarski, Hideo Fujiwara	SPIRIT: A Highly Robust Combinational Test Generation Algorithm.	VTS	2001	DBLP DOI BibTeX RDF
37	Himanshu Raj, Balasubramanian Seshasayee, Keith J. O'Hara, Ripal Nathuji, Karsten Schwan, Tucker R. Balch	Spirits: Using Virtualization and Pervasiveness to Manage Mobile Robot Software Systems.	SelfMan	2006	DBLP DOI BibTeX RDF
33	Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard	Maintaining consistency between systemC and RTL system designs.	DAC	2006	DBLP DOI BibTeX RDF	SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP
29	Jon Stearley, Adam J. Oliner	Bad Words: Finding Faults in Spirit's Syslogs.	CCGRID	2008	DBLP DOI BibTeX RDF
29	Zhao Xiaoxia, Lei Jinhui, Fang Jiaoli	Inspiring Students to Study Independently and to Foster Team Spirit.	CSSE (5)	2008	DBLP DOI BibTeX RDF
29	Rerngwut Choomuang	Distributed Control on a model of Mars Rover Spirit.	RAM	2008	DBLP DOI BibTeX RDF
29	Hideo Joho, Mark Sanderson	The SPIRIT collection: an overview of a large web collection.	SIGIR Forum	2004	DBLP DOI BibTeX RDF
29	Christopher B. Jones, Alia I. Abdelmoty, David Finch, Gaihua Fu, Subodh Vaid	The SPIRIT Spatial Search Engine: Architecture, Ontologies and Spatial Indexing.	GIScience	2004	DBLP DOI BibTeX RDF
29	Kavita Mehra	Entrepreneurial Spirit of the Indian Farmer.	AI Soc.	2002	DBLP DOI BibTeX RDF	Entrepreneur, Socio-cultural setting, Innovation, Tacit knowledge, Entrepreneurship
29	Paul Brown	Implementing the Spirit of SQL-99.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	INFORMIX, language standards, SQL, SQL, object-relational database
27	Ashwin Lall, Anca Sailer, Mark Brodie	A Graphical Approach to Providing Infrastructure Recommendations for IT.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	IT, Services, maintenance
24	Florian Mueller 0001, Martin R. Gibbs, Frank Vetere	Design influence on social play in distributed exertion games.	CHI	2009	DBLP DOI BibTeX RDF	interaction, tangible, physical, videoconferencing, active, social, design space, sports, exertion interface, exhausting, exergaming, team spirit
24	Florian Mueller 0001	Exertion in networked games.	FDG	2009	DBLP DOI BibTeX RDF	social interaction, tangible, physical, videoconferencing, sports, exertion interface, connectedness, exhausting, team spirit
24	Florian Mueller 0001, Martin R. Gibbs, Frank Vetere, Stefan Agamanolis	Design space of networked exertion games demonstrated by a three-way physical game based on Table Tennis.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	casual, Human-computer interaction, interaction, framework, conversation, tangible, physical, videoconferencing, active, social, design space, sports, Exertion Interface, exhausting, team spirit, sweat, table-tennis, ping pong
24	Florian Mueller 0001, Stefan Agamanolis, Martin R. Gibbs, Frank Vetere	Remote impact: shadowboxing over a distance.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	blunt force, brute force, interaction., tangible, physical, videoconferencing, active, social, sports, exertion interface, exhausting, team building, team spirit
24	Florian Mueller 0001, Martin R. Gibbs	Building a table tennis game for three players.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	social interaction, tangible, physical, videoconferencing, active, sports, exertion interface, exhausting, team spirit, sweat, table-tennis, ping pong
24	Florian Mueller 0001, Martin R. Gibbs	A physical three-way interactive game based on table tennis.	IE	2007	DBLP BibTeX RDF	bonding, network, social interaction, tangible, physical, videoconferencing, active, sports, exertion interface, connectedness, exhausting, team spirit, sweat, rapport, table-tennis, ping pong
24	Florian Mueller 0001, Martin R. Gibbs	Evaluating a distributed physical leisure game for three players.	OZCHI	2007	DBLP DOI BibTeX RDF	social interaction, tangible, physical, videoconferencing, sports, exertion interface, team spirit, sweat, table-tennis, ping pong
24	Florian Mueller 0001, Stefan Agamanolis, Frank Vetere, Martin R. Gibbs	Brute force as input for networked gaming.	OZCHI	2007	DBLP DOI BibTeX RDF	blunt force, brute force, interaction, framework, tangible, physical, videoconferencing, active, social, design space, sports, exertion interface, exhausting, team spirit
24	Jeremy Canceko, Bradley Caraway, Shung Pak, Ko Nakatsu	KONEKT: connecting the audience through judging at the Olympic games.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	Greek history, Olympic spirit, branding identity, education, animation, experience, connection, entertainment, hand held device
20	Sumiyana Sumiyana, Wulandari Agustiningsih	Users' trust, spirit, flow, and intention to reuse e-mobile payments: explained by a combination of the attribution and adaptive structuration theories.	Int. J. Bus. Inf. Syst.	2024	DBLP DOI BibTeX RDF
20	Yuzeng Chen, Qiangqiang Yuan, Yuqi Tang, Yi Xiao, Jiang He, Liangpei Zhang 0001	SPIRIT: Spectral Awareness Interaction Network With Dynamic Template for Hyperspectral Object Tracking.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
20	Tu Anh Nguyen, Benjamin Muller, Bokai Yu, Marta R. Costa-jussà, Maha Elbayad, Sravya Popuri, Paul-Ambroise Duquenne, Robin Algayres, Ruslan Mavlyutov, Itai Gat, Gabriel Synnaeve, Juan Pino 0001, Benoît Sagot, Emmanuel Dupoux	SpiRit-LM: Interleaved Spoken and Written Language Model.	CoRR	2024	DBLP DOI BibTeX RDF
20	Vassilios N. Grigoriadis, Vassilios D. Andritsanos, Dimitrios A. Natsiopoulos	Validation of Recent DSM/DEM/DBMs in Test Areas in Greece Using Spirit Leveling, GNSS, Gravity and Echo Sounding Measurements.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
20	Nadia Caidi, Cansu Ekmekcioglu, Rojin Jamali, Priyank Chandra	(Re)Capturing the Spirit of Ramadan: Techno-Religious Practices in the Time of COVID-19.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
20	Jizhong Duan, Yu Liu 0004, Junfeng Wang	Accelerated SPIRiT Parallel MR Image Reconstruction Based on Joint Sparsity and Sparsifying Transform Learning.	IEEE Trans. Computational Imaging	2023	DBLP DOI BibTeX RDF
20	Kirill Postoutenko	Keeping the Spirit in the Bottle: On Pathological Reduction of Information in Totalitarianism.	Inf.	2023	DBLP DOI BibTeX RDF
20	Thomas Arnold 0001, Matthias Scheutz	Understanding the spirit of a norm: Challenges for norm-learning agents.	AI Mag.	2023	DBLP DOI BibTeX RDF
20	Zhuo-Xu Cui, Chentao Cao, Jing Cheng, Sen Jia, Hairong Zheng, Dong Liang 0001, Yanjie Zhu	SPIRiT-Diffusion: Self-Consistency Driven Diffusion Model for Accelerated MRI.	CoRR	2023	DBLP DOI BibTeX RDF
20	Tim Ziemer	Mixing Levels - A Rock Music Spirit Level App.	CoRR	2023	DBLP DOI BibTeX RDF
20	Enrique Orduña-Malea, Adolfo Alonso Arroyo, José-Antonio Ontalba-Ruipérez, Ferrán Catalá-López	Evaluating the online impact of reporting guidelines for randomised trial reports and protocols: a cross-sectional web-based data analysis of CONSORT and SPIRIT initiatives.	Scientometrics	2023	DBLP DOI BibTeX RDF
20	Margaret Gross	"How didst thou come beneath the murky darkness?": sense-making in light of the ancient Greeks and in the spirit of Hegel.	J. Documentation	2023	DBLP DOI BibTeX RDF
20	Jon Corbett	ᐊᒐᐦᑭᐯᐦᐃᑲᓇ ᒫᒥᑐᓀᔨᐦᐃᒋᑲᓂᐦᑳᓂᕽ \| acahkipehikana mâmitoneyihicikanihkânihk \| Programming with Cree# and Ancestral Code: Nehiyawewin Spirit Markings in an Artificial Brain.	Digit. Humanit. Q.	2023	DBLP BibTeX RDF
20	John Lawrence Nazareth	Concise Guide to Numerical Algorithmics - The Foundations and Spirit of Scientific Computing		2023	DOI RDF
20	Lian Liu, Boyuan Zhang	Research on Systematic Design Framework of Subway Public Art Based on Urban Spirit.	HCI (45)	2023	DBLP DOI BibTeX RDF
20	Zihao Wang, Xiaofei Zhang	AI-Assisted Exploration of the Spirit of Place in Chinese Gardens from the Perspective of Spatial Sequences.	CAAD Futures	2023	DBLP DOI BibTeX RDF
20	Zuqun Zhang, Chenggang Lu, Haotian Zhao, Qi Chen, Qiuyu Wu, Tingting He	Construction of the Place Spirit of Qianmen Street in Beijing: Historical Performance and User Needs.	DSIE	2023	DBLP DOI BibTeX RDF
20	Stefanus Rumangkit, Antonius Satria Hadi	The Impact Entrepreneurial Spirit on Technoprenurial Intention Based on Shane Theory.	ICIMTech	2023	DBLP DOI BibTeX RDF
20	Suhaili Din, Maisarah Mohd Ramli	Ramadan Spirit: A Digital Game Incorporating Malaysian Culture to Teach Malaysian Muslim Children the Islamic Essence of Ramadan.	IMCOM	2023	DBLP DOI BibTeX RDF
20	Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld	Are chrome extensions compliant with the spirit of least privilege?	Int. J. Inf. Sec.	2022	DBLP DOI BibTeX RDF
20	Thomas Ernst 0003	A New q-Hypergeometric Symbolic Calculus in the Spirit of Horn, Borngässer, Debiard and Gaveau.	Axioms	2022	DBLP DOI BibTeX RDF
20	Osama Khalid, Padmini Srinivasan	Smells like Teen Spirit: An Exploration of Sensorial Style in Literary Genres.	CoRR	2022	DBLP DOI BibTeX RDF
20	Ofélia Anjos, Ilda Caldeira, Tiago A. Fernandes, Soraia Inês Pedro, Cláudia Vitória, Sheila Oliveira-Alves, Sofia Catarino, Sara Canas	PLS-R Calibration Models for Wine Spirit Volatile Phenols Prediction by Near-Infrared Spectroscopy.	Sensors	2022	DBLP DOI BibTeX RDF
20	Arcadius Benawa	The Contribution of Self-Efficacy and Achievement Motivation on The SPIRIT Characters Building for The Students.	ICETM	2022	DBLP DOI BibTeX RDF
20	Osama Khalid, Padmini Srinivasan	Smells like Teen Spirit: An Exploration of Sensorial Style in Literary Genres.	COLING	2022	DBLP BibTeX RDF
20	Chuang-Yeh Huang, Chih-Chao Chung, Shi-Jer Lou	A Pilot Study on Maker Spirit-PBL Innovation and Entrepreneurship Course Design and Effect Evaluation.	ICITL	2022	DBLP DOI BibTeX RDF
20	Muhammad Bambang Hidayanto, Sendy Prayogo, Muharman Lubis	Designing Web Based Proctoring System for Online Examination (SPIRIT 1.0) in Telkom University.	ICCIP	2022	DBLP DOI BibTeX RDF
20	Aden Van Noppen	Creating Technology Worthy of the Human Spirit.	J. Soc. Comput.	2021	DBLP DOI BibTeX RDF
20	Zhiyuan Wu, Yu Jiang 0006, Minghao Zhao 0003, Chupeng Cui, Zongmin Yang, Xinhui Xue, Hong Qi	Spirit Distillation: A Model Compression Method with Multi-domain Knowledge Transfer.	CoRR	2021	DBLP BibTeX RDF
20	Zhiyuan Wu, Hong Qi, Yu Jiang 0006, Chupeng Cui, Zongmin Yang, Xinhui Xue	Spirit Distillation: Precise Real-time Prediction with Insufficient Data.	CoRR	2021	DBLP BibTeX RDF
20	Kurt Girstmair	Reducing radicals in the spirit of Euclid.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
20	Yujing Dong, Han Lin, Jingchun Wang	Research on Effective Mode of Cultivating Medical Students' Professional Spirit Based on Association Rules Analysis.	CIPAE	2021	DBLP DOI BibTeX RDF
20	Guillaume Barbu, Laurent Castelnovi, Thomas Chabrier	Generalizing Statistical Ineffective Fault Attacks in the Spirit of Side-Channel Attacks.	COSADE	2021	DBLP DOI BibTeX RDF
20	Delia Kesner, Loïc Peyrot, Daniel Ventura	The Spirit of Node Replication.	FoSSaCS	2021	DBLP DOI BibTeX RDF
20	Zhiyuan Wu, Yu Jiang 0006, Minghao Zhao 0003, Chupeng Cui, Zongmin Yang, Xinhui Xue, Hong Qi	Spirit Distillation: A Model Compression Method with Multi-domain Knowledge Transfer.	KSEM	2021	DBLP DOI BibTeX RDF
20	Spiros Koulouzis, Riccardo Bianchi, Robin van der Linde, Yuandou Wang, Zhiming Zhao	SPIRIT: A Microservice-Based Framework for Interactive Cloud Infrastructure Planning.	Euro-Par Workshops	2021	DBLP DOI BibTeX RDF