Filters








75,894 Hits in 4.7 sec

Activity-Driven Synthesis of State Machines [chapter]

Rolf Hennicker, Alexander Knapp
Fundamental Approaches to Software Engineering  
Finally, for each object of interest the corresponding I/O-automaton is translated into a UML 2.0 state machine representing stable states by simple states and activity states by submachine states which  ...  This allows us to generate wellstructured state machines separating "stable" states, where an object is ready to react to an incoming message, and "activity" states which model the computational behaviour  ...  Having defined submachines for the activation sets R(z, in) an integrated state machine can now be synthesised by introducing stable states from the I/O-automaton as simple states and connecting these  ... 
doi:10.1007/978-3-540-71289-3_8 dblp:conf/fase/HennickerK07 fatcat:b4u5ft667rhpzdeuyo64wjadq4

Molecular assemblers: molecular machines performing chemical synthesis

Rainer Herges
2020 Chemical Science  
Eric Drexler in 1986, based on ideas of R. Feynman. In his (quite lurid) book "Engines of Creation: The Coming Era of Nanotechnology"...  ...  synthesis: ATP driven formation of an amide bond in NRPSs. 1.  ...  ATP synthase also perfectly complies with the definition of a molecular machine performing chemical synthesis.  ... 
doi:10.1039/d0sc03094e pmid:34123157 pmcid:PMC8163427 fatcat:xaif2g2shbbtba735k7oktdsqq

Supervisory synthesis for product-driven automation and its application to a flexible assembly cell

Jean-François Pétin, David Gouyon, Gérard Morel
2007 Control Engineering Practice  
This paper considers a formal framework for such product-driven automation within the context of the Supervisory Control Theory. Two interoperable classes of supervisors are synthesized.  ...  Product supervisors control routings through the manufacturing system according to customised product specifications and resource capabilities, and resource supervisors manage the execution of operations  ...  As addressed by Qiu et al. (2003) , the abovementioned problems could put into question the application of synthesis techniques for MES industrial applications but also opens onto complementary experiments  ... 
doi:10.1016/j.conengprac.2006.10.013 fatcat:67snrcgn7rgona5gxkh2okg45e

Page 122 of Automation and Remote Control Vol. 54, Issue 1 [page]

1993 Automation and Remote Control  
The pattern driven and pattern matching control of active assistive systems is a highly desirable feature of man-machine interaction in the execution of functional motions.  ...  This implies that the control does not depend on state space variables directly. The ARC control avoids solving complex equations presenting the human- machine model.  ... 

Model-driven synthesis of SOA solutions

J. K. Strosnider, P. Nandi, S. Kumaran, S. Ghosh, A. Arsnajani
2008 IBM Systems Journal  
Model-driven synthesis of SOA solutions The current approach to the design, maintenance, and governance of service-oriented architecture (SOA) solutions has focused primarily on flow-driven assembly and  ...  The state machines are then pruned to include only elements that are business-relevant. Using the pruned state machines, process tasks and rules are mapped to state transitions.  ... 
doi:10.1147/sj.473.0415 fatcat:2ebb2hzbxzawffgbm52rnbgt7m

TinySpeech: Attention Condensers for Deep Speech Recognition Neural Networks on Edge Devices [article]

Alexander Wong, Mahmoud Famouri, Maya Pavlova, Siddharth Surana
2020 arXiv   pre-print
Advances in deep learning have led to state-of-the-art performance across a multitude of speech recognition tasks.  ...  To illustrate its efficacy, we introduce TinySpeech, low-precision deep neural networks comprising largely of attention condensers tailored for on-device speech recognition using a machine-driven design  ...  This level of architectural diversity can only be accomplished by leveraging a fine-grained machine-driven design exploration such as generative synthesis.  ... 
arXiv:2008.04245v6 fatcat:4iajmayck5fhzdjikb44yfnscu

Protein Synthesis by Ribosomes: Mapping In Vitro onto In Vivo Rates

Sophia Rudorf, Michael Thommen, Marina V. Rodnina, Reinhard Lipowsky
2014 Biophysical Journal  
requires remodeling of multiple, spatially distant structural components of the machine.  ...  uses cooperative conformational changes to maximize the efficiency with which it translocates and ejects its transfer RNA adaptors during protein synthesis.  ...  requires remodeling of multiple, spatially distant structural components of the machine.  ... 
doi:10.1016/j.bpj.2013.11.1407 fatcat:ie67mgzmbncc3lfpukp6tiom34

Learning Generative Models of 3D Structures

Siddhartha Chaudhuri, Daniel Ritchie, Kai Xu, Zhang, Hao (Richard)
2019 Eurographics State of the Art Reports  
The tutorial assumes knowledge of the fundamentals of computer graphics, linear algebra, and probability, though a quick refresher of important algorithmic ideas from geometric analysis and machine learning  ...  Many important applications demand 3D content, yet 3D modeling is a notoriously difficult and inaccessible activity.  ...  training data required to power today's state-of-the-art machine learning systems in computer vision and robotics [Lan18] .  ... 
doi:10.2312/egt.20191038 fatcat:p3jzbua7kjecdpmzkk3754uf4a

Rotational Motions of Domains in Elongation Factor G Detected by Single-Molecule Polarized Fluorescence Microscopy

Chunlai Chen, Xiaonan Cui, John F. Beausang, Barry S. Cooperman, Yale E. Goldman
2014 Biophysical Journal  
requires remodeling of multiple, spatially distant structural components of the machine.  ...  uses cooperative conformational changes to maximize the efficiency with which it translocates and ejects its transfer RNA adaptors during protein synthesis.  ...  requires remodeling of multiple, spatially distant structural components of the machine.  ... 
doi:10.1016/j.bpj.2013.11.1404 fatcat:5qsjrytxlvc6vfvx5azdnnucgi

The Effect of Codon Translation Rates on Cotranslational Protein Folding Mechanisms of Arbitrary Complexity

Edward P. O'Brien
2014 Biophysical Journal  
requires remodeling of multiple, spatially distant structural components of the machine.  ...  uses cooperative conformational changes to maximize the efficiency with which it translocates and ejects its transfer RNA adaptors during protein synthesis.  ...  requires remodeling of multiple, spatially distant structural components of the machine.  ... 
doi:10.1016/j.bpj.2013.11.1406 fatcat:4zrmkn5zqffsbdg74aqlad5kja

Refining Crystal Structures Against Cryo-EM Data using Molecular Dynamics Simulations to Obtain a Complete Atomistic Pathway of Transfer RNA Translocation

Andrea C. Vaiana, Carsten Kutzner, Lars V. Bock, Christian Blau, Helmut Grubmuller
2014 Biophysical Journal  
requires remodeling of multiple, spatially distant structural components of the machine.  ...  uses cooperative conformational changes to maximize the efficiency with which it translocates and ejects its transfer RNA adaptors during protein synthesis.  ...  requires remodeling of multiple, spatially distant structural components of the machine.  ... 
doi:10.1016/j.bpj.2013.11.1405 fatcat:ihxgy4ckuvbbnnb25s3zdkq65q

AttendNets: Tiny Deep Image Recognition Neural Networks for the Edge via Visual Attention Condensers [article]

Alexander Wong, Mahmoud Famouri, Mohammad Javad Shafiee
2020 arXiv   pre-print
Furthermore, AttendNets have unique machine-designed macroarchitecture and microarchitecture designs achieved via a machine-driven design exploration strategy.  ...  While significant advances in deep learning has resulted in state-of-the-art performance across a large number of complex visual perception tasks, the widespread deployment of deep neural networks for  ...  Similar to self-attention, the concept of machine-driven design exploration has gain tremendous research interests in recent years.  ... 
arXiv:2009.14385v1 fatcat:ur7ix4qzmfbzxjft5gnk7ukrzy

Grasp Synthesis for Novel Objects Using Heuristic-based and Data-driven Active Vision Methods [article]

Sabhari Natarajan, Galen Brown, Berk Calli
2021 arXiv   pre-print
In this work, we present several heuristic-based and data-driven active vision strategies for viewpoint optimization of an arm-mounted depth camera for the purpose of aiding robotic grasping.  ...  These strategies aim to efficiently collect data to boost the performance of an underlying grasp synthesis algorithm.  ...  Machine Learning Policies Our data-driven policies utilize a fixed size state vector as input.  ... 
arXiv:2104.11372v1 fatcat:w3dpbbmatnclrklywm6zpll3iq

The role of supervisory controller synthesis in automatic control software development

Jos Baeten, Jasen Markovski
2015 Science of Computer Programming  
and studied by means of automated model-driven software development techniques.  ...  In this paper, we would like to point to one model-driven systems engineering approach, referred to as supervisory controller synthesis, which targets discrete-event control software for high-tech and  ...  To this end, models of the patient support system and the user interface of the machine have been made, leading to 6.3 · 10 9 states in the unsupervised system.  ... 
doi:10.1016/j.scico.2013.11.016 fatcat:e4enholjbvaezply45oa4znezm

Adaptive Clock Management of HLS Generated Circuits on FPGAs

Kahlan Gibson, Esther Roorda, Daniel Holanda Noronha, Steven J.E. Wilton
2022 ACM Transactions on Reconfigurable Technology and Systems  
By adjusting the clock period on a cycle-by-cycle basis, we can increase performance of an HLS-generated circuit.  ...  In addition, by employing targeted synthesis techniques along with Syncopation we can achieve 10.3% performance improvement (geomean) across all benchmarks (up to 50%).  ...  Timing-driven synthesis should attempt to optimize each path to meet timing speciically for the frequency of the state during which it is active.  ... 
doi:10.1145/3520140 fatcat:toj3gr7nqvfwriij5x4kx5wpra
« Previous Showing results 1 — 15 out of 75,894 results