Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 2013. The 69 revised full papers presented were carefully reviewed and selected from 303 initial submissions: 53 out of 229 in track "Design and Analysis" and 16 out of 74 in track "Engineering and Applications". The papers in this book present original research in all areas of algorithmic research, including but not limited to: algorithm engineering; algorithmic aspects of networks; algorithmic game theory; approximation algorithms; computational biology; computational finance; computational geometry; combinatorial optimization; data compression; data structures; databases and information retrieval; distributed and parallel computing; graph algorithms; hierarchical memories; heuristics and meta-heuristics; mathematical programming; mobile computing; on-line algorithms; parameterized complexity; pattern matching; quantum computing; randomized algorithms; scheduling and resource allocation problems; streaming algorithms.
Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Data structures (Computer science). --- Algorithms. --- Numerical analysis. --- Computer science --- Computer graphics. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computer Communication Networks. --- Discrete Mathematics in Computer Science. --- Computer Graphics. --- Numeric Computing. --- Data Structures. --- Mathematics. --- Computer algorithms --- Computer software. --- Computational complexity. --- Electronic data processing. --- Data structures (Computer scienc. --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Engineering graphics --- Image processing --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Digital techniques --- Automation --- Data structures (Computer science) --- Computer science—Mathematics. --- Mathematical analysis --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Algorism --- Algebra --- Arithmetic --- Distributed processing --- Foundations --- Computer networks. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Numerical Analysis. --- Data Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 2013. The 69 revised full papers presented were carefully reviewed and selected from 303 initial submissions: 53 out of 229 in track "Design and Analysis" and 16 out of 74 in track "Engineering and Applications". The papers in this book present original research in all areas of algorithmic research, including but not limited to: algorithm engineering; algorithmic aspects of networks; algorithmic game theory; approximation algorithms; computational biology; computational finance; computational geometry; combinatorial optimization; data compression; data structures; databases and information retrieval; distributed and parallel computing; graph algorithms; hierarchical memories; heuristics and meta-heuristics; mathematical programming; mobile computing; on-line algorithms; parameterized complexity; pattern matching; quantum computing; randomized algorithms; scheduling and resource allocation problems; streaming algorithms.
Complex analysis --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- streaming --- complexiteit --- discrete wiskunde --- complexe analyse (wiskunde) --- bedrijfssoftware --- mobiele netwerken --- computers --- grafische vormgeving --- informatica --- database management --- programmatielogica --- KI (kunstmatige intelligentie) --- computernetwerken --- computerkunde --- numerieke analyse --- gegevensverwerking
Choose an application
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computer science. --- Computer software. --- Informatique --- Logiciels --- Computer Science --- Engineering & Applied Sciences --- Algorithms. --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Foundations --- Computational complexity. --- Electronic data processing. --- Data structures (Computer scienc. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Data Structures. --- Mathematical Logic and Formal Languages. --- Math Applications in Computer Science. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Electronic data processing --- Machine theory --- Software, Computer --- Computer systems --- Automation --- Data structures (Computer science) --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer science --- Mathematics --- Computer science—Mathematics. --- Numerical analysis. --- Data structures (Computer science). --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical analysis --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Machine theory. --- Numerical Analysis. --- Data Science. --- Formal Languages and Automata Theory. --- Mathematical Applications in Computer Science. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
Computer Science. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Data Structures. --- Mathematical Logic and Formal Languages. --- Math Applications in Computer Science. --- Computer science. --- Data structures (Computer science). --- Computer software. --- Electronic data processing. --- Computational complexity. --- Informatique --- Structures de données (Informatique) --- Logiciels --- Complexité de calcul (Informatique) --- Computer Science --- Engineering & Applied Sciences --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Computer science --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Foundations --- Data structures (Computer scienc. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- Automation --- Data structures (Computer science) --- Computer science—Mathematics. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Machine theory. --- Numerical Analysis. --- Data Science. --- Formal Languages and Automata Theory. --- Mathematical Applications in Computer Science. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
The 6th International Conference on Algorithms and Complexity (CIAC 2006) was held in Rome, Italy during May 29-31, 2006. These proceedings contain all contributed papers presented at CIAC 2006, together with the invited lectures delivered at the conference. The Program Committee consisted of: - Nicola Galesi, Univ. of Rome La Sapienza , Italy - John Iacono, Brooklyn Polytechnic, USA - Giuseppe F. Italiano (Chair), Univ. of Rome Tor Vergata , Italy - Pascal Koiran, ENS Lyon, France - Jaroslav Ne? set? ril, Charles University, Czech Republic - Sotiris Nikoletseas, CTI and Univ. of Patras, Greece - Stephan Olariu, Old Dominion Univ. , USA - Anna Ostlin Pagh, ITU, Denmark - Andrzej Pelc, Universit´eduQu´ ebec en Outaouais, Canada - Peter Sanders, Universitaet Karlsruhe, Germany - Bruno Simeone, Univ. of Rome La Sapienza , Italy - Uri Zwick, Tel-Aviv Univ. , Israel In response to a call for papers, the ProgramCommittee received 80 subm- sions, and selected 33 papers for inclusion in the scienti?c program. In addition tothecontributedpapers,KurtMehlhorn(MPI,Germany),FrancoP. Preparata (Brown Univ. , USA) and Pavel Pudl´ ak (Academy of Sciences, Czech Republic) were invited to give plenary lectures at the conference. All the work of the P- gramCommittee was done electronically. The selection was based on originality, quality and relevance to theoretical computer science. The submissions were r- ereedascarefullyastimepermitted;itisexpectedthatmanyofthemwillappear in a more polished form in scienti?c journals in the future.
Complex analysis --- Discrete mathematics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- discrete wiskunde --- complexe analyse (wiskunde) --- grafische vormgeving --- informatica --- database management --- programmatielogica --- KI (kunstmatige intelligentie)
Choose an application
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
Mathematical logic --- Complex analysis --- Discrete mathematics --- Numerical analysis --- Mathematics --- Computer science --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- externe fixatie (geneeskunde --- database management --- wiskunde --- programmatielogica --- algoritmen --- logica --- numerieke analyse
Choose an application
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
Mathematical logic --- Complex analysis --- Discrete mathematics --- Numerical analysis --- Mathematics --- Computer science --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- externe fixatie (geneeskunde --- database management --- wiskunde --- programmatielogica --- algoritmen --- logica --- numerieke analyse
Choose an application
The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The ?rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti?c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti?c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically.
Machine theory --- Formal languages --- Computer programming --- Computer algorithms --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses. --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Machine theory - Congresses --- Formal languages - Congresses --- Computer programming - Congresses
Choose an application
The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The ?rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti?c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti?c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically.
Computer science. --- Mathematical logic. --- Computers. --- Software engineering. --- Data structures (Computer science). --- Computer Science, general. --- Mathematical Logic and Foundations. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Data Structures and Information Theory. --- Data Structures.
Choose an application
This book constitutes the refereed conference proceedings of the 7th Annual Privacy Forum, APF 2019, held in Rome, Italy, in June 2019. The 11 revised full papers were carefully reviewed and selected from 49 submissions. The papers present original work on the themes of data protection and privacy and their repercussions on technology, business, government, law, society, policy and law enforcement bridging the gap between research, business models, and policy. They are organized in topical sections on transparency, users' rights, risk assessment, and applications.
Computer science. --- Computer security. --- Operating systems (Computers). --- Computers and Society. --- Systems and Data Security. --- Information Systems Applications (incl. Internet). --- Security Services. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Informatics --- Science --- Operating systems --- Protection --- Security measures --- Data encryption (Computer science) --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Computers and civilization. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Civilization and computers --- Civilization
Listing 1 - 10 of 18 | << page >> |
Sort by
|