A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Filters
Cost recurrences for DML programs
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
A cost recurrence describes an upper bound for the running time of a program in terms of the size of its input. ...
We systematically extract cost recurrences from first-order DML programs, guiding the abstraction from data to data size with information contained in DML type derivations. * ...
Further thanks are due to Olivier Danvy, Andrzej Filinski and Julia Lawall for their numerous constructive comments. I am also grateful to the anonymous referees and Neil Jones for further comments. ...
doi:10.1145/507635.507666
dblp:conf/icfp/Grobauer01
fatcat:x6ds3hc375hstgsntv672fmdjy
Cost recurrences for DML programs
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
A cost recurrence describes an upper bound for the running time of a program in terms of the size of its input. ...
We systematically extract cost recurrences from first-order DML programs, guiding the abstraction from data to data size with information contained in DML type derivations. * ...
Further thanks are due to Olivier Danvy, Andrzej Filinski and Julia Lawall for their numerous constructive comments. I am also grateful to the anonymous referees and Neil Jones for further comments. ...
doi:10.1145/507663.507666
fatcat:r2r54rciovgzrk3la3hx4ys7oa
Cost recurrences for DML programs
2001
SIGPLAN notices
A cost recurrence describes an upper bound for the running time of a program in terms of the size of its input. ...
We systematically extract cost recurrences from first-order DML programs, guiding the abstraction from data to data size with information contained in DML type derivations. * ...
Further thanks are due to Olivier Danvy, Andrzej Filinski and Julia Lawall for their numerous constructive comments. I am also grateful to the anonymous referees and Neil Jones for further comments. ...
doi:10.1145/507669.507666
fatcat:rfoidjlfmrhsdlopdrdnpg4oii
Cost Recurrences for DML Programs
2001
BRICS Report Series
A cost recurrence describes an upper bound for the running time of a program in terms of the size of its input. ...
We systematically extract cost recurrences from first-order DML programs, guiding the abstraction from data to data size with information contained in DML type derivations. ...
Further thanks are due to Olivier Danvy, Andrzej Filinski and Julia Lawall for their numerous constructive comments. I am also grateful to the anonymous referees and Neil Jones for further comments. ...
doi:10.7146/brics.v8i25.21685
fatcat:l76d4avo5nhyde6np6wytq5sgy
A fast diagonal distance metric learning approach for large-scale datasets
2021
Information Sciences
We solve the diagonal DML problem along with its ' 1 and ' 2 regularizations via linear and quadratic programming. ...
Due to the high computational complexity, existing DML models are unsuitable for large-scale datasets. ...
Problem formulation There are two main difficulties of using traditional DML on large-scale datasets. (1) High computational cost for keeping a PSD DML matrix. ...
doi:10.1016/j.ins.2021.04.077
fatcat:utufnnilejbdlbs7hikapdnypq
Custom-Made Direct Metal Laser Sintering Titanium Subperiosteal Implants: A Retrospective Clinical Study on 70 Patients
2018
BioMed Research International
The data used for this retrospective clinical study were derived from the medical records of five different private dental practices. ...
After 2 years of follow-up, three implants were lost due to recurrent, untreatable infections; the survival rate was therefore 95.8% (67/70 implants). ...
The implant was not removed but the patient needed to take antibiotics for recurrent, prolonged periods. ...
doi:10.1155/2018/5420391
pmid:29998133
pmcid:PMC5994585
fatcat:4ggjtgvw5jbg5ar2eeekkhopiy
Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL
2018
Journal of Information Technology & Software Engineering
Files with several DML statements are judged for complexity and account for recurring files in the first count. ...
EI is set to the file count with INSERT, UPDATE and DELETE, corrected for recurrence, comments and variable-and function names. EO is set to the SMS estimate (10 AVERAGE). ...
doi:10.4172/2165-7866.1000237
fatcat:r6ivpcmugrfadoqhv32wgyebby
ChangeAdvisor: A Solution to Support Alignment of IT Change Design with Business Objectives/Constraints
[chapter]
2009
Lecture Notes in Computer Science
Second, the alignment has the potential of reducing costs such as the time spent to deploy changes. ...
Finally, we conclude the paper conveying final considerations and perspectives for future work in Section 6. ...
., for human resource allocation) to be used by the alignment algorithm. ...
doi:10.1007/978-3-642-04989-7_11
fatcat:n5dmlywqerhanpwxablzaob74e
Accuracy evaluation of metal copings fabricated by computer-aided milling and direct metal laser sintering systems
2015
The Journal of Advanced Prosthodontics
A digital microscope was used for measurement of silicone layer. ...
Ten metal copings were fabricated by casting, computer-aided milling, and DMLS. ...
In order to fabricate the DMLS copings, the same virtual coping design technique was used as stated above with the CAD software program. ...
doi:10.4047/jap.2015.7.2.122
pmid:25932310
pmcid:PMC4414942
fatcat:mmeev2nttzd6flkt2im3yn435a
Pragmatic issues in conversions of database applications
1990
Information & Management
This paper presents a cost/benefit evaluation model for the database conversion problem, applies this model to several situations involving convertion of large database applications and proposes a decision ...
support system for database conversion decisions. ...
For example, conversion of an IMS Cobol program to an SQL Cobol program requires modification of 80% of the code because most of the data definitions, DML statements and screen formatting statements are ...
doi:10.1016/0378-7206(90)90002-y
fatcat:vtytpkveefh55kss2syfei25ni
Custom-made 3D printed subperiosteal titanium implants for the prosthetic restoration of the atrophic posterior mandible of elderly patients: a case series
2020
3D Printing in Medicine
Although this study has limits (small patient sample and short follow-up), DMLS has proven to be an effective method for fabricating accurate subperiosteal implants, with high survival rates. ...
To present the application of custom-made 3D-printed subperiosteal implants for fixed prosthetic restoration of the atrophic posterior mandible of elderly patients. ...
Acknowledgments The authors acknowledge the BTK Company (Dueville, Vicenza, Italy) for having provided an high quality service in the fabrication of the DMLS implants. ...
doi:10.1186/s41205-019-0055-x
pmid:31915946
fatcat:eh6mcehksrbplh6445dlr4wro4
HSIC Bottleneck based Distributed Deep Learning Model for Load Forecasting in Smart Grid with A Comprehensive Survey
2020
IEEE Access
and smart
gateway based DML
model for STLF
STLF
1) Training and
computational time
2) Peak load
3) Data requirement or
limited data
4) Cost saving
5) DML and DDL
Developing EML based DML ...
[133]
2016 Neuro-evolution, RNN,
Cartesian genetic
programming
Recurrent neuro-
evolution based highly
fluctuating electrical
load forecasting
VSTLF and
STLF
1) High dimensional
data
2 ...
doi:10.1109/access.2020.3040083
fatcat:tsqokovkm5gpfdsnm7bph73piu
Maxillary Overdentures Supported by Four Splinted Direct Metal Laser Sintering Implants: A 3-Year Prospective Clinical Study
2014
International Journal of Dentistry
Nowadays, the advancements in direct metal laser sintering (DMLS) technology allow the fabrication of titanium dental implants. ...
The use of 4 DMLS titanium implants to support bar-retained maxillary ODs seems to represent a safe and successful procedure. ...
Conflict of Interests The authors report no financial relationship with any commercial firm that may pose a conflict of interests for this study. ...
doi:10.1155/2014/252343
pmid:25580124
pmcid:PMC4279819
fatcat:o2w54ztjezb5lmf6hi5myezzhi
The evolution of three-dimensional technology in musculoskeletal oncology
2018
Journal of Clinical Orthopaedics and Trauma
Musculoskeletal tumours pose considerable challenges for the orthopaedic surgeon during pre-operative planning, resection and reconstruction. ...
The ability to use custom materials and tailor the pore size, elastic modulus and porosity of the 3DP prosthesis to be comparable to the patient's bone allows for a potential patient-specific prosthesis ...
DMLS, SLM and SLS utilize mirrors directing laser beams while EBM utilizes an electron beam directed by electromagnets in a vacuum (resulting in higher cost). ...
doi:10.1016/j.jcot.2018.07.020
pmid:30202160
pmcid:PMC6128801
fatcat:6jt4lzdpbvdhzkwkkubaxkwmb4
Analysis for guaranteeing performance in map reduce systems with hadoop and R
2018
International Journal of Engineering & Technology
By and by one on the whole the chief regular ways to deal with treat these gigantic data amounts region units upheld the MapReduce parallel programming worldview. ...
For the essential case we have a slant to have a leaning to build up a join of blame administration systems. ...
Data analytic with pig Apache Pig may be a high level info flow platform for execution Map reduces programs of Hadoop. The language for Pig is pig Latin. ...
doi:10.14419/ijet.v7i2.33.14207
fatcat:pcaibgr2qbglvkf34urcuww75a
« Previous
Showing results 1 — 15 out of 236 results