Filters








1,548 Hits in 1.9 sec

The LTS WorkBench

Alceste Scalas, Massimo Bartoletti
2015 Electronic Proceedings in Theoretical Computer Science  
To ease this kind of study, we present LTSwb, a flexible and extensible LTS toolbox: this tutorial paper discusses its design and functionalities.  ...  We would like to thank the anonymous reviewers for their detailed comments and suggestions. This work has been partially supported by: Aut.  ...  Let L C = Σ C , Λ C , R C be the LTS inhabited by C's processes.  ... 
doi:10.4204/eptcs.189.8 fatcat:xtsl2hpdafbh5jzec7aplqv5zi

Automated Service Composition for on-the-Fly SOAs [chapter]

Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig
2013 Lecture Notes in Computer Science  
In the service-oriented computing domain, the number of available software services steadily increased in recent years, favored by the rise of cloud computing with its attached delivery models like Software-as-a-Service  ...  To fully leverage the opportunities provided by these services for developing highly flexible and aligned SOA, integration of new services as well as the substitution of existing services must be simplified  ...  Completely Composed LTS of our running Example Tool Support We have implemented a tool, called RSDL Workbench as a part of the service computing platform developed at the Collaborative Research Center  ... 
doi:10.1007/978-3-642-45005-1_42 fatcat:mk3vxzwggramrnfuqdaqhwxive

C Wolf - A Toolset for Extracting Models from C Programs [chapter]

Daniel C. Du Varney, S. Purushothaman Iyer
2002 Lecture Notes in Computer Science  
The output is an abstracted model suitable for input to the Concurrency Workbench.  ...  Finally, we report our experiences in using the toolset to analyze the GNU i-protocol (Version 1.04) and the BSD ftp daemon (Version 0.3.3).  ...  We would also like to thank the developers of Standard ML of New Jersey, ckit, dot, daVinci, and VCG.  ... 
doi:10.1007/3-540-36135-9_17 fatcat:6fdg2vmapvhjnjbagurh46xujm

Using SGML as a basis for data-intensive NLP

David McKelvie, Chris Brew, Henry Thompson
1997 Proceedings of the fifth conference on Applied natural language processing -  
This paper describes the LT NSL system , an architecture for writing corpus processing tools.  ...  This system is then compared with two other systems which address similar issues, the GATE system (Cunningham et al, 1995) and the IMS Corpus Workbench (Christ, 1994) .  ...  The LT NSL work began in the context of the LRE project MULTEXT with support from the European Union.  ... 
doi:10.3115/974557.974591 dblp:conf/anlp/McKelvieBT97 fatcat:7wthivkwx5aolcgmvjlflid5l4

INI886649 Supplementary Figure Legends - Supplemental material for Characterization of the NLRP1 inflammasome response in bovine species

Catherine E Vrentas, Paola M Boggiatto, Steven C Olsen, Stephen H Leppla, Mahtab Moayeri
2019 Figshare  
Supplemental material, INI886649 Supplementary Figure Legends for Characterization of the NLRP1 inflammasome response in bovine species by Catherine E Vrentas, Paola M Boggiatto, Steven C Olsen, Stephen  ...  Scalable web services for the 42 PSIPRED Protein Analysis Workbench. Nucleic Acids Res 2013; 41: W340-W348.  ...  B, Coomassie gel replicate of the GST-NLRP1 LF cleavage experiment described in The red arrow denotes the cleavage product from the rat construct. (B = bovine; R = 26 rat). (C).  ... 
doi:10.25384/sage.10298594.v1 fatcat:3zcz7uj7rfhffixlnypzbrwrtu

Model Checking of Real-Time Properties of Resource-Bound Process Algebra

Junkil PARK, Jungjae LEE, Jin-Young CHOI, Insup LEE
2009 IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences  
접근 방법 • Bounded ACTL* Model checking -VERSA , Concurrency Workbench of the New Century(CWB-NC) 사용. -Timed LTS을 Abstracted Timed LTS으로 변환 + Bounded ACTL*을 사용.  ...  TP finish its execution after at most 2 time units from the beginning of every scheduling period (If TimeTick occurs, then TPe occurs after at most 2 time units). >> >> 결론 및 향후 연구 • 결론  ... 
doi:10.1587/transfun.e92.a.2781 fatcat:nzz7j3yn5vg75e6evlxko6g3iu

Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning [article]

