|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 668 occurrences of 559 keywords
|
|
|
Results
Found 2683 publication records. Showing 2677 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
Mtac: A monad for typed tactic programming in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 25, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Carsten Beta |
Cortical wave patterns in giant Dictyostelium cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICT ![In: BICT 2015, Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), New York City, United States, December 3-5, 2015, pp. 580, 2015, ICST/ACM, 978-1-63190-100-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
35 | Beta Ziliani, Matthieu Sozeau |
A unification algorithm for Coq featuring universe polymorphism and overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 179-191, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Beta Ziliani |
Interactive typed tactic programming in the Coq proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
35 | Beta Ziliani, Matthieu Sozeau |
Towards a better-behaved unification algorithm for Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014., pp. 74-87, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
35 | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer |
How to make ad hoc proof automation less ad hoc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 23(4), pp. 357-401, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
Mtac: a monad for typed tactic programming in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 87-100, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani |
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 67-83, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer |
How to make ad hoc proof automation less ad hoc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 163-175, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Ariel Mendelzon, Alejandro Ríos 0001, Beta Ziliani |
Swapping: a natural bridge between named and indexed explicit substitution calculi ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOR ![In: Proceedings 5th International Workshop on Higher-Order Rewriting, HOR 2010, Edinburgh, UK, July 14, 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Frederick W. B. Li, Jianmin Zhao, Beta Lam, Rynson W. H. Lau |
An Efficient Method for Simulating Flexible Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multim. ![In: J. Multim. 4(2), pp. 94-100, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Vincent W. L. Tam, S. W. Cheung, Wilton W. T. Fok, King-Shan Lui, Jade Wong, Beta Yip |
Turning Mobile Phones into a Mobile Quiz Platform to Challenge Players' Knowledge: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 943-945, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Taku Komura, Beta Lam, Rynson W. H. Lau, Howard Leung |
e-Learning Martial Arts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2006, 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers, pp. 239-248, 2006, Springer, 3-540-49027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
martial arts, automatic motion analysis, motion capture, web-based learning |
30 | Zhanyu Ma, Arne Leijon |
Bayesian Estimation of Beta Mixture Models with Variational Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 33(11), pp. 2160-2173, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
factorized approximation, mixture modeling, maximum likelihood estimation, Bayesian estimation, variational inference, beta distribution |
30 | Jianjun Huang 0002, Jiali Zhong, Pengfei Li |
A Cloud Model Inference System Based Alpha-Beta Filter for Tracking of Maneuvering Target. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 221-225, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
maneuvering target tracking, cloud mode inference, alpha-beta filter |
30 | Luis Octavio López-Leyva, Cornelio Yáñez-Márquez, Rolando Flores-Carapia, Oscar Camacho Nieto |
Handwritten Digit Classification Based on Alpha-Beta Associative Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings, pp. 437-444, 2008, Springer, 978-3-540-85919-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Handwritten digits classification, Alpha-Beta associative model, MNIST database |
30 | Hala Bezine, Adel M. Alimi, Nabil Derbel |
Handwriting Trajectory Movements Controlled by a Bêta-Elliptic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 1228-1232, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Handwriting Modeling, Bêta-Elliptic Model, Cursive Handwriting |
30 | Jonathan Schaeffer, Aske Plaat |
New Advances in Alpha-Beta Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 24th ACM Conference on Computer Science, CSC '96, Philadelphia, PA, USA, February 16-18, 1996, pp. 124-130, 1996, ACM, 0-89791-828-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Alpha-Beta, SSS*, heuristic search, best-first search, computer chess |
30 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomedical Data and Applications ![In: Biomedical Data and Applications, pp. 187-210, 2009, Springer, 978-3-642-02192-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
An Automatic Translation of SBML into Beta-Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(1), pp. 80-90, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML) |
30 | Kostis P. Michmizos 0001, Georgios L. Tagaris, Damianos E. Sakas, Konstantina S. Nikita |
Automatic intra-operative localization of STN using the beta band frequencies of microelectrode recordings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Mel Ho, Pantelis Georgiou, Suket Singhal, Nick Oliver, Chris Toumazou |
A bio-inspired closed-loop insulin delivery based on the silicon pancreatic beta-cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 1052-1055, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Mario Aldape-Pérez, Cornelio Yáñez-Márquez, Amadeo José Argüelles-Cruz |
FPGA Implementation of Parallel Alpha-Beta Associative Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings, pp. 1081-1090, 2008, Springer, 978-3-540-69811-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA, Pattern Recognition, Fingerprint, Associative Memories, Reconfigurable Logic |
30 | Habib Dhahri, Adel M. Alimi |
Automatic Selection for the Beta Basis Function Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NICSO ![In: Nature Inspired Cooperative Strategies for Optimization (NICSO 2007), pp. 461-474, 2007, Springer, 978-3-540-78986-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Joonghyun Ryu, Rhohun Park, Youngsong Cho, Jeongyeon Seo, Deok-Soo Kim |
beta-shape Based Computation of Blending Surfaces on a Molecule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 189-198, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Israel Román-Godínez, Cornelio Yáñez-Márquez |
Complete Recall on Alpha-Beta Heteroassociative Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 193-202, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Cornelio Yáñez-Márquez, Luis Pastor Sánchez Fernández, Itzamá López-Yáñez |
Alpha-Beta Associative Memories for Gray Level Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I, pp. 818-823, 2006, Springer, 3-540-34439-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Pantelis Georgiou, Christofer Toumazou |
Towards an ultra low power chemically inspired electronic beta cell for diabetes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Wendler 0001, Jörg Traub, Sibylle Ilse Ziegler, Nassir Navab |
Navigated Three Dimensional Beta Probe for Optimal Cancer Resection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I, pp. 561-569, 2006, Springer, 3-540-44707-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | N. Gadhok, Witold Kinsner |
An Implementation of beta-Divergence for Blind Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1446-1449, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
Modeling Kohn Interaction Maps with Beta-Binders: An Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology III, pp. 33-48, 2005, Springer, 3-540-30883-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Paul Parkins, John A. Keane |
Alpha-Beta Search Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2002, Third International Conference, Manchester, UK, August 12-14, Proceedings, pp. 582-587, 2002, Springer, 3-540-44025-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Luca A. Castellano |
Beta processes of C/E systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers, pp. 83-100, 1985, Springer, 3-540-16480-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Kister |
Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, 5th International Symposium, ISBRA 2009, Fort Lauderdale, FL, USA, May 13-16, 2009, Proceedings, pp. 124-134, 2009, Springer, 978-3-642-01550-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Beta-sandwich proteins, supersecondary structure, protein structure classification, sequence alignment, protein folding, protein structure prediction |
27 | Saurabh Ganeriwal, Laura Balzano, Mani B. Srivastava |
Reputation-based framework for high integrity sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 4(3), pp. 15:1-15:37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bayesian formulation, Beta reputation system, Sensor networks, reputation |
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings, pp. 73-82, 2008, Springer, 978-3-540-88189-6. The full citation details ...](Pics/full.jpeg) |
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 |
27 | Marco Riani, Anthony C. Atkinson |
Fast calibrations of the forward search for testing multiple outliers in regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Data Anal. Classif. ![In: Adv. Data Anal. Classif. 1(2), pp. 123-141, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Beta-distributed errors, Deletion residual, Multiple outliers, Truncated t distribution, Order statistics, Robust methods |
27 | Simon P. Wilson 0001, Francisco J. Samaniego |
Nonparametric Analysis of the Order-Statistic Model in Software Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(3), pp. 198-208, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Beta-Stacy process, reliability, testing strategies, order statistics, nonparametric statistics, survival analysis |
27 | Changjiang Zhang, Han Wei |
Contrast Enhancement for Image by WNN and GA Combining PSNR with Information Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 3-15, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discrete stationary wavelet transform, in-complete Beta transform, genetic algorithm, wavelet neural network, contrast enhancement |
27 | Leslie M. Kay |
Dynamical Architecture of the Mammalian Olfactory System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Summer School on Neural Networks ![In: Dynamic Brain - from Neural Spikes to Behaviors, 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures, pp. 67-90, 2007, Springer, 978-3-540-88852-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gamma, piriform cortex, behavior, oscillation, synchrony, hippocampus, beta, olfactory bulb |
27 | Liang Zhao |
A new approach for software testability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 985-988, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software testability, measure, testing effectiveness, beta distribution |
27 | Alan Agresti, David B. Hitchcock |
Bayesian inference for categorical data analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Methods Appl. ![In: Stat. Methods Appl. 14(3), pp. 297-330, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Loglinear models, Matched pairs, Odds ratio, Smoothing, Graphical models, Markov chain Monte Carlo, Logistic regression, Hierarchical models, Dirichlet distribution, Beta distribution, Multinomial distribution, Empirical Bayes, Binomial distribution |
27 | Jack van Rijswijck |
Learning from Perfection. A Data Mining Approach to Evaluation Function Learning in Awari. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 115-132, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
alpha-beta, Awari, Machine learning, heuristic search, game playing |
27 | Jack van Rijswijck |
Are Bees Better than Fruitflies? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 13-25, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
alpha-beta, Hex, Heuristic search, game playing |
27 | Asanobu Kitamoto, Mikio Takagi |
Image Classification Using Probabilistic Models that Reflect the Internal Structure of Mixels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 2(1), pp. 31-43, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mixel, Mixture density estimation, Probabilistic model, Image classification, Satellite image, Beta distribution |
27 | Wim Pijls, Arie de Bruin |
Game Tree Algorithms and Solution Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998, Proceedings, pp. 195-204, 1998, Springer, 3-540-65766-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Game tree search, Minimax search, Solution trees, Alpha-beta, SSS*, MTD |
27 | Robert W. Wisniewski, Luis F. Stevens |
A model and tools for supporting parallel real-time applications in Unix environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 126-133, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel real-time applications, Unix environments, development model, soft real-time programs, program behaviour understanding, frame scheduler, FrameView, tightly coupled systems, IRIX 5.3, beta release, scheduling, real-time systems, parallel processing, reverse engineering, software tools, Unix, flexibility, system monitoring, program monitoring |
27 | Webb Miller, Ahmed Elsherbini, Jamie Peck, Cathy Riemer, Scott Schwartz, Nikola Stojanovic, Ross C. Hardison |
A database for globin gene expression data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 62-71, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
globin gene expression database, prototype database, /spl beta/-like globin gene cluster, mammals, globin gene biologists, sequence-analysis problems, e-mail server, highly conserved regions, run sequence features, World-Wide Web server, annotated alignment, database management systems, query languages, experimental results, sequence alignments, regulation, electronic mail, genetics, biology computing, information networks, data repository, graphical presentations |
27 | Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi |
Modeling Correlation in Software Recovery Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(11), pp. 1071-1086, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification |
27 | Hermann Kaindl, Reza Shams, Helmut Horacek |
Minimax Search Algorithms With and Without Aspiration Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(12), pp. 1225-1235, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
minimax search algorithms, aspiration windows, exact minimax values, backward pruning, linear space complexity, alpha-beta search, computational complexity, game theory, trees (mathematics), search problems, uniform distribution, minimax techniques, game trees |
27 | Ugo Dal Lago, Simone Martini 0001 |
On Constructor Rewrite Systems and the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 163-174, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Philippe Jacquet, Laurent Viennot |
Remote-spanners: What to know beyond neighbors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-10, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Erin A. Carroll, Celine Latulipe, Richard Y. K. Fung, Michael A. Terry |
Creativity factor evaluation: towards a standardized survey metric for creativity support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 7th Conference on Creativity & Cognition, Berkeley, California, USA, October 26-30, 2009, pp. 127-136, 2009, ACM, 978-1-60558-865-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
factor validation, standardized survey metrics, creativity, creativity support tools |
27 | Jieun K. Jeong, Piotr Berman, Teresa M. Przytycka |
Improving Strand Pairing Prediction through Exploring Folding Cooperativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(4), pp. 484-491, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biology and genetics, Combinatorial algorithms |
27 | Zizhong Chen, Jack J. Dongarra |
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 71-79, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Zheng Fang 0004, Jie Wang 0002 |
Convex Combination Approximation for the Min-Cost WSN Point Coverage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings, pp. 188-199, 2008, Springer, 978-3-540-88581-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
point coverage, minimum set multicover, approximation algorithm, sensor deployment, LP-rounding |
27 | George L. Tsirogiannis, George A. Tagaris, Damianos Sakas, Konstantina S. Nikita |
Fitting local field potentials generating model of the basal ganglia to actual recorded signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Roy R. Creasey Jr., K. Preston White Jr. |
A Bayesian approach to analysis of limit standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 544-552, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | A. M. Mathai, Serge B. Provost |
On q-logistic and related models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(2), pp. 237-244, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Xiaolin Teng, Hoang Pham |
A Software Cost Model for Quantifying the Gain with Considerations of Random Field Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(3), pp. 380-384, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
optimum software release time, software gain model, software testing, software reliability, Nonhomogeneous Poisson process (NHPP) |
27 | H. Lu, Y. Kim, John M. M. Anderson |
Improved Poisson intensity estimation: denoising application using Poisson data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 13(8), pp. 1128-1135, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Chuen-Der Huang, I-Fang Chung, Nikhil R. Pal, Chin-Teng Lin |
Machine Learning for Multi-class Protein Fold Classification Based on Neural Networks with Feature Gating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, pp. 1168-1175, 2003, Springer, 3-540-40408-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Eyal Amir |
Interpolation Theorems for Nonmonotonic Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 233-244, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Yuri Kalnishkan, Michael V. Vyugin |
Mixability and the Existence of Weak Complexities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Computational Learning Theory, 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002, Proceedings, pp. 105-120, 2002, Springer, 3-540-43836-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Alexander May 0001 |
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings, pp. 242-256, 2002, Springer, 3-540-44050-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Coppersmith's method, small secret exponent, RSA, lattice reduction |
27 | Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann 0001, Frank Stephan 0001 |
Hausdorff Dimension in Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 210-217, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Long Wang 0001 |
Composite Interval Control Systems: Some Strong Kharitonov-Like Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 6(3), pp. 231-246, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Jack H. Lutz |
Gales and the Constructive Dimension of Individual Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 902-913, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
algorithmic information, gales, Hausdorff dimension, computability, randomness, Kolmogorov complexity, martingales, constructive dimension |
27 | Horacio L. Arló-Costa |
Epistemic Context, Defeasible Inference and Conversational Implicature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 15-27, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Phillip G. Bradford, Mordecai J. Golin, Lawrence L. Larmore, Wojciech Rytter |
Optimal Prefix-Free Codes for Unequal Letter Costs: Dynamic Programming with the Monge Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '98, 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings, pp. 43-54, 1998, Springer, 3-540-64848-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 239-250, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Jens Palsberg |
Closure Analysis in Constraint Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 47-62, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constraints, flow analysis, correctness proof |
27 | Amitabh Varshney, Frederick P. Brooks Jr., David C. Richardson, William V. Wright, Dinesh Manocha |
Defining, Computing, and Visualizing Molecular Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 36-43, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Gerardo Beni, Xiaomin Liu |
A Least Biased Fuzzy Clustering Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(9), pp. 954-960, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
least biased fuzzy clustering method, minimal biases, clustering entropy, hard partitions, relative stability, cluster structure, pattern recognition, entropy, fuzzy set theory, multiscale analysis, fuzzy partitions, maximum entropy principle |
27 | Paul Kube, Alex Pentland |
On the Imaging of Fractal Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(5), pp. 704-707, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
surface imaging, fractal Brownian elevation functions, Fourier power spectrum, fractional dimension value, Fourier transform spectra, computerised picture processing, computerised picture processing, fractals, Lambertian reflectance |
27 | Tony DeRose, Brian A. Barsky |
Geometric continuity, shape parameters, and geometric constructions for Catmull-Rom splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 7(1), pp. 1-41, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Shinji Nakagomi |
Ultraviolet Photodetector Based on a Beta-Gallium Oxide/Nickel Oxide/Beta-Gallium Oxide Heterojunction Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(19), pp. 8332, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Dengshi Li, Xiaocong Liang, Ruimin Hu, Lu Zeng, Xiaochen Wang |
$(\alpha, \ \beta)$-AWCS: $(\alpha, \ \beta)$-Attributed Weighted Community Search on Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2022, Padua, Italy, July 18-23, 2022, pp. 1-8, 2022, IEEE, 978-1-7281-8671-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jiaxun Guo, Manar Amayri, Wentao Fan, Nizar Bouguila |
Beta-Liouville and Inverted Beta-Liouville Based Predictive Models for Occupancy Detection using Small Training Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: IEEE Symposium Series on Computational Intelligence, SSCI 2022, Singapore, December 4-7, 2022, pp. 223-230, 2022, IEEE, 978-1-6654-8768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Hernán A. Díaz M., Elías Gárate L., Fernando Maureira, Elízabeth Flores |
Hurst entropy profiles for Beta Low and Beta High EEG sub-bands II: Intergroup comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITQM ![In: Proceedings of the 8th International Conference on Information Technology and Quantitative Management, ITQM 2020 & 2021, Developing Global Digital Economy after COVID-19, July 9-11, 2021, Chengdu, China, pp. 1424-1431, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Hernán A. Díaz M., Elías Gárate L., Fernando Maureira, Elízabeth Flores |
Hurst entropy profiles for Beta Low and Beta High EEG sub-bands Part I: Intragroup comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITQM ![In: Proceedings of the 8th International Conference on Information Technology and Quantitative Management, ITQM 2020 & 2021, Developing Global Digital Economy after COVID-19, July 9-11, 2021, Chengdu, China, pp. 1416-1423, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Qijian Luo, Yiqi JIn |
Oral Beta-lactamase Protects the Gut Bifidobacterium/Lactobacillus from Beta-lactam Antibiotics-mediated Damage in SD Rats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBBS ![In: 9th International Conference on Bioinformatics and Biomedical Science, ICBBS 2020, Xiamen, China, October, 2020, pp. 25-29, 2020, ACM, 978-1-4503-8865-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Aurobrata Ghosh, Zheng Zhong, Steve Cruz, Subbu Veeravasarapu, Terrance E. Boult, Maneesh Singh 0001 |
To Beta or Not To Beta: Information Bottleneck for DigitaL Image Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.03864, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor |
Beta-Beta Bounds: Finite-Blocklength Analog of the Golden Formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 64(9), pp. 6236-6256, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Luis Ammour |
Développement d'une sonde intracérébrale à pixels actifs pour l'imagerie bêta du cerveau du rat libre de ses mouvements. (Development of an Intracerebral Probe with Active Pixels for Beta Imaging of the Freely-moving Rat Brain). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
24 | Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor |
Beta-Beta Bounds: Finite-Blocklength Analog of the Golden Formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.05972, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor |
A Beta-Beta Achievability Bound with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.05880, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor |
A beta-beta achievability bound with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2016, Barcelona, Spain, July 10-15, 2016, pp. 2669-2673, 2016, IEEE, 978-1-5090-1806-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Fang Liu 0006, Yunchuan Kong |
zoib: An R Package for Bayesian Inference for Beta Regression and Zero/One Inflated Beta Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
R J. ![In: R J. 7(2), pp. 34, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | James-A. Goulet |
The Nataf-Beta Random Field Classifier: An Extension of the Beta Conjugate Prior to Classification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04588, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Deborah A. Striegel, Manami Hara, Vipul Periwal |
The Beta Cell in Its Cluster: Stochastic Graphs of Beta Cell Connectivity in the Islets of Langerhans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 11(8), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Z. Javanshiri, Mehdi Maadooliat |
Beta Burr XII OR Five Parameter Beta Lomax Distribution: Remarks and Characterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Stat. Theory Appl. ![In: J. Stat. Theory Appl. 13(2), pp. 105-110, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Dong Si, Jing He 0002 |
Combining image processing and modeling to generate traces of beta-strands from cryo-EM density images of beta-barrels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 3941-3944, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Lixia Sun, Xiuzhen Hu |
Recognition of beta-alpha-beta motifs in proteins by using Random Forest algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI ![In: 6th International Conference on Biomedical Engineering and Informatics, BMEI 2013, Hangzhou, China, December 16-18, 2013, pp. 546-551, 2013, IEEE, 978-1-4799-2761-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Rodrigo Rossetto Pescim |
A nova classe de distribuições Kummer beta generalizada: teoria e aplicações (The new class of Kummer beta generalized distributions: theory and applications). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
24 | Jaime Nava, Vladik Kreinovich |
Towards Symmetry-Based Explanation of (Approximate) Shapes of Alpha-Helices and Beta-Sheets (and Beta-Barrels) in Protein Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 4(1), pp. 15-25, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Thuong Van Du Tran |
Modeling and predicting super-secondary structures of transmembrane beta-barrel proteins. (Modélisation et prédiction de la structure super-secondaire des protéines transmembranaires canaux-beta). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
24 | Deok-Soo Kim, Youngsong Cho, Kokichi Sugihara, Joonghyun Ryu, Donguk Kim 0001 |
Three-dimensional beta-shapes and beta-complexes via quasi-triangulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 42(10), pp. 911-929, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Jinhyuk Lee, Sihyun Ham, Wonpil Im |
Beta-hairpin restraint potentials for calculations of potentials of mean force as a function of beta-hairpin tilt, rotation, and distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 30(8), pp. 1334-1343, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Praveen K. Chandrasekharan, Alexander Kister, James C. Phillips |
Beta-sandwich - beta-barrel transformation may serve as a model of a conversion of 'normal' soluble proteins into amyloid aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Eng. Informatics ![In: Int. J. Medical Eng. Informatics 1(4), pp. 473-489, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2677 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|