|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4976 occurrences of 2818 keywords
|
|
|
Results
Found 6412 publication records. Showing 6412 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | I-Cheng Yeh 0002 |
Optimization of concrete mix proportioning using a flattened simplex-centroid mixture design and neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 25(2), pp. 179-190, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Artificial neural networks, Mathematical programming, Design of experiments, Concrete, Mixture |
67 | Bin Shi, Liexiang Yan, Quan Guo |
Application of Visualization Method to Concrete Mix Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 41-48, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Concrete Mix, Optimization, ANN, Visualization Method |
62 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 227-259, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concrete domains, tableau algorithm, description logic, decidability |
53 | Frédéric Fondement |
Graphical Concrete Syntax Rendering with SVG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 200-214, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Language Engineering, Graphical Concrete Syntax, XML, MDA, SVG, MDE, DOM |
53 | Frédéric Fondement, Thomas Baar |
Making Metamodels Aware of Concrete Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings, pp. 190-204, 2005, Springer, 3-540-30026-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF |
51 | Orlowski Zygmunt |
Selected problems of supply chain management in monolithic works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 6(3), pp. 361-370, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Concrete Works, Supply Chain, Transport, Queuing Theory, Placing |
48 | Akim Demaille, Roland Levillain, Benoît Sigoure |
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1924-1929, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, program transformation, parsing, compiler design, rewrite rules, concrete syntax |
48 | Thomas Baar |
Correctly defined concrete syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 383-398, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Metamodeling, Visual languages, OCL, Triple-Graph-Grammars (TGGs), Concrete syntax |
48 | Carsten Lutz |
NEXP TIME-complete description logics with concrete domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 669-705, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem |
48 | Jaechul Sung, Sangjin Lee 0002, Jong In Lim 0001, Wonil Lee, Okyeon Yi |
Concrete Security Analysis of CTR-OFB and CTR-CFB Modes of Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings, pp. 103-113, 2001, Springer, 3-540-43319-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Pseudorandom Function Family, Symmetric Encryption Schemes, Modes of Operation, Concrete Security |
47 | Gangbing Song, Haichang Gu, Y. L. Mo |
Smart Aggregates: a Distributed Intelligent Multi-purpose Sensor Network (DIMSN) for Civil Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15-17 April 2007, pp. 775-780, 2007, IEEE, 1-4244-1076-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Javier Espinazo-Pagán, Marcos Menárguez Tortosa, Jesús García Molina |
Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 185-199, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 201-216, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm |
Algorithm visualization using concrete and abstract shape graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008, pp. 33-36, 2008, ACM, 978-1-60558-112-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithm visualisation, shape graphs, invariants, shape analysis, algorithm animation |
40 | Thomas Baar |
Correctly Defined Concrete Syntax for Visual Modeling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 111-125, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Giuseppe Acciani, Girolamo Fornarelli, Antonio Giaquinto, Domenico Maiullari, Gioacchino Brunetti |
Non-Destructive Technique for Defect Localization in Concrete Structures Based on Ultrasonic Wave Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II, pp. 541-554, 2008, Springer, 978-3-540-69840-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
NDT, Concrete Structure, Detection of Defect Position, Flight Time Computation, Genetic algorithms, k-NN |
39 | Frédéric Jouault, Jean Bézivin, Ivan Kurtev |
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 249-254, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model driven engineering, DSL, concrete syntax |
37 | Ole Agesen |
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 2-26, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
concrete types, inheritance, polymorphism, type inference, Self, abstract types |
35 | Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel |
Model-driven analysis and synthesis of textual concrete syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 423-441, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Language engineering, MDD, Meta-modeling, MDE |
35 | Tomoyuki Yamaguchi, Shuji Hashimoto |
Improved percolation-based method for crack detection in concrete surface images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Yingfang Fan, Zhiqiang Hu |
Application of Artificial Neural Network in Prediction of Bond Property between Corroded Reinforcement and Concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 664-668, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel |
Model-Driven Analysis and Synthesis of Concrete Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 98-110, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Concrete Type-Inference in the Presence of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 57-74, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Gutemberg Guerra-Filho, Yiannis Aloimonos |
Grounding Concrete Motion Concepts with a Linguistic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings, pp. 1-12, 2008, Springer, 978-3-540-87880-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concrete concept grounding, linguistic framework, sensorimotor intelligence |
34 | Martin Bravenboer, Eelco Visser |
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 365-383, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego |
34 | Kevin Hartzfeld |
Modeling the Effects of Acid Leaching on Concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the 1995 International Conference on Applied Programming Languages, APL 1995, San Antonio, Texas, USA, June 4-8, 1995., pp. 70-74, 1995, ACM, 0-89791-722-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
acid leaching, concrete systems, orthogonal collocation, APL, collocation |
34 | Flavio De Paoli, Francesco Tisato |
Abstract and concrete components: an approach to complex systems engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 282-285, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex IT systems engineering, concrete components, abstract components, multi-view interfaces, software engineering, agents, controllers, software agents, configurators, systems engineering, object-oriented methods, architectural design, connectors, integrated approach, architectural abstractions, system life cycle |
33 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan Riehl |
Assimilating MetaBorg: : embedding language tools in languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 21-28, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego |
32 | Alexandre Demeure, Gaëlle Calvary, Joëlle Coutaz, Jean Vanderdonckt |
The Comets Inspector: Towards Run Time Plasticity Control Based on a Semantic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 324-338, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Concrete user interface, Ambient intelligence, Task modeling, Semantic network, Plasticity, Active model, Model-based approach, Abstract user interface, User interface eXtensible Markup Language, Comet |
32 | Michael Szydlo, Burton S. Kaliski Jr. |
Proofs for Two-Server Password Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2005, The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings, pp. 227-244, 2005, Springer, 3-540-24399-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concrete security reduction, secret sharing, password authentication |
32 | Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond |
Counter-example generation in symbolic abstract model-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 158-164, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Concrete counterexample, Model-checking, Abstraction, Test pattern generation |
32 | Basim M. Kadhim, William M. Waite |
Maptool - Supporting Modular Syntax Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 268-280, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction |
30 | Thomas Goldschmidt |
Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 168-177, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | John Quarles, Samsun (Sem) Lampotang, Ira Fischler, Paul A. Fishwick, Benjamin Lok |
A Mixed Reality Approach for Merging Abstract and Concrete Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2008 (VR 2008), 8-12 March 2008, Reno, Nevada, USA, Proceedings, pp. 27-34, 2008, IEEE Computer Society, 978-1-4244-1971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Blanqui, Thérèse Hardin, Pierre Weis |
On the Implementation of Construction Functions for Non-free Concrete Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 95-109, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Sergey Lukichev, Vladan Devedzic |
Bridging Concrete and Abstract Syntax of Web Rule Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 309-318, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Yusuke Fujita, Yoshihiro Mitani, Yoshihiko Hamamoto |
A Method for Crack Detection on a Concrete Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 901-904, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Kwang-Baek Kim, Kwee-Bo Sim, Sang-Ho Ahn |
Recognition of Concrete Surface Cracks Using the ART1-Based RBF Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II, pp. 669-675, 2006, Springer, 3-540-34437-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Kwang-Baek Kim, Hwang-Kyu Yang, Sang-Ho Ahn |
Recognition of Concrete Surface Cracks Using ART2-Based Radial Basis Function Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III, pp. 279-286, 2006, Springer, 3-540-34075-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ming Lu, Hoi-Ching Lam |
Optimized concrete delivery scheduling using combined simulation and genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 2572-2580, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Carsten Lutz |
NEXPTIME-Complete Description Logics with Concrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 45-60, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Mihir Bellare, Anand Desai, E. Jokipii, Phillip Rogaway |
A Concrete Security Treatment of Symmetric Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 394-403, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Arthur G. Duncan, Lawrence Yelowitz |
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 218-229, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
30 | Probal Dasgupta |
Concrete knowledge, the conversational turn, and translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 21(1-2), pp. 7-13, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Concrete Knowledge, The Conversational Turn, Translation |
30 | David S. Wile |
Abstract Syntax from Concrete Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 472-480, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reverse engineering, program transformation, domain-specific languages, grammars, object-oriented models, abstract syntax, concrete syntax |
30 | Mihir Bellare, Ran Canetti, Hugo Krawczyk |
Pseudorandom Functions Revisited: The Cascade Construction and Its Concrete Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 514-523, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
cascade construction, private key cryptography, finite length input pseudorandom function families, cryptography, cryptographic primitive, pseudorandom functions, concrete security |
28 | Nic Volanschi, Christian Rinderknecht |
Unparsed patterns: easy user-extensibility of program manipulation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 111-121, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
unparsed patterns, pattern matching, source code |
28 | Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Refinement Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 131-148, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
symbolic transition system, refinement, conformance testing, symbolic execution |
28 | John Derrick, Heike Wehrheim |
Using Coupled Simulations in Non-atomic Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 127-147, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Non-atomic refinement, coupled simulations, Z, action refinement |
27 | Jan Podrouzek, Drahomír Novák, Bretislav Teplý, Dita Vorechovská |
Modeling of Environmental Effects on Bridge Components: Possibilities of Cellular Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 379-384, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diffusion process, concrete structures, service life, aggressive environment, simulation, cellular automata, bridges |
27 | Wei-Guang Teng, Ming-Jyh Hsieh, Ming-Syan Chen |
A statistical framework for mining substitution rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 7(2), pp. 158-178, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concrete itemset, Substitution rule, Correlation analysis, Statistical significance |
27 | José Pascual Molina Massó, Jean Vanderdonckt, Francisco Montero Simarro, Pascual González López |
Towards virtualization of user interfaces based on UsiXML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Tenth International Conference on 3D Web Technology, Web3D 2005, Bangor, UK, March 29 - April 1, 2005, pp. 169-178, 2005, ACM, 1-59593-012-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concrete user interface, virtual user interface, XML, user interface, graphical user interface, virtualization, task model, domain model, User Interface Description Language, abstract user interface, UsiXML |
27 | R. Rother |
Realizations of Topological Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(5), pp. 497-504, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
initial completion, concrete universal category, topologically universal category, universal complete lattice |
27 | John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin |
Type-syntax and token-syntax in diagrammatic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 174-185, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms |
27 | Hideki Koike, Manuba Aida |
A Bottom-Up Approach for Visualizing Program Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 91-98, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach |
26 | Matteo Cacciola, Giuseppe Megali, Diego Pellicanò, Michele Buonsanti, Salvatore Calcagno 0001, Mario Versaci, Francesco Carlo Morabito |
Neuro-Fuzzy Approach for Reconstructing Fissures in Concrete's Reinforcing Bars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 171-178, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Slim Structures, Eddy-current Non Destructive Tests, Neuro-Fuzzy Systems, Non Linear Systems |
26 | Yusuke Fujita, Yoshihiko Hamamoto |
A Robust Method for Automatically Detecting Cracks on Noisy Concrete Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 76-85, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Rustam Tagiew |
Hypotheses about Typical General Human Strategic Behavior in a Concrete Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings, pp. 476-485, 2009, Springer, 978-3-642-10290-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Aly Abdel Fattah, Janaka Y. Ruwanpura |
An integrated CAD and simulation model for concrete operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2462-2470, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Xie Lingfei, Yang Li |
Research on Temperature Control and Anti-cracking Simulation for Xiaowan Concrete High Arch Dam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 1036-1039, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Holger Krahn, Bernhard Rumpe, Steven Völkel |
Integrated Definition of Abstract and Concrete Syntax for Textual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 286-300, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Mingshan Liu, Yuan Zhou |
Application of Artificial Intelligence Technology in Asphalt Concrete Mixer Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 159-163, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Nobuyoshi Yabuki, Zhantao Li |
Development of New IFC-BRIDGE Data Model and a Concrete Bridge Design System Using Multi-agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 1259-1266, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design checking, multi-agents, bridge, IFC, product data model |
26 | Corina S. Pasareanu, Radek Pelánek, Willem Visser |
Concrete Model Checking with Abstract Matching and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 52-66, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jurgen J. Vinju |
Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 97-112, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Michael Edberg Hansen, Bjarne K. Ersbøll, Jens Michael Carstensen, Allan Aasbjerg Nielsen |
Estimation of Critical Parameters in Concrete Production Using Multispectral Vision Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 1228-1237, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser |
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, pp. 157-172, 2005, Springer, 3-540-29138-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Andrey Sidorenko, Berry Schoenmakers |
Concrete Security of the Blum-Blum-Shub Pseudorandom Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings, pp. 355-375, 2005, Springer, 3-540-30276-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Davide Grossi, Frank Dignum |
From Abstract to Concrete Norms in Agent Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers, pp. 12-29, 2004, Springer, 3-540-24422-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Magdalena Jakubek, Zenon Waszczyszyn |
Neural Analysis of Concrete Fatigue Durability by the Neuro-Fuzzy FWNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 1075-1080, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Bernd Fischer 0002, Eelco Visser |
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 239-253, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Eelco Visser |
Meta-programming with Concrete Object Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 299-315, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Volker Haarslev, Ralf Möller 0001, Michael Wessel |
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 29-44, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Stephen D. Brookes, Shai Geva |
Continuous Functions and Parallel Algorithms on Concrete Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 326-349, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Joan Boyar, René Peralta 0001 |
On the Concrete Complexity of Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '89, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings, pp. 507-525, 1989, Springer, 3-540-97317-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Makoto P. Kato, Hiroaki Ohshima, Satoshi Oyama, Katsumi Tanaka |
Can Social Tagging Improve Web Image Search?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 235-249, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Bug Hunting with False Negatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 98-117, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Ball, Orna Kupferman, Greta Yorsh |
Abstraction for Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 67-81, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1477-1496, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Anthony Lauder, Stuart Kent 0001 |
Two-Level Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 108-117, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers |
An Engineering Approach towards Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 266-273, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
design methodology, design model, action refinement, distributed systems design |
23 | Hong Lang, Ye Yuan, Jiang Chen, Shuo Ding, Jian John Lu, Yong Zhang 0029 |
Augmented Concrete Crack Segmentation: Learning Complete Representation to Defend Background Interference in Concrete Pavements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 73, pp. 1-13, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Wenting Zheng, Bin Xu, Zongjun Xia, Jiang Wang, Jingliang Liu, Yudi Yao, Yifei Wang |
A Concrete Core Void Imaging Approach and Parameter Analysis of Concrete-Filled Steel Tube Members Using Travel Time Tomography: Multi-Physics Simulations and Experimental Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(8), pp. 2503, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | S. V. Dinesh, K. H. Mamatha, G. Susheel Kumar |
Effect of recycled concrete aggregates on the mechanical and durability properties of self-cured concrete for sustainable construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 14(3), pp. 865-877, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Dawei Gu, Shozab Mustafa, Jinlong Pan, Mladena Lukovic |
Reinforcement-concrete bond in discrete modeling of structural concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Civ. Infrastructure Eng. ![In: Comput. Aided Civ. Infrastructure Eng. 38(10), pp. 1324-1345, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | José Roberto Tenório Filho, Jasper Goethals, Reza Aminzadeh, Yawar Abbas, Dulce Elizabeth Valdez Madrid, Veerle Cnudde, Günter Vermeeren, David Plets, Stijn Matthys |
An Automated Wireless System for Monitoring Concrete Structures Based on Embedded Electrical Resistivity Sensors: Data Transmission and Effects on Concrete Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(21), pp. 8775, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Sarvenaz Sharifi, Danial Navabi, Amir Mosavi |
Translucent Concrete: Comprehensive Review of Concepts, Recent Technologies and Advances in Light Transmitting Concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 17th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2023, Timisoara, Romania, May 23-26, 2023, pp. 685-692, 2023, IEEE, 979-8-3503-2110-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Flavio Stochino, Alireza Alibeigibeni, Alessandro Milia, Marco Zucca, Luisa Pani, Marco Simoncelli |
Environmental and Economic Analysis of Using Recycled Concrete Aggregates in Composite Steel-Concrete Slabs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops 7) ![In: Computational Science and Its Applications - ICCSA 2023 Workshops - Athens, Greece, July 3-6, 2023, Proceedings, Part VII, pp. 277-288, 2023, Springer, 978-3-031-37122-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Kazuko Sugimoto, Tsuneyoshi Sugimoto |
Detection of Internal Defects in Concrete and Evaluation of a Healthy Part of Concrete by Noncontact Acoustic Inspection Using Normalized Spectral Entropy and Normalized SSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(2), pp. 142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Antonella D'Alessandro, Hasan Borke Birgin, Filippo Ubertini |
Carbon Microfiber-Doped Smart Concrete Sensors for Strain Monitoring in Reinforced Concrete Structures: An Experimental Study at Various Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(16), pp. 6083, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jin-Wook Lee, Sung-Jin Lee, Seong-Hoon Kee |
Evaluation of a Concrete Slab Track with Debonding at the Interface between Track Concrete Layer and Hydraulically Stabilized Base Course Using Multi-Channel Impact-Echo Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(21), pp. 7091, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Cristy Manahan Malasan, Bernard S. Villaverde, Dante Laroza Silva, Kevin Lawrence M. de Jesus |
Artificial Neural Network with Sensitivity Analysis: Predicting the Flexural Strength of Concrete Pavement using Locally Sourced Dilapidated Concrete as Partial Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAI ![In: CSAI 2021: 5th International Conference on Computer Science and Artificial Intelligence, Beijing, China, December 4 - 6, 2021, pp. 408-414, 2021, ACM, 978-1-4503-8415-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Emil R. Gallyamov, Aurelia Isabel Cuba Ramos, Mauro Corrado, Roozbeh Rezakhani, Jean-François Molinari |
Multi-scale modelling of concrete structures affected by alkali-silica reaction: Coupling the mesoscopic damage evolution and the macroscopic concrete deterioration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.13859, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Chang-Kyo Lee, Seong-Hoon Kee, Jun Won Kang, Byong-Jeong Choi, Jin Woo Lee |
Interpretation of Impact-Echo Testing Data from a Fire-Damaged Reinforced Concrete Slab Using a Discrete Layered Concrete Damage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(20), pp. 5838, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Luisa Pani, Lorena Francesconi, James Rombi, Flavio Stochino, Fausto Mistretta |
The Role of Parent Concrete in Recycled Aggregate Concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (7) ![In: Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII, pp. 368-378, 2020, Springer, 978-3-030-58819-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Alexandre Gonzalvez |
Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques. (To refine symbolic and concrete deobfuscation of programs protected by opaque predicates). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
23 | Martin Mundt, Sagnik Majumder, Sreenivas Murali, Panagiotis Panetsos, Visvanathan Ramesh |
Meta-learning Convolutional Neural Architectures for Multi-target Concrete Defect Classification with the COncrete DEfect BRidge IMage Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.08486, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Xuxu Wang, Yujun Qi, Yunlou Sun, Zhijin Xie, Weiqing Liu |
Compressive Behavior of Composite Concrete Columns with Encased FRP Confined Concrete Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(8), pp. 1792, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Martin Mundt, Sagnik Majumder, Sreenivas Murali, Panagiotis Panetsos, Visvanathan Ramesh |
Meta-Learning Convolutional Neural Architectures for Multi-Target Concrete Defect Classification With the COncrete DEfect BRidge IMage Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019, pp. 11196-11205, 2019, Computer Vision Foundation / IEEE. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 6412 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|