Search results for "alpha"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	S. M. N. Arosha Senanayake, Alpha Agape Gopalai	Human Motion Regeneration using Sensors and Vision.	RAM	2008	DBLP DOI BibTeX RDF
27	Ana González-Marcos, Alpha V. Pernía-Espinoza, Fernando Alba-Elías, A. García Forcada	A neural network-based approach for optimising rubber extrusion lines.	Int. J. Comput. Integr. Manuf.	2007	DBLP DOI BibTeX RDF
27	Sandrine Duflos, Alpha Amadou Diallo, Gwendal Le Grand	An Overlay Simulator for Interdependent Critical Information Infrastructures.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
27	Xiaoping Tu, Louis-A. Dessaint, Mohammed E. Kahel, Alpha Oumar Barry	A New Model of Synchronous Machine Internal Faults Based on Winding Distribution.	IEEE Trans. Ind. Electron.	2006	DBLP DOI BibTeX RDF
27	Vladimir Makarenkov, Alix Boc, Charles F. Delwiche, Alpha Boubacar Diallo, Hervé Philippe	New Efficient Algorithm for Modeling Partial and Complete Gene Transfer Scenarios.	Data Science and Classification	2006	DBLP DOI BibTeX RDF
27	Alpha V. Pernía-Espinoza, Joaquín B. Ordieres Meré, Francisco J. Martínez de Pisón Ascacibar, Ana González-Marcos	TAO-robust backpropagation learning algorithm.	Neural Networks	2005	DBLP DOI BibTeX RDF
27	Alpha Lee, Kin Wah Lai, Fuk Tak Hung, Wai Lap Leung, Kwok Keung Lam, Chi Chung Leung	Synaesthesia: Multimodal Modular Edutainment Platform Development.	CW	2004	DBLP DOI BibTeX RDF
27	Christina Yip Chung, Raymond Lieu, Jinhui Liu, Alpha K. Luk, Jianchang Mao, Prabhakar Raghavan	Thematic mapping - from unstructured documents to taxonomies.	CIKM	2002	DBLP DOI BibTeX RDF	clustering and labeling, concept tree construction and visualization, thematic mapping, conceptual search, concept discovery
27	Shamin Alpha, Paul Dixon, Ciya Liao, Changwen Yang	Oracle at TREC 10: Filtering and Question-Answering.	TREC	2001	DBLP BibTeX RDF
27	Alpha K. Luk	Statistical Sense Disambiguation with Relatively Small Corpora Using Dictionary Definitions.	ACL	1995	DBLP BibTeX RDF
26	Israel Román-Godínez, Itzamá López-Yáñez, Cornelio Yáñez-Márquez	Classifying Patterns in Bioinformatics Databases by Using Alpha-Beta Associative Memories.	Biomedical Data and Applications	2009	DBLP DOI BibTeX RDF
26	Chengzhi Deng, Huasheng Zhu, Shengqian Wang	Curvelet Domain Watermark Detection Using Alpha-Stable Models.	IAS	2009	DBLP DOI BibTeX RDF
26	Chuanming Song 0001, Xiang-Hai Wang 0001, Yanwen Guo 0001, Fuyan Zhang	Binary Alpha-Plane Assisted Fast Motion Estimation of Video Objects in Wavelet Domain.	DCC	2009	DBLP DOI BibTeX RDF
26	Daniel Benevides da Costa, Michel Daoud Yacoub, José Cândido Silveira Santos Filho	Highly Accurate Closed-Form Approximations to the Sum of alpha-muVariates and Applications.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
26	Rausley Adriano Amaral de Souza, Michel Daoud Yacoub	On the Mulitvariate alpha-mu Distribution with Arbitrary Correlation and Fading Parameters.	ICC	2008	DBLP DOI BibTeX RDF
26	Rausley Adriano Amaral de Souza, Michel Daoud Yacoub	The Multivariate alpha-mu Distribution.	WCNC	2008	DBLP DOI BibTeX RDF
26	Mario Aldape-Pérez, Cornelio Yáñez-Márquez, Amadeo José Argüelles-Cruz	FPGA Implementation of Parallel Alpha-Beta Associative Memories.	ICIAR	2008	DBLP DOI BibTeX RDF	FPGA, Pattern Recognition, Fingerprint, Associative Memories, Reconfigurable Logic
26	Peter J. McNerney, Janusz Konrad, Margrit Betke	Block-Based MAP Disparity Estimation Under Alpha-Channel Constraints.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
26	Israel Román-Godínez, Cornelio Yáñez-Márquez	Complete Recall on Alpha-Beta Heteroassociative Memory.	MICAI	2007	DBLP DOI BibTeX RDF
26	Robert Fraser, Janice I. Glasgow	A Demonstration of Clustering in Protein Contact Maps for Alpha Helix Pairs.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
26	Shengyang Dai, Mei Han, Wei Xu 0007, Ying Wu 0001, Yihong Gong	Soft Edge Smoothness Prior for Alpha Channel Super Resolution.	CVPR	2007	DBLP DOI BibTeX RDF
26	Cornelio Yáñez-Márquez, Luis Pastor Sánchez Fernández, Itzamá López-Yáñez	Alpha-Beta Associative Memories for Gray Level Patterns.	ISNN (1)	2006	DBLP DOI BibTeX RDF
26	Frithjof Dau	Some Notes on Proofs with Alpha Graphs.	ICCS	2006	DBLP DOI BibTeX RDF
26	Roger Dingledine, Andrei Serjantov, Paul F. Syverson	Blending Different Latency Traffic with Alpha-mixing.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF
26	XueZhong Xiao, Lizhuang Ma, Marco Kunze	Object-Based Image Recoloring Using Alpha Matte and Color Histogram Specification.	VSMM	2006	DBLP DOI BibTeX RDF
26	Hironori Nakatani, Cees van Leeuwen	Individual differences in perceptual switching rates; the role of occipital alpha and frontal theta band activity.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
26	Véronique Ventos, Henry Soldano	Alpha Galois Lattices: An Overview.	ICFCA	2005	DBLP DOI BibTeX RDF
26	Si Hyung Park, Seoung Soo Lee, Jonghwa Kim 0004	A Surface Reconstruction Algorithm Using Weighted Alpha Shapes.	FSKD (1)	2005	DBLP DOI BibTeX RDF
26	Wuneng Zhou, Hongye Su, Jian Chu	Hinfinity output feedback control with alpha-stability constraint for uncertain linear time-delay systems - an LMI approach.	SMC (7)	2004	DBLP DOI BibTeX RDF
26	Ho-Lun Cheng, Tony Tan	Subdividing Alpha Complex.	FSTTCS	2004	DBLP DOI BibTeX RDF
26	Zarka Cvetanovic	Performance Analysis of the Alpha 21364-BAsed HP GS1280 Multiprocessor.	ISCA	2003	DBLP DOI BibTeX RDF
26	Paul Parkins, John A. Keane	Alpha-Beta Search Revisited.	IDEAL	2002	DBLP DOI BibTeX RDF
26	Joel Grodstein, Rachid Rayess, Tad Truex, Linda Shattuck, Sue Lowell, Dan Bailey, David Bertucci, Gabriel P. Bischoff, Daniel E. Dever, Mike Gowan, Roy Lane, Brian Lilly, Krishna Nagalla, Rahul Shah 0004, Emily Shriver, Shi-Huang Yin, Shannon V. Morton	Power and CAD considerations for the 1.75mbyte, 1.2ghz L2 cache on the alpha 21364 CPU.	ACM Great Lakes Symposium on VLSI	2002	DBLP DOI BibTeX RDF	low-power, cache memory, CPU, timing verification, logic verification
26	Michael K. Gowan, Larry L. Biro, Daniel B. Jackson	Power Considerations in the Design of the Alpha 21264 Microprocessor.	DAC	1998	DBLP DOI BibTeX RDF	technology mapping, programmable logic devices, PLA-style logic blocks
26	Peter Conklin	Enrollment Management: Managing the Alpha AXP Program.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
26	Tan Watanabe, Kazuko Sakuma, Hideyuki Arai, Kohbun Umetani	Essential language el(alpha) - a reduced expression set language for system programming.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
26	Pierrick Gachet, Christophe Mauras, Patrice Quinton, Yannick Saouter	Alpha du centaur: a prototype environment for the design of parallel regular alorithms.	ICS	1989	DBLP DOI BibTeX RDF
23	Sudipta Banerjee, Anubhav Jain 0002, Zehua Jiang, Nasir D. Memon, Julian Togelius, Arun Ross	Alpha-wolves and Alpha-mammals: Exploring Dictionary Attacks on Iris Recognition Systems.	CoRR	2024	DBLP DOI BibTeX RDF
23	John P. Nolan, Debra J. Audus, Jack F. Douglas	Computation of Riesz $\boldsymbol{\alpha }$-Capacity $\boldsymbol{\textrm{C}}_{\boldsymbol{\alpha}}$ of General Sets in $\boldsymbol{\mathbb{R}}^{\boldsymbol{d}}$ Using Stable Random Walks.	SIAM J. Appl. Math.	2024	DBLP DOI BibTeX RDF
23	Sudipta Banerjee, Anubhav Jain 0002, Zehua Jiang, Nasir D. Memon, Julian Togelius, Arun Ross	Alpha-Wolves and Alpha-mammals: Exploring Dictionary Attacks on Iris Recognition Systems.	WACV (Workshops)	2024	DBLP DOI BibTeX RDF
23	Yoshihiro Michishita	Alpha Zero for Physics: Application of Symbolic Regression with Alpha Zero to find the analytical methods in physics.	CoRR	2023	DBLP DOI BibTeX RDF
23	Saizhuo Wang, Hang Yuan, Leon Zhou, Lionel M. Ni, Heung-Yeung Shum, Jian Guo	Alpha-GPT: Human-AI Interactive Alpha Mining for Quantitative Investment.	CoRR	2023	DBLP DOI BibTeX RDF
23	Bujar Raufi, Luca Longo	An Evaluation of the EEG alpha-to-theta and theta-to-alpha band Ratios as Indexes of Mental Workload.	CoRR	2022	DBLP BibTeX RDF
23	He Sun, Katherine L. Bouman, Paul Tiede, Jason J. Wang, Sarah Blunt, Dimitri Mawet	alpha-Deep Probabilistic Inference (alpha-DPI): efficient uncertainty quantification from exoplanet astrometry to black hole feature extraction.	CoRR	2022	DBLP BibTeX RDF
23	Rick Evertz, Damien G. Hicks, David T. J. Liley	Alpha blocking and 1/fβ spectral scaling in resting EEG can be accounted for by a sum of damped alpha band oscillatory processes.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
23	Shaik Thaherbasha, Ravindra Dhuli	Outage performance of NOMA over $\alpha -\mu , \;\eta -\mu \; and \;\alpha -\eta -\mu $ faded channels with imperfect CSI and interference.	Telecommun. Syst.	2022	DBLP DOI BibTeX RDF
23	Bujar Raufi, Luca Longo	An Evaluation of the EEG Alpha-to-Theta and Theta-to-Alpha Band Ratios as Indexes of Mental Workload.	Frontiers Neuroinformatics	2022	DBLP DOI BibTeX RDF
23	Dengshi Li, Xiaocong Liang, Ruimin Hu, Lu Zeng, Xiaochen Wang	$(\alpha, \ \beta)$-AWCS: $(\alpha, \ \beta)$-Attributed Weighted Community Search on Bipartite Graphs.	IJCNN	2022	DBLP DOI BibTeX RDF
23	Simone Ugolini	Some notes on the multiplicative order of $\alpha + \alpha ^{-1}$ in finite fields of characteristic two.	Period. Math. Hung.	2020	DBLP DOI BibTeX RDF
23	Jules Merlin Mouatcho Moualeu, Daniel B. da Costa 0001, Walaa Hamouda, Ugo Silva Dias, Rausley A. A. de Souza	Physical Layer Security Over $\alpha$-$\kappa$-$\mu$ and $\alpha$-$\eta$-$\mu$ Fading Channels.	IEEE Trans. Veh. Technol.	2019	DBLP DOI BibTeX RDF
23	Antea D'Andrea, Federico Chella, Tom R. Marshall, Vittorio Pizzella, Gian Luca Romani, Ole Jensen, Laura Marzetti	Alpha and alpha-beta phase synchronization mediate the recruitment of the visuospatial attention network through the Superior Longitudinal Fasciculus.	NeuroImage	2019	DBLP DOI BibTeX RDF
23	Yan Yan Dong, Xiao Long Xin 0001	$$\alpha $$ α -filters and prime $$\alpha $$ α -filter spaces in residuated lattices.	Soft Comput.	2019	DBLP DOI BibTeX RDF
23	Yuchen He 0005, Shuang Liu 0004, Dongyue Guo, Xiaoya Liu, Yufeng Ke, Xizi Song, Feng He 0005, Dong Ming	Transcranial Alternating Current Stimulation at Individual Alpha Frequency Enhances Alpha Activity in Frontal Areas.	NER	2019	DBLP DOI BibTeX RDF
23	Mathieu Fontaine 0002	Processus alpha-stables pour le traitement du signal. (Alpha-stable processes for signal processing).		2019	RDF
23	Zaid Allybokus	Real-time scalable algorithms for alpha-fair resource allocation in software defined networks. (Algorithmes distribués dédiés au calcul de l'allocation alpha-équitable en temps réel dans les réseaux SDN).		2019	RDF
23	Cem Yuksel	Alpha Distribution for Alpha Testing.	Proc. ACM Comput. Graph. Interact. Tech.	2018	DBLP DOI BibTeX RDF
23	Anita J. Crompton, Kelum A. A. Gamage, Alex Jenkins, C. James Taylor	Alpha Particle Detection Using Alpha-Induced Air Radioluminescence: A Review and Future Prospects for Preliminary Radiological Characterisation for Nuclear Facilities Decommissioning.	Sensors	2018	DBLP DOI BibTeX RDF
23	Ehab Salahat, Nan Yang 0006	Modeling Recharge Time of Radio Frequency Energy Harvesters in alpha-eta-µ and alpha-kappa-µ Fading Channels.	ICC Workshops	2018	DBLP DOI BibTeX RDF
23	Saqib A. Khan, Chul Seung Lim, GeunYong Bak, Sanghyeon Baeg, Soonyoung Lee	An alternative approach to measure alpha-particle-induced SEU cross-section for flip-chip packaged SRAM devices: High energy alpha backside irradiation.	Microelectron. Reliab.	2017	DBLP DOI BibTeX RDF
23	Shu-Hsien Liao 0002, Han-Sheng Huang, Jen-Jie Chieh, Yu-Kai Su, Yuan-Fu Tong, Kai-Wen Huang	Characterizations of Anti-Alpha-Fetoprotein-Conjugated Magnetic Nanoparticles Associated with Alpha-Fetoprotein for Biomedical Applications.	Sensors	2017	DBLP DOI BibTeX RDF
23	Simanti Bhattacharya, Amit Das, Angshuman Bagchi	In-silico structural analysis of E509K mutation in LARGE and T192M mutation in Alpha Dystroglycan in the inhibition of glycosylation of Alpha Dystroglycan by LARGE.	Comput. Biol. Chem.	2016	DBLP DOI BibTeX RDF
23	Serdar Elhatisari, Dean Lee, Gautam Rupak, Evgeny Epelbaum, Hermann Krebs, Timo A. Lähde, Thomas Luu, Ulf-G. Meißner	Ab initio alpha-alpha scattering.	Nat.	2015	DBLP DOI BibTeX RDF
23	Kyle E. Mathewson, Diane M. Beck, Tony Ro, Edward L. Maclin, Kathy A. Low, Monica Fabiani, Gabriele Gratton 0001	Dynamics of Alpha Control: Preparatory Suppression of Posterior Alpha Oscillations by Frontal Modulators Revealed with Combined EEG and Event-related Optical Signal.	J. Cogn. Neurosci.	2014	DBLP DOI BibTeX RDF
23	Rodrigo Cogliatti, Rausley Adriano Amaral de Souza	A Near-100% Efficient Algorithm for Generating alpha-kappa-#181; and alpha-eta-#181; Variates.	VTC Fall	2013	DBLP DOI BibTeX RDF
23	Yasuo Matsuyama	Hidden Markov model estimation based on alpha-EM algorithm: Discrete and continuous alpha-HMMs.	IJCNN	2011	DBLP DOI BibTeX RDF
23	Basem S. Attili	The Hilber-Hughes-Taylor-alpha (HHT-alpha) method compared with an implicit Runge-Kutta for second-order systems.	Int. J. Comput. Math.	2010	DBLP DOI BibTeX RDF
23	Somasundaram Niranjayan, Norman C. Beaulieu	BER optimal linear combiner for signal detection in symmetric alpha-stable noise: small values of alpha.	IEEE Trans. Wirel. Commun.	2010	DBLP DOI BibTeX RDF
23	Shephali Bhatnagar, Siva K. Panguluri, Robert F. Lundy, Ashok Kumar	Pleiotropy of tumor necrosis factor-alpha in C2C12 myotubes: in vitro studies on genes, networks and pathways involved in TNF-alpha induced skeletal muscle atrophy.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
23	Florentin Smarandache	\alpha-Discounting Multi-Criteria Decision Making (\alpha-D MCDM)	CoRR	2010	DBLP BibTeX RDF
23	Gianluca Generali, Raffaella Capelli, Stefano Toffanin, Antonio Facchetti, Michele Muccini	Ambipolar field-effect transistor based on alpha, omega-dihexylquaterthiophene and alpha, omega-diperfluoroquaterthiophene vertical heterojunction.	Microelectron. Reliab.	2010	DBLP DOI BibTeX RDF
23	Yasuo Matsuyama, Ryunosuke Hayashi	Alpha-EM gives fast Hidden Markov Model estimation: Derivation and evaluation of alpha-HMM.	IJCNN	2010	DBLP DOI BibTeX RDF
23	Xingxing He, Yang Xu 0001, Yingfang Li, Jun Liu 0001, Luis Martínez-López 0001, Da Ruan 0001	alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X).	HAIS (2)	2010	DBLP DOI BibTeX RDF
23	Anastasios K. Papazafeiropoulos, Stavros A. Kotsopoulos	The alpha-eta-µ and alpha-lamda-µ Joint Envelope-Phase Fading Distributions.	ICC	2009	DBLP DOI BibTeX RDF
23	Kimmo Fredriksson, Szymon Grabowski	Efficient Algorithms for (delta, gamma, alpha) and (delta, kDelta, alpha)-Matching.	Int. J. Found. Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Shao-Mou Yuan, Zai-Ming Liu	Some properties of alpha-convex and alpha-quasiconvex functions with respect to n-symmetric points.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
23	Sara Cauchie	A characterization of (alpha, s + 1)-geometries 1 < alpha < s + 1, satisfying the axiom of Pasch.	Ars Comb.	2007	DBLP BibTeX RDF
23	Domenico Cantone, Salvatore Cristofaro, Simone Faro	On Tuning the (\delta, \alpha)-Sequential-Sampling Algorithm for \delta-Approximate Matching with Alpha-Bounded Gaps in Musical Sequences.	ISMIR	2005	DBLP BibTeX RDF
23	Jae-Chern Yoo, Young-Soo Kim	Alpha-beta-tracking index (alpha-beta-Lambda) tracking filter.	Signal Process.	2003	DBLP DOI BibTeX RDF
23	Stanislav Busygin, Dmitrii V. Pasechnik	On ~chi(G)-alpha(G)>0 gap recognition and alpha(G)-upper bounds	Electron. Colloquium Comput. Complex.	2003	DBLP BibTeX RDF
23	Yasuo Matsuyama	The alpha-EM algorithm: surrogate likelihood maximization using alpha-logarithmic information measures.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
23	Biljana Krsteska	A note on the article "Fuzzy alpha-sets and alpha-continuous maps".	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
23	Mirela Damian-Iordache, Sriram V. Pemmaraju	Computing optimal alpha-fat and alpha-small decompositions.	SODA	2001	DBLP BibTeX RDF
23	Deba Prasad Mandal, C. A. Murthy	Selection of alpha for alpha-hull in R2.	Pattern Recognit.	1997	DBLP DOI BibTeX RDF
23	Sachio Hirokawa	The proofs of alpha -> alpha in P-W.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
23	Angelo Carotti, Cosimo Altomare, Saverio Cellamare, AnnaMaria Monforte, Giancarlo Bettoni, Fulvio Loiodice, Nicola Tangari, Vincenzo Tortorella	LFER and CoMFA studies on optical resolution of alpha-alkyl alpha-aryloxy acetic acid methl esters on DACH-DNB chiral stationary phase.	J. Comput. Aided Mol. Des.	1995	DBLP DOI BibTeX RDF
23	Michael Kantrowitz, Lisa M. Noack	Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip	Digit. Tech. J.	1995	DBLP BibTeX RDF
23	Sanjeev V. Dhurandhar, Virendra C. Bhavsar, Uday G. Gujar	Analysis of z-plane fractal images from z <-- z alpha + c for alpha < 0.	Comput. Graph.	1993	DBLP DOI BibTeX RDF
23	Eric Domenjoud	A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
23	F. David, C. C. Kan, G. Lucotte	Two Taq I RFLPs for human alpha-2 macroglobulin (alpha 2M) using a full length cDNA probe.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
23	Zoltán Ésik, Ferenc Gécseg	On alpha-0-Products and alpha-2-Products.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
23	Dong Ping Yang	On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0'.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
23	Robert A. Di Paola	A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
23	Northrup Fowler III	alpha-Decompositions of alpha-Spaces.	J. Symb. Log.	1976	DBLP DOI BibTeX RDF
23	Manuel Lerman	Least Upper Bounds For Minimal Pairs of alpha-R.E. alpha Degrees.	J. Symb. Log.	1974	DBLP DOI BibTeX RDF
23	George Metakides	alpha-Degrees of alpha-Theories.	J. Symb. Log.	1972	DBLP DOI BibTeX RDF
23	Joel M. Winett	An Alpha-State Finite Automaton for Multiplication by Alpha.	IRE Trans. Electron. Comput.	1962	DBLP DOI BibTeX RDF
23	Ho-Won Jung, Dennis R. Goldenson	The internal consistency and precedence of key process areas in the capability maturity model for software.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Cronbach’s alpha, Convergent and discriminant validities, Internal consistency, SW-CMM, Factor analysis, Partial least squares, Dimensionality
23	Yosuke Bando, Bing-Yu Chen 0004, Tomoyuki Nishita	Extracting depth and matte using a color-filtered aperture.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	alpha matting, color correlation, color filters, computational camera, computational photography, depth estimation
23	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
23	Gutierrez Soares Caixeta, Rita Maria da Silva Julia	A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm.	SBIA	2008	DBLP DOI BibTeX RDF	Draughts, Alpha-Beta Pruning, Transposition Table, Table Hashing, Zobrist Key, Neural Network, Temporal Difference Learning, Checkers, Automatic Learning, Iterative Deepening