The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Beta with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1975 (15) 1976-1978 (19) 1979-1982 (19) 1983-1984 (19) 1985-1986 (17) 1987-1988 (31) 1989-1990 (21) 1991-1992 (29) 1993-1994 (30) 1995 (19) 1996 (29) 1997 (20) 1998 (25) 1999 (36) 2000 (41) 2001 (35) 2002 (57) 2003 (72) 2004 (65) 2005 (89) 2006 (119) 2007 (123) 2008 (147) 2009 (104) 2010 (90) 2011 (85) 2012 (85) 2013 (92) 2014 (83) 2015 (87) 2016 (118) 2017 (109) 2018 (98) 2019 (129) 2020 (99) 2021 (127) 2022 (132) 2023 (127) 2024 (35)
Publication types (Num. hits)
article(1492) book(4) incollection(13) inproceedings(1154) phdthesis(14)
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
244Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard Abstraction Mechanisms in the Beta Programming Language. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
146R. Ward On Robustness Properties of Beta Encoders and Golden Ratio Encoders. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
137Frédérique Bassino Beta-Expansions for Cubic Pisot Numbers. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
119Prosenjit Bose, Luc Devroye, William S. Evans, David G. Kirkpatrick On the Spanning Ratio of Gabriel Graphs and beta-skeletons. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
98Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
80Hans-Joachim Böckenhauer, Dirk Bongartz, Juraj Hromkovic, Ralf Klasing, Guido Proietti, Sebastian Seibert, Walter Unger On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF minimum-cost biconnected spanning subgraph, Approximation algorithm, inapproximability, augmentation
75Hisamoto Hiyoshi Greedy Beta-Skeleton in Three Dimensions. Search on Bibsonomy ISVD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69Matthew Menke, Eben Scanlon, Jonathan King, Bonnie Berger, Lenore Cowen Wrap-and-pack: a new paradigm for beta structural motif recognition with application to recognizing beta trefoils. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF beta structures, beta trefoils, motif recognition, rotamer libraries, threading, protein structure prediction
66Barry Joe Knot insertion for Beta-spline curves and surfaces. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
66Barry Joe Quartic Beta-splines. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
66Barry Joe Multiple-knot and rational cubic beta-splines. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
66Barry Joe Discrete Beta-splines. Search on Bibsonomy SIGGRAPH The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
57Pierre L'Ecuyer, Richard J. Simard Inverting the symmetrical beta distribution. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF symmetrical beta distribution, quantiles, inversion method, Random variate generation
57María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez Complexity of Alpha-Beta Bidirectional Associative Memories. Search on Bibsonomy MICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Alpha-Beta associative memories, perfect recall, complexity, Bidirectional associative memories
57Jean-Vincent Loddo, Roberto Di Cosmo Playing Logic Programs with the Alpha-Beta Algorithm. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54José García Pérez, Salvador Cruz Rambaud, Lina B. García García The two-sided power distribution for the treatment of the uncertainty in PERT. Search on Bibsonomy Stat. Methods Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF TSP distribution, mesokurtic, constant variance, PERT, Beta
54Ole Lehrmann Madsen Semantic Analysis of Virtual Classes and Tested Classes. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF generic class, parameterized class, semantic analysis, virtual class, BETA
53Alberto Carraro, Antonino Salibra Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Yun Long, Asaf Nachmias, Yuval Peres Mixing Time Power Laws at Criticality. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Per Hokstad, Alexandre Maria, Pierre Tomis Estimation of common cause factors from systems with different numbers of channels. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Dmitry Gavinsky Optimally-Smooth Adaptive Boosting and Application to Agnostic Learning. Search on Bibsonomy ALT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Abhilash Kumar Das, Nirmalya Kar g-EoN: A Non-salient Approach Towards Encryption Using Gamma Function $\varGamma \Big (-\frac{\alpha }{\beta }\Big ) = -\frac{\beta }{\alpha }\, \varGamma \Big (\frac{\beta -\alpha }{\beta }\Big )$. Search on Bibsonomy ACeS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Deok-Soo Kim A Single Beta-Complex Solves All Geometry Problems in a Molecule. Search on Bibsonomy ISVD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF molecular geometry, molecular structure, quasi-triangulation, beta-complex, beta-shape, Voronoi diagram
48María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez Alpha-Beta bidirectional associative memories: theory and applications. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Alpha-Beta associative memories, Perfect recall, Fingerprint identifier, Bidirectional associative memories
48Nizar Bouguila, Djemel Ziou, Ernest Monga Practical Bayesian estimation of a finite beta mixture through gibbs sampling and its applications. Search on Bibsonomy Stat. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mixture modeling, Maximum likelihood, EM, SAR images, Gibbs sampling, Bayesian analysis, SEM, Beta distribution, Metropolis-Hastings
48María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez A New Model of BAM: Alpha-Beta Bidirectional Associative Memories. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Alpha-Beta associative memories, perfect recall, Bidirectional associative memories
48Søren Brandt, Jørgen Lindskov Knudsen Generalising the BETA Type System. Search on Bibsonomy ECOOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constraints, type systems, object-oriented modelling, language design, BETA
48Shoujue Wang, Xunwei Wu, Hongjuan Feng The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF high speed ternary logic gates, multiple /spl beta/ transistors, multiple emitter transistor, current gain, linear AND/OR gates, multi valued literal circuits, high speed multi valued logic circuits, multivalued logic circuits, logic gates, ternary logic, transistors
48Jonathan Schaeffer The History Heuristic and Alpha-Beta Search Enhancements in Practice. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF history heuristic, alpha-beta search enhancements, minimax trees, interior nodes, transposition tables, trees (mathematics), search problems, minimax techniques, game trees
48Monroe M. Newborn Unsynchronized Iteratively Deepening Parallel Alpha-Beta Search. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF unsynchronized iterative deepening search, parallel alpha-beta search algorithm, principal variation splitting algorithm, parallel algorithms, tree, iterative methods, trees (mathematics), search problems
48Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami A Bounded-Optimistic, Parallel Beta-Binders Simulator. Search on Bibsonomy DS-RT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Shrabonti Ghosh, S. S. Alam (alpha, beta) Reduction of Decision Table: A Rough Approach. Search on Bibsonomy AFSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren Beta Reduction Constraints. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Jørgen Lindskov Knudsen Fault Tolerance and Exception Handling in BETA. Search on Bibsonomy Advances in Exception Handling Techniques The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Cornelio Yáñez, Edgardo Manuel Felipe Riverón, Itzamá López-Yáñez, Rolando Flores-Carapia A Novel Approach to Automatic Color Matching. Search on Bibsonomy CIARP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Autoassociative memory, Alpha-Beta associative memories, Color matching
45David J. Pinto, Stephanie R. Jones, Tasso J. Kaper, Nancy Kopell Analysis of State-Dependent Transitions in Frequency and Long-Distance Coordination in a Model Oscillatory Cortical Circuit. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF gamma, synchrony, rhythms, alpha, neuromodulation, arousal, beta, neocortex
45Noga Alon, Eyal Lubetzky, Uri Stav, Amit Weinstein, Avinatan Hassidim Broadcasting with Side Information. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Walter Vanzella, Felice Andrea Pellegrino, Vincent Torre Self-Adaptive Regularization. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Paula Severi, Fer-Jan de Vries An Extensional Böhm Model. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45John M. Borton The changing face of software support: the impact of the Internet on customer support and support personnel. Search on Bibsonomy SIGCPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Internet support, support personnel, technical support
45Hans-Joachim Böckenhauer, Juraj Hromkovic, Ralf Klasing, Sebastian Seibert, Walter Unger An Improved Lower Bound on the Approximability of Metric TSP and Approximation Algorithms for the TSP with Sharpened Triangle Inequality. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Yang Richard Yang, Simon S. Lam General AIMD Congestion Control. Search on Bibsonomy ICNP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF general AIMD congestion control, congestion window adjustment, increase value, decrease ratio, congestion avoidance state, packets acknowledgement, congestion indication, general additive increase multiplicative decrease, GAIMD, mean sending rate, mean round-trip time, mean timeout value, sending rate formula, TCP-friendly flow, sending rate, TCP Reno flows, TCP SACK flows, DropTail link, RED link, simulations, transport protocols, packet switching, bandwidth, telecommunication congestion control, loss rate, path conditions, window size
45Xin He, Ming-Yang Kao, Hsueh-I Lu A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs. Search on Bibsonomy ESA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Cao An Wang, Bo-Ting Yang A Tight Bound for ß-SKeleton of Minimum Weight Triangulations. Search on Bibsonomy WADS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Youxin Gao, D. F. Wong 0001 Optimal shape function for a bi-directional wire under Elmore delay model. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Bi-directional wire, Optimal shape, Elmore Delay
42Christopher N. Chapman, Michal Lahav, Edwin Love, James L. Alford Product interest and engagement scale, beta (pies-beta): initial development. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2009 DBLP  DOI  BibTeX  RDF product interest, product involvement, evaluation, scale development, psychometrics
39Ilhem Kallel, Adel M. Alimi MAGAD-BFS: A learning method for Beta fuzzy systems based on a multi-agent genetic algorithm. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Beta fuzzy systems, Genetic algorithms, Multi-agent systems, Learning, Distributed genetic algorithms
39John W. Paisley, Lawrence Carin Nonparametric factor analysis with beta process priors. Search on Bibsonomy ICML The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Paola Quaglia On Beta-Binders Communications. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Feng-xiao Wang, Lu Chen On (Alpha, Beta) Fuzzy Subalgebras of BCH-Algebras. Search on Bibsonomy FSKD (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen The when, why and why not of the BETA programming language. Search on Bibsonomy HOPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis
39Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher Developing An Hierarchical Simulator for Beta-binders. Search on Bibsonomy PADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Luoqing Li, Chenggao Wan Support Vector Machines with Beta-Mixing Input Sequences. Search on Bibsonomy ISNN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Todd W. Neller Information-Based Alpha-Beta Search and the Homicidal Chauffeur. Search on Bibsonomy HSCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Robert Krull Is more beta better?. Search on Bibsonomy SIGDOC The full citation details ... 2000 DBLP  BibTeX  RDF
39Do-Hoon Lee, Hwan-Gue Cho The Beta-Velocity Model for Simulating Handwritten Korean Scripts. Search on Bibsonomy EP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Jens Bæk Jørgensen, Kjeld Høyer Mortensen Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
39Hassan A. Farhat, Steven G. From A beta model for estimating the testability and coverage distributions of a VLSI circuit. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Xiao Zhu 0002, Peter H. Koenig, Michael Hoffmann 0006, Arun Yethiraj, Qiang Cui Establishing effective simulation protocols for beta- and alpha/beta-peptides. III. Molecular mechanical model for acyclic beta-amino acids. Search on Bibsonomy J. Comput. Chem. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Deok-Soo Kim, Jae-Kwan Kim 0001, Chong-Min Kim Searching Simplexes in Quasi-triangulation. Search on Bibsonomy ISVD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Voronoi diagram of spheres, beta-shape, beta-complex, quasi-triangulation, simplex search
36Pawel Winter, Henrik Sterner, Peter Sterner Alpha Shapes and Proteins. Search on Bibsonomy ISVD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF beta shape, delaunay complex, alpha complex, beta complex, voronoi diagram, protein, filtration, power diagram
36Amany Al-Saleh, Ali El-Zaart, AbdulMalik S. Al-Salman Dot Detection of Optical Braille Images for Braille Cells Recognition. Search on Bibsonomy ICCHP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Optical Braille Images, Dot Detection, OBR, Thresholding, Beta Distribution
36Mehrdad Fatourechi, Gary E. Birch, Rabab K. Ward A self-paced brain interface system that uses movement related potentials and changes in the power of brain rhythms. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Self-paced brain interface systems, Multiple neurological phenomena, Movement-related potentials, Mu rhythms, Beta rhythms
36Maria L. Stavrinou, Liviu Moraru, Polyxeni Pelekouda, Vasileios Kokkinos, Anastasios Bezerianos A Wavelet Tool to Discriminate Imagery Versus Actual Finger Movements Towards a Brain-Computer Interface. Search on Bibsonomy ISBMDA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF finger-tapping, beta rhythm, Event Related Synchronization (ERS) -Desynchronization (ERD), wavelet, EEG, Brain-Computer Interface, imagery
36Gopalan Nadathur, Xiaochu Qi Explicit substitutions in the reduction of lambda terms. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
36Victor F. Nicola, Ambuj Goyal Modeling of Correlated Failures and Community Error Recovery in Multiversion Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF correlated failures, community error recovery, multiversion software, beta-binomial distribution, failure distributions, selected distribution, recovery methods, failure behaviors, lightly correlated, checkpoint failure, destructive failure, fault tolerant computing, software reliability, checkpointing, system recovery, software configuration, omission failure, combinatorial model
36Anpeng Huang, Biswanath Mukherjee Inbuilt-Burstification Urgency-Driven Scheduling (iBUS) Algorithm for Packet Transport in IP-over-WDM Networks. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Shaunak Dattaprasad Bopardikar, Francesco Bullo, João Pedro Hespanha A pursuit game with range-only measurements. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Shi-Zhong Bai, Lei Fan, Wan-Liang Wang LaTeX Strong-I Nß-Compactness in L-Topological Spaces. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Ingrid Daubechies, Özgür Yilmaz Robust and Practical Analog-to-Digital Conversion With Exponential Precision. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Michael Elkin Computing almost shortest paths. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2005 DBLP  DOI  BibTeX  RDF almost shortest paths, Graph algorithms, spanners
36Manvendu Bhardwaj, Satyayant Misra, Guoliang Xue Using β-skeletons for localized topology control in wireless ad hoc networks. Search on Bibsonomy IPCCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Jiali Feng, Qihuang Mao, Guanglin Xu, Jingjuan Feng Qualitative Mapping, Inner Product Transformation of Qualitative Criterion, Artificial Neuron and Pattern Recognition. Search on Bibsonomy ISM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Sumeet Dua, Naveen Kandiraju A Novel Computational Framework for Structural Classification of Proteins Using Local Geometric Parameter Matching. Search on Bibsonomy CSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Amos Korman, David Peleg Labeling Schemes for Weighted Dynamic Trees. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Keqin Li 0001 Improved Methods for Divisible Load Distribution on ?-dimensional Meshes Using Pipelined Communications. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 Learning, Logic, and Topology in a Common Framework. Search on Bibsonomy ALT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Christiane Frougny On-Line Odometers for Two-Sided Symbolic Dynamical Systems. Search on Bibsonomy Developments in Language Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF symbolic dynamical systems, numeration systems, odometer, Finite automata
36Hsiang-Chun Huang, Chung-Neng Wang, Tihao Chiang A robust fine granularity scalability using trellis based predictive leak. Search on Bibsonomy ISCAS (3) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Shriram Sarvotham, Rudolf H. Riedi, Richard G. Baraniuk Connection-level analysis and modeling of network traffic. Search on Bibsonomy Internet Measurement Workshop The full citation details ... 2001 DBLP  DOI  BibTeX  RDF animal kingdom, network traffic modeling
36Zdzislaw Splawski, Pawel Urzyczyn Type Fixpoints: Iteration vs. Recursion. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Fritz Henglein, Jakob Rehof The Complexity of Subtype Entailment for Simple Types. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
36Gilbert Deléage, Christophe Geourjon Intensive sequence comparisons to predict protein secondary structures. Integration into a software package: ANTHEPROT. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF intensive sequence comparisons, ANTHEPROT, structural class assignment, self-optimised prediction method, SOPM, protein chains, 3-states description, secondary structure content, database, database management systems, biology computing, proteins, software packages, software package, correlation coefficients, secondary structure, chemistry computing, protein secondary structure prediction, amino acids
35Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Muhammad Naufal Pratama, Beta Noranita, Khadijah The Effects of Extract Function Refactoring On High Cyclomatic Complexity Code Smell and Maintainability Index. Search on Bibsonomy ICEEI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Felix P. Kemeth, Sergio Alonso, Blas Echebarria, Ted Moldenhawer, Carsten Beta, Ioannis G. Kevrekidis Black and Gray Box Learning of Amplitude Equations: Application to Phase Field Systems. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Mallku Soldevila, Beta Ziliani, Bruno Silvestre From Specification to Testing: Semantics Engineering for Lua 5.2. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Gregor Pasemann, Sven Flemming, Sergio Alonso, Carsten Beta, Wilhelm Stannat Diffusivity Estimation for Activator-Inhibitor Models: Theory and Application to Intracellular Dynamics of the Actin Cytoskeleton. Search on Bibsonomy J. Nonlinear Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Daniel Schindler, Ted Moldenhawer, Maike Stange, Valentino Lepro, Carsten Beta, Matthias Holschneider, Wilhelm Huisinga Analysis of protrusion dynamics in amoeboid cell motility by means of regularized contour flows. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Raul Fervari, Francisco Trucco, Beta Ziliani Verification of dynamic bisimulation theorems in Coq. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Gregor Pasemann, Sven Flemming, Sergio Alonso, Carsten Beta, Wilhelm Stannat Diffusivity Estimation for Activator-Inhibitor Models: Theory and Application to Intracellular Dynamics of the Actin Cytoskeleton. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Mallku Soldevila, Beta Ziliani, Daniel Fridlender Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Mallku Soldevila, Beta Ziliani, Daniel Fridlender Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. Search on Bibsonomy PPDP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35Annisa R. Beta Commerce, piety and politics: Indonesian young Muslim women's groups as religious influencers. Search on Bibsonomy New Media Soc. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Raul Fervari, Francisco Trucco, Beta Ziliani Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. Search on Bibsonomy DaLí The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer Mtac2: typed tactics for backward reasoning in Coq. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas Decoding Lua: Formal Semantics for the Developer and the Semanticist. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
35Oliver Pohl, Marius Hintsche, Zahra Alirezaeizanjani, Maximilian Seyrich, Carsten Beta, Holger Stark Inferring the Chemotactic Strategy of P. putida and E. coli Using Modified Kramers-Moyal Coefficients. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Beta Ziliani, Matthieu Sozeau A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas Decoding Lua: formal semantics for the developer and the semanticist. Search on Bibsonomy DLS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2677 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license