Search results for "BETA"

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.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
35	Carsten Beta	Cortical wave patterns in giant Dictyostelium cells.	BICT	2015	DBLP BibTeX RDF
35	Beta Ziliani, Matthieu Sozeau	A unification algorithm for Coq featuring universe polymorphism and overloading.	ICFP	2015	DBLP DOI BibTeX RDF
35	Beta Ziliani	Interactive typed tactic programming in the Coq proof assistant.		2015	RDF
35	Beta Ziliani, Matthieu Sozeau	Towards a better-behaved unification algorithm for Coq.	UNIF	2014	DBLP BibTeX RDF
35	Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer	How to make ad hoc proof automation less ad hoc.	J. Funct. Program.	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.	ICFP	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.	ITP	2013	DBLP DOI BibTeX RDF
35	Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer	How to make ad hoc proof automation less ad hoc.	ICFP	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	HOR	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.	J. Multim.	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.	ICALT	2008	DBLP DOI BibTeX RDF
35	Taku Komura, Beta Lam, Rynson W. H. Lau, Howard Leung	e-Learning Martial Arts.	ICWL	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	IITSI	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.	CIARP	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.	ICDAR	2003	DBLP DOI BibTeX RDF	Handwriting Modeling, Bêta-Elliptic Model, Cursive Handwriting
30	Jonathan Schaeffer, Aske Plaat	New Advances in Alpha-Beta Searching.	ACM Conference on Computer Science	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.	Biomedical Data and Applications	2009	DBLP DOI BibTeX RDF
30	Federica Ciocchetta, Corrado Priami, Paola Quaglia	An Automatic Translation of SBML into Beta-Binders.	IEEE ACM Trans. Comput. Biol. Bioinform.	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.	BIBE	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.	ISCAS	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.	ICIAR	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.	NICSO	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.	ISVD	2007	DBLP DOI BibTeX RDF
30	Israel Román-Godínez, Cornelio Yáñez-Márquez	Complete Recall on Alpha-Beta Heteroassociative Memory.	MICAI	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.	ISNN (1)	2006	DBLP DOI BibTeX RDF
30	Pantelis Georgiou, Christofer Toumazou	Towards an ultra low power chemically inspired electronic beta cell for diabetes.	ISCAS	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.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
30	N. Gadhok, Witold Kinsner	An Implementation of beta-Divergence for Blind Source Separation.	CCECE	2006	DBLP DOI BibTeX RDF
30	Federica Ciocchetta, Corrado Priami, Paola Quaglia	Modeling Kohn Interaction Maps with Beta-Binders: An Example.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
30	Paul Parkins, John A. Keane	Alpha-Beta Search Revisited.	IDEAL	2002	DBLP DOI BibTeX RDF
30	Luca A. Castellano	Beta processes of C/E systems.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
27	Alexander Kister	Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns.	ISBRA	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.	ACM Trans. Sens. Networks	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.	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
27	Marco Riani, Anthony C. Atkinson	Fast calibrations of the forward search for testing multiple outliers in regression.	Adv. Data Anal. Classif.	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.	IEEE Trans. Software Eng.	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.	ICFIE	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.	Summer School on Neural Networks	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.	ICSE	2006	DBLP DOI BibTeX RDF	software testability, measure, testing effectiveness, beta distribution
27	Alan Agresti, David B. Hitchcock	Bayesian inference for categorical data analysis.	Stat. Methods Appl.	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.	Computers and Games	2000	DBLP DOI BibTeX RDF	alpha-beta, Awari, Machine learning, heuristic search, game playing
27	Jack van Rijswijck	Are Bees Better than Fruitflies?	AI	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.	Pattern Anal. Appl.	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.	Computers and Games	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.	IEEE Real Time Technology and Applications Symposium	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.	HICSS (5)	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	ICALP (2)	2009	DBLP DOI BibTeX RDF
27	Philippe Jacquet, Laurent Viennot	Remote-spanners: What to know beyond neighbors.	IPDPS	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.	Creativity & Cognition	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.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Biology and genetics, Combinatorial algorithms
27	Zizhong Chen, Jack J. Dongarra	A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing.	HASE	2008	DBLP DOI BibTeX RDF
27	Zheng Fang 0004, Jie Wang 0002	Convex Combination Approximation for the Min-Cost WSN Point Coverage Problem.	WASA	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.	BIBE	2008	DBLP DOI BibTeX RDF
27	Roy R. Creasey Jr., K. Preston White Jr.	A Bayesian approach to analysis of limit standards.	WSC	2007	DBLP DOI BibTeX RDF
27	A. M. Mathai, Serge B. Provost	On q-logistic and related models.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
27	Xiaolin Teng, Hoang Pham	A Software Cost Model for Quantifying the Gain with Considerations of Random Field Environments.	IEEE Trans. Computers	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.	IEEE Trans. Image Process.	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.	ICANN	2003	DBLP DOI BibTeX RDF
27	Eyal Amir	Interpolation Theorems for Nonmonotonic Reasoning Systems.	JELIA	2002	DBLP DOI BibTeX RDF
27	Yuri Kalnishkan, Michael V. Vyugin	Mixability and the Existence of Weak Complexities.	COLT	2002	DBLP DOI BibTeX RDF
27	Alexander May 0001	Cryptanalysis of Unbalanced RSA with Small CRT-Exponent.	CRYPTO	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.	CCC	2001	DBLP DOI BibTeX RDF
27	Long Wang 0001	Composite Interval Control Systems: Some Strong Kharitonov-Like Properties.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
27	Jack H. Lutz	Gales and the Constructive Dimension of Individual Sequences.	ICALP	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.	CONTEXT	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.	ESA	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.	ICFP	1996	DBLP DOI BibTeX RDF
27	Jens Palsberg	Closure Analysis in Constraint Form.	ACM Trans. Program. Lang. Syst.	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.	IEEE Visualization	1995	DBLP DOI BibTeX RDF
27	Gerardo Beni, Xiaomin Liu	A Least Biased Fuzzy Clustering Method.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	ACM Trans. Graph.	1988	DBLP DOI BibTeX RDF
24	Shinji Nakagomi	Ultraviolet Photodetector Based on a Beta-Gallium Oxide/Nickel Oxide/Beta-Gallium Oxide Heterojunction Structure.	Sensors	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.	IJCNN	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.	SSCI	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.	ITQM	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.	ITQM	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.	ICBBS	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.	CoRR	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.	IEEE Trans. Inf. Theory	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).		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.	CoRR	2017	DBLP BibTeX RDF
24	Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor	A Beta-Beta Achievability Bound with Applications.	CoRR	2016	DBLP BibTeX RDF
24	Wei Yang 0001, Austin Collins, Giuseppe Durisi, Yury Polyanskiy, H. Vincent Poor	A beta-beta achievability bound with applications.	ISIT	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.	R J.	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.	CoRR	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.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
24	Z. Javanshiri, Mehdi Maadooliat	Beta Burr XII OR Five Parameter Beta Lomax Distribution: Remarks and Characterizations.	J. Stat. Theory Appl.	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.	EMBC	2014	DBLP DOI BibTeX RDF
24	Lixia Sun, Xiuzhen Hu	Recognition of beta-alpha-beta motifs in proteins by using Random Forest algorithm.	BMEI	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).		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.	Symmetry	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).		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.	Comput. Aided Des.	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.	J. Comput. Chem.	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.	Int. J. Medical Eng. Informatics	2009	DBLP DOI BibTeX RDF