A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Activity-Driven Synthesis of State Machines
[chapter]
Fundamental Approaches to Software Engineering
Preserved Fulltext
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
2020
Chemical Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Control Engineering Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2008
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2014
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Eurographics State of the Art Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2022
ACM Transactions on Reconfigurable Technology and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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