Concrete

View this topic in
Concrete is a composite construction material, composed of cement and other cementitious materials such as fly ash and slag cement, aggregate (generally a coarse aggregate made of gravel or crushed rocks such as limestone, or granite, plus a fine aggregate such as sand), water and chemical admixtures. (Wikipedia.org)






Conferences related to Concrete

Back to Top

2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Promote the exchange of ideas between academia and industry in the field of computer and networks dependability


2019 IEEE 28th Symposium on Fusion Engineering (SOFE)

fusion engineering, physics and materials, plasma heating, vacuum technology, tritium processing, fueling, first walls, blankets and divertors


2018 19th IEEE International Conference on Mobile Data Management (MDM)

The conference aims to attract original research contributions in the interesection of mobile computing and data management. Topics of interest include, but not limited to:- Mobile Cloud Computing and Data Management - Data Management for Internet of Things (IoT) and Sensor Systems- Data Management for Augmented Reality Systems- Data Management for Intelligent Transportation Systems, Smart Spaces- Mobile Crowd-Sourcing and Crowd-Sensing- Mobile Data Analytics- Behavioural/Activity Sensing and Analytics- Mobile Location-Based Social Networks- Mobile Recommendation Systems- Context-aware Computing for Intelligent Mobile Services- Middleware and Tools for Mobile and Pervasive Computing- Theoretical Foundations of Data-intensive Mobile Computing- Data Stream Processing in Mobile/Sensor Networks- Indexing, Optimisation and Query Processing for Moving Objects/Users- Security and Privacy in Mobile Systems

  • 2017 18th IEEE International Conference on Mobile Data Management (MDM)

    Mobile computing and data management

  • 2016 17th IEEE International Conference on Mobile Data Management (MDM)

    The Mobile Data Management series of conferences first debuted in December 1999. Since inception, it has established itself as a prestigious forum to exchange innovative and significant research results in mobile data management. Comprising both research and industry tracks, it serves as an important bridge between academic researchers and industry researchers. Along with the presentations of research publications, it also serves as a meeting place for technical demonstrations (Demos), workshops, panel discussions as well as PhD forum and Industrial forum to cater PhD students and industrial developers.The conference focuses on research contributions in data management in mobile, ubiquitous and pervasive computing.

  • 2015 16th IEEE International Conference on Mobile Data Management (MDM)

    The MDM series of conferences, since its debut in December 1999, has established itself as a prestigious forum for the exchange of innovative and significant research results in mobile data management. The term mobile in MDM has been used from the very beginning in a broad sense to encompass all aspects of mobility related to wireless, portable and tiny devices. The conference provides unique opportunities for researchers, engineers, practitioners, developers, and users to explore new ideas, techniques, and tools, and to exchange experiences.

  • 2014 15th IEEE International Conference on Mobile Data Management (MDM)

    The MDM series of conferences, since its debut in December 1999, has established itself as a prestigious forum for the exchange of innovative and significant research results in mobile data management. The term mobile in MDM has been used from the very beginning in a broad sense to encompass all aspects of mobility

  • 2013 14th IEEE International Conference on Mobile Data Management (MDM)

    The MDM series of conferences, since its debut in December 1999, has established itself as a prestigious forum for the exchange of innovative and significant research results in mobile data management. The term mobile in MDM has been used from the very beginning in a broad sense to encompass all aspects of mobility - aspects related to wireless, portable and tiny devices. The conference provides unique opportunities for researchers, engineers, practitioners, developers, and users to explore new ideas, techniques, and tools, and to exchange experiences.

  • 2012 13th IEEE International Conference on Mobile Data Management (MDM)

    The MDM series of conferences, since its debut in December 1999, has established itself as a prestigious forum for the exchange of innovative and significant research results in mobile data management. The term mobile in MDM has been used from the very beginning in a broad sense to encompass all aspects of mobility - aspects related to wireless, portable and tiny devices. The conference provides unique opportunities for researchers, engineers, practitioners, developers, and users to explore new ideas, techniques, and tools, and to exchange experiences.

  • 2011 12th IEEE International Conference on Mobile Data Management (MDM)

    The MDM series of conferences, since its debut in December 1999, has established itself as a prestigious forum for the exchange of innovative and significant research results in mobile data management. The term mobile in MDM has been used from the very beginning in a broad sense to encompass all aspects of mobility - aspects related to wireless, portable and tiny devices. The conference provides unique opportunities for researchers, engineers, practitioners, developers, and users to explore new ideas.

  • 2010 11th International Conference on Mobile Data Management (MDM)

    The annual MDM conference is a leading international forum that focuses on data management for mobile, ubiquitous, and pervasive computing. It brings together a wide range of researchers, practitioners, and users to explore scientific and industrial challenges that arise in the areas of data management and mobile computing.

  • 2008 9th International Conference on Mobile Data Management (MDM)

  • 2007 International Conference on Mobile Data Management (MDM)

  • 2006 International Conference on Mobile Data Management (MDM)

  • 2004 IEEE International Conference on Mobile Data Management (MDM)


2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)

ASP-DAC 2018 is the 23rd annual international conference on VLSI design automation in Asia and South Pacific regions, one of the most active regions of design and fabrication of silicon chips in the world. The conference aims at providing the Asian and South Pacific CAD/DA and Design community with opportunities of presenting recent advances and with forums for future directions in technologies related to Electronic Design Automation (EDA). The format of the meeting intends to cultivate and promote an instructive and productive interchange of ideas among EDA researchers/developers and system/circuit/device designers. All scientists, engineers, and students who are interested in theoretical and practical aspects of VLSI design and design automation are welcomed to ASP-DAC.


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


More Conferences

Periodicals related to Concrete

Back to Top

Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


Communications Letters, IEEE

Covers topics in the scope of IEEE Transactions on Communications but in the form of very brief publication (maximum of 6column lengths, including all diagrams and tables.)


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


More Periodicals


Xplore Articles related to Concrete

Back to Top

Discussion on “electrolytic corrosion in reinforced concrete.” Chicago, June 30, 1911. (see proceedings for May, 1911)

[] Proceedings of the American Institute of Electrical Engineers, 1911

None


Electrolytic corrosion in reniforced concrete

[{u'author_order': 1, u'full_name': u'C. Edward Magnusson'}, {u'author_order': 2, u'full_name': u'G. H. Smith'}] Proceedings of the American Institute of Electrical Engineers, 1911

While reinforced concrete was coming into general use as a structural material much space in the technical press was given to discussions and reports on the durability of the encased iron. The results from a large number of experiments gave fairly conclusive evidence that under ordinary conditions the iron is protected, and that even if it was rusty when placed ...


The intelligent concrete: a new, economical technique for architectural shielding of buildings

[{u'author_order': 1, u'affiliation': u'IEEE Life Member', u'full_name': u'M. Mardiguian'}, {u'author_order': 2, u'affiliation': u'Orsay University, France', u'full_name': u'J.P Caron-Fellens'}] IEEE Electromagnetic Compatibility Magazine, 2017

An innovative technique is presented for global shielding of new or renovated large facilities, whereas ordinary concrete is replaced by special filament- loaded concrete plus a steel mesh surface covering, resulting in a superior Shielding Effectiveness. The screen-mesh provides excellent reflection characteristics below ≈ 100MHz, progressively replaced by the absorption losses of metallic fibers that takes over above 50-100MHz. Besides ...


Floating ocean platforms

[{u'author_order': 1, u'affiliation': u'Naval Undersea Research and Development Center, San Diego, CA, USA', u'full_name': u'R. Bedore'}] IEEE 1971 Conference on Engineering in the Ocean Environment, 1971

Floating ocean platforms have many potential applications. Concrete construction has definite cost advantages over steel construction. Modular designs lead to feasible construction techniques. This paper discusses the design and motion of platforms designed with these observations as guides.


Indoor and outdoor substations in Pennsylvania

[{u'author_order': 1, u'full_name': u'H. L. Fullerton'}] Proceedings of the American Institute of Electrical Engineers, 1914

This paper covers some points in substation design for installations for the lower voltages, including choice of location, type of building and arrangement of electrical apparatus. The subject is treated in three divisions, namely: customers' substations fed from the distribution system, customers' substations fed from the transmission system and company's substations. Attention is called to some of the advantages of ...


More Xplore Articles

Educational Resources on Concrete

Back to Top

eLearning

No eLearning Articles are currently tagged "Concrete"

IEEE-USA E-Books

  • Develop Fluency with Encouraging, Paraphrasing, and Summarizing

    This chapter contains sections titled: * Encouraging Defined * Paraphrasing Defined * Summarizing Defined * Encouragers to Use * Paraphrasing Skills to Use * Summarizing Skills to Use * Adding Affect to Encouragers, Paraphrasing, and Summarizing

  • Network Simulation Elements: A Case Study Using CASiNO

    None

  • Distribution Theory

    This chapter provides results on sampling moments and distributions of error rates for classification rules specified by general discriminants, including the true error rate and the resubstitution, leave-one-out, cross-validation, and bootstrap error estimators. It also addresses the issue of separate sampling, side by side with mixture sampling, in a unified framework. The sampling issue creates problems for classifier design and error estimation. An example from Esfahani and Dougherty (2014a) illustrates the discrepancy in expected linear discriminant analysis (LDA) classification error between the two sampling mechanisms. The chapter discusses the sample-based discriminants with an eye toward differentiating between mixture and separate sampling. Finally, it describes the higher-order moments of the true error rate and of the resubstitution and leave-one-out estimated error rates, as well as the sampling distributions of resubstitution and leave-one-out.

  • The DNET Starter Kit

    This chapter contains sections titled: * DNET-SKIT Overview * DNET-SKIT Design Overview * Summary * Glossary * Reference * Exercises

  • Designing and Implementing CASiNO: A Network Simulation Framework

    None

  • An Adaptive Architecture of Service Component for Pervasive Computing

    None

  • Establishing Successful Global Virtual Teams

    This chapter provides a set of practical yet adaptable communication processes for establishing virtual teams that work well in global engineering organizations. The processes greatly enhance one's organization's ability to establish new virtual teams that function better and that survive the ever- changing needs of modern, global organizations. The chapter presents an effective communication practices and supporting technologies for new virtual teams and discusses resources for virtual team development. It offers guidelines for using metacommunication as a critical element when establishing new virtual teams. The chapter discusses how metacommunication can help to navigate face, cross-cultural screens, criticism, and trust, all of which are important elements in highly functioning virtual teams. It defines two concepts that are central to the task of establishing new teams: rich media (media that carry many cues) and social presence.

  • Virtual Director

    This chapter provides an insight into various aspects of Virtual Director technology. The first section introduces the concept of a Virtual Director and puts existing implementations in literature into perspective. Then, potential technical approaches are discussed and the combination of event processing and rule engines is inspected. Next, a generic architecture and information workflow for Virtual Director software systems is described. Selected subprocesses of a software framework executing Virtual Director behaviour are also highlighted. The chapter then explains the process of designing a Virtual Director's behaviour and takes a closer look at selected issues, focusing on visual output, and presents selected issues in production grammar implementation. Finally, the chapter presents a concrete existing implementation of a Virtual Director research prototype for a format‐agnostic production system.

  • The Density Operator

    This chapter contains sections titled: * The Density Operator for a Pure State * The Density Operator for a Mixed State * Key Properties of a Density Operator * Characterizing Mixed States * The Partial Trace and the Reduced Density Operator * The Density Operator and the Bloch Vector * Exercises

  • A Tuning Machine for Collective Commitments

    None