29,660 Hits in 9.0 sec

Site-Directed Insertion: Decision Problems, Maximality and Minimality [chapter]

Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2018 Lecture Notes in Computer Science  
We consider decision problems and language equations involving site-directed insertion.  ...  We consider also maximal and minimal variants of the site-directed insertion operation.  ...  Decision problems For a regular language L, it is decidable whether L is closed under site-directed insertion.  ... 
doi:10.1007/978-3-319-94631-3_5 fatcat:pwp2g52mjzfw7iesdofs7kvkhe

Outfix-guided insertion

Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 Theoretical Computer Science  
We consider also the closure properties of regular and (deterministic) context-free languages under the outfix-guided insertion operation and decision problems related to outfix-guided insertion.  ...  As the main result we construct a finite language L such that the outfix-guided insertion closure of L is non-regular.  ...  An efficient one-step site-directed deletion, insertion, single and multiple-site plasmid mutagenesis protocol.  ... 
doi:10.1016/j.tcs.2017.03.040 fatcat:if5vlphemfftjgyvlzzyoij2ba

Real-time automatic insertion of accents in French text

2001 Natural Language Engineering  
Automatic accent inser·tion (AAI) is the problem of re-inserting accents (diacritics) into a text where they are missing.  ...  We present an AAI method for French, based on a stochastic language model. This method was implemented into a program and G library of functions, which are now commercially available.  ...  Acknowledgments I am greatly indebted to Guy Lapalme, George Foster and Pierre Isabelle for their invaluable advice and con-3These performance figures were obtained with a segmentation factor 8 set at  ... 
doi:10.1017/s1351324901002650 fatcat:obw7e34qrvgprbrhpyrlrn6yha

Termination analysis and specialization-point insertion in offline partial evaluation

Arne John Glenstrup, Neil D. Jones
2005 ACM Transactions on Programming Languages and Systems  
languages.  ...  However, several interesting and challenging problems remain to be solved before it becomes a reality.  ...  Lawall, Jens Peter Secher, Walid Taha and anonymous reviewers for valuable comments and suggestions for improvements of this paper.  ... 
doi:10.1145/1108970.1108973 fatcat:dcfhi4pgi5gdtpqlmarw3frqha

Theoretical and experimental investigation of the insertion loss of a dissipative muffler

Christian Pommer, Viggo Tarnow
1986 Journal of the Acoustical Society of America  
The steep angle and bottom interacting parabolic equation program PAREQ was used to simulate the field at the Contrack VI site in the Northeast Pacific due to sources over the slope.  ...  To try to solve this problem, our team changed strategy: if direct approaches fail, try an indirect approach.  ...  This representation was not correlated with the recording site of each neuron in the mediolateral, posteroanterior and dorsoventral axes of the IC.  ... 
doi:10.1121/1.2024087 fatcat:tcee6inawvhubc6ftuk2ffhyce

Is chest X-ray necessary after central venous catheter insertion?

MS Vallecoccia, F Cavallaro, M Biancone, D Settanni, C Marano, MG Annetta, M Pittiruti, M Antonelli
2014 Critical Care  
On each occasion the Limpet photographed the 'thief' and recorded the date and time of access.  ...  Investigating the theft of CDs is costly and usually involves pharmacists, managers and the police.  ...  References Acknowledgement GH and HVM contributed equally to this study. References  ... 
doi:10.1186/cc13319 pmcid:PMC4068228 fatcat:7zbiz7fizzgnhjdpqkjk7byctu

A Neuropsychological Approach to Auditory Verbal Hallucinations and Thought Insertion - Grounded in Normal Voice Perception

Johanna C. Badcock
2015 Review of Philosophy and Psychology  
Furthermore, the APS framework can be integrated with predictive processing accounts of psychotic symptoms; makes predictions about potential sites of prediction error signals; and may offer a template  ...  applied to other symptoms presumed to be closely related to AVHsuch as thought insertion (TI).  ...  Thanks also to Prof Vera Morgan and Dr. Sonal Shah for access to SHIP data presented in supplementary tables and to Dr. Nilufar Mossaheb for prevalence data on TI in the general population.  ... 
doi:10.1007/s13164-015-0270-3 pmid:27617046 pmcid:PMC4995233 fatcat:33dkemjy2zdirbubgsq3xlevv4

Direct insertion of NASA Airborne Snow Observatory-derived snow depth time-series into the iSnobal energy balance snow model

Andrew R. Hedrick, Danny Marks, Scott Havens, Mark Robertson, Micah Johnson, Micah Sandusky, Hans-Peter Marshall, Patrick R. Kormos, Kat J. Bormann, Thomas H. Painter
2018 Water Resources Research  
This work describes the process of updating the snow model using the measured ASO snow depths through a direct insertion process.  ...  In this paper we present the first integration of lidar-derived distributed snow depth data into a physics-based snow model using direct insertion.  ...  Acknowledgments We would like to thank Aaron Fellows, Jim Roche, Ned Bair, Jeff Dozier, Jessica Lundquist, and two anonymous  ... 
doi:10.1029/2018wr023190 fatcat:kqkoppficff6doy72dmktivnie

Development of a standardized method of peripherally inserted central catheter (PICC-line) bedside installation

J Hobeika, K Serri, M Albert
2014 Critical Care  
On each occasion the Limpet photographed the 'thief' and recorded the date and time of access.  ...  Investigating the theft of CDs is costly and usually involves pharmacists, managers and the police.  ...  References Acknowledgement GH and HVM contributed equally to this study. References  ... 
doi:10.1186/cc13318 pmcid:PMC4068627 fatcat:c2uwgr6hcfg4jcnb5w7ggbdo3m

Radiological validation of endotracheal tube insertion depth in prehospital emergency patients

DM Maybauer, MO Maybauer, H Wolff, E Pfenninger, W Geisser
2009 Critical Care  
Conclusions This study clearly shows that ETT misplacement in emergency patients is still a serious problem with an incidence of 21.6% in our study, of which 5.7% were endobronchially intubated.  ...  Results Very good agreements were found between the five-point Likert and VAS at baseline (0.891, P <0.0001) and between changes (from baseline to hour 6) in the five-point Likert and in VAS (0.800, P  ...  Acknowledgement Supported in part by the National Heart, Lung and Blood Institute (Patterson), and the Intensive Care Society (Ackland).  ... 
doi:10.1186/cc7167 pmcid:PMC4083889 fatcat:xtl3on2vkffynchxl6odvwla6y

Radiological control of central venous catheter (CVC) versus electrocardiogram-guided control inserted CVC: confirm with transesophageal echocardiography

F Righetti, G Castellano
2014 Critical Care  
On each occasion the Limpet photographed the 'thief' and recorded the date and time of access.  ...  Investigating the theft of CDs is costly and usually involves pharmacists, managers and the police.  ...  References Acknowledgement GH and HVM contributed equally to this study. References  ... 
doi:10.1186/cc13314 pmcid:PMC4068759 fatcat:4aeu7q7phzea7ovrwrkjmhqb7i

A Study on Removing Cloud Drift of Sky-Sea Infrared Image Based on Agent

Jianming Sun, Zhipeng Fan, Zhihui Sun, Qinghua Miao, Xiaoyan Li
2019 Mobile Information Systems  
, and so on.  ...  The higher management agent can sense the information of the whole and restrict and guide search action to the lower distributed search agent.  ...  ) , A (g+1) (i,j+1) . (10) In this equation, A (i,j) means generation g and working site is the agent of (i, j).  ... 
doi:10.1155/2019/8505219 fatcat:cnwjcpn3qzambczjocznlt2hky

Generating Adversarial Computer Programs using Optimized Obfuscations [article]

Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, Una-May O'Reilly
2021 arXiv   pre-print
We evaluate our work on Python and Java programs on the problem of program summarization.  ...  These perturbations modify programs in ways that do not alter their functionality but can be crafted to deceive an ML model when making a decision.  ...  be transformed -two replace sites corresponding to local variables b and r , and three insert sites at locations I1, I2, I3.  ... 
arXiv:2103.11882v1 fatcat:7t6xqzfdpfhyjgbqyqdezlzqtu

PELLPACK: a problem-solving environment for PDE-based applications on multicomputer platforms

E. N. Houstis, J. R. Rice, S. Weerawarana, A. C. Catlin, P. Papachiou, K.-Y. Wang, M. Gaitatzes
1998 ACM Transactions on Mathematical Software  
This language also allows a user to specify the PDE problem and its solution framework textually in a natural form.  ...  This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential equations (PDEs).  ...  The problem and solution specifications are expressed in terms of a high level PDE language, which is used to represent the PDE 2-D Contour Plots x-direction y-direction 2-D Flow Plot objects produced  ... 
doi:10.1145/285861.285864 fatcat:ekapzyflknhuffw4tswnptnwya

Generalized directed loop method for quantum Monte Carlo simulations

Fabien Alet, Stefan Wessel, Matthias Troyer
2005 Physical Review E  
Using linear programming techniques to solve the generalized equations, we look for optimal construction schemes for directed loops.  ...  We propose to generalize the detailed balance equations at the local level during the loop construction by accounting for the matrix elements of the operators associated with open world-line segments.  ...  Syljuåsen, and S. Todo for fruitful discussions. The simulations were done using the ALPS libraries ͓29͔ and performed on the Asgard Beowulf cluster at ETH Zürich.  ... 
doi:10.1103/physreve.71.036706 pmid:15903632 fatcat:qkiohda6j5cwbpll5hyyol343a
« Previous Showing results 1 — 15 out of 29,660 results