Search results for "TIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	Transactions with isolation and cooperation.	OOPSLA	2007	DBLP DOI BibTeX RDF	TIC, open-nesting, transactional memory, nested transactions, punctuation
94	Chunqing Chen, Jin Song Dong, Jun Sun 0001	A verification system for timed interval calculus.	ICSE	2008	DBLP DOI BibTeX RDF	real-time systems, theorem proving, specification language, pvs
83	Robert A. Pilgrim	TIC-TAC-TOE: introducing expert systems to middle school students.	SIGCSE	1995	DBLP DOI BibTeX RDF	Pascal
78	J. Ramón Gil-García, David Arellano-Gault, Luis F. Luna-Reyes	Gobierno electrónico en México (2000--2006): una visión desde la Nueva Gestión Pública.	DG.O	2010	DBLP BibTeX RDF
68	Robert C. Gammill	An examination of TIC-TAC-TOE like games.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
65	Anurag Bhatt, Pratul Varshney, Kalyanmoy Deb	In search of no-loss strategies for the game of tic-tac-toe using a customized genetic algorithm.	GECCO	2008	DBLP DOI BibTeX RDF	tic-tac-toe, learning strategies, evolutionary games
64	Robert Harper 0001 (eds.)	Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers	TIC	2001	DBLP DOI BibTeX RDF
64	Xavier Leroy, Atsushi Ohori (eds.)	Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings	TIC	1998	DBLP DOI BibTeX RDF
62	Chunqing Chen, Jin Song Dong, Jun Sun 0001	Machine-Assisted Proof Support for Validation Beyond Simulink.	ICFEM	2007	DBLP DOI BibTeX RDF	Formal Verification, PVS, Simulink, Real-Time Specifications
62	Chunqing Chen, Jin Song Dong	Applying Timed Interval Calculus to Simulink Diagrams.	ICFEM	2006	DBLP DOI BibTeX RDF	Verification, Z, Simulink, Real-Time Specification
62	Luca Chittaro, Carlo Combi	Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus.	ARTDB	1997	DBLP DOI BibTeX RDF
52	Ruben Vuittonet, Jeff Gray 0001	Tic-Tac-LEGO: an investigation into coordinated robotic control.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	LEGO Mindstorms RCX, leJOS, embedded systems
47	Steffen Oeltze, Arvid Malyszczyk, Bernhard Preim	Intuitive Mapping of Perfusion Parameters to Glyph Shape.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
47	Jaehoon Song, Piljae Min, Hyunbean Yi, Sungju Park	Design of Test Access Mechanism for AMBA-Based System-on-a-Chip.	VTS	2007	DBLP DOI BibTeX RDF
47	Jonathan T.-Y. Chang, Chao-Wen Tseng, Chien-Mo James Li, Mike Purtell, Edward J. McCluskey	Analysis of pattern-dependent and timing-dependent failures in an experimental test chip.	ITC	1998	DBLP DOI BibTeX RDF
42	Fudi Geng, Qiang Ding, Wanyu Wu, Xiangyang Wang, Yanping Li, Jinhua Sun, Rui Wang	Light-efficient channel attention in convolutional neural networks for tic recognition in the children with tic disorders.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
42	Deepak Mehra, M. M. Mahapatra, Suraj Prakash Harsha	Effect of Varying Wt% of TiC on Mechanical and Wear Properties of RZ5-TiC In-Situ Composite.	Int. J. Manuf. Mater. Mech. Eng.	2018	DBLP DOI BibTeX RDF
42	Núria Vergés Bosch	Gènere i TIC: el procés d'autoinclusió de les dones en les TIC. Una aproximació des de les tecnòlogues artístiques i les tecnòlogues informàtiques.		2012	RDF
37	Edwin Soedarmadji	Decentralized Decision Making in the Game of Tic-tac-toe.	CIG	2006	DBLP DOI BibTeX RDF
31	Ben-Jye Chang, Bo-Jhang Huang, Ying-Hsin Liang	Wireless Sensor Network-Based Adaptive Vehicle Navigation in Multihop-Relay WiMAX Networks.	AINA	2008	DBLP DOI BibTeX RDF	fully distributed, re-routing, wireless sensor networks, coloring, traffic density, Adaptive navigation
31	Tomonori Yamamoto, Allison M. Okamura	Evaluation of Human Performance with Kinematic and Haptic Errors.	WHC	2007	DBLP DOI BibTeX RDF
31	Janardhana Punuru, Jianhua Chen 0003	Learning for Semantic Classification of Conceptual Terms.	GrC	2007	DBLP DOI BibTeX RDF	Concept classification, Naive Bayes Classi- fier, Text Mining
31	Denise Gober Shortt	A Case Study: Using Groupware to Build the Air Force Information Resource Management (IRM) Strategic Plan.	HICSS (2)	1997	DBLP DOI BibTeX RDF
29	R. Restrepo, Diego Luis Aristizábal-Ramirez, Alejandro Montoya, Jean P. Jiménez H., Pedro Torres 0004	Web Laboratory Experiences for Elearning: The Michelson Interferometer.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF	TIC, Michelson Interferometer, Monitoring and Control via Web, TINI, E-Learning
29	Chris Feige, Jan Ten Pierick, Clemens Wouters, Ronald J. W. T. Tangelder, Hans G. Kerkhoff	Integration of the Scan-Test Method into an Architecture Specific Core-Test Approach.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	bus-transfer, core reuse, test protocol, TIC, TTM, vector transfer, design-for-testability, ATPG, scan-test, AMBA
28	Roman M. Balabin, Ravilya Z. Safieva, Ekaterina I. Lomakina	Universal technique for optimization of neural network training parameters: gasoline near infrared data example.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Cross-validation coefficient (CVC), Training iteration coefficient (TIC), Gasoline, Near infrared (NIR) spectroscopy, Artificial neural network (ANN), Multi-layer perceptron (MLP), Parameters optimization, Density
21	Subhankar Ghosh, Prasun Roy, Saumik Bhattacharya, Umapada Pal 0001, Michael Blumenstein	TIC: text-guided image colorization using conditional generative model.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
21	Sudhir Agarwal 0001, Anu Sreepathy	TIC: Translate-Infer-Compile for accurate 'text to plan' using LLMs and logical intermediate representations.	CoRR	2024	DBLP DOI BibTeX RDF
21	Megh Shukla, Mathieu Salzmann, Alexandre Alahi	TIC-TAC: A Framework To Learn And Evaluate Your Covariance.	CoRR	2023	DBLP DOI BibTeX RDF
21	Song Zhang, Qingzhong Wang, Jiang Bian 0003, Haoyi Xiong	TiC: Exploring Vision Transformer in Convolution.	CoRR	2023	DBLP DOI BibTeX RDF
21	Saurabh Garg, Mehrdad Farajtabar, Hadi Pouransari, Raviteja Vemulapalli, Sachin Mehta, Oncel Tuzel, Vaishaal Shankar, Fartash Faghri	TiC-CLIP: Continual Training of CLIP Models.	CoRR	2023	DBLP DOI BibTeX RDF
21	Junya Wu, Tianshu Zhou, Yufan Guo, Yu Tian 0002, Yuting Lou, Jianhua Feng, Jing-Song Li	Video-based evaluation system for tic action in Tourette syndrome: modeling, detection, and evaluation.	Health Inf. Sci. Syst.	2023	DBLP DOI BibTeX RDF
21	Tyler Ward	Improving the Performance and Stability of TIC and ICE.	Entropy	2023	DBLP DOI BibTeX RDF
21	Chaitanya Koparkar	Game Development Using TIC-80.	XRDS	2023	DBLP DOI BibTeX RDF
21	Alireza Amirshahi, Joshua Alexander Harrison Klein, Giovanni Ansaloni, David Atienza	TiC-SAT: Tightly-Coupled Systolic Accelerator for Transformers.	ASP-DAC	2023	DBLP DOI BibTeX RDF
21	Nele Sophie Brügge, Esfandiar Mohammadi, Alexander Münchau, Tobias Bäumer, Christian Frings, Christian Beste, Veit Rößner, Heinz Handels	Towards Privacy and Utility in Tourette TIC Detection Through Pretraining Based on Publicly Available Video Data of Healthy Subjects.	ICASSP	2023	DBLP DOI BibTeX RDF
21	Keyla Silva, Laura Sarkis	Análise de conformidade da LGPD nas Instituições Públicas de Ensino Superior no Brasil sob a perspectiva dos profissionais de TIC.	WER	2023	DBLP DOI BibTeX RDF
21	Raimundo Fagner Costa, Carla Silva 0001, Rafael Mello	Verificação textual de requisitos legais no processo de aquisição de TIC: um estudo na administração pública federal.	WER	2023	DBLP DOI BibTeX RDF
21	Davide Liga, Luca Pasetto	Testing Spatial Reasoning of Large Language Models: the Case of Tic-Tac-Toe.	AIxPAC@AI*IA	2023	DBLP BibTeX RDF
21	Guillaume Bourgeois, Kassandra Bigot, Vincent Courboulay, Benjamin Duthil	Outils pour calculer l'empreinte TIC des organisations : adaptation d'une étude européenne.	INFORSID	2023	DBLP BibTeX RDF
21	Ruizhe Zhang 0005, Xiaojing Xu, Zihao Bo, Junfeng Lyu, Yuchen Guo, Feng Xu	A Weakly Supervised Learning Method for Recognizing Childhood Tic Disorders.	CICAI (2)	2023	DBLP DOI BibTeX RDF
21	Carlos Godoy Rodríguez	Usos educativos de las TIC, competencias tecnológicas y rendimiento académico de los estudiantes universitarios barineses. Una perspectiva causal y comparada con sus pares estadounidenses y europeos		2023	RDF
21	Fei Fan, Zhaoxiang Bian, Xuan Zhang, Hongwei Wu, Simeng Wang, Si Zhang, Qiong Wang, Fei Han	Big data analytics frameworks for the influence of gut microbiota on the development of tic disorder.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
21	Zhikun Wang, Roderich Groß, Shiyu Zhao	Aerobatic Tic-Toc Control of Planar Quadcopters via Reinforcement Learning.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
21	Chong Min John Tan, Mehul Motani	Brick Tic-Tac-Toe: Exploring the Generalizability of AlphaZero to Novel Test Environments.	CoRR	2022	DBLP DOI BibTeX RDF
21	Bhavuk Kalra	Generalised agent for solving higher board states of tic tac toe using Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
21	Junan Pan	Move first, and become unbeatable: Strategy study of different Tic-tac-toe.	CoRR	2022	DBLP DOI BibTeX RDF
21	Subhankar Ghosh, Prasun Roy, Saumik Bhattacharya, Umapada Pal 0001, Michael Blumenstein	TIC: Text-Guided Image Colorization.	CoRR	2022	DBLP DOI BibTeX RDF
21	Naoya Fujita, Hiroshi Watanabe	Information Compression and Performance Evaluation of Tic-Tac-Toe's Evaluation Function Using Singular Value Decomposition.	CoRR	2022	DBLP DOI BibTeX RDF
21	Yutao Tang, Benjamín Béjar, Joey K.-Y. Essoe, Joseph F. McGuire, René Vidal	Facial Tic Detection in Untrimmed Videos of Tourette Syndrome Patients.	CoRR	2022	DBLP DOI BibTeX RDF
21	Benjamin A. Huerfano Z., Andres F. Ardila, Pedro L. Cifuentes	TIC como apoyo del soporte social al enfermo crónico y su cuidador : Aproximación al estado del Arte.	CoRR	2022	DBLP DOI BibTeX RDF
21	Shuming Jiao, Jiaxiang Li, Wei Huang, Zibang Zhang	Playing Tic-Tac-Toe Games with Intelligent Single-pixel Imaging.	CoRR	2022	DBLP DOI BibTeX RDF
21	Peter Danziger, Melissa A. Huggan, Rehan Malik, Trent G. Marbach	Tic-Tac-Toe on an affine plane of order 4.	Australas. J Comb.	2022	DBLP BibTeX RDF
21	Yutao Tang, Benjamín Béjar, Joey K.-Y. Essoe, Joseph F. McGuire, René Vidal	Facial Tic Detection in Untrimmed Videos of Tourette Syndrome Patients.	ICPR	2022	DBLP DOI BibTeX RDF
21	Norton H. Y. Yuen, Fanny Tang, Chi Ho Li	Adoption of Industry 4.0 in the TIC Industry: Systematic Review.	IEEM	2022	DBLP DOI BibTeX RDF
21	Christian Thormann, Alexander Winkler	Playing Tic-Tac-Toe with a Lightweight Robot.	RiE	2022	DBLP DOI BibTeX RDF
21	Brycen Addison, Michael Peeler, Chris Alvin	Ultimate Tic-Tac-Toe Bot Techniques.	FLAIRS	2022	DBLP DOI BibTeX RDF
21	Avital Dell'Ariccia, Alexandra W. D. Bremers, Wen-Ying Lee, Wendy Ju	"Ah! he wants to win!": Social responses to playing Tic-Tac-Toe against a physical drawing robot.	TEI	2022	DBLP DOI BibTeX RDF
21	Taile Ni, Yingshuang Chen, Shoupeng Liu, Jinglong Wu	Detection of real-time augmented reality scene light sources and construction of photorealis tic rendering framework.	J. Real Time Image Process.	2021	DBLP DOI BibTeX RDF
21	Milena Jansen Cutrim Cardoso, Gil Derlan Silva Almeida, Thiago Coelho Silveira	Formação continuada de professores para uso de Tecnologias da Informação e Comunicação (TIC) no Brasil.	Revista Brasileira de Informática na Educ.	2021	DBLP DOI BibTeX RDF
21	Arnab Barua, Chunxi Dong, Xiaodong Yang 0004	A deep learning approach for detecting tic disorder using wireless channel information.	Trans. Emerg. Telecommun. Technol.	2021	DBLP DOI BibTeX RDF
21	Ekaterina Karmanova, Valerii Serpiva, Stepan Perminov, Aleksey Fedoseev, Dzmitry Tsetserukou	SwarmPlay: Interactive Tic-tac-toe Board Game with Swarm of Nano-UAVs driven by Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
21	Ekaterina Karmanova, Valerii Serpiva, Stepan Perminov, Roman Ibrahimov, Aleksey Fedoseev, Dzmitry Tsetserukou	SwarmPlay: A Swarm of Nano-Quadcopters Playing Tic-tac-toe Board Game against a Human.	CoRR	2021	DBLP BibTeX RDF
21	Peter Nwabuzor, Collins Edet, Akpan Ndem Ikot, Uduakobong Okorie, Morris Ramantswana, Ridha Horchani, Abdel-Haleem Abdel-Aty, Gaotsiwe Rampho	Analyzing the Effects of Topological Defect (TD) on the Energy Spectra and Thermal Properties of LiH, TiC and I2 Diatomic Molecules.	Entropy	2021	DBLP DOI BibTeX RDF
21	Ekaterina Karmanova, Valerii Serpiva, Stepan Perminov, Aleksey Fedoseev, Dzmitry Tsetserukou	SwarmPlay: Interactive Tic-tac-toe Board Game with Swarm of Nano-UAVs driven by Reinforcement Learning.	RO-MAN	2021	DBLP DOI BibTeX RDF
21	Lulu Zhang, Zhe Huang, Lixin Yang, Shujuan Du, Ran Duan, Jinghua Yang, Bingwen Hu	The Network Pharmacological Mechanism of Yizhiningshen Oral Liquid in the Treatment of Tic Disorders.	BIBM	2021	DBLP DOI BibTeX RDF
21	Ekaterina Karmanova, Valerii Serpiva, Stepan Perminov, Roman Ibrahimov, Aleksey Fedoseev, Dzmitry Tsetserukou	SwarmPlay: A Swarm of Nano-Quadcopters Playing Tic-tac-toe Board Game against a Human.	SIGGRAPH Emerging Technologies	2021	DBLP DOI BibTeX RDF
21	Muhammad Sakib Khan Inan, Rizwan Hasan, Tabia Tanzin Prama	An Integrated Expert System with a Supervised Machine Learning based Probabilistic Approach to Play Tic-Tac-Toe.	UEMCON	2021	DBLP DOI BibTeX RDF
21	Aditya Jyoti Paul	Randomised fast no-loss expert system to play tic-tac-toe like a human.	Cogn. Comput. Syst.	2020	DBLP DOI BibTeX RDF
21	Claudio Junior Nascimento da Silva, Toniclay Andrade Nogueira, Rogério Patrício Chagas do Nascimento, Methanias Colaço Júnior	Uma investigação sobre a adoção de práticas de governança de TIC e processos de desenvolvimento de software no estado de Sergipe.	Braz. J. Inf. Syst.	2020	DBLP DOI BibTeX RDF
21	Jonathan K. Black, Jonathan M. Koller, Kevin J. Black	TicTimer Web: software for measuring tic suppression remotely.	F1000Research	2020	DBLP DOI BibTeX RDF
21	Aditya Jyoti Paul	Randomized fast no-loss expert system to play tic tac toe like a human.	CoRR	2020	DBLP BibTeX RDF
21	Guillaume Bertholon, Rémi Géraud-Stewart, Axel Kugelmann, Théo Lenoir, David Naccache	At Most 43 Moves, At Least 29: Optimal Strategies and Bounds for Ultimate Tic-Tac-Toe.	CoRR	2020	DBLP BibTeX RDF
21	David Clark, Sophia Mancini, Jacob Van Hook	Misère Tic-Tac-Toe on Projective Binary Steiner Triple Systems.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
21	Giuseppe Riva 0001, Eleonora Riva 0001	SYMBIO-TIC: Safer Human-Robot Collaboration for Workplaces of the Future.	Cyberpsychology Behav. Soc. Netw.	2020	DBLP DOI BibTeX RDF
21	Julian Skirzynski, Piotr Wasilewski	Flexible Strategy Use in Soar's Tic-Tac-Toe.	CogSci	2020	DBLP BibTeX RDF
21	Pedro M. Wightman, Wilson Nieto-Bernal, Jaider Vega, Miguel Jimeno, Lucy E. García, Mauricio Pardo, Diego Gómez, Emyle Britton, José Andrés Moreno-Pérez	Diamante digital, una apuesta territorial por el desarrollo a partir de las TIC.	Rev. Colomb. de Computación	2019	DBLP DOI BibTeX RDF
21	Gregory Jansen, Aaron Coburn, Adam Soroka, Will Thomas, Richard Marciano	DRAS-TIC Linked Data: Evenly Distributing the Past.	Publ.	2019	DBLP DOI BibTeX RDF
21	Ling Sui, Tingting Wu, Lijuan Liu, Honghong Wang, Qingqing Wang, Haoqing Hou, Qiaohui Guo	A Sensitive Pyrimethanil Sensor Based on Electrospun TiC/C Film.	Sensors	2019	DBLP DOI BibTeX RDF
21	Marco Antonio Vera-Ramírez, Pedro Miguel Tello-Galván, Guillermo Rodríguez-Abitia	Implementación de un Proyecto Integral de TIC Durante un Cambio de Gobierno - Implementation of an integral ICT project during a change of Government.	AMCIS	2019	DBLP BibTeX RDF
21	Julian Skirzynski, Piotr Wasilewski	Flexible Strategy Use in ACT-R's Tic-Tac-Toe.	CogSci	2019	DBLP BibTeX RDF
21	Sean Innes, Nicolas Wu	Tic tac types: a gentle introduction to dependently typed programming (functional pearl).	TyDe@ICFP	2019	DBLP DOI BibTeX RDF
21	Robert A. Beeler	Tic-Tac-Toe on graphs.	Australas. J Comb.	2018	DBLP BibTeX RDF
21	Nadia Ambrosetti, Matteo Cantamesse	The Basic Dream of the PC, or "Did You Ever Play Tic-Tac-Toe"?	HCC	2018	DBLP DOI BibTeX RDF
21	Valentin A. Nita, Amelia Ciobanu	Tic-Tac, Forgery Time Has Run-Up! Live Acoustic Watermarking For Integrity Check in Forensic Applications.	ICASSP	2018	DBLP DOI BibTeX RDF
21	Wafa Qadadeh, Sherief Abdallah	Customers Segmentation in the Insurance Company (TIC) Dataset.	INNS Conference on Big Data	2018	DBLP DOI BibTeX RDF
21	Nancy Ulloa-Erazo, Álvaro Cevallos Ramírez	Media Processes of Communicational Management, Information Transparency and the Incidence of TIC.	ICITS	2018	DBLP DOI BibTeX RDF
21	Marianne Batista Diniz Da Silva, Rogério Patrício Chagas do Nascimento, Isabel Dillmann Nunes, Maria Augusta Silveira Netto Nunes	Iniciativas Nacionais de Governança de TIC que sugerem Modelos, Técnicas e Boas Práticas para a Administração Pública Federal: um Mapeamento Sistemático.	Braz. J. Inf. Syst.	2017	DBLP DOI BibTeX RDF
21	Jonathan K. Black, Jonathan M. Koller, Kevin J. Black	TicTimer software for measuring tic suppression.	F1000Research	2017	DBLP DOI BibTeX RDF
21	Jonathan K. Black, Kevin J. Black	Software for web-based tic suppression training.	F1000Research	2017	DBLP DOI BibTeX RDF
21	Hugo Vecino P.	Normas ISO y marcos de referencia para gobernanza de las TIC. Revision general.	Rev. Colomb. de Computación	2017	DBLP DOI BibTeX RDF
21	Dennis E. Shasha	Open field tic-tac-toe.	Commun. ACM	2017	DBLP DOI BibTeX RDF
21	Mounia Boumediane	Les TIC au service de l'enseignement : Cas de la formation et auto-formation de la langue amazighe (Information and Communication Technologies for Education: the case of amazigh language teaching and self-teaching).	TALN (3)	2017	DBLP BibTeX RDF
21	Andressa Hennig Silva	Open innovation em empresas de pequeno porte: um estudo em organizações do setor de tic.		2017	RDF
21	Karina Domingues Bressan Vidal	Tecnologia digital na escola: contribuição do setor de TIC para apoio ao processo ensino-aprendizagem.		2017	RDF
21	Pollyanna Rodrigues Gondin	O processo interativo no setor de tecnologia da informação e comunicação (TIC) em busca da inovação: uma comparação entre polos de Coimbra e de Curitiba.		2017	RDF
21	Fernando Martínez Rodríguez	Referentes pedagógicos para el uso y apropiación de las tecnologías de la información y comunicación (tic) al interior de los procesos educativos planeados y desarrollados por los docentes de educación superior.		2017	RDF
21	Juan Manuel Ruz Lobo	El impacto de las tecnologías de la información y comunicación (TIC) en las relaciones laborales : interactuación y conflicto.		2017	RDF
21	Edison Ishikawa, Célia Ghedini Ralha	Uma Abordagem Prática com Foco em Gestão de TIC para Ensino de SI para Alunos de Graduação em Computação.	Braz. J. Inf. Syst.	2016	DBLP DOI BibTeX RDF
21	M. Jonathan Vachon, Catherine W. Striley, Mollie R. Gordon, Miriam L. Schroeder, Emily C. Bihun, Jonathan M. Koller, Kevin J. Black	VISIT-TS version 2: A multimedia tool for population studies on tic disorders.	F1000Research	2016	DBLP DOI BibTeX RDF