Search results 13,174
Paper図書
National Diet Library
- Summary, etc....efereed proceedings of the 10th International Sym......ic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30,......of of theorems invarious applica......and sound handling of branches of inverse functions
- Subject HeadingFormal methods (Computer science)--Congresses Computer science--Mathematics--......des formelles (Informatique)--Congrès Informatique--Mathématiques--Co...
- Author HeadingInternational Sym......ic Computation in Software Science (10th : 2024 : Tokyo, Japan) ...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingMultiagent systems--Congresses Systèmes multiagents (Intelligence artificielle)--Cong...
- Related MaterialLecture notes in computer science
- Periodical TitleLecture notes in computer science
Paper図書
National Diet Library
- Summary, etc....efereed proceedings of the 21st International Con......erence on Modeling Decisions for Artificial Intelligence, MDAI 2024, held in Umeå, Sweden, during August 27-30,......were organized in topical headings as follows: ......y measures and integrals; uncertainty in AI; clustering; and data science and data privacy
- ContentsInvited paper Taste Media Innovative Techno......nsforms the Eating Experience Fu......y measures and integrals An axiomatic definition of non di......stances Uncertainty in AI Entropies f......ods for Estimating Interval Priority Weights Focusing on the Accuracy in Selecting the Best Alternative Clustering Sequential Cl......y Noise Clustering Based on Loca......e Based Clustering from the Pers......n Problem Data science and data priva......ion Tree Based Inference of Lightning Network Clien......tion Framework in R User centred......l Explanations in Explainable AI Revised Margin-Maximization M......e Extreme Learning Machine Studying the impact ...
- Subject HeadingArtificial intelligence--Mat......es Decision making--Mathematical......ls--Congresses Computer simulation--Congresses Intelligence artificielle--Modè...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....tes the proceedings of the 22nd ......ium on Programming Languages and......LAS 2024, held in Kyoto, Japan, during October 22-24......nder the following topical secti......rative Programming; Quantum Computation; Logica...
- Contents...ameworks Comparing semantic fram...... Generic Reasoning of the Locall......sentation Building A Correct By ......ped Core Extending the Quantitat......e Pattern Matching Paradigm Prob......rative Programming Hybrid Verifi......onditions Explaining Explanations in Probabilistic Logic Programming Quantum Compu......uantum Programming Without the Q......lers Non deterministic, probabil......ctivity Constraints in Lattice Surger...... Computational Indistinguishability an......ompleteness of Incorrectness Sep...... Validity Checking of Fixpoint Logic Formula......ficiently Adapting Stateless Model Checking for C11/C++11 to Mixed Size ...
- Genre/Form Termsproceedings (reports) Conference papers and proceedings. Actes de congrès.
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....tes the proceedings of the 25th International Sym......SSS 2024, held in Nagoya, Japan, during October 20-22...... 22 full and 4 invited papers as......6 short papers included in this book were......nd/or security in the face of an...... The book also includes one invited talk in full paper length
- ContentsKeynote On Distributed Computing: A View, Phys......nymous Systems Invited Papers Invited Paper: A ......petitive Ratio in Linear Search Invited Paper: Gathering Oblivious Robots in the Plane Invited Paper: Th......Contract Model Invited Paper: Using signed formulas for online certification......loration Gathering of Robots in Butterfly Netw......Identification in Population Pro......t Self-stabilizing Simulations o......synchronous Luminous Mobile Robo......onal grids Coating in SILBOT with On......ezvous and Merging for Two Metam...... Compass Gathering Semi-Synchron......Partially Disjoint Shortest Path......r Assignment BlindexTEE: A Blind Index Approach...
- Subject HeadingSelf-stabilization (Computer science)--Congresses E......ic data processing--Distributed processing--Safety measu......es--Congresses Computer security--Cong......stabilisation (Informatique)--Co......ès Sécurité informatique--Congrès
Paper図書
National Diet Library
- Summary, etc....tes the proceedings of the 29th International Con......FAA 2024, held in Gifu, Japan, in July 2024. The......ented together in this seven-vol......ditionally, 14 industrial papers...... tutorials are included. The con......federated learning. Part II: Machine learning; text processing. Part III: Re......anguage processing; large langua......Part VII: Emerging application; industry papers; demo papers
- Subject Heading...n--Congrès Ordinateurs computers.
- Note (General)Papers "DASFAA is an annual international dat......--Preface Held in conjunction with the 10th international wor......2024), the 9th international wor......2024), the 8th international wor......rkshop on emerging results in data science and engineering (ERDSE 2024)
Paper図書
National Diet Library
- Genre/Form TermsConference papers and proceedings
- Subject HeadingArtificial intelligence--Edu......s--Congresses. Intelligence arti......̀s. Artificial intelligence--Educational applic...
- Note (General)...onference allowing face-to-face and online contributions."--Preface.
Paper図書
National Diet Library
- Subject HeadingComputer software--Deve......nt--Congresses Computer software--Reliability--Congre...
- Alternative Title...lidation : 1st international sym...... 2024 : proceedings
- Alternative Title...lidation : 1st international sym...... 2024 : proceedings
Paper図書
National Diet Library
- Summary, etc....tes the proceedings of the 19th International Wor......ty on Advances in Information and Computer Security, IWSEC 2024, held in Kyoto, Japan, in September 17-1......re categorized into the following sections: authenticated encr...
- Contents...STY1 Recovered in Practical Time......rd Deck of Playing Cards Using Partial Opening. Attribute-Based Inner Product Fun......nal Encryption in Key-Policy Setting from Pairing. Analysis of ...... Emulated Floating-Point Arithmetic in Falcon. Experi......al Analysis of Integer Factorization Methods Using Lattices. Sieving Method for SD......with the Zero Window: An Improvement in Low Memory Env......ulnerabilities in WordPress plug-ins. Finding (and exploiting) vulnerabilit......gh Strategy Against Unwanted Encryption in Network File S......ous Software using ChatGPT-4. A ......del for Evaluating Cybersecurity Attacks on Clo...
- Subject HeadingComputer security--Congresses Sécurité informatique--Congrès
Paper図書
National Diet Library
- Subject Heading...t--Data processing--Congresses Artificial intelligence--Congresses Intelligence artificielle--Congr...
- Note (General)Papers Held in conjunction wi......st Pacific Rim international con...... on artificial intelligence (PRICAI 2024)
- Author Heading...Japan) Wu, Shiqing Su, Xing Xu, Xiaolong Kang, Byeong-Ho
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....tes the proceedings of the 28th International Con......IAA 2024, held in Akita, Japan, during September 3-6......papers and one invited paper pre......have been covering various fields in the application, implementati...
- Contents.-Invited Talks. Au...... Papers. Computing the Bandwidth......ed Automata. Using Finite Automata to......tees. Constructing a BPE Tokeniz......lysis. Non-Emptiness Test for Au......ata over Words Indexed by the Re......ectional Deterministic Finite Automata. B...... Emulation and Interpretation: Computer Algebra Implem......on of the Covering Lemma for Finite Transformat......groups. On Pumping Preserving Homomorphisms......ity of the Pumping Problem (Exte......lexity of the Minimal Star Basis......epted by Deterministic Pushdown ......th Translucent Input Letters. At...... Expressions using Derivatives. ......exity of Determinization of Input-Driven Pushdo...
- Subject HeadingMachine theory--Congresses Robotics-...
Paper図書
National Diet Library
- Summary, etc....tes the proceedings of the 23rd International Con......tributed Computing, Applications......ich took place in Sendai, Japan, during December 7-9,......6 short papers included in this volume we......re categorized into the following topical sub-headings: Heterogeneo......ation; Blockchain; Deep Learning; Quantum Computing & Programming Language; Bes......uivalence Checking & Model checking; Interconnect; Optimization (1); ...
- Subject HeadingParallel processing (Electronic computers)--Congresses.......ic data processing--Distributed processing--Congresses. Parallélisme (Informatique)--Congrès. Traitem...
- Note (General)...event was held in a hybrid manner with over 90 ...
Paper図書
National Diet Library
- Note (General)Selected papers Held also in Tokyo, Japan
- Author HeadingInternational Conference on Data...
Paper図書
National Diet Library
- Summary, etc....efereed proceedings of 25th International Con......e on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.......ch areas, covering both theoreti......s of formal engineering methods
- Contents... Models. Repairing Event-B Model......Quantifier Elimination. Tuning Trains Speed in Railway Scheduling. The Bright S......ation. Formal Kinematic Analysis...... Bevel Gear Trains. Deciding the synthesis......roperty Monitoring for Backdoor ......col Guided Fuzzing. The Continuum Hypothesis ......tence of Non-Principal Arithmeti......tworks: New Definition and Verif......rithm. Formalizing Potential Flows using the HOL Light......f Reachability in Autonomous Veh......ontrollers Relying on Goal-Aware......sed Model Checking for HyperTWTL...... to Model Checking Linear Temporal Pr......LTL Model Checking on Finite and Infinite Trace...
- Subject HeadingFormal methods (Computer science)--Congresses Software engineering--Congresses Computer programming Méthodes formelles (Informatique)--Co......Programmation (Informatique) computer programming.
Paper図書
National Diet Library
- Subject HeadingData encryption (Computer science)--Congresses. ......s--Congresses. Computer networks--Secu....... Chiffrement (Informatique)--Co...... Réseaux d'ordinateurs--Sécuri......ta encryption (Computer science) Computer networks--Security measures C...
- Alternative TitleApplied cryptography & network security : ACNS : since 2003
- Alternative TitleApplied cryptography & network security : ACNS : since 2003
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....efereed proceedings of the 15th International Workshop on Rewriting Logic and Its......RLA 2024, held in Luxembourg Cit......Luxembourg, during April 6-7, 20......11 full papers included in this book were......dations; rewriting as a logical ......amework; rewriting languages; verification tech...
- ContentsRegular Papers. Verifying Invariants by Ded......ive Model Checking. Time-Bounded......ilience. Verifying Safe Memory Reclamation in Concurrent Pro......, and Property Internalization a......uivalence Checking of Quantum Ci......Dirac Notation in Maude. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. Timed ......eories. Specifying Fairness Constraints and Model Checking with Non-intensional Strat......: a Term Rewriting Engine for Automatic...... Framework for Integrating Maude and SMT Solvers Using Python. Educa......n Papers. Teaching an Advanced M......Methods Course in Oslo
- Subject HeadingComputer logic--Congresses Logique informatique--Congrès
Paper図書
National Diet Library
- Summary, etc....efereed proceedings of the 15th International Wor......ADE 2024, held in Gardanne, France, during April 9-10, 2......14 full papers included in this book were......were organized in topical sectio......ods; Deep-Learning-Based Side-Channel Attacks; ...
- ContentsAnalyses and Tools Characterizing and Modeling Synchronous C......k-Glitch Fault Injection On-chip......ult occurrence induced by Si backside EM injection EFFLUX-......to Statistical Ineffective Fault......APABARA: A Combined Attack on CAPA Deep-Learning-Based Side-Ch...... Attacks Exploring Multi-Task Learning in the Context of......Analysis with Single Network Training and Multi-out......vate Deep Learning-Based Side-Ch......nel Analysis using Homomorphic E......h and Device Aging on SR-Latch B......NG from TBCs using Superposition......Accelerated SPHINCS+ HaMAYO: A F......ure Scheme Combining Loop Shuffling and Code Po...
- Subject HeadingData encryption (Computer science)--Congresses Computer security--Cong......s Chiffrement (Informatique)--Co......ès Sécurité informatique--Congrès
Paper図書
National Diet LibraryOther Libraries in Japan
- Genre/Form TermsConference papers and proceedings.
- Subject HeadingComputer graphics--Congresses. Graph theory--Congresses. Computer graphics. Graph theory.
- Note (General)... under extraordinary circumstanc......e at the Tokyo Institute of Technology."--Prefa...
Paper図書
National Diet Library
- Genre/Form TermsConference papers and proceedings.
- Subject HeadingBig data--Congresses. Data mining--Congresses. ......y--Data processing. Science--Data processing. Engineering--Data processing. Big data. Data mining.
- Note (General)Papers. Held online at Aizu, Japan and Delhi, India.
Paper図書
National Diet Library
- Genre/Form TermsConference papers and proceedings.
- Subject HeadingComputer security--Congresses. Computer security.
- Note (General)... conference during August 10-12, 2022, in Matsue, Japan.......c is an annual international for......esearchers and industry experts ..."--Preface.
RSSRSS