Search results for "Laws"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	John R. Rose, Michael N. Huhns, Soumik Sinha Roy, William H. Turkett Jr.	An agent architecture for long-term robustness.	AAMAS	2002	DBLP DOI BibTeX RDF	philosophy for agents, robust systems, agent architectures
13	Jeremy E. Dawson, Rajeev Goré	Machine-Checking the Timed Interval Calculus.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Reasoning about time, theorem proving, automated reasoning
13	Norbert Krüger, Florentin Wörgötter	Statistics of Second Order Multi-modal Feature Events and Their Exploitation in Biological and Artificial Visual Systems.	Biologically Motivated Computer Vision	2002	DBLP DOI BibTeX RDF
13	George Metakides	Challenges for a human-centered information society.	ICIP (1)	2001	DBLP DOI BibTeX RDF
13	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
13	Eduard Alarcón, Alfonso Romero 0001, Alberto Poveda, Sonia Porta, Luis Martínez-Salamero	Sliding-mode control analog integrated circuit for switching DC-DC power converters.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
13	Özlem Uzuner, Lee W. McKnight	Sales Tax on the Internet: When and How to Tax?	HICSS	2001	DBLP DOI BibTeX RDF	Internet taxation, Internet governance, tax-ban, Electronic commerce
13	Yifeng Chen, Jeff W. Sanders	Logic of Global Synchrony.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Michael W. Mislove	Models Supporting Nondeterminism and Probabilistic Choice.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
13	Daniel G. Bobrow, Natalie S. Glance	Knowledge Ecologies - Introduction.	HICSS	2000	DBLP DOI BibTeX RDF
13	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
13	Jozef Gruska	Quantumization of Theoretical Informatics.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	John Matthews, John Launchbury	Elementary Microarchitecture Algebra.	CAV	1999	DBLP DOI BibTeX RDF
13	C. A. R. Hoare	Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.	Correct System Design	1999	DBLP DOI BibTeX RDF
13	Hideki Arata, Yoshiaki Takai, Nami K. Takai, Tsuyoshi Yamamoto	Free-form Shape Modeling by 3D Cellular Automata.	Shape Modeling International	1999	DBLP DOI BibTeX RDF
13	Enrique Paniagua-Arís, Rodrigo Martínez-Béjar, José T. Palma-Méndez, Fernando Martín-Rubio	Towards a teleo-social agent category.	KES	1999	DBLP DOI BibTeX RDF
13	Timothy K. Shih	Using Food Web as an Evolution Computing Model for Internet-Based Multimedia Agents.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Internet Multimedia, Mobile Network Architectures, Web Services
13	Mitsuji Muneyasu, Kouichiro Asou, Yuji Wada, Takao Hinamoto	An edge-preserving fuzzy filter based on differences between pixels.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
13	Ana Cavalcanti 0001, Jim Woodcock 0001	ZRC - A Refinement Calculus for Z.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Formal methods, Weakest preconditions, Program development
13	Hussein Zedan, Hongji Yang	A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems.	CSMR	1998	DBLP DOI BibTeX RDF
13	Paul D. Townsend	Quantum Cryptography on Optical Fiber Networks.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Guo-Qiang Zhang 0001, William C. Rounds	Complexity of Power Default Reasoning.	LICS	1997	DBLP DOI BibTeX RDF
13	Feng Zhao 0001, Shiou C. Loh, Jeff A. May	Phase-Space Nonlinear Control Toolbox: The Maglev Experience.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
13	Franck Xia	An Information Coding Based Data Complexity Model.	IEEE METRICS	1996	DBLP DOI BibTeX RDF
13	Roderic A. Grupen, Manfred Huber, Jefferson A. Coelho Jr., Kamal Souccar	Distributed Control Representation for Manipulation Tasks.	IEEE Expert	1995	DBLP DOI BibTeX RDF
13	M. Domínguez, J. M. Michelin, J. M. Martinez	Recurrent Neural Networks for Identification of Friction.	IWANN	1995	DBLP DOI BibTeX RDF
13	A. W. Roscoe 0001, Lars Wulf	Composing and decomposing systems under security properties.	CSFW	1995	DBLP DOI BibTeX RDF	separability of processes, noninterference properties, disjoint components, security of data, separability, security properties
13	Juris Hartmanis	On the Computing Paradigm and Computational Complexity.	MFCS	1995	DBLP DOI BibTeX RDF
13	Yuri Ekalo, Miomir Vukobratovic	Stabilization of robot motion and contact force interaction for third-order motor dynamics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	explicit control, implict control, Impedance control, hybrid control
13	Rocco De Nicola, Anna Labella	A Completeness Theorem fro Nondeterministic Kleene Algebras.	MFCS	1994	DBLP DOI BibTeX RDF
13	David Sands 0001	A Compositional Semantics of Combining Forms for Gramma Programs.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
13	Glenn Bruns	A Practical Technique for Process Abstraction.	CONCUR	1993	DBLP DOI BibTeX RDF
13	Xiaoming Gao, Darren M. Dawson, Zhihua Qu	On the robust control of two manipulators holding a rigid object.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	Multiple manipulators, position/force control, robust control, robot modeling
13	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
13	Gérard A. Langlet	Towards the Ultimate APL-TOE.	APL	1992	DBLP DOI BibTeX RDF	Fibonacci, T.O.E., binary algebra, periodic systems, APL, APL, integrals, topology, dynamical systems, symmetry, automata, fractals, chaos, genetics, propagation, holography, parity
13	Steven Klusener	The Silent Step in Time.	CONCUR	1992	DBLP DOI BibTeX RDF	& Phrases Real Time Process Algebra, Abstraction, ACP
13	Peter W. Glynn, Philip Heidelberger	Analysis of Parallel Replicated Simulations Under a Completion Time Constraint.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	multiple replications, parallel processing, discrete event simulation, estimation, bias, renewal theory
13	Alan Jeffrey	A Linear Time Process Algebra.	CAV	1991	DBLP DOI BibTeX RDF
13	Robert Dietz	GTE: description of the Tia system used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
13	Juanito Camilleri	A Conditional Operator for CCS.	CONCUR	1991	DBLP DOI BibTeX RDF
13	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
13	Albert John Camilleri	Mechanizing CSP Trace Theory in Higher Order Logic.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes
13	John H. Williams, Edward L. Wimmers	Sacrificing Simplicity for Convenience: Where Do You Draw the Line?	POPL	1988	DBLP DOI BibTeX RDF	FP
13	Lothar Horbach	Privacy and Data Protection in Medicine.	EUROCRYPT	1982	DBLP DOI BibTeX RDF
13	G. W. Patterson	What is a code?	Commun. ACM	1960	DBLP DOI BibTeX RDF
10	Tahir Mahmood 0002, Kashif Hussain, Jabbar Ahmmad, Sana Shahab, Ubaid ur Rehman, Mohd Anjum	T-Bipolar soft groups and their fundamental laws.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Shumo Cui, Shengrong Ding, Kailiang Wu	On Optimal Cell Average Decomposition for High-Order Bound-Preserving Schemes of Hyperbolic Conservation Laws.	SIAM J. Numer. Anal.	2024	DBLP DOI BibTeX RDF
10	Tim De Ryck, Siddhartha Mishra, Roberto Molinaro	wPINNs: Weak Physics Informed Neural Networks for Approximating Entropy Solutions of Hyperbolic Conservation Laws.	SIAM J. Numer. Anal.	2024	DBLP DOI BibTeX RDF
10	Robert I. McLachlan, Ari Stern	Functional Equivariance and Conservation Laws in Numerical Integration.	Found. Comput. Math.	2024	DBLP DOI BibTeX RDF
10	Jihene Rajah, Said Amari, Maher Barkallah, Mohamed Haddar	Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm 0001	Reduction of Chemical Reaction Networks with Approximate Conservation Laws.	SIAM J. Appl. Dyn. Syst.	2024	DBLP DOI BibTeX RDF
10	Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm 0001	A Computational Approach to Polynomial Conservation Laws.	SIAM J. Appl. Dyn. Syst.	2024	DBLP DOI BibTeX RDF
10	Ayed Rheal A. Alanzi, Raouf Fakhfakh, Fatimah Alshahrani	Some Limiting Laws in Non-Commutative Probability.	Axioms	2024	DBLP DOI BibTeX RDF
10	Yanhua Pang, Yamin Zhang, Yi Wang, Xiaofeng Wei, Bo Chen 0015	Exploring Model Compression Limits and Laws: A Pyramid Knowledge Distillation Framework for Satellite-on-Orbit Object Recognition.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Calvin Hawkins, Bo Chen, Kasra Yazdani, Matthew T. Hale	Node and Edge Differential Privacy for Graph Laplacian Spectra: Mechanisms and Scaling Laws.	IEEE Trans. Netw. Sci. Eng.	2024	DBLP DOI BibTeX RDF
10	Zhen Chen, Anne Gelb, Yoonsang Lee 0002	Learning the Dynamics for Unknown Hyperbolic Conservation Laws Using Deep Neural Networks.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Qifan Chen, Zheng Sun, Yulong Xing	The Runge-Kutta Discontinuous Galerkin Method with Compact Stencils for Hyperbolic Conservation Laws.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Yong Liu, Jianfang Lu, Chi-Wang Shu	An Entropy Stable Essentially Oscillation-Free Discontinuous Galerkin Method for Hyperbolic Conservation Laws.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	François Vilar, Rémi Abgrall	A Posteriori Local Subcell Correction of High-Order Discontinuous Galerkin Scheme for Conservation Laws on Two-Dimensional Unstructured Grids.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Jinpeng Zhai, Jianying Yang	Cooperative guidance laws for interception of active maneuvering target under information symmetric and asymmetric conditions.	Int. J. Control	2024	DBLP DOI BibTeX RDF
10	Syrine Bouazza, Said Amari, Hichem Hassine	Control Laws for Partially Observable Min-Plus Systems Networks With Disturbances and Under Mutual Exclusion Constraints.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
10	Sergey Edward Lyshevski	Analytic design of constrained control laws for nonlinear dynamic systems with symmetric and asymmetric limits.	Int. J. Syst. Sci.	2024	DBLP DOI BibTeX RDF
10		Learning physical laws from observations of complex dynamics.	Nat. Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Tian Liang, Lin Fu	A new type of non-polynomial based TENO scheme for hyperbolic conservation laws.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Lei Wei, Yinhua Xia	An indicator-based hybrid limiter in discontinuous Galerkin methods for hyperbolic conservation laws.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Aekta Aggarwal, Helge Holden, Ganesh Vaidya	On the accuracy of the finite volume approximations to nonlocal conservation laws.	Numerische Mathematik	2024	DBLP DOI BibTeX RDF
10	Jiasheng Ye, Peiju Liu, Tianxiang Sun, Yunhua Zhou, Jun Zhan, Xipeng Qiu	Data Mixing Laws: Optimizing Data Mixtures by Predicting Language Modeling Performance.	CoRR	2024	DBLP DOI BibTeX RDF
10	Larissa A. Meinicke, Ian J. Hayes	Reasoning about distributive laws in a concurrent refinement algebra.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jakub Krajewski, Jan Ludziejewski, Kamil Adamczewski, Maciej Pióro, Michal Krutul, Szymon Antoniak, Kamil Ciebiera, Krystian Król, Tomasz Odrzygózdz, Piotr Sankowski, Marek Cygan, Sebastian Jaszczur	Scaling Laws for Fine-Grained Mixture of Experts.	CoRR	2024	DBLP DOI BibTeX RDF
10	Arpit Babbar, Praveen Chandrashekar	Generalized framework for admissibility preserving Lax-Wendroff Flux Reconstruction for hyperbolic conservation laws with source terms.	CoRR	2024	DBLP DOI BibTeX RDF
10	Nikhil Sardana, Jonathan Frankle	Beyond Chinchilla-Optimal: Accounting for Inference in Language Model Scaling Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Blake Bordelon, Alexander Atanasov, Cengiz Pehlevan	A Dynamical Model of Neural Scaling Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Nathan Godey, Éric de la Clergerie, Benoît Sagot	On the Scaling Laws of Geographical Representation in Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
10	Lingjiao Chen, Jared Quincy Davis, Boris Hanin, Peter Bailis, Ion Stoica, Matei Zaharia, James Zou 0001	Are More LLM Calls All You Need? Towards Scaling Laws of Compound Inference Systems.	CoRR	2024	DBLP DOI BibTeX RDF
10	Hui Su, Zhi Tian, Xiaoyu Shen 0001, Xunliang Cai	Unraveling the Mystery of Scaling Laws: Part I.	CoRR	2024	DBLP DOI BibTeX RDF
10	Elvis Dohmatob, Yunzhen Feng, Pu Yang, François Charton, Julia Kempe	A Tale of Tails: Model Collapse as a Change of Scaling Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jingzhe Liu, Haitao Mao, Zhikai Chen, Tong Zhao 0003, Neil Shah, Jiliang Tang	Neural Scaling Laws on Graphs.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jake J. Harmon, Svetlana Tokareva, Anatoly Zlotnik, Pieter J. Swart	Adaptive Uncertainty Quantification for Stochastic Hyperbolic Conservation Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Philip Charles, Deep Ray	Learning WENO for entropy stable schemes to solve conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Matteo Caldana, Paola F. Antonietti, Luca Dedè	Discovering Artificial Viscosity Models for Discontinuous Galerkin Approximation of Conservation Laws using Physics-Informed Machine Learning.	CoRR	2024	DBLP DOI BibTeX RDF
10	Umberto De Ambroggio, Tamás Makai, Konstantinos Panagiotou, Annika Steibel	Limit Laws for Critical Dispersion on Complete Graphs.	CoRR	2024	DBLP DOI BibTeX RDF
10	Arpit Babbar, Praveen Chandrashekar	Lax-Wendroff Flux Reconstruction on adaptive curvilinear meshes with error based time stepping for hyperbolic conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Ayush Jain, Andrea Montanari, Eren Sasoglu	Scaling laws for learning with real and surrogate data.	CoRR	2024	DBLP DOI BibTeX RDF
10	Berivan Isik, Natalia Ponomareva 0001, Hussein Hazimeh 0001, Dimitris Paparas, Sergei Vassilvitskii, Sanmi Koyejo	Scaling Laws for Downstream Task Performance of Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
10	Tarik Dzanic	Continuously bounds-preserving discontinuous Galerkin methods for hyperbolic conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yan Fang, Jingtao Zhan, Qingyao Ai, Jiaxin Mao, Weihang Su, Jia Chen 0003, Yiqun Liu 0001	Scaling Laws For Dense Retrieval.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shumo Cui, Alexander Kurganov, Kailiang Wu	Bound-Preserving Framework for Central-Upwind Schemes for General Hyperbolic Conservation Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Liu Yang, Stanley J. Osher	PDE Generalization of In-Context Operator Networks: A Study on 1D Scalar Nonlinear Conservation Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jiayi Lin 0004, Hande Dong, Yutao Xie, Lei Zhang	Scaling Laws Behind Code Understanding Model.	CoRR	2024	DBLP DOI BibTeX RDF
10	Dinshaw S. Balsara, Deepak Bhoriya, Chi-Wang Shu, Harish Kumar 0001	Efficient Alternative Finite Difference WENO Schemes for Hyperbolic Conservation Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Fabio Leotta, Jan Giesselmann	A priori error estimates of Runge-Kutta discontinuous Galerkin schemes to smooth solutions of fractional conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shihao Liu, Tingting Li, Ziqiang Cheng, Yan Jiang, Chi-Wang Shu, Mengping Zhang	A new type of simplified inverse Lax-Wendroff boundary treatment I: hyperbolic conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Tinashe Handina, Eric Mazumdar	Rethinking Scaling Laws for Learning in Strategic Environments.	CoRR	2024	DBLP DOI BibTeX RDF
10	Hans De Sterck, Robert D. Falgout, Oliver A. Krzysik, Jacob B. Schroder	Parallel-in-time solution of scalar nonlinear conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Martin Kronbichler 0002, Matthias Maier, Ignacio Tomas	Graph-based methods for hyperbolic systems of conservation laws using discontinuous space discretizations, Part I: building blocks.	CoRR	2024	DBLP DOI BibTeX RDF
10	Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis	Correspondence between Composite Theories and Distributive Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Chuan Fan, Jianxian Qiu, Zhuang Zhao	A moment-based Hermite WENO scheme with unified stencils for hyperbolic conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Qifan Chen, Zheng Sun, Yulong Xing	The Runge-Kutta discontinuous Galerkin method with stage-dependent polynomial spaces for hyperbolic conservation laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Taeyoung Kim, Myungjoo Kang	Approximating Numerical Fluxes Using Fourier Neural Operators for Hyperbolic Conservation Laws.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jiahui Zhang, Yinhua Xia, Yan Xu	Equilibrium preserving space in discontinuous Galerkin methods for hyperbolic balance laws.	CoRR	2024	DBLP DOI BibTeX RDF