The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1968-1980 (15) 1981-1987 (16) 1988-1989 (20) 1990-1991 (21) 1992 (15) 1993-1994 (35) 1995 (26) 1996 (16) 1997 (26) 1998 (27) 1999 (37) 2000 (41) 2001 (37) 2002 (57) 2003 (78) 2004 (81) 2005 (64) 2006 (79) 2007 (102) 2008 (80) 2009 (70) 2010 (31) 2011 (20) 2012 (25) 2013 (23) 2014 (20) 2015 (17) 2016 (21) 2017 (21) 2018 (27) 2019 (18) 2020 (24) 2021 (24) 2022 (20) 2023 (26) 2024 (10)
Publication types (Num. hits)
article(423) book(2) incollection(7) inproceedings(826) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 981 occurrences of 715 keywords

Results
Found 1270 publication records. Showing 1270 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
74Daniel Crabtree, Peter Andreae, Xiaoying Gao Understanding Query Aspects with applications to Interactive Query Expansion. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Jana Dunfield Refined typechecking with Stardust. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
58Josh Buresh-Oppenheim, Toniann Pitassi The Complexity of Resolution Refinements. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
55Eldar Sadikov, Jayant Madhavan, Lu Wang, Alon Y. Halevy Clustering query refinements by user intent. Search on Bibsonomy WWW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF clustering, random walks, query refinements
47Christian Kästner, Sven Apel, Martin Kuhlemann A model of refactoring physically and virtually separated features. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD
41Max J. Egenhofer, Matthew P. Dube Topological relations from metric refinements. Search on Bibsonomy GIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF metric, topology, spatial reasoning, spatial relations
41Graeme Smith 0001, John Derrick Verifying data refinements using a model checker. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
41Maciej Paszynski The Application of Agents to Parallel Mesh Refinements in Domain Decomposition Based Parallel Fully Automatic hp Adaptive Finite Element Codes. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Neil J. Robinson Checking Z Data Refinements Using an Animation Tool. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Joëlle Cohen, Anatol Slissenko On Verification of Refinements of Timed Distributed Algorithms. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Dusko Pavlovic, Douglas R. Smith Software Development by Refinement. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Don S. Batory, Jia Liu, Jacob Neal Sarvela Refinements and multi-dimensional separation of concerns. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multidimensional separation of concerns, refinements, program synthesis, feature-oriented programming, origami, AHEAD, GenVoca
39Jignashu Parikh, Shyam Kapur Unity: relevance feedback using user query logs. Search on Bibsonomy SIGIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF search re-ranking, information retrieval, search engines, relevance feedback, query expansion, query refinements
33Chuanliang Xia Property Preservation by Petri-Net-Based Refinements in System Design. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Jerzy Tomasik, Jerzy Weyman Category localization semantics for specification refinements. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85
33Yanmin Zhu, Min Gao, Lionel M. Ni Distributed Localization Refinements for Mobile Sensor Networks. Search on Bibsonomy ICCNMC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Bing Li, Fabio Somenzi Efficient computation of small abstraction refinements. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Yitzhak Mandelbaum, David Walker 0001, Robert Harper 0001 An effective theory of type refinements. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF effectful computation, type refinement, linear logic, type theory, local reasoning
33Yannis Smaragdakis, Don S. Batory Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF component-based software, product-line architectures, Collaboration-based design
33Mathias Broxvall, Peter Jonsson, Jochen Renz Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Don S. Batory Refinements and Product Line Architectures. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33David Cazier, Jean-François Dufourd A formal specification of geometric refinements. Search on Bibsonomy Vis. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations
33Klaus Mayr Refinements and Extensions of Model Elimination. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Wilfried Brauer, Robert Gold, Walter Vogler A survey of behaviour and equivalence preserving refinements of Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
33Wei Cheng, Wei Tsang Ooi Receiver-driven view-dependent streaming of progressive mesh. Search on Bibsonomy NOSSDAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF view-dependent streaming, progressive meshes
33Yuanchen Zhu Uniform Remeshing with an Adaptive Domain: A New Scheme for View-Dependent Level-of-Detail Rendering of Meshes. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF view-dependent meshes, Level-of-detail, remeshing, multiresolution representation, frame-to-frame coherence
33Reiner Kraft 0001, Jason Y. Zien Mining anchor text for query refinement. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF web search, rank, query refinement, anchor text
33Dolors Costal, Antoni Olivé, Ernest Teniente Relationship Type Refinement in Conceptual Models with Multiple Classification. Search on Bibsonomy ER The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Reino Kurki-Suonio Component and Interface Refinement in Closed-System Specifications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Mikhail Nesterenko, Anish Arora Stabilization-Preserving Atomicity Refinement. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30John Wu Correlated Equilibrium of Bertrand Competition. Search on Bibsonomy WINE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Equilibrium coarsenings, equilibrium refinements, strategic correlation principle, positive correlated equilibrium, negative correlated equilibrium, duality gap
30Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier Definition and Correct Refinement of Operation Specifications. Search on Bibsonomy Research Results of the DICS Program The full citation details ... 2006 DBLP  DOI  BibTeX  RDF System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
30Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller Formal Methods Meet Domain Specific Languages. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, formal methods, refinements, decision procedure, DSL
30Max J. Egenhofer, A. Rashid B. M. Shariff Metric Details for Natural-Language Spatial Relations. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Metric refinements, GIS, geographic information systems, spatial relations, topological relations
30Marco Accame, Francesco G. B. De Natale, Daniele D. Giusto Hierarchical block matching for disparity estimation in stereo sequences. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical block matching, stereo sequences, BBDE, real time coding, multiresolution pyramid, correction strategy, disparity vectors, adaptive search range, variable-resolution disparity field, block based disparity estimation, refinements, image sequences, video coding, image reconstruction, image matching, error correction, search problems, stereo image processing, image resolution, propagation, estimation theory, reconstruction quality
30José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia Correctness of a distributed deadlock resolution algorithm for the single request model. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
30Gruia-Catalin Roman, C. Donald Wilcox Architecture-Directed Refinement. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
30R. Geoff Dromey Systematic Program Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
25Petr Buryan, Jirí Kubalík Context-sensitive refinements for stochasticoptimization algorithms in inductive logic programming. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF evolutionary algorithms, inductive logic programming
25Graeme Smith 0001, Kirsten Winter Model checking action system refinements. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, Refinement, CTL, action systems
25Didier Dubois, Hélène Fargier Capacity Refinements and Their Application to Qualitative Decision Evaluation. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decision evaluation, Capacities, belief functions, Sugeno integral
25Gerhard Schellhorn, Richard Banach A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Egon Börger Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
25Tarvo Raudvere, Ingo Sander, Axel Jantsch Synchronization after design refinements with sensitive delay elements. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF design refinement, synchronization, system design
25Tarvo Raudvere, Ingo Sander, Axel Jantsch A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF design refinement, synchronization, system design
25Michel Bidoit, Rolf Hennicker Proving Behavioral Refinements of COL-specifications. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Nenad Stojanovic n Ranking Refinements in the Step-by-Step Searching through a Product Catalogue. Search on Bibsonomy ICDM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Neil J. Robinson, Colin J. Fidge Visualisation of Refinements. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Béatrice Bérard, Claudine Picaronny Accepting Zeno words: a way toward timed refinements. Search on Bibsonomy Acta Informatica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Stefan Hendricx, Luc J. M. Claesen Verification of Finite-State-Machine Refinements Using a Symbolic Methodology. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni Refinements and Modules for Typed Graph Transformation Systems. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Hans de Nivelle A Unification of Ordering Refinements of Resolution in Classical Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25X. J. Chen, Carlo Montangero Compositional Refinements in Multiple Blackboard Systems. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Issam W. Damaj Higher-Level Hardware Synthesis of the KASUMI Algorithm. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallel algorithms, methodology, formal models, data encryption, gate array
25Maciej Paszynski Performance of Multi Level Parallel Direct Solver for hpFinite Element Method. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parallel direct solvers, Substructuring method, Finite Element Method, hp adaptivity
25Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv Abstract Counterexample-Based Refinement for Powerset Domains. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Amel Mammar, Régine Laleau Design of an Automatic Prover Dedicated to the Refinement of Database Applications. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Refinement process, Proof reuse, B method, Data-intensive applications
25Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. Search on Bibsonomy RE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo Requirements Specifications Evolution in a Multi-Perspective Environment. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25David L. Mills Improved Algorithms for Synchronizing Computer Network Clocks. Search on Bibsonomy SIGCOMM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Internet
25Ambuj K. Singh Program Refinement in Fair Transition Systems. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
22Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota Encoding a process algebra using the Event B method. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
22Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune De Sosa Feature-oriented refinement of models, metamodels and model transformations. Search on Bibsonomy FOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XAK, modeling, models, refinements, model transformations, metamodels, AHEAD
22Salvador Trujillo, Don S. Batory, Oscar Díaz Feature refactoring a multi-representation program into a product line. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD
22Jana Dunfield, Frank Pfenning Tridirectional typechecking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
22Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder Achieving extensibility through product-lines and domain-specific languages: a case study. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF simulation, refinements, domain-specific languages, aspects, GenVoca
22Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
22Don S. Batory, Gang Chen, Eric Robertson 0002, Tao Wang Design Wizards and Visual Programming Environments for GenVoca Generators. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF applications product-lines, components, refinements, generators, Self-adaptive software, architectural optimizations
22J. Bey Tetrahedral Grid Refinement. Search on Bibsonomy Computing The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening
17Ling Zhang, Yuting Wang 0001, Jinhua Wu, Jérémie Koenig, Zhong Shao Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Simon Oxenford, Ana Sofía Ríos, Barbara Hollunder, Clemens Neudorfer, Alexandre Boutet, Gavin J. B. Elias, Jürgen Germann, Aaron Loh, Wissam Deeb, Bryan Salvato, Leonardo Almeida, Kelly D. Foote, Robert S. C. Amaral, Paul B. Rosenberg, David F. Tang-Wai, David A. Wolk, Anna D. Burke, Marwan N. Sabbagh, Stephen Salloway, M. Mallar Chakravarty, Gwenn S. Smith, Constantine G. Lyketsos, Michael S. Okun, William S. Anderson, Zoltan Mari, Francisco A. Ponce, Andres M. Lozano, Wolf-Julian Neumann, Bassam Al-Fatly, Andreas Horn WarpDrive: Improving spatial normalization using manual refinements. Search on Bibsonomy Medical Image Anal. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Ayman Hazaymeh, Ahmad Qazza, Raed Hatamleh, Mohammad Wajeeh Alomari, Rania Saadeh On Further Refinements of Numerical Radius Inequalities. Search on Bibsonomy Axioms The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Hartmut Ilsemann Methodological observations concerning word rankings and z-score refinements. Search on Bibsonomy Digit. Scholarsh. Humanit. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Kathy Q. Ji, Dax T. X. Zhang Some refinements of Stanley's shuffle theorem. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Alex Havrilla, Sharath Chandra Raparthy, Christoforos Nalmpantis, Jane Dwivedi-Yu, Maksym Zhuravinskyi, Eric Hambro, Roberta Railneau GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Marcin Pietron, Rafal Olszowski, Jakub Gomulka Efficient argument classification with compact language models and ChatGPT-4 refinements. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed Trace preservation in B and Event-B refinements. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer CESAR: Control Envelope Synthesis via Angelic Refinements. Search on Bibsonomy TACAS (1) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Emmanouil-Vasileios Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements. Search on Bibsonomy AISTATS The full citation details ... 2024 DBLP  BibTeX  RDF
17Balu Santhanam, Thalanayar S. Santhanam On refinements to QMFD based chirp parameter estimation. Search on Bibsonomy Signal Process. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Muhammad Tariq, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas Some Refinements of Hermite-Hadamard Type Integral Inequalities Involving Refined Convex Function of the Raina Type. Search on Bibsonomy Axioms The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Yonghui Ren Generalized Refinements of Reversed AM-GM Operator Inequalities for Positive Linear Maps. Search on Bibsonomy Axioms The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Vuk Stojiljkovic, Rajagopalan Ramaswamy, Ola A. Ashour Abdelnaby, Stojan Radenovic Some Refinements of the Tensorial Inequalities in Hilbert Spaces. Search on Bibsonomy Symmetry The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Najla Altwaijry, Cristian Conde, Silvestru Sever Dragomir, Kais Feki Some Refinements of Selberg Inequality and Related Results. Search on Bibsonomy Symmetry The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Tareq Hamadneh, Mohammad Wajeeh Alomari, Isra Al-Shbeil, Hala AlAqad, Raed Hatamleh, Ahmed Salem Heilat, Abdallah Al-Husban Refinements of the Euclidean Operator Radius and Davis-Wielandt Radius-Type Inequalities. Search on Bibsonomy Symmetry The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Viviana Giunzioni, John Erick Ortiz Guzman, Adrien Merlini, Simon B. Adrian, Francesco Paolo Andriulli On a Calderón preconditioner for the symmetric formulation of the electroencephalography forward problem without barycentric refinements. Search on Bibsonomy J. Comput. Phys. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Tomasz Sluzalec, Rafal Wojciech Grzeszczuk, Sergio Rojas, Witold Dzwinel, Maciej Paszynski Quasi-optimal hp-finite element refinements towards singularities via deep neural network prediction. Search on Bibsonomy Comput. Math. Appl. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Siva Somayyajula, Frank Pfenning Dependent Type Refinements for Futures. Search on Bibsonomy MFPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Jingliang Duan, Wenxuan Wang, Liming Xiao, Jiaxin Gao, Shengbo Eben Li DSAC-T: Distributional Soft Actor-Critic with Three Refinements. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Emmanouil V. Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Rebecca Richter, Alberto De Marchi, Matthias Gerdts Collision Avoidance using Iterative Dynamic and Nonlinear Programming with Adaptive Grid Refinements. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Marco Pop-Mihali, Adrian Groza Forest Mixing: investigating the impact of multiple search trees and a shared refinements pool on ontology learning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer CESAR: Control Envelope Synthesis via Angelic Refinements. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Hongxia Wang Refinements of Jensen's inequalities for Choquet integrals and applications. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Hofit Ben-Zion Vardi, Nira Dyn, Nir Sharon Geometric Hermite interpolation in $\mathbb {R}^{n}$ by refinements. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Linyan Gu, Lihua Yang, Feng Zhou Refinements of Approximation Results of Conditional Restricted Boltzmann Machines. Search on Bibsonomy IEEE Trans. Neural Networks Learn. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. Search on Bibsonomy FOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1270 (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