Borja G. León, Francesco Belardinelli
2020 arXiv   pre-print
The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single-agent RL to learn multiple-task specifications.  ...  For instance, the specification make shears defined in Example 1, can be translated to a sequential LT L specification as (got wood ∧ (used workbench ∧ (got iron ∧ used workbench)).  ...  , then the agent closer to iron moves towards it and the other agent waits at the workbench. • Specifications as interleaving tasks.  ... 
arXiv:2002.06000v1 fatcat:3om52suwurgabklqm555xbqxcu

Page 363 of Behavior Research Methods Vol. 35, Issue 3 [page]

2003 Behavior Research Methods  
The MATE Workbench: An annotation tool for XML coded speech corpora. Speech Communication, 33, 97-112. Milde, J.-T., & Gut, U. (2001).  ...  Paper presented at the Seventh European Conference on Speech Communication and Technology (EUROSPEECH), Aal¬ borg. Language Technology Group (n.d.. Revised March 30, 1998). LTG software: LT-POS.  ... 

Genome Sequences of Two Cyanobacterial Strains, Toxic Green Microcystis aeruginosa KW (KCTC 18162P) and Nontoxic Brown Microcystis sp. Strain MC19, under Xenic Culture Conditions

Haeyoung Jeong, Seong-Jun Chun, Ankita Srivastava, Yingshun Cui, So-Ra Ko, Hee-Mock Oh, Chi-Yong Ahn
2018 Genome Announcements  
Bloom-forming cyanobacteria pose concerns for the environment and the health of humans and animals by producing toxins and thus lowering water quality.  ...  Here, we report near-complete genome sequences of two Microcystis strains under xenic culture conditions, which were originally isolated from two separate freshwater reservoirs from the Republic of Korea  ...  ACKNOWLEDGMENTS This work was supported by the KRIBB Research Initiative Program and the Basic Core Technology Development Program for the Oceans and the Polar Regions of the National Research Foundation  ... 
doi:10.1128/genomea.00378-18 pmid:29724846 pmcid:PMC5940959 fatcat:64o7kkob6ffwjkmtoz5gr7rwnq

Strenght analysis chassis of UM electric cars using finite element method

Mardji, Andoko, Dani Prasetiyo, P. Puspitasari, A.H. Suryanto, T. Lenggo Ginta, I. Srikun, A. Ayu Permanasari, M. Niaz Akhtar, M. Sharifi Jebeli, Y. Rohmat Aji Pradana, D. Zakariya Lubis (+2 others)
2018 MATEC Web of Conferences  
Chassis on the vehicle serves as the main weight support vehicle.  ...  the load on it.  ...  Based on the above problems, the researcher performs simulation to get chassis power analysis result on UM electric car prior to manufacturing when getting the loading from above by using ANSYS Workbench  ... 
doi:10.1051/matecconf/201820407017 fatcat:c2hxj5u4obht7n6a22cj7h6o5m

Continuous-wave Thulium Laser for Heating Cultured Cells to Investigate Cellular Thermal Effects

Yoko Miura, Joachim Pruessner, Carla Lotta Mertineit, Katharina Kern, Michael Muenter, Moritz Moltmann, Veit Danicke, Ralf Brinkmann
2017 Journal of Visualized Experiments  
Fluorescence microscope Nikon ECLIPSE Ti mathematical software program The Mathworks.  ...  Inc MATLAB Release 2015b system-design platform National Instrument Labview Laboratory Virtual Instrument Engineering Workbench  ... 
doi:10.3791/54326 pmid:28715366 pmcid:PMC5608536 fatcat:t62h4bukinaohesbgx2qww2eeu

Complete Genome Sequence of an F8-Like Lytic Myovirus ( SPM-1) That Infects Metallo- -Lactamase-Producing Pseudomonas aeruginosa

P. R. Neves, L. T. Cerdeira, M. Mitne-Neto, T. G. M. Oliveira, J. A. McCulloch, J. L. M. Sampaio, E. M. Mamizuka, C. E. Levy, M. I. Z. Sato, N. Lincopan
2014 Genome Announcements  
Citation Neves PR, Cerdeira LT, Mitne-Neto M, Oliveira TGM, McCulloch JA, Sampaio JLM, Mamizuka EM, Levy CE, Sato MIZ, Lincopan N. 2014.  ...  Here, we present the complete annotated genome sequence (65.7 kb) of an F8-related lytic myovirus (Pbunalikevirus genus) that infects MBL-producing P. aeruginosa strains.  ...  Alignment of the reads to this supercontig was then carried out using CLC Genomics Workbench, and their extension was possible in regions that had a read coverage of Ͼ10ϫ and that spanned the supercontig  ... 
doi:10.1128/genomea.00061-14 pmid:24699949 pmcid:PMC3974931 fatcat:n3n3pfr73beitcc3wm6grvgaha

Page 211 of International Labour Review Vol. 82, Issue 3 [page]

1960 International Labour Review  
The Government delegate of Ceylon referred to the problem created by young people’s attitudes towards work when they “tend to shun jobs at the workbench and in the field”.  ...  Steps have already been taken in some countries to bring manual work into greater esteem within the system of general education, as witness the references of Lt.-Gen.  ... 

Standardizing metadata and taxonomic identification in metabarcoding studies

Leho Tedersoo, Kelly S. Ramirez, R Henrik Nilsson, Aivi Kaljuvee, Urmas Kõljalg, Kessy Abarenkov
2015 GigaScience  
High-throughput sequencing-based metabarcoding studies produce vast amounts of ecological data, but a lack of consensus on standardization of metadata and how to refer to the species recovered severely  ...  Acknowledgements We thank two referees and the editor for constructive comments. The authors receive support from the Estonian Science Foundation through grants PUT0171, EMP265, and FIBIR.  ...  Fig. 2 2 Screenshot of PlutoF workbench [11] for managing species hypotheses in the UNITE database [https://unite.ut.ee].  ... 
doi:10.1186/s13742-015-0074-5 pmid:26236474 pmcid:PMC4521374 fatcat:x5ueos67szafvafy3l65nri65m

Supporting the Linked Data Life Cycle Using an Integrated Tool Stack [chapter]

Bert Van Nuffelen, Valentina Janev, Michael Martin, Vuk Mijovic, Sebastian Tramp
2014 Lecture Notes in Computer Science  
The core of a Linked Data application is the processing of the knowledge expressed as Linked Data.  ...  We will show how to get access; which component covers which aspect of the Linked Data life cycle and how using the stack eases the access to Linked Data management tools.  ...  of using the workbench.  ... 
doi:10.1007/978-3-319-09846-3_6 fatcat:dnn5ivd4czardemfkjhul32hc4
« Previous Showing results 1 — 15 out of 1,548 results