DOCSLIB.ORG

LSCS – SW – DVD02 Table of Contents

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
LSCS – SW – DVD02 Table of Contents LSCS – SW – DVD02 Table of Contents Introduction Glenn Richards has compiled about 4.4± GB of freeware, all of his weekly email newsletters, and considerable other materials on one DVD disc named LSCS-SW- DVD02. This was a tremendous undertaking for Glenn and the LSCS is most grateful for his efforts. Contained on the following 26 pages is the Table of Contents of this DVD. Since it is in pdf format you may use either the Adobe Reader Search command or the Edit – Find utility to look for any specific freeware programs or other contents of the DVD. I don’t know how other pdf readers will read this file. As to the best way to find what is on DVD itself here is what Glenn says: “Whenever I want to find something on the DVD (I have a copy of its contents on a hard drive) I use the Windows Search feature to look for it, either by title words or by words contained in a file. This process searches inside zip files. The attached file [actually this file minus this introduction] amounts to a Table of Contents. With so many programs on the DVD it would be hard to explain to members how they might want to use them. In my view, they need to browse the files themselves and read the explanations.” Keep in mind this is only a listing of the contents of the DVD. To get the actual program itself you will need either the DVD or you may download the freeware- software itself if you wish via the internet (enter the name of the program into Google to get an address). This ToC is, however, an extremely valuable listing of almost every type of freeware one might wish to obtain. So what follows is a listing of the contents of LSCS-SW-DVD02 for your searching or browsing. TJT 1/2/2007 Categories: AddressBook Antivirus Backup BootDisks Browsers CAD CDSpindown ClipboardEnhancements ClockSet Data Recovery Tools Defrag Download Managers Drivers DVDBurning Editors Email Encryption FAX FileManagers Firewall Fonts Fractals FreeSoftwareSources FTP G.RichardsNewsletter Games Genealogy G Help HideFiles Icons IM Internet Services ISPs LSCS Web Pages as of 12-10-06 LSCS_CD_Contents Magnifier MediaPlayers Microsoft MIME Modems Music composing programs Newsletters NotepadAlternatives OCR OfficeSuites OSs P2P PartitionManagers PasswordRevealer PDF Personal Finance Manager Pop-Up Stopper RAM Test Registry Screen Capture ScreenSaver Search SpamFilter Speech SpellCheckers SpywareProtection StartupServices SystemEvaluators Temporature Monitor TweakTools UninstallAids VideoDriver Viewers Virtual PC VPN WebPageDesign WinXP WordProcessors ZipPrograms Programs List: AddressBook Antivirus a2 Anti-Trojan AntiVir PersonalEdition AOL Avast AvertStinger AVG BitDefender 8 ClamWin Free Antivirus F-Secure NOD32 PC Pitstop Virus Scan Rootkit F-Secure BlackLight IceSword RootkitRevealer Backup DriveImage2002 DrvClonerXP Terabyteunlimited BootDisks 911cd_builder AutoRun AutoRun Express AutoStreamer Avira NTFS4DOS BartPE Boot Manager BootHelper Burn the new CD CDBurnerXP CreateBootDiskForNTFSOrFATPartition DIY Recovery CD When None Is Available Extended Operating System Loader Fix your PCs broken bootup behavior Floppy2CD MBRtool MKBT Multi Boot Manager Multiboot NTFS Boot Disk Windows XP Rawrite Reatogo Slipstreamed Windows XP CD Using SP2 UBCD4Win Universal Bootdisk XP On Your Thumb Drive XP Recovery CD XPRebuild Browsers BHODemon Firefox IE7 PutMenuBarOnTopOfIE7 Maxthon Tabbed Browser Netscape4.8 Netscape8xBrowser NetscapeCommunicator7.2 Opera ShenzBrowser CAD CADstd FreeCAD QCad CDSpindown ClipboardEnhancements Clipboard Buddy Clipboard Magic Clipboard Recorder 2.1.2 Clipomatic Lightning Populist QuickPaste Yankee Clipper ClockSet Karens Time Sync Data Recovery Tools ActiveUNDELETE v 5.1 Avira UnErase CDCheck Copy It Anyway Data recovery utility Disk Investigator FreeUndelete Fundelete ICE ECC InstallFile Installing - RunningSoftwareInWinXP LostAndFoundByPowerQuest Microsoft NTFFRecovery NTFS Reader for DOS PC Inspector File Recovery PC Inspector Smart Recovery ProduKey v1.06 Recovery Console References RemoteControl Restoration SoftPerfect File Recovery System Restore TestDisk VirtualLab Data Recovery Defrag BUZZSAW DIRMS Diskeeper SpeeDefrag WinMeDefraggerForWim98 Download Managers Free Download Manager Gigaget LeechGet LimeWire 4.8 Star Downloader Free 1.45 WinGet wxDownload Drivers DLL-file source Driver Agent DriverBackup DriverDetective FindDrivers How to fix an AWOL Shell.dll WinDriver Expert WinDriversBackup DVDBurning AutoRun Express BurnAtOnce BurnRight CD & DVD CDBurnerXP CDBurnerXP Pro CDR Identifier v1.63 CloneCD CopyToDVD DeepBurner Free 1.8 DVD Decrypter DVD Identifier DVD Region Blocking DVDFab Decrypter DVDShrink EasyISO Free FreeRIP IsoBuster 1.9.1 ISORecorder Nero5 Nero6 Roxio EasyCD EasyCDCreatorUpdate DriveUpdate EasyCDCleanup Roxio CDR4 Drivers Update Sateira CD&DVD Burner Slipstreaming Windows XP SoftCD Editors CodePad eCleaner emailStripper nvu Post-it Software Notes Programmer_s File Editor StripEm WebDwarf Email AddressBook AOL Eudora Email FreePOPs GroupMail Mailinator Netscape4.8 nPOP Portable Mail Client Opera Mail OutlookExpress OutlookExpressTip SpellCheckerForOE Pegasus PopCorn PopMan Red X Scribe The Bat Thunderbird Yahoo Yahoopops Encryption ClipSecure Image Cryptographer Iron Key Kryptel Lite MySecret PrettyGoodPrivacy TrueCrypt FAX eFax Fax Solutions Free Faxing Net2Phone WinXP FileManagers 1-4a Rename AssessTree AutoSizer v1.53 CDDriveEmulator HekkoVirtualCD Virtual CD Drive vSubst Copernic Copy It Anyway Dependency Walker Deskman iCarbon Long Filename Finder OpenExpert PowerDesk PrintFolder ReNamer SectorSpyXP Sendtotoy SetFileDate ShutDown After 2.0 SmartStartMenu Splitter Light Unstoppable Copier XXCOPY Firewall Entry-Level Windows Security Software Filseclab Personal Firewall Help Kerio LeakTest NetVeda SafetyNet ProcessGuard Sygate Personal Firewall ZoneAlarm Fonts AMPFontViewer CFontPro ClearType FastFont FontCompare FontList FontPage FontView KarensFontExplorer NGPidFontViewer The Font Thing Fractals Fractal Explorer 2.02 Fractal Snowflake Generator Fractalus4.02 FractileForge Mandelbrot Mandelbrot for Windows FreeSoftwareSources Nonags Freeware Shareware World Center.mht New Freeware Today.mht NONAGS Disk Managing Tools - Freeware.mht 100-downloads for Windows XP.mht 101 Fabulous Freebies.mht Ahuma Favorite Freeware.mht AnswersThatWork A-Z List downloads.mht AnswersThatWork Downright useful downloads.mht AOL Downloads.mht Art Plus Software Main Download Page!.mht AXCEL216 - MDGx 1000 FREE Windows Power Toys.mht Bluefive Downloads.mht Bluefive Home.mht Camtech 2000 Downloads.mht Computer Power User Article.mht Concise Freeware.mht ElmüSoft Download.mht Favorite Freeware.htm File Hippo - Download Free Software.mht Free CD and DVD Burning.mht Free Downloads on ZDNet.mht Free Software Utilities - No Nonsense Software.mht Free Utilities downloads.mht Freeware4u.com A Site Dedicated to Freeware Freeware4u.com A Site Dedicated to Freeware.htm Freezerware.mht Graphics Software.mht Harddrives.mht JAM Software - Windows Freeware.mht Kaboodle.mht Karen Power Tools.mht Kaspersky Available Downloads.mht Kellys-korner-xp.mht Komando Downloads-2.mht Komando Downloads.mht Last Freeware version.mht LurkHere Links.mht LurkHere Nice Files to Download.mht MajorGeeks_com - Download Freeware and Shareware.mht Merijn_org.mht Microsoft Download Center.mht Microsoft Downloads.mht Microsoft TechNet Downloads.mht Microsoft TechNet Windows Sysinternals.mht My list of great image freeware Archive - allForums.mht NirSoft - freeware.mht Office Viewer & Converter Packs.mht OldVersion_com.mht OnlyTheBestFreeware.mht Other Freeware Recommendations.mht PC Tools - Free Downloads.mht PC World - Utilities.mht PCWorld_com - Downloads.mht Petri Downloads.mht Pricelessware 2006.mht RealFreeSoftware.mht RjH Software - Products.mht Robin Keir Software.mht SecurityWonks_net.mht Shinobi Resources Free Downloads.mht Shockwave Download Center.mht Simtel Free Downloads.mht SnapFiles Freeware download categories.mht SofoTex Downloads.mht Softpedia.mht Solway_s Software Page - Shareware and Freeware.mht Sysinternals Freeware - System Information Utilities.mht Teach Me HTML FREE.mht The 46 Best-ever Freeware Utilities.mht The 911 Rescue CD - The Admin Swiss Army Knife.mht The Computer Lady - Free Software Index.mht The Gazette-Downloads.mht The OSSwin project Open Source for Windows!.mht The Zjooj Freeware.mht thefreecountry.mht Top-100 essential downloads.mht TuDogs home Free software.mht Windows XP Downloads.mht ZDNet.mht FTP FileZilla FTP-Guide G.RichardsNewsletter FileOffers.zip FileOffersInfo.txt LSCSNewsletters1998.exe LSCSNewsletters1999.exe LSCSNewsletters2000.exe LSCSNewsletters2001.exe LSCSNewsletters2002.exe LSCSNewsletters2003.exe LSCSNewsletters2004.exe LSCSNewsletters2005.exe LSCSNewsletters2006.exe Open each to extract to C-LSCS Newsletters.txt Games 123FreeSolitaire2003 Clickomania Classic New Collapse DUO Gridlock Happyland Adventures Spider Solitaire Tetris Genealogy Family Tree Resources GenealogyPrograms GenealogyUtilities GeneralUtilities Legacy Family Tree PAF5.2 Graphics 3D graphics tool 20-20 Version 2.2.7 ACDSee Adobe Photoshop Album 2.0 Starter Autostitch Digital Ice Dogwaffle EasyThumbnails EXIF Image Viewer FastStone Image Viewer FmView Focusviewer 2.1 Futuris Imager FxFoto Gadwin Printscreen GIMP GMView GraphicFileConverter Hide In Picture HubblePhotos iBrowser image viewer Image Resizer PowerToy image_navigator ImageAnalyzer ImageForge Inkscape IrfanView JPEG Resizer Jpegger KnesonImagerStandard Microsoft Movie Maker MSFT RAW Image Viewer for Windows
Load more

Recommended publications
  • Sources of Information About the HP Noteb
    9 Jan 2002 This file contains the most up-to-date information on the following topics: Sources of Information about the HP notebook computer and Windows Precautions Changing Display Settings Setting the Display after Docking (Windows 2000 or XP) Fixing Display Settings when Docking Using Wireless LAN Using HP Presentation Ready Setting Up a TV Undocking with MusicMatch (Windows 2000 or XP) Checking the Modem Dialing Setting Working with Graphic-Intensive Applications Running in MS-DOS Mode Windows 98 Disabling the Infrared Port before Recovering Software Windows 2000 Running the Tour of Windows 2000 Reinstalling HP One-Touch Windows XP Using Extended Desktop Microsoft Plus! Not Recommended Best Practices for Using Your HP Notebook Computer Physical Care General Use Sources of Information * The printed Startup Guide introduces the notebook computer and shows you the basics. It also contains troubleshooting information. * The online Reference Guide shows how to set up the operating system, install and connect accessories, and maintain and upgrade the computer (for Windows 98 or 2000, click Start, Programs, HP Library, or for Windows XP, click Start, Help and Support, HP Library). * The Microsoft Windows manual, shipped with your computer, contains information about using the standard features of your Windows operating system. * For updates to the BIOS and other technical documentation, connect to our website at http://www.hp.com/go/support. Precautions This section describes certain situations that could cause serious loss of data. Do not remove a data storage PC Card while it is actively reading or writing. This could cause its data to become corrupted. Certain applications, such as Intuit's Quicken, keep their working files open, and they update the files as you make changes.
    [Show full text]
  • Windows 7 Operating Guide
    Welcome to Windows 7 1 1 You told us what you wanted. We listened. This Windows® 7 Product Guide highlights the new and improved features that will help deliver the one thing you said you wanted the most: Your PC, simplified. 3 3 Contents INTRODUCTION TO WINDOWS 7 6 DESIGNING WINDOWS 7 8 Market Trends that Inspired Windows 7 9 WINDOWS 7 EDITIONS 10 Windows 7 Starter 11 Windows 7 Home Basic 11 Windows 7 Home Premium 12 Windows 7 Professional 12 Windows 7 Enterprise / Windows 7 Ultimate 13 Windows Anytime Upgrade 14 Microsoft Desktop Optimization Pack 14 Windows 7 Editions Comparison 15 GETTING STARTED WITH WINDOWS 7 16 Upgrading a PC to Windows 7 16 WHAT’S NEW IN WINDOWS 7 20 Top Features for You 20 Top Features for IT Professionals 22 Application and Device Compatibility 23 WINDOWS 7 FOR YOU 24 WINDOWS 7 FOR YOU: SIMPLIFIES EVERYDAY TASKS 28 Simple to Navigate 28 Easier to Find Things 35 Easy to Browse the Web 38 Easy to Connect PCs and Manage Devices 41 Easy to Communicate and Share 47 WINDOWS 7 FOR YOU: WORKS THE WAY YOU WANT 50 Speed, Reliability, and Responsiveness 50 More Secure 55 Compatible with You 62 Better Troubleshooting and Problem Solving 66 WINDOWS 7 FOR YOU: MAKES NEW THINGS POSSIBLE 70 Media the Way You Want It 70 Work Anywhere 81 New Ways to Engage 84 INTRODUCTION TO WINDOWS 7 6 WINDOWS 7 FOR IT PROFESSIONALS 88 DESIGNING WINDOWS 7 8 WINDOWS 7 FOR IT PROFESSIONALS: Market Trends that Inspired Windows 7 9 MAKE PEOPLE PRODUCTIVE ANYWHERE 92 WINDOWS 7 EDITIONS 10 Remove Barriers to Information 92 Windows 7 Starter 11 Access
    [Show full text]
  • IE 5.5 and Netscape 4.75 - Why Upgrade? ..Page 1
    In This Issue . IE 5.5 and Netscape 4.75 - Why Upgrade? ..page 1 WindowsME for Home Computing ..…..…..page 1 Critical Updates are Essential ……..……….page 1 Win 95/98 Web Browser Upgrade.…………page 2 Permanent LRC Stations…………...……….page 2 cc:Mail is Retiring ……..…………..………..page 2 The newsletter for IPFW computer users Information Technology Services October 2000 Courses & Resources…………….……….….page 2 IE 5.5 and Netscape for Home 4.75 - Why Upgrade? Computing Campus surfers should update their browsers to the Microsoft recently released its upgrade to Windows 98 latest versions of Netscape and Internet Explorer (IE). for home computing — Windows Millennium (WindowsMe). Windows users may do so by the following instructions on Follett's IPFW Bookstore is now offering the CD to students, page 2. Macintosh users may obtain the instructions for faculty, and staff as part of IU's licensing agreement with creating an alias for either or both programs from the Help Microsoft. Is the upgrade for you? Windows Millennium Desk (e-mail: [email protected]). includes: Very basic digital media editing tools Why upgrade? In general, obtaining the latest 4 IE 5.5 (also downloadable for Windows 98) version of your favorite browser helps ensure that you have 4 4 Media Player 7 (also downloadable for Windows 98) the most capable and secure browser for today's Web If you have no compelling need for the above features environment. Specifically, the newest and most significant or if you take the time to do wnload IE 5.5 and/or Media Player 7 features of each include: for Windows 98, you may want to skip this upgrade.
    [Show full text]
  • ACS – the Archival Cytometry Standard
    http://flowcyt.sf.net/acs/latest.pdf ACS – the Archival Cytometry Standard Archival Cytometry Standard ACS International Society for Advancement of Cytometry Candidate Recommendation DRAFT Document Status The Archival Cytometry Standard (ACS) has undergone several revisions since its initial development in June 2007. The current proposal is an ISAC Candidate Recommendation Draft. It is assumed, however not guaranteed, that significant features and design aspects will remain unchanged for the final version of the Recommendation. This specification has been formally tested to comply with the W3C XML schema version 1.0 specification but no position is taken with respect to whether a particular software implementing this specification performs according to medical or other valid regulations. The work may be used under the terms of the Creative Commons Attribution-ShareAlike 3.0 Unported license. You are free to share (copy, distribute and transmit), and adapt the work under the conditions specified at http://creativecommons.org/licenses/by-sa/3.0/legalcode. Disclaimer of Liability The International Society for Advancement of Cytometry (ISAC) disclaims liability for any injury, harm, or other damage of any nature whatsoever, to persons or property, whether direct, indirect, consequential or compensatory, directly or indirectly resulting from publication, use of, or reliance on this Specification, and users of this Specification, as a condition of use, forever release ISAC from such liability and waive all claims against ISAC that may in any manner arise out of such liability. ISAC further disclaims all warranties, whether express, implied or statutory, and makes no assurances as to the accuracy or completeness of any information published in the Specification.
    [Show full text]
  • Imagen Y Diseño # Nombre 1 10 Christmas Templates 2 10 DVD
    Imagen Y Diseño # Nombre 1 10 Christmas Templates 2 10 DVD Photoshop PSD layer 3 10 Frames for Photoshop 4 1000 famous Vector Cartoons 5 114 fuentes de estilo Rock and Roll 6 12 DVD Plantillas Profesionales PSD 7 12 psd TEMPLATE 8 123 Flash Menu 9 140 graffiti font 10 150_Dreamweaver_Templates 11 1600 Vector Clip Arts 12 178 Companies Fonts, The Best Collection Of Fonts 13 1800 Adobe Photoshop Plugins 14 2.900 Avatars 15 20/20 Kitchen Design 16 20000$ Worth Of Adobe Fonts! with Adobe Type Manager Deluxe 17 21000 User Bars - Great Collection 18 240+ Gold Plug-Ins for Adobe Dreamweaver CS4 19 30 PSD layered for design.Vol1 20 300.000 Animation Gif 21 32.200 Avatars - MEGA COLLECTION 22 330 templates for Power Point 23 3900 logos de marcas famosas en vectores 24 3D Apartment: Condo Designer v3.0 25 3D Box Maker Pro 2.1 26 3D Button Creator Gold 3.03 27 3D Home Design 28 3D Me Now Professional 1.5.1.1 -Crea cabezas en 3D 29 3D PaintBrush 30 3D Photo Builder Professional 2.3 31 3D Shadow plug-in for Adobe Photoshop 32 400 Flash Web Animations 33 400+ professional template designs for Microsoft Office 34 4000 Professional Interactive Flash Animations 35 44 Cool Animated Cards 36 46 Great Plugins For Adobe After Effects 37 50 BEST fonts 38 5000 Templates PHP-SWISH-DHTM-HTML Pack 39 58 Photoshop Commercial Actions 40 59 Unofficial Firefox Logos 41 6000 Gradientes para Photoshop 42 70 POSTERS Alta Calidad de IMAGEN 43 70 Themes para XP autoinstalables 44 73 Custom Vector Logos 45 80 Golden Styles 46 82.000 Logos Brands Of The World 47 90 Obras
    [Show full text]
  • LPS-Public Quick Start Guide
    LPS-Public Quick Start Guide This guide is for the beginner user to create and use a Lightweight Portable Security – Public Edition (LPS- Public) CD to more securely browse the Internet and access CAC-enabled websites. For more information on LPS-Public, see http://www.spi.dod.mil/lipose.htm. LPS-Public focuses on safe browsing; it supports thumb drives but intentionally lacks drivers (support) for hard drives and printers. 1. Create a bootable CD from the ISO image (*.iso, an image file of an optical disc). a) Download and save the LPS-Public ISO image from http://www.spi.dod.mil/lipose.htm. b) Burn the image to a blank CD using ISO software (e.g., UltraISO, ISO Maker, K3b, CDBurnerXP, Easy CD Creator, ImgBurn, CDBurn, Nero Burning ROM, Roxio Creator, or one of many others but ATSPI endorses none). This is not the same as just saving the file to a CD. c) Write the LPS version number on the CD. 2. Connect your PC or Intel-based Mac to a wired Ethernet network with DHCP service, or have a wireless (WiFi) or broadband cellular network available. 3. Connect a USB CCID-compliant CAC reader to your PC. Many built-in readers are not supported. Insert your CAC into the reader. If you have an old or non-CCID reader, you may need new firmware from the OEM. LPS contains a Firmware Updating utility that you should run. 4. Insert the LPS-Public CD into the CD drive. Restart your computer. It may take a few minutes to boot LPS.
    [Show full text]
  • AVG Rescue CD for Windows User Manual
    AVG Rescue CD for Windows User Manual Document revision 85.2 (7.4.2009) Copyright AVG Technologies CZ, s.r.o. All rights reserved. All other trademarks are the property of their respective owners. This product contains Windows software licensed from Microsoft Corporation and/or MS Affiliate(s). The Microsoft Windows Preinstallation Environment software included with this software may be used for boot, diagnostic, setup, restoration, installation, configuration, test or disaster recovery purposes only. This software contains a security feature that will cause end user's system to reboot without prior notification to the end user after 24 hours of continuous use. This product uses RSA Data Security, Inc. MD5 Message-Digest Algorithm, Copyright (c) 1991-2, RSA Data Security, Inc. Created 1991. This product uses code from C-SaCzech library, Copyright (c) 1996-2001 Jaromir Dolecek ([email protected]). This product uses compression library libbzip2, Copyright (c) 1996-2002 Julian R. Seward. This product uses compression library zlib, Copyright (c) 1995-2002 Jean-loup Gailly and Mark Adler. This product contains freeCommander software, Copyright (c) 2004 Marek Jasinski. AVG Rescue CD © 2009 Copyright AVG Technologies CZ, s.r.o. All rights reserved. 1 Contents 1. Introduction........................................................................................................................ 4 1.1 Notice..................................................................................................................... to users 4 1.2 Basic....................................................................................................................
    [Show full text]
  • Devicelock® DLP 8.3 User Manual
    DeviceLock® DLP 8.3 User Manual © 1996-2020 DeviceLock, Inc. All Rights Reserved. Information in this document is subject to change without notice. No part of this document may be reproduced or transmitted in any form or by any means for any purpose other than the purchaser’s personal use without the prior written permission of DeviceLock, Inc. Trademarks DeviceLock and the DeviceLock logo are registered trademarks of DeviceLock, Inc. All other product names, service marks, and trademarks mentioned herein are trademarks of their respective owners. DeviceLock DLP - User Manual Software version: 8.3 Updated: March 2020 Contents About This Manual . .8 Conventions . 8 DeviceLock Overview . .9 General Information . 9 Managed Access Control . 13 DeviceLock Service for Mac . 17 DeviceLock Content Security Server . 18 How Search Server Works . 18 ContentLock and NetworkLock . 20 ContentLock and NetworkLock Licensing . 24 Basic Security Rules . 25 Installing DeviceLock . .26 System Requirements . 26 Deploying DeviceLock Service for Windows . 30 Interactive Installation . 30 Unattended Installation . 35 Installation via Microsoft Systems Management Server . 36 Installation via DeviceLock Management Console . 36 Installation via DeviceLock Enterprise Manager . 37 Installation via Group Policy . 38 Installation via DeviceLock Enterprise Server . 44 Deploying DeviceLock Service for Mac . 45 Interactive Installation . 45 Command Line Utility . 47 Unattended Installation . 48 Installing Management Consoles . 49 Installing DeviceLock Enterprise Server . 52 Installation Steps . 52 Installing and Accessing DeviceLock WebConsole . 65 Prepare for Installation . 65 Install the DeviceLock WebConsole . 66 Access the DeviceLock WebConsole . 67 Installing DeviceLock Content Security Server . 68 Prepare to Install . 68 Start Installation . 70 Perform Configuration and Complete Installation . 71 DeviceLock Consoles and Tools .
    [Show full text]
  • Curriculum Vitae
    Curriculum Vitae Enrico Tassi July 18, 2018 1 Personal data Name Enrico Tassi Affiliation INRIA - Sophia-Antipolis Work address 2004 route des Lucioles BP 93, 06902 Sophia Antipolis Cedex, France Work Phone +33 1 69 35 69 83 Birthdate 10/06/1980 E-Mail [email protected], [email protected] Homepage http://www.msr-inria.inria.fr/~gares/ GPG Public Key(s) fingerprint(s): 60D0 4388 E385 3643 807B 9507 EE49 1C3E 0123 F2F2 C11A 5053 569A 7C8C 1758 E311 2505 33CC A29B 764F 2 Education Apr 28, 2008 Ph.D. in Computer Science at the Department of Computer Science, Uni- versity of Bologna. Oct 20, 2004 Master Degree in computer science with a rating of 110/110 cum laude at the Department of Computer Science, University of Bologna. Dec 12, 2002 Degree in computer science with a rating of 110/110 at the Department of Computer Science, University of Bologna. 3 Research interests Interactive Theorem Provers I've focused my research on the development of type- theory based interactive theorem provers, in particular on their type inference subsys- tem, their integration with automatic proof searching procedures and the languages they adopt to interact with the user. Formal Proofs I devoted a considerable part of my research to the formalization of (mainly constructive) mathematics using the Matita and Coq systems. In particular I formal- ized results in abstract integration theory, formal topology and finite group theory. 4 Personal interests Free Software and Open Source in particular the Debian GNU/Linux operating sys- tem. Software writing I'm interested in all aspects, from design to low level implementation and management.
    [Show full text]
  • Work Package 2 Collection of Requirements for OS
    Consortium for studying, evaluating, and supporting the introduction of Open Source software and Open Data Standards in the Public Administration Project acronym: COSPA Wor k Package 2 Collection of requirements for OS applications and ODS in the PA and creation of a catalogue of appropriate OS/ODS Solutions D eliverable 2. 1 Catalogue of available Open Source tools for the PA Contract no.: IST-2002-2164 Project funded by the European Community under the “SIXTH FRAMEWORK PROGRAMME” Work Package 2, Deliverable 2.1 - Catalogue of available Open Source tools for the PA Project Acronym COSPA Project full title A Consortium for studying, evaluating, and supporting the introduction of Open Source software and Open Data Standards in the Public Administration Contract number IST-2002-2164 Deliverable 2.1 Due date 28/02/2004 Release date 15/10/2005 Short description WP2 focuses on understanding the OS tools currently used in PAs, and the ODS compatible with these tools. Deliverable D2.1 contains a Catalogue of available open source tools for the PA, including information about the OS currently in use inside PAs, the administrative and training requirements of the tools. Author(s) Free University of Bozen/Bolzano Contributor(s) Conecta, IBM, University of Sheffield Project Officer Tiziana Arcarese Trond Arne Undheim European Commission Directorate-General Information Society Directorate C - Unit C6- eGovernment, BU 31 7/87 rue de la Loi 200 - B-1049 Brussels - Belgium 26/10/04 Version 1.3a page 2/353 Work Package 2, Deliverable 2.1 - Catalogue of available Open Source tools for the PA Disclaimer The views expressed in this document are purely those of the writers and may not, in any circumstances, be interpreted as stating an official position of the European Commission.
    [Show full text]
  • Metadefender Core V4.12.2
    MetaDefender Core v4.12.2 © 2018 OPSWAT, Inc. All rights reserved. OPSWAT®, MetadefenderTM and the OPSWAT logo are trademarks of OPSWAT, Inc. All other trademarks, trade names, service marks, service names, and images mentioned and/or used herein belong to their respective owners. Table of Contents About This Guide 13 Key Features of Metadefender Core 14 1. Quick Start with Metadefender Core 15 1.1. Installation 15 Operating system invariant initial steps 15 Basic setup 16 1.1.1. Configuration wizard 16 1.2. License Activation 21 1.3. Scan Files with Metadefender Core 21 2. Installing or Upgrading Metadefender Core 22 2.1. Recommended System Requirements 22 System Requirements For Server 22 Browser Requirements for the Metadefender Core Management Console 24 2.2. Installing Metadefender 25 Installation 25 Installation notes 25 2.2.1. Installing Metadefender Core using command line 26 2.2.2. Installing Metadefender Core using the Install Wizard 27 2.3. Upgrading MetaDefender Core 27 Upgrading from MetaDefender Core 3.x 27 Upgrading from MetaDefender Core 4.x 28 2.4. Metadefender Core Licensing 28 2.4.1. Activating Metadefender Licenses 28 2.4.2. Checking Your Metadefender Core License 35 2.5. Performance and Load Estimation 36 What to know before reading the results: Some factors that affect performance 36 How test results are calculated 37 Test Reports 37 Performance Report - Multi-Scanning On Linux 37 Performance Report - Multi-Scanning On Windows 41 2.6. Special installation options 46 Use RAMDISK for the tempdirectory 46 3. Configuring Metadefender Core 50 3.1. Management Console 50 3.2.
    [Show full text]
  • Comunicado 23 Técnico
    Comunicado 23 ISSN 1415-2118 Abril, 2007 Técnico Campinas, SP Armazenagem e transporte de arquivos extensos André Luiz dos Santos Furtado Fernando Antônio de Pádua Paim Resumo O crescimento no volume de informações transportadas por um mesmo indivíduo ou por uma equipe é uma tendência mundial e a cada dia somos confrontados com mídias de maior capacidade de armazenamento de dados. O objetivo desse comunicado é explorar algumas possibilidades destinadas a permitir a divisão e o transporte de arquivos de grande volume. Neste comunicado, tutoriais para o Winrar, 7-zip, ALZip, programas destinados a compactação de arquivos, são apresentados. É descrita a utilização do Hjsplit, software livre, que permite a divisão de arquivos. Adicionalmente, são apresentados dois sites, o rapidshare e o mediafire, destinados ao compartilhamento e à hospedagem de arquivos. 1. Introdução O crescimento no volume de informações transportadas por um mesmo indivíduo ou por uma equipe é uma tendência mundial. No início da década de 90, mesmo nos países desenvolvidos, um computador com capacidade de armazenamento de 12 GB era inovador. As fitas magnéticas foram substituídas a partir do anos 50, quando a IBM lançou o primogenitor dos atuais discos rígidos, o RAMAC Computer, com a capacidade de 5 MB, pesando aproximadamente uma tonelada (ESTADO DE SÃO PAULO, 2006; PCWORLD, 2006) (Figs. 1 e 2). Figura 1 - Transporte do disco rígido do RAMAC Computer criado pela IBM em 1956, com a capacidade de 5 MB. 2 Figura 2 - Sala de operação do RAMAC Computer. Após três décadas, os primeiros computadores pessoais possuíam discos rígidos com capacidade significativamente superior ao RAMAC, algo em torno de 10 MB, consumiam menos energia, custavam menos e, obviamente, tinham uma massa que não alcançava 100 quilogramas.
    [Show full text]