Hazleton, PA, United States
Hazleton, PA, United States

Time filter

Source Type

Moura P.,University of Beira Interior | Moura P.,Advanced-Tec
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2012

We describe and compare design choices for meta-predicate semantics, as found in representative Prolog predicate-based module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, computational reflection support, expressiveness of meta-predicate directives, meta-predicate definitions safety, portability of meta-predicate definitions, and meta-predicate performance. We also describe how to extend the usefulness of meta-predicate definitions. Our aim is to provide useful insights to discuss meta-predicate semantics and portability issues based on actual implementations and common usage patterns. © 2012 Springer-Verlag.


Castro S.,Catholic University of Leuven | Mens K.,Catholic University of Leuven | Moura P.,Advanced-Tec
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

While object-oriented programming languages are good at modelling real-world concepts and benefit from rich libraries and developer tools, logic programming languages are well suited for declaratively solving computational problems that require knowledge reasoning. Non-trivial declarative applications could take advantage of the modelling features of object-oriented programming and of the rich software ecosystems surrounding them. Linguistic symbiosis is a common approach to enable complementary use of languages of different paradigms. However, the problem of concepts leaking from one paradigm to another often hinders the applicability of such approaches. This issue has mainly been reported for object-oriented languages participating in a symbiotic relation with a logic language. To address this issue, we present LogicObjects, a linguistic symbiosis framework for transparently and (semi-) automatically enabling logic programming in Java, that aims to solve most of the problems of paradigm leaking reported in other works. © 2013 Springer-Verlag.


Castro S.,Catholic University of Leuven | Mens K.,Catholic University of Leuven | Moura P.,Advanced-Tec
Science of Computer Programming | Year: 2015

The number of approaches existing to enable a smooth interaction between Java and Prolog programs testifies the growing interest in solutions that combine the strengths of both languages. Most of these approaches provide limited support to allow programmers to customise how Prolog artefacts should be reified in the Java world, or how to reason about Java objects on the Prolog side. This is an error-prone task since often a considerable amount of mappings must be developed and organised. Furthermore, appropriate mappings may depend on the particular context in which a conversion is accomplished. Although some libraries alleviate this problem by providing higher-level abstractions to deal with the complexity of custom conversions between artefacts of the two languages, such libraries are difficult to implement and evolve, because of a lack of appropriate underlying building blocks for encapsulating, categorising and applying Java-Prolog conversion routines. We therefore introduce a new library, JPC, serving as a development tool for both programmers willing to categorise context-dependent conversion constructs in their Java-Prolog systems, and for architects implementing frameworks providing higher-level abstractions for better interoperability between these two languages. © 2015 Elsevier B.V.


The pulsation reactor is a technology applied to produce a new generation of advanced materials. This thermal reactor, a proprietary development of IBU-tec which is based on pulsation burning, is the reactor of choice for material transformation processes in the chemical industry and for the production of nano-sized up to micro-sized powders. The raw materials injected into the reactor receive thermal shock treatment with extremely short retention times. The thermal shock treatment creates advanced particles which feature a highly reactive surface or fine-grain materials. Moreover, temperature and residence time variations create specific powders properties, e.g. specific surface, morphology, phase composition or particle size. In comparison to other processes, the heat treatment of the particles inside the pulsation reactor is very homogeneous and constant. Due to this it is possible to influence the particle size, surface properties and phase composition. Thus particle agglomeration due to sinter processes in the thermal reactor can be prevented. This IBU-tec exclusive technology characteristic allows the production of materials with new and improved features and is for example well useable to produce catalysts with high specific surface or ceramic powders. Today IBU-tec produces a lot of different special chemicals for different future markets with this reactor.


Leidolph L.,Advanced-Tec
Kunststoffe International | Year: 2010

IBU-tec AG of Weimar and its cooperating partner have succeeded for the first time in working nanoscale zinc oxide into a concentrated additive. One of the preconditions is the special properties of ZincOx in which the ZnO particles are bound to each other only by soft agglomeration and exhibit no hard aggregates. The special feature of the nanoscale powder results from using patented pulsation reactor technology which allows the processing temperature to be set below the specific sinter temperature of the material being processed. The melt phase can not be formed in the particles during a thermal production process, thus eliminating the cause of undesirable hard aggregates and sinter necks that result when other processes are used. The successful inclusion of ZincOx in an additive concentrate creates an enormous potential market in the field of transparent plastics, especially where long-term UV protection is required for esthetic or functional reasons.


Grant
Agency: Department of Defense | Branch: Missile Defense Agency | Program: SBIR | Phase: Phase I | Award Amount: 99.68K | Year: 2010

Low cost, lightweight, multifunctional “smart materials” can now be micro-engineered so as to be inherently Rad-Hard, thereby eliminating the need for secondary, “bolt-on” attachment schemes. Furthermore, the same micro-engineering techniques provide a dual-use capability by also providing a material with excellent stiffness; again without incurring cost or weight penalties. These micro-engineered “smart materials” are also environmentally safe and provide opportunity for rapid change-out in existing space systems. This is an extremely important factor in the current climate of reduced spending and urgency for programs to remain fixed on current parts and suppliers. Cost reductions can allow for the investigation new materials and the ability to increase overall system performance


Products Advanced-Tec is a pioneer in the use of refined coal-combustion byproducts and has developed a number of environmentally sound GREEN products that are ready for commercialization. Our formulations possess much sought after characteristics that include enhanced insulation and a notable resistance to fire and flame ...


Advanced-Tec is a pioneer in the use of refined coal-combustion by-products and has developed a number of environmentally sound GREENmaterials that are ready for commercialization. Our formulations possess much sought after characteristics that include enhanced insulation, notable resistance to fire and flame, and superb tensile strength ...


Advanced-Tec | Entity website

Mr. Torres has over 10 years experience in engineering research and development and has served as President and CEO of Advanced-Tec since his fathers death ...


Loading Advanced-Tec collaborators
Loading Advanced-Tec collaborators