|
|
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 |
244 | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard |
Abstraction Mechanisms in the Beta Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 285-298, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
146 | R. Ward |
On Robustness Properties of Beta Encoders and Golden Ratio Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(9), pp. 4324-4334, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
137 | Frédérique Bassino |
Beta-Expansions for Cubic Pisot Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings, pp. 141-152, 2002, Springer, 3-540-43400-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
119 | Prosenjit Bose, Luc Devroye, William S. Evans, David G. Kirkpatrick |
On the Spanning Ratio of Gabriel Graphs and beta-skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings, pp. 479-493, 2002, Springer, 3-540-43400-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
98 | Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda |
Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 183-193, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Hans-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](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 59-70, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
minimum-cost biconnected spanning subgraph, Approximation algorithm, inapproximability, augmentation |
75 | Hisamoto Hiyoshi |
Greedy Beta-Skeleton in Three Dimensions. ![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. 101-109, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Matthew 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](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 298-307, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
beta structures, beta trefoils, motif recognition, rotamer libraries, threading, protein structure prediction |
66 | Barry Joe |
Knot insertion for Beta-spline curves and surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 9(1), pp. 41-65, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
66 | Barry Joe |
Quartic Beta-splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 9(3), pp. 301-337, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
66 | Barry Joe |
Multiple-knot and rational cubic beta-splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 8(2), pp. 100-120, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
66 | Barry Joe |
Discrete Beta-splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 27-31, 1987, pp. 137-144, 1987, ACM, 0-89791-227-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
57 | Pierre L'Ecuyer, Richard J. Simard |
Inverting the symmetrical beta distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 32(4), pp. 509-520, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
symmetrical beta distribution, quantiles, inversion method, Random variate generation |
57 | María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez |
Complexity of Alpha-Beta Bidirectional Associative Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 357-366, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Alpha-Beta associative memories, perfect recall, complexity, Bidirectional associative memories |
57 | Jean-Vincent Loddo, Roberto Di Cosmo |
Playing Logic Programs with the Alpha-Beta Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 207-224, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
54 | José 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](Pics/bibsonomy.png) |
Stat. Methods Appl. ![In: Stat. Methods Appl. 14(2), pp. 209-222, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TSP distribution, mesokurtic, constant variance, PERT, Beta |
54 | Ole Lehrmann Madsen |
Semantic Analysis of Virtual Classes and Tested Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 114-131, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
generic class, parameterized class, semantic analysis, virtual class, BETA |
53 | Alberto Carraro, Antonino Salibra |
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 91-100, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Yun Long, Asaf Nachmias, Yuval Peres |
Mixing Time Power Laws at Criticality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 205-214, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Per Hokstad, Alexandre Maria, Pierre Tomis |
Estimation of common cause factors from systems with different numbers of channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(1), pp. 18-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Dmitry Gavinsky |
Optimally-Smooth Adaptive Boosting and Application to Agnostic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 98-112, 2002, Springer, 3-540-00170-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Abhilash 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](Pics/bibsonomy.png) |
ACeS ![In: Advances in Cyber Security - Third International Conference, ACeS 2021, Penang, Malaysia, August 24-25, 2021, Revised Selected Papers, pp. 78-94, 2021, Springer, 978-981-16-8058-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Deok-Soo Kim |
A Single Beta-Complex Solves All Geometry Problems in a Molecule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Sixth International Symposium on Voronoi Diagrams, ISVD 2009, Copenhagen, Denmark, June 23-26, 2009, pp. 254-260, 2009, IEEE Computer Society, 978-0-7695-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
molecular geometry, molecular structure, quasi-triangulation, beta-complex, beta-shape, Voronoi diagram |
48 | Marí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](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 26(1), pp. 1-40, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Alpha-Beta associative memories, Perfect recall, Fingerprint identifier, Bidirectional associative memories |
48 | Nizar Bouguila, Djemel Ziou, Ernest Monga |
Practical Bayesian estimation of a finite beta mixture through gibbs sampling and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 16(2), pp. 215-225, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mixture modeling, Maximum likelihood, EM, SAR images, Gibbs sampling, Bayesian analysis, SEM, Beta distribution, Metropolis-Hastings |
48 | Marí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](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 286-295, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Alpha-Beta associative memories, perfect recall, Bidirectional associative memories |
48 | Søren Brandt, Jørgen Lindskov Knudsen |
Generalising the BETA Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings, pp. 421-448, 1996, Springer, 3-540-61439-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
constraints, type systems, object-oriented modelling, language design, BETA |
48 | Shoujue Wang, Xunwei Wu, Hongjuan Feng |
The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 178-181, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Jonathan Schaeffer |
The History Heuristic and Alpha-Beta Search Enhancements in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(11), pp. 1203-1212, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Monroe M. Newborn |
Unsynchronized Iteratively Deepening Parallel Alpha-Beta Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(5), pp. 687-694, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami |
A Bounded-Optimistic, Parallel Beta-Binders Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings, pp. 139-148, 2008, IEEE Computer Society, 978-0-7695-3425-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Shrabonti Ghosh, S. S. Alam |
(alpha, beta) Reduction of Decision Table: A Rough Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFSS ![In: Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings, pp. 141-147, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren |
Beta Reduction Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 31-46, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Jørgen Lindskov Knudsen |
Fault Tolerance and Exception Handling in BETA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 1-17, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Cornelio 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](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006, Cancun, Mexico, November 14-17, 2006, Proceedings, pp. 529-538, 2006, Springer, 3-540-46556-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Autoassociative memory, Alpha-Beta associative memories, Color matching |
45 | David 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](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 15(2), pp. 283-298, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
gamma, synchrony, rhythms, alpha, neuromodulation, arousal, beta, neocortex |
45 | Noga Alon, Eyal Lubetzky, Uri Stav, Amit Weinstein, Avinatan Hassidim |
Broadcasting with Side Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 823-832, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Walter Vanzella, Felice Andrea Pellegrino, Vincent Torre |
Self-Adaptive Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(6), pp. 804-809, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Paula Severi, Fer-Jan de Vries |
An Extensional Böhm Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 159-173, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | John M. Borton |
The changing face of software support: the impact of the Internet on customer support and support personnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, San Diego, California, USA, 2001, pp. 157-161, 2001, ACM, 1-58113-363-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Internet support, support personnel, technical support |
45 | Hans-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](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 382-394, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Yang Richard Yang, Simon S. Lam |
General AIMD Congestion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 187-198, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
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 |
45 | Xin He, Ming-Yang Kao, Hsueh-I Lu |
A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '99, 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999, Proceedings, pp. 540-549, 1999, Springer, 3-540-66251-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Cao An Wang, Bo-Ting Yang |
A Tight Bound for ß-SKeleton of Minimum Weight Triangulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 6th International Workshop, WADS '99, Vancouver, British Columbia, Canada, August 11-14, 1999, Proceedings, pp. 265-275, 1999, Springer, 3-540-66279-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Youxin Gao, D. F. Wong 0001 |
Optimal shape function for a bi-directional wire under Elmore delay model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 622-627, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Bi-directional wire, Optimal shape, Elmore Delay |
42 | Christopher N. Chapman, Michal Lahav, Edwin Love, James L. Alford |
Product interest and engagement scale, beta (pies-beta): initial development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3913-3918, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
product interest, product involvement, evaluation, scale development, psychometrics |
39 | Ilhem Kallel, Adel M. Alimi |
MAGAD-BFS: A learning method for Beta fuzzy systems based on a multi-agent genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(9), pp. 757-772, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Beta fuzzy systems, Genetic algorithms, Multi-agent systems, Learning, Distributed genetic algorithms |
39 | John W. Paisley, Lawrence Carin |
Nonparametric factor analysis with beta process priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 26th Annual International Conference on Machine Learning, ICML 2009, Montreal, Quebec, Canada, June 14-18, 2009, pp. 777-784, 2009, ACM, 978-1-60558-516-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Paola Quaglia |
On Beta-Binders Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 457-472, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Feng-xiao Wang, Lu Chen |
On (Alpha, Beta) Fuzzy Subalgebras of BCH-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 604-607, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen |
The when, why and why not of the BETA programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOPL ![In: Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007, pp. 1-57, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis |
39 | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher |
Developing An Hierarchical Simulator for Beta-binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 92-102, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Luoqing Li, Chenggao Wan |
Support Vector Machines with Beta-Mixing Input Sequences. ![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. 928-935, 2006, Springer, 3-540-34439-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Todd W. Neller |
Information-Based Alpha-Beta Search and the Homicidal Chauffeur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings, pp. 323-336, 2002, Springer, 3-540-43321-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Robert Krull |
Is more beta better?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of IEEE Professional Communication Society International Professional Communication Conference and Proceedings of the 18th Annual ACM International Conference on Computer Documentation: Technology & Teamwork, Cambridge, Massachusetts, USA, September 24-27, 2000, pp. 301-308, 2000, IEEE, 0-7803-6431-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
39 | Do-Hoon Lee, Hwan-Gue Cho |
The Beta-Velocity Model for Simulating Handwritten Korean Scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 252-264, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Jens Bæk Jørgensen, Kjeld Høyer Mortensen |
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 249-268, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Hassan A. Farhat, Steven G. From |
A beta model for estimating the testability and coverage distributions of a VLSI circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(4), pp. 550-554, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Xiao 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](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 31(10), pp. 2063-2077, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Deok-Soo Kim, Jae-Kwan Kim 0001, Chong-Min Kim |
Searching Simplexes in Quasi-triangulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Seventh International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010, Quebec, Canada, June 28-30, 2010, pp. 105-111, 2010, IEEE Computer Society, 978-0-7695-4112-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Voronoi diagram of spheres, beta-shape, beta-complex, quasi-triangulation, simplex search |
36 | Pawel Winter, Henrik Sterner, Peter Sterner |
Alpha Shapes and Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Sixth International Symposium on Voronoi Diagrams, ISVD 2009, Copenhagen, Denmark, June 23-26, 2009, pp. 217-224, 2009, IEEE Computer Society, 978-0-7695-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
beta shape, delaunay complex, alpha complex, beta complex, voronoi diagram, protein, filtration, power diagram |
36 | Amany Al-Saleh, Ali El-Zaart, AbdulMalik S. Al-Salman |
Dot Detection of Optical Braille Images for Braille Cells Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 821-826, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Optical Braille Images, Dot Detection, OBR, Thresholding, Beta Distribution |
36 | Mehrdad 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](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 23(1), pp. 21-37, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Self-paced brain interface systems, Multiple neurological phenomena, Movement-related potentials, Mu rhythms, Beta rhythms |
36 | Maria 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](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006, Proceedings, pp. 323-333, 2006, Springer, 3-540-68063-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
finger-tapping, beta rhythm, Event Related Synchronization (ERS) -Desynchronization (ERD), wavelet, EEG, Brain-Computer Interface, imagery |
36 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 195-206, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
36 | Victor F. Nicola, Ambuj Goyal |
Modeling of Correlated Failures and Community Error Recovery in Multiversion Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 350-359, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
36 | Anpeng Huang, Biswanath Mukherjee |
Inbuilt-Burstification Urgency-Driven Scheduling (iBUS) Algorithm for Packet Transport in IP-over-WDM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 5229-5233, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Shaunak Dattaprasad Bopardikar, Francesco Bullo, João Pedro Hespanha |
A pursuit game with range-only measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4233-4238, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Shi-Zhong Bai, Lei Fan, Wan-Liang Wang |
LaTeX Strong-I Nß-Compactness in L-Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 436-438, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Ingrid Daubechies, Özgür Yilmaz |
Robust and Practical Analog-to-Digital Conversion With Exponential Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(8), pp. 3533-3545, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Michael Elkin |
Computing almost shortest paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 1(2), pp. 283-323, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
almost shortest paths, Graph algorithms, spanners |
36 | Manvendu Bhardwaj, Satyayant Misra, Guoliang Xue |
Using β-skeletons for localized topology control in wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 24th IEEE International Performance Computing and Communications Conference, IPCCC 2005, April 7-9, 2005, Phoenix, Arizona, USA, pp. 637-638, 2005, IEEE, 0-7803-8991-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Jiali Feng, Qihuang Mao, Guanglin Xu, Jingjuan Feng |
Qualitative Mapping, Inner Product Transformation of Qualitative Criterion, Artificial Neuron and Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Seventh IEEE International Symposium on Multimedia (ISM 2005), 12-14 December 2005, Irvine, CA, USA, pp. 15-20, 2005, IEEE Computer Society, 0-7695-2489-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Sumeet Dua, Naveen Kandiraju |
A Novel Computational Framework for Structural Classification of Proteins Using Local Geometric Parameter Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 710-711, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Amos Korman, David Peleg |
Labeling Schemes for Weighted Dynamic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 369-383, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Keqin Li 0001 |
Improved Methods for Divisible Load Distribution on ?-dimensional Meshes Using Pipelined Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 81, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 |
Learning, Logic, and Topology in a Common Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 248-262, 2002, Springer, 3-540-00170-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Christiane Frougny |
On-Line Odometers for Two-Sided Symbolic Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers, pp. 405-416, 2002, Springer, 3-540-40431-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
symbolic dynamical systems, numeration systems, odometer, Finite automata |
36 | Hsiang-Chun Huang, Chung-Neng Wang, Tihao Chiang |
A robust fine granularity scalability using trellis based predictive leak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 401-404, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Shriram Sarvotham, Rudolf H. Riedi, Richard G. Baraniuk |
Connection-level analysis and modeling of network traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Workshop ![In: Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, IMW 2001, San Francisco, California, USA, November 1-2, 2001, pp. 99-103, 2001, ACM, 1-58113-435-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
animal kingdom, network traffic modeling |
36 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 102-113, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 352-361, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
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 |
36 | Gilbert Deléage, Christophe Geourjon |
Intensive sequence comparisons to predict protein secondary structures. Integration into a software package: ANTHEPROT. ![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. 292-301, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani |
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03488, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Muhammad Naufal Pratama, Beta Noranita, Khadijah |
The Effects of Extract Function Refactoring On High Cyclomatic Complexity Code Smell and Maintainability Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEEI ![In: International Conference on Electrical Engineering and Informatics, ICEEI 2023, Bandung, Indonesia, October 10-11, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-8129-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Felix 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03954, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Mallku Soldevila, Beta Ziliani, Bruno Silvestre |
From Specification to Testing: Semantics Engineering for Lua 5.2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 66(4), pp. 905-952, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Gregor 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](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 31(3), pp. 59, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Daniel 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](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(8), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Raul Fervari, Francisco Trucco, Beta Ziliani |
Verification of dynamic bisimulation theorems in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 120, pp. 100642, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Gregor 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.09421, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Mallku Soldevila, Beta Ziliani, Daniel Fridlender |
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.13057, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Mallku Soldevila, Beta Ziliani, Daniel Fridlender |
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 13:1-13:14, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Annisa R. Beta |
Commerce, piety and politics: Indonesian young Muslim women's groups as religious influencers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 21(10), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Raul Fervari, Francisco Trucco, Beta Ziliani |
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaLí ![In: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 3-18, 2019, Springer, 978-3-030-38807-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer |
Mtac2: typed tactics for backward reasoning in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 78:1-78:31, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas |
Decoding Lua: Formal Semantics for the Developer and the Semanticist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.02400, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
35 | Oliver 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](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 13(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Beta Ziliani, Matthieu Sozeau |
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 27, pp. e10, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas |
Decoding Lua: formal semantics for the developer and the semanticist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017, pp. 75-86, 2017, ACM, 978-1-4503-5526-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|