The Experts below are selected from a list of 9987 Experts worldwide ranked by ideXlab platform
Adam Koprowski - One of the best experts on this subject based on the ideXlab platform.
-
RTA - TPA: termination proved automatically
Lecture Notes in Computer Science, 2006Co-Authors: Adam KoprowskiAbstract:TPA is a tool for proving termination of term rewrite systems (TRSs) in a fully Automated Fashion. The distinctive feature of TPA is the support for relative termination and the use of the technique of semantic labelling with natural numbers. Thanks to the latter, TPA is capable of delivering Automated termination proofs for some difficult TRSs for which all other tools fail.
-
TPA : Termination proved automatically
Lecture Notes in Computer Science, 2006Co-Authors: Adam KoprowskiAbstract:TPA is a tool for proving termination of term rewrite systems (TRSs) in a fully Automated Fashion. The distinctive feature of TPA is the support for relative termination and the use of the technique of semantic labelling with natural numbers. Thanks to the latter, TPA is capable of delivering Automated termination proofs for some difficult TRSs for which all other tools fail.
Ian R Baxendale - One of the best experts on this subject based on the ideXlab platform.
-
flow synthesis of organic azides and the multistep synthesis of imines and amines using a new monolithic triphenylphosphine reagent
Organic and Biomolecular Chemistry, 2011Co-Authors: Catherine J Smith, Christopher D Smith, Nikzad Nikbin, Steven V Ley, Ian R BaxendaleAbstract:Here we describe general flow processes for the synthesis of alkyl and aryl azides, and the development of a new monolithic triphenylphosphine reagent, which provides a convenient format for the use of this versatile reagent in flow. The utility of these new tools was demonstrated by their application to a flow Staudinger aza-Wittig reaction sequence. Finally, a multistep aza-Wittig, reduction and purification flow process was designed, allowing access to amine products in an Automated Fashion.
-
A fully Automated, multistep flow synthesis of 5-amino-4-cyano-1,2,3-triazoles
Organic & biomolecular chemistry, 2011Co-Authors: Catherine J Smith, Nikzad Nikbin, Steven V Ley, Heiko Lange, Ian R BaxendaleAbstract:Having demonstrated in the preceding publication the flow synthesis of aryl azides, we describe here a general protocol for the in-line purification of these versatile intermediates. As part of this investigation, we evaluated the use of ReactIR 45m as a tool for real-time detection of hazardous azide contaminants. This azide synthesis and purification process was then incorporated into a multistep flow sequence to generate a small collection of 5-amino-4-cyano-1,2,3-triazoles directly from aniline starting materials in a fully Automated Fashion.
Steven V Ley - One of the best experts on this subject based on the ideXlab platform.
-
Camera-enabled techniques for organic synthesis
Beilstein journal of organic chemistry, 2013Co-Authors: Steven V Ley, Richard J. Ingham, Matthew O'brien, Duncan L. BrowneAbstract:A great deal of time is spent within synthetic chemistry laboratories on non-value-adding activities such as sample preparation and work-up operations, and labour intensive activities such as extended periods of continued data collection. Using digital cameras connected to computer vision algorithms, camera-enabled apparatus can perform some of these processes in an Automated Fashion, allowing skilled chemists to spend their time more productively. In this review we describe recent advances in this field of chemical synthesis and discuss how they will lead to advanced synthesis laboratories of the future.
-
flow synthesis of organic azides and the multistep synthesis of imines and amines using a new monolithic triphenylphosphine reagent
Organic and Biomolecular Chemistry, 2011Co-Authors: Catherine J Smith, Christopher D Smith, Nikzad Nikbin, Steven V Ley, Ian R BaxendaleAbstract:Here we describe general flow processes for the synthesis of alkyl and aryl azides, and the development of a new monolithic triphenylphosphine reagent, which provides a convenient format for the use of this versatile reagent in flow. The utility of these new tools was demonstrated by their application to a flow Staudinger aza-Wittig reaction sequence. Finally, a multistep aza-Wittig, reduction and purification flow process was designed, allowing access to amine products in an Automated Fashion.
-
A fully Automated, multistep flow synthesis of 5-amino-4-cyano-1,2,3-triazoles
Organic & biomolecular chemistry, 2011Co-Authors: Catherine J Smith, Nikzad Nikbin, Steven V Ley, Heiko Lange, Ian R BaxendaleAbstract:Having demonstrated in the preceding publication the flow synthesis of aryl azides, we describe here a general protocol for the in-line purification of these versatile intermediates. As part of this investigation, we evaluated the use of ReactIR 45m as a tool for real-time detection of hazardous azide contaminants. This azide synthesis and purification process was then incorporated into a multistep flow sequence to generate a small collection of 5-amino-4-cyano-1,2,3-triazoles directly from aniline starting materials in a fully Automated Fashion.
Catherine J Smith - One of the best experts on this subject based on the ideXlab platform.
-
flow synthesis of organic azides and the multistep synthesis of imines and amines using a new monolithic triphenylphosphine reagent
Organic and Biomolecular Chemistry, 2011Co-Authors: Catherine J Smith, Christopher D Smith, Nikzad Nikbin, Steven V Ley, Ian R BaxendaleAbstract:Here we describe general flow processes for the synthesis of alkyl and aryl azides, and the development of a new monolithic triphenylphosphine reagent, which provides a convenient format for the use of this versatile reagent in flow. The utility of these new tools was demonstrated by their application to a flow Staudinger aza-Wittig reaction sequence. Finally, a multistep aza-Wittig, reduction and purification flow process was designed, allowing access to amine products in an Automated Fashion.
-
A fully Automated, multistep flow synthesis of 5-amino-4-cyano-1,2,3-triazoles
Organic & biomolecular chemistry, 2011Co-Authors: Catherine J Smith, Nikzad Nikbin, Steven V Ley, Heiko Lange, Ian R BaxendaleAbstract:Having demonstrated in the preceding publication the flow synthesis of aryl azides, we describe here a general protocol for the in-line purification of these versatile intermediates. As part of this investigation, we evaluated the use of ReactIR 45m as a tool for real-time detection of hazardous azide contaminants. This azide synthesis and purification process was then incorporated into a multistep flow sequence to generate a small collection of 5-amino-4-cyano-1,2,3-triazoles directly from aniline starting materials in a fully Automated Fashion.
Jeremy Frank - One of the best experts on this subject based on the ideXlab platform.
-
using collective intelligence to route internet traffic
arXiv: Learning, 1999Co-Authors: David H Wolpert, Kagan Tumer, Jeremy FrankAbstract:A COllective INtelligence (COIN) is a set of interacting reinforcement learning (RL) algorithms designed in an Automated Fashion so that their collective behavior optimizes a global utility function. We summarize the theory of COINs, then present experiments using that theory to design COINs to control internet traffic routing. These experiments indicate that COINs outperform all previously investigated RL-based, shortest path routing algorithms.
-
NIPS - Using Collective Intelligence to Route Internet Traffic
1998Co-Authors: David H Wolpert, Kagan Tumer, Jeremy FrankAbstract:A COllective INtelligence (COIN) is a set of interacting reinforcement learning (RL) algorithms designed in an Automated Fashion so that their collective behavior optimizes a global utility function. We summarize the theory of COINs, then present experiments using that theory to design COINs to control internet traffic routing. These experiments indicate that COINs outperform all previously investigated RL-based, shortest path routing algorithms